判断函数y=f(x)=x平方-1/x在区间(0,正无穷大)上的单调性,并用定义证明你的结论