讨论函数f(x)=x+9/x(x>0)的单调性并证明你的结论