已知函数f(x)=x-√x2-2 的定义域为(√2,正无穷),求值域和证明在(√2,正无穷)内是减函