证明函数y=5x²在(负无限大,0)上是减函数