利用单调性定义,证明函数y=x+2/x+1在(-1,正无穷)上是减函数