y=根号下x的平方+1 -x,在定义域内是减函数