证：
记g(x)=lnx,显然g(x),f(x)在[a,b]上满足柯西中值定理条件
则存在一点ξ∈(a,b)使得
[f(b)-f(a)]/[g(b)-g(a)]=f'(ξ)/g'(ξ)
即[f(b)-f(a)]/[lnb-lna]=f'(ξ)/(1/ξ)
有f(b)-f(a)=ln[b/a]ξf′(ξ)