用定义法证明函数f(x)=[√(1+x)]-x在R上是减函数