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