f(x)=√x2+1-x在定义域是减函数