用定义证明y＝－x3+1在（－∞,+∞）上是减函数

题目

用定义证明y＝－x3+1在（－∞,+∞）上是减函数
就用定义法做

答案

x1>x2,
f(x1)-f(x2)=[(x2)^3-(x1)^3]
=[x2-x1][x1^2+x1x2+x2^2]