■直角三角形の内接円と傍接円(その14)
[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<αβγ
を満たすことが証明できるという.
===================================