判断并证明f(x)=x/x平方+1在(0,+无穷)上的单调性