对于连续函数f(x),若f(a)=f(b)=0,则必存在x属于(a,b),使得f'(x)=0;
或若f(b)≠f(a),必有x属于(a,b),使得 f(b)-f(a)/b-a=f'(x)
条件可能不是很严谨,可以参考《高等数学》同济版