[0,1]上で連続な関数f:[0,1]→Rに対して
∫[0,1]f(x)x^2dx = (1/3)f(ξ)となるξ∈[0,1]が存在することを示せ