用定义判断函数y=f(x)=x^2-1/x在区间(0,+无穷)上的单调性