证明函数f(x)=x方+2在(负无穷大,0)上是减函数