用定义证明y=-x^3+1在(-?∞,+∞)上是减函数!