定义法证明函数的单调性