f(x)=-√x在定义域上是减函数