用定义证明函数f(x)=(根号下x的平方+1)-x是减函数