构造函数g(x)=e^(-x)*f(x)

有g(a)=g(b)=0

在(a,b)内至少存在一点c，使得

g'(c)=e^(-c)*(f'(c)-f(c))=0

即在(a,b)内至少存在一点c，使得f'(c)-f(c)=0