円周率が3.05より大きいことを証明せよ
■ このスレッドは過去ログ倉庫に格納されています
0022132人目の素数さん
2012/02/17(金) 03:10:19.033sinθ/(2+cosθ) < θ < sinθ/(cosθ)^(1/3) < (2sinθ+tanθ)/3,
(略証)
(左)
f(θ) = (2+cosθ)θ -3sinθ,
とおくと
f '(θ) = 2sinθ{tan(θ/2) - (θ/2)} > 0,
(中)
g(θ) = sinθ,
とおくと、
g(x)g "(x) = {g '(x)}^2 - 1, ゆえ
(右辺) ' = {3(g ')^2 - gg "}/{3(g ')^(4/3)}
= {2(g ')^2+1}/{3(g ')^(4/3)}
> 1, (相加・相乗平均)
(右) 〔Snellius-Huygens〕,
相加・相乗平均
■ このスレッドは過去ログ倉庫に格納されています