证明:函数f(x)=(根号下1+x的平方)-x在R上是单调减函数.用导数法和定义法分别证明