利用定义证明f(x)=-x³+2在R上为减函数