确定函数y=x-1/x在区间(0,+∞)上的单调性,并用定义证明