■三角形についてのある不等式(その4)

  sinαsinβsinγ≦3√3/8

がわかっていたから

  sinαsinβsinγ≦(3√3/2π)^3αβγ

はほぼ自明であったが,そうでなければ

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

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

を使わなければならない問題なのだろうか?

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

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

より,

  x-x^3/3!<sinx<x

  (α-α^3/6)(β-β^3/6)(γ-γ^3/6)<sinαsinβsinγ<αβγ

  (α-α^3/6)(β-β^3/6)(γ-γ^3/6)

=αβγ-αβγ^3/6-αβ^3γ/6-αβ^3γ/6+αβ^3γ^3/36+α^3βγ^3/36+α^3β^3γ/36-α^3β^3γ^3/108

≒αβγ(1-(α^2+β^2+γ^2)/6)

 α^2+β^2+γ^2≧3αβγ

 αβγ(1-(α^2+β^2+γ^2)/6)≦αβγ(1-αβγ/2)

などとしてもNGであろう.

  sinαsinβsinγ<(α-α^3/6+α^5/120)(β-β^3/6+β^5/120)(γ-γ^3/6+γ^5/120)

などもNGと思われる.

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