设x1、x2都是实数,且x10；又x10,即y1-y2>0
所以函数y=-x3-x+1(x∈R)是减函数.