用定义证明f(x)=x^3的单调性