f'(x)=e^x-cosx
f''(x)=e^x+sinx>0
所以 f'(x)是增函数
f'(x0)=0 0> t>x0 f'(t)>0
所以 (x0,0) f(x)为增函数
f(x0)=0 f(0)=1
1>f(t)>0