用定义证明函数f(x)=x²-2在R上是增函数