由Lagrange中值定理,存在x1位于(a,b),使得f(b)-f(a)=f'(x1)(b-a). 对f(x)和e^x用Cauchy中值定理,存在x2位于(a,b),使得 (f(b)-f(a))/(e^b-e^a)=f'(x2)/e^(x2). 两式相除移项得结论.