证明函数y=-根号X 是定义域上的减函数