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