由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)。两式相除移项得结论。
