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