😊出会いの泉😊

http://shochandas.xsrv.jp/urawaza/angle.htm
を元にいろいろ計算をしていたら

三角形ABCで各Aの二等分線が辺BCと交わる点をDとするとき
ADの長さはBD=m,CD=nであるなら

AD=2*m*n*cos(A/2)/(m*cos(B)+n*cos(C))
=2*m*n*sin((B+C)/2)/((m*cos(B)+n*cos(C))

で求められる。
というものに出会っていったのですが
これって妥当性を持ちますかね？

(理由)
AB=a,AC=bとし
DよりAB,ACへ下した垂線の足をE,Fとすると
AD^2=a*b-m*n
であるので
これが成立することから
△BDE+△CDF=1/2*m*n*sin(A) (∵△ABC=2*△AED+△BDE+△CDF)
一方
△BDE=1/2*BD*DE*sin(Pi/2-B)=1/2*m*AD*sin(A/2)*cos(B)
△CDF=1/2*CD*DF*sin(Pi/2-C)=1/2*n*AD*sin(A/2)*cos(C)
この２つを上式へ代入して整理すれば

1/2*AD*sin(A/2)*(m*cos(B)+n*cos(C))=1/2*m*n*sin(A)
よって
AD=2*m*n*cos(A/2)/(m*cos(B)+n*cos(C))
　=2*m*n*sin((B+C)/2)/((m*cos(B)+n*cos(C))
が導けた。