一道高一三角函数图.x属于(0,π/2),判断函数y=Sinx-x的单调性.用什么公式求导啊?