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