f(x)不恒为常数表明至少有一点c∈(a,b)使得f(c)≠f(a)=f(b),由拉格朗日中值定理可知存在ξ1与ξ2使得
f'(ξ1)=[f(c)-f(a)]/(c-a)
f'(ξ2)=[f(c)-f(b)]/(c-b)
由于f'(ξ1)f'(ξ2)