■余弦定理と球面余弦定理(その13)

 (その12)では書かなかったが,sinxのテイラー展開によって,無限級数

  sinx=x−x^3/3!+x^5/5!−x^7/7!+・・・

  sinx/x=1−x^2/3!+x^4/5!−x^6/7!+・・・

が示される.

 明らかに

  sinαsinβsinγ≦αβγ

であるが,

  sinαsinβsinγ≦kαβγ

  k=(3√3/2π)^3=0.5655・・・   (等号は正三角形のとき)

が成立するというわけである.

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