■三角形の対称関数(その35)
トレミーの定理
内接四角形において、ac+bd=AC・BD
===================================
ここで、
AC^2=a^2+b^2-2abcosB=c^2+d^2-2cdcosD
B+D=πより
AC^2=(ac+bd)(ad+bc)/(ab+cd)
BD^2=(ac+bd)(ab+cd)/(ad+bc)
が得られる。
===================================