求证：函数f(x)=根号下（x2+1）-x在R上为单调减函数

y=√(x^2+1)-x=1/[√(x^2+1)+x]
分母大于0,且为单调增,因此y大于0且为单调减函数.y=√(x^2+1)-x=1/[√(x^2+1)+x]是怎么转换过来的呀？分子分母同时乘以[√(x^2+1)+x]则分子正好用平方差公式得(x^2+1)-x^2=1.