由于f''(x)存在可知f'(x)连续,根据连续函数的局部
保号性,存在x1和x2使得f'(x1)f'(x2)>0,根据
拉格朗日中值定理,存在m和n属于(a,b)使得f'(x1)=[f(m)-f(a)]/(m-a)=f(m)/(m-a),同理f'(x2)=-f(n)/(b-n),两式相乘得f'(x1)f'(x2)=-f(m)f(n)/(m-a)(b-n),由a<m<n<b知f(m)f(n)<0,故根据
介值定理知存在x3使得f(x3)=0,再根据f(a)=f(x3)=f(b),分别用两次
罗尔定理,存在p和q使得f‘(p)=f'(q)=0,最后再对f'(x)用罗尔定理,存在c属于(p,q),使得f''(c)=0