已知函数f(x)=1/x+2,求f(x)的定义域 (2)证明f(x)=1/x+2在(0,正无穷)上是减函数