怎么证明双钩函数在某区间上的单调性