- 237 名前：１３２人目の素数さん mailto:sage [2009/07/22(水) 21:40:33 ]
- >>234
直交性から
∫{f(x)}^2 dx = ∫{f(x)-6x+2}^2 dx + 9∫(2x-1)^2 dx +∫1^2 dx
≧ 9∫(2x-1)^2 dx +∫1^2 dx,
>>235
与式をＩとおく。
1 + t + (1/2)t^2 < e^t < 1 + t/(1 - t/2),
から
[ x + (1/3)x^3 + (1/10)x^5 ](x=0,1) < Ｉ < [ (√2)log{(√2 +x)/(√2 -x)} - x](x=0,1),
1 + (1/3) + (1/10) < Ｉ < (√2)log{(√2+1)/(√2 -1)} -1,
1.43333････ < Ｉ < 1.49290････
>>236
最小値はコーシーで、 |ｘ↑| ≧ Ｋ/|ａ↑|.
