用定义法证明函数f(x)=x*x+1在(负无穷,0)上是减函数