利用单调性定义证明f(x)=根号下-x+1,在(负无穷,1]上是减函数