>>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
　最小値はコーシーで、 |ｘ↑| ≧ Ｋ/|ａ↑|.