g(x)=f(x)/e^x f(1)=g(1)*e ef(0)=g(0)*e 而g'(x)=[f'(x)e^x-f(x)e^x]/e^(2x) =[f'(x)-f(x)]/e^x >0 故g(1)>g(0) 故f(1)>ef(0)
