证明f(x)=x+2/x在(0,1)上是减函数