证明f(x)=√(x2+1)-x在定义域内是减函数