判断函数f(x)=-x三次方+1,在(负无穷,正无穷)商单调性,并用定义证明