- 235 名前：232 mailto:sage [2008/11/21(金) 19:27:29 ]
- 別の方法で>>185解いてみた
創価相乗より
cosθ+cosθ+(1/cosθ)^2≧3 (0≦θ<π/2)
両辺0からπ/12までθで積分して、
2sin(π/12)+tan(π/12)>3*(π/12)
sin(π/12)=(√6-√2)/4、tan(π/12)=2-√3 を代入して整理
π<2√6-4√3-2√2+8<2*2.45-4*1.732-2*1.414+8=3.144<3.15
(∵√6<2.45、√3>1.732、√2>1.414）
218よりは計算量少なめ
