■和算にまなぶ(その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  (ここでひと休み)

===================================