用定义法证明y=X^3在定义域上为增函数.