用增量分拆法证明齐次多项式不等式

The proofs of homogeneous polynomials inequalities by incremental resolution (partition) method

针对差分代换证明齐次多项式不等式存在的困难和问题,提出了一种解决方法,并对Bottem a软件和一般多项式差分代换DS(F)进行了评价。

For the difficulties and problems during proving the homogeneous polynomials inequalities by the difference substitution, we give a solution way and comment on the Bottema software and the difference substitution of general polynomial.