Birinci eşitliği bu cevapta ikinci eşitliği de yapabilirsem başka bir cevapta göstermeyi planlıyorum;
Öncelikle bir
ABC üçgeni çizelim
Açırortayımıza na ismini verelim BD=ck ce CD=bk diyorum ve buradan kosinüs teoremi uygulayacağım
c2+n2a−2cna.cos(A/2)=c2k2
b2+n2a−2bna.cos(A/2)=b2k2 olur. Ve de diğer bir bildiğimiz açıortay uzunluğu formülünden n2a=bc−bck2 olarak yazalım.
Eğer bu formülü bc çarpanına ayırır ve 1−k2'yi elde etmeye çalışırsak
n2abc=1−k2 olduğu elde edilir.
Devam edelim;
b2+c2+2n2a−2.(c+b)na.cos(A/2)=(b2+c2)k2 olur ilk iki eşitliği toplarsak ve;
2.(c+b)na.cos(A/2)=b2+c2−(b2+c2)k2+2n2a olur.
2.(c+b)na.cos(A/2)=(b2+c2)[1−k2]+2n2a olur
1−k2=n2abc eşitliğini yerinde yazarsak
(b2+c2)n2abc+2n2a=(b2+c2+2bc)n2a=(b+c)2n2a olur
ve buradan;
(b+c)2n2abc=2.(c+b)na.cos(A/2) çıkar gerekli sadeleştirmeler yapılırsa görülür ki
na=2bc.cos(A/2)(b+c) bulunur. Ve 2bc(b+c) Harmonik Ortalama olacağından
na=H.O(b,c).cos(A/2) olur...
Ama daha ispat bitmedi. Şimdi de kosinüs teoremini ispatlayacağım. (Diğer açıortay uzunluğu teoremi de kosinüs teoreminden ispatlanabilir)
KOSİNÜS TEOREMİ:
cosa=AHHC⇒AH=b.cosa⇒HB=c−b.cosa olur.
BHC üçgeninde pisagordan
a2=h2+(c−b.cosa)2=h2+c2−2bc.cosa+b2cos2a olur.
AHC üçgeninde pisagordan
b2=h2+b2cos2a olur.
Bu önceki pisagorda yerine konulursa a2=b2+c2−2bc.cosa olduğu barizdir.