09/06/13 09:33:18
>>961
ロルの定理から、
f '(ξ) = 0,
なるξが (a,b) にある。
a<x≦ξ では f '(x) = f '(ξ) -∫[x,ξ] f "(x)dx ≦ f'(ξ) = 0,
f(x) = f(a) + ∫[a,x] f '(y)dy ≦ f(a) = 0,
ξ≦x<b では f '(x) = f '(ξ) +∫[ξ,x] f "(x)dx ≧ f'(ξ) = 0,
f(x) = f(b) - ∫[x,b] f '(y)dy ≦ f(b) = 0,