1判断并证明函数f(x)=x-a/x (a大于0)在(-无穷,0)上的单调性