■正三角形と六斜術(その20)

 (その18)では

  cosα=(b^2+c^2−d^2)/2bc

  cosβ=(c^2+a^2−d^2)/2ca

  cosγ=(a^2+b^2−d^2)/2ab

からcosα,cosβ,cosγを消去するために

  cos^2α+cos^2β+cos^2γ=1+2cosαcosβcosγ

を思いつかなければならない・・・

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

 任意の三角形に対して

  tanα+tanβ+tanγ=tanαtanβtanγ

が成り立つ.

 この式は

  γ=π−(α+β)

として,tanの加法公式を用いることにより容易に証明される.役に立つかどうかは別として,私にとってこの公式は対称性のある美しい公式と感じられる.もちろん,美しく感じるかどうかは主観的であり,強制すべきものではないが,きっと多くの人の美意識にも訴えるに違いない(希望).

 同様に,任意の三角形に対して

  sinα+sinβ+sinγ=4cosα/2cosβ/2cosγ/2

  sin2α+sin2β+sin2γ=4sinαsinβsinγ

  sin3α+sin3β+sin3γ=−4cos3α/2cos3β/2cos3γ/2

  cosα+cosβ+cosγ=1+4sinα/2sinβ/2sinγ/2

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