这个是微分中值定理：若函数f(x)满足：1.在[a,b]上连续；2.在(a,b)上可导.
则在(a,b)内至少存在一点x1,使得：f'(x1)=(f(b)-f(a))/(b-a).