讨论函数的单调性:f(x)=x+a/x,并证明结论