对 f 在 [a,b] 上应用拉格朗日中值定理,存在 ξ∈(a,b),使 f′(ξ)=b−af(b)−f(a)。
对 f(x) 与 ex 应用柯西中值定理,存在 η∈(a,b),使
合并两式,并利用题设 f′(η)=0,可得 f′(η)f′(ξ)=b−aeb−eae−η,证毕。