构造函数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