- 240 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 22:12:14 ]
- >>235
平方根の近似値使わなくてもできる
>>235 から
4(2sin(π/12) + tan(π/12)) ＞ π …(1)
また、
22/7 - 4(2sin(π/12) + tan(π/12))
= (2/7) (-17 + 7√2 + 14√3 - 7√6)
= (2/7) (√2-1)^3 (2-√3)^2 (3√6-7)
= (2/7) (√2-1)^3 (2-√3)^2 (√54-√49)
＞ 0
∴ 22/7 ＞ 4(2sin(π/12) + tan(π/12)) …(2)
3.15 ＞ 22/7 …(3)
は明らか
(1)(2)(3) より π＜3.15
ところで、いきなり相加相乗使ってるけど、
そのやりかた有名なの？
