20/02/26 17:19:11 jrzfCjiF.net
>>825
GM-AM より
1 < {cosθ + cosθ + 1/(cosθ)^2}/3,
θで積分して
θ < (sinθ + sinθ + tanθ)/3,
(Snellius-Huygens)
ついでに
A = (sinθ+sinθ+tanθ)/3,
G = sinθ/(cosθ)^(1/3),
H = 3sinθ/(1+1+cosθ),
とおくと
sinθ < H < θ < G < A < tanθ,
(B.C.Carlson)