证明f(x)=x-1/x在区间(0,+无穷大)上是增函数