用函数单调性的定义证明函数f(x)=x+(2/x)在区间(0,1)上是减函数.