
f存在三阶导,由Taylor中值定理
f(b)=f((a+b)/2)
+(b-a)/2f'((a+b)/2)+(b-a)^2/8f''((a+b)/2)+(b-a)^3/48f'''(ξ)
f(a)=f((a+b)/2)
-(b-a)/2f'((a+b)/2)+(b-a)^2/8f''((a+b)/2)-(b-a)^3/48f'''(η)
故
(f(b)-f(a))/(b-a)-f'((a+b)/2)=(b-a)^3/48(f'''(ξ)+f'''(η))
由Darboux中值定理,存在ζ,f'''(ξ)+f'''(η)=2f'''(ζ)
(f(b)-f(a))/(b-a)-f'((a+b)/2)=(b-a)^3/24f'''(ζ)