判断y=1-2x3在（-∞，+∞）上的单调性，并用定义证明．

网友回答

证明：f（x）=1-2x3在（-∞，+∞）上为单调减函数，证明如下
任取x1，x2∈R，且x1＜x2，
则f（x1）-f（x2）
=（1-2x31）-（1-2x32）
=2（x32-x13）
=2（x2-x1）（x22+x1x2+x21）
=2（x2-x1）[（x1+x2）2+34