证明函数y =sinx-x单调减少