■和算にまなぶ(その34)
三角形の3辺の長さをA,B,C,面積を△,外接球,内接球の半径をR,rとすれば,
ABC=4R△,(A+B+C)r=2△
さらに,
s1=A+B+C,s2=AB+BC+CA,s3=ABC
とおくこともである.(その32)では
A=2RsinA,B=2RsinB,C=2RsinC
を忘れていたようだ.
===================================
A=2RsinA,B=2RsinB,C=2RsinC
A+B+C=2R(sinA+sinB+sinC)
A=bcosB/2+ccosC/2
B=ccosC/2+acosA/2
C=acosA/2+bcosB/2
A+B+C=2acosA/2+2bcosB/2+2ccosC/2
sinA+sinB+sinC=4cosA/2cosB/2cosC/2
A+B+C=8RcosA/2cosB/2cosC/2
=2acosA/2+2bcosB/2+2ccosC/2
ABC=8R^3sinAsinBsinC
ここまできたが,どうしてもヘロンの公式に頼らざるを得ないかもしれないが,もう少し我慢して,
R/r^2=ABC△/(A+B+C)^2
に代入すると,
R/r^2=8R^3sinAsinBsinC△/16cos^2A/2cos^2B/2cos^2C/2
=4△R^3tanA/2tanB/2tanC/2 (ここでひと休み)
===================================