求对号函数定义域的证明和单调性的证明