■球面上の幾何学(その49)

[Q1]sinαsinβsinγ≦3√3/8

の証明は与えておいたが,

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

はまだだった.

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

[Q1]の証明は

 sinαsinβsinγ

 =1/2sinα(cos(β−γ)+cosα)

 ≦1/2sinα(1+cosα)

に帰着された.

[Q2]は,算術平均≧幾何平均より

  α+β+γ=π≧33√αβγ

  αβγ≦(π/3)^3

  (3√3/2π)^3αβγ≦(3√3/2π)^3・(π/3)^3=3√3/8   (等号は正三角形のとき)

 このことから,三角形のブロカールの角ωが,

  8ω^3<αβγ

を満たすことが証明できるという.

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