ABD nin iç yarıçapına 1, AD=1+a, BD=1+b diyorum.
AB=a+b olacaktır. Bu durumda, DC=b-1 olur.
GID üçgeninde ID = √2, GD=(a+b)/3, GI=(b-1)/6 ve m(GDI)=|m(BAD) - 45| oluyor.
Her şeyi 6 ile genişletip, GID üçgeninde Kosinüs teoremi uygulayalım:
GI2 = GD2 + ID2 - 2.GD.ID.cos (BAD - 45)
cos(BAD - 45) = √2/2(cos(BAD) + sin(BAD)) = √2/2.(a+b+2)/(a+b) olur.
4(a+b)2+72 - 2.6√2.2(a+b).√2/2.(a+b+2)/(a+b) = 4(a+b)2+72 - 24(a+b+2) = (b-1)2
ABD üçgeninde pisagordan ya da alandan ab=a+b+1 elde edilir. Buradan b=(a+1)/(a-1) bulunur.
Yerine yazılırsa,
4(a2 + 1)2/(a-1)2 + 72 - 24(a2+2a-1)/(a-1)=22/(a-1)2
(a2+1)2+18(a-1)2-6(a2+2a-1)(a-1) = 1
a4-6a3+14a2-18a+13=1
ise a=2 bir çözüm.
Polinom bölmesi yaparsak,
f(a)=a3-4a2+6a-6=0 elde ederiz.
a=0 da f nin negatif, büyük değerler için ise pozitif olduğunu görüyoruz. Demek ki, f nin en az bir reel kökü var.
Türev alırsak
3a2-8a+6 = 0 => 64-4.6.3=-8<0 olduğu için f nin tek bir reel kökü var.
BAD>45 olduğu için a = cot (BAD/2)<cot(22,50)=1+√2.
f(1+√2)=(1+√2)3-4(1+√2)2+6(1+√2)-6 = 7+5√2 - 12 - 8√2 + 6 + 6√2-6 = 3√2-5<0 olduğu için
f nin reel kökü 1+√2 den büyüktür. Bu durumda
a4-6a3+14a2-18a+13=1 denkleminin 1+√2 den küçük tek kökü a=2 dir.
a=2 olduğunda üçgen 3-4-5 üçgeni oluyor. b=3 ve CD=b-1=2 oluyor.
Soruda verilen CD=6 eşitliği için 3 ile genişletirsek, BD=12 olacak. Bu durumda BC=6√2 olarak elde edilecek.
Not: Herhangi bir ABD üçgende IG//BD => 6.IG = |AB-AD|.
Sorumuza özel olarak, 6.IG = AB-AD=DC.
Ama soruda tersi sorulmuş. Yani, IG//BD nin sorunun bir çözümü olduğu belli. Ama tek çözüm olduğunu söyleyemeyiz. Nitekim, aslında bir çözüm daha çıkıyor. Ama m(A)>450 şartı eklenince bu çözüm ortadan kalkıyor.
Diğer bir sonuç da, IG nin kenarlardan birine paralel olduğu tek dik üçgen ailesi 3-4-5.