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 $n_a$ ismini verelim $BD=ck$ ce $CD=bk$ diyorum ve buradan kosinüs teoremi uygulayacağım
$c^{2}+n_a^{2}-2cn_a.cos(A/2)=c^{2}k^{2}$
$b^{2}+n_a^{2}-2bn_a.cos(A/2)=b^{2}k^{2}$ olur. Ve de diğer bir bildiğimiz açıortay uzunluğu formülünden $n_a^{2}=bc-bck^{2}$ olarak yazalım.
Eğer bu formülü $bc$ çarpanına ayırır ve $1-k^{2}$'yi elde etmeye çalışırsak
$\dfrac{n_a^{2}}{bc}=1-k^{2}$ olduğu elde edilir.
Devam edelim;
$b^{2}+c^{2}+2n_a^{2}-2.(c+b)n_a.cos(A/2)=(b^{2}+c^{2})k^{2}$ olur ilk iki eşitliği toplarsak ve;
$2.(c+b)n_a.cos(A/2)=b^{2}+c^{2}-(b^{2}+c^{2})k^{2}+2n_a^{2}$ olur.
$2.(c+b)n_a.cos(A/2)=(b^{2}+c^{2})[1-k^{2}]+2n_a^{2}$ olur
$1-k^{2}=\dfrac{n_a^{2}}{bc}$ eşitliğini yerinde yazarsak
$(b^{2}+c^{2})\dfrac{n_a^{2}}{bc}+2n_a^{2}=(b^{2}+c^{2}+2bc)n_a^{2}=(b+c)^{2}n_a^{2}$ olur
ve buradan;
$\dfrac{(b+c)^{2}n_a^{2}}{bc}=2.(c+b)n_a.cos(A/2)$ çıkar gerekli sadeleştirmeler yapılırsa görülür ki
$n_a=\dfrac{2bc.cos(A/2)}{(b+c)}$ bulunur. Ve $\dfrac{2bc}{(b+c)}$ Harmonik Ortalama olacağından
$n_a=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=\frac{AH}{HC}\Rightarrow AH=b.cosa\Rightarrow HB=c-b.cosa$ olur.
$BHC$ üçgeninde pisagordan
$a^{2}=h^{2}+(c-b.cosa)^{2}=h^{2}+c^{2}-2bc.cosa+b^{2}cos^{2}a$ olur.
$AHC$ üçgeninde pisagordan
$b^{2}=h^{2}+b^{2}cos^{2}a$ olur.
Bu önceki pisagorda yerine konulursa $a^{2}=b^{2}+c^{2}-2bc.cosa$ olduğu barizdir.