论文部分内容阅读
获得了如下齐次对称多项式的分解原理:设f(x)为m次齐次对称多项式,且m≥2,n≥2,如果当x1=…=xn时,有f(x)≡0,那么存在m-2次齐次多项式pi,j(x)(1≤i<j≤n),使得f(x)≡∑1≤i<j≤npi,j(x).(xi-xj)2.利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明.由此结果的证明方法证明了方差平均不等式猜想.