f'(x)=1-cosx>=0
因此f(x)在R上为增函数.高一应该怎么做？不用导数高一呀，那估计只能用定义法了,但这种题用定义法实在不容易化简哪。