验证f(x)=x2-1/x2在(-∞,0)上是单调递减函数