实数域上单调递增函数与单调递减函数的差是递增函数。