设g(x)=f(x)*e^x,g'(x)=f'(x)*e^x+f(x)*e^x=[f'(x)+f(x)]*e^x
则g(x)在闭区间[a,b]上连续,在开区间(a,b)内可导
且g(a)=f(a)*e^a=0,g(b)=f(b)*e^b=0,
由拉格朗日中值定理知,
存在ξ,ξ∈(a,b),使得g'(ξ)=0.
即[f'(ξ)+f(ξ)]*e^ξ=0,而e^ξ>0
所以f'(ξ)+f(ξ)=0.