判断并证明函数的单调性