证明函数f(x)=根号下x^2+1-x在定义域上为减函数.