齐次对称多项式的分解原理与方差平均不等式猜想  

The Factoring Principle of Homogeneous and Symmetric Polynomials and a Conjecture for Inequality of Variance Mean

作　　者：文家金[1] 张勇[1] 

机构地区：[1]成都大学数学与计算机科学系,四川成都610106

出　　处：《四川师范大学学报（自然科学版）》2006年第4期438-442,共5页Journal of Sichuan Normal University（Natural Science）

基　　金：国家自然科学基金(10171073);四川省教育厅自然科学重点基金资助项目

摘　　要：获得了如下齐次对称多项式的分解原理:设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.利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明.由此结果的证明方法证明了方差平均不等式猜想.In this paper the following factoring principle of homogeneous and symmetric polynomials are obtained. Let f（x） be a homogeneous and symmetric polynomial of degree m, and let m≥2,n≥2, if x1=…xn, we havef（x）≡0, then there exists a homogeneous polynomial pij （x） （ 1 ≤ i 〈j≤ n） of degree m -2 such that f（x）≡∑1≤i〈j≤n pij（x）·（xi-xj）^2 is holds. By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetric polynomials can be obtained. And using the proof of proving this result, a conjecture for inequality of variance mean is proved.

关 键 词：齐次对称多项式 方差平均 猜想 不等式 

分 类 号：O178[理学—数学]