设x1,x2属于R 且x1＜x2带入f(x1)=-x1^3+3,f(x2)=-x2^3+3f(x1)-f(x2)=-x1^3+3+x2^3-3 =-x1^3+x2^3＞0所以f(x1)＞f(x2)即函数f(x)=-x^3+3在区间（-∞，+∞）上为单调减函数
可以用导数f'(x)=-3x^2<=0证明。或者在实数中任取x1,x2,且x1f(x1)-f(x2)=-(x1^3-x2^3)>0即f(x1)>f(x2)，得证。
