完全对称不等式的取等判定.PDFVIP

完全对称不等式的取等判定 复旦大学附属中学 韩京俊 指导教师： 汪杰良 万军 完全对称不等式的取等判定 摘要:本文探讨了一类完全对称不等式的取等判定及其证明. 通过控制两个初等对称多项 式，利用函数的单调性及 Jensen 不等式，说明了一类三元完全对称不等式取等的充要条件， 继而推广得到关于一类 n 元完全对称不等式取等的充要条件的若干定理，并举例说明此方法 在证明完全对称不等式中的应用. 由此推出有关完全对称不等式与轮换对称不等式的判定定 理. 关键词：不等式；完全对称；轮换对称；三元； n 元；取等判定 Equivalency condition of symmetric inequalities Abstract: This paper researches on the judgement theorem and proof of the equivalency condition of a class of symmetric inequalities. By controlling two elementary symmetric polynomials and using the monotonicity of functions and Jensen inequality, it finds the necessary and sufficient condition of the equivalency a class of three-variables and n-variables symmetric inequalities. And we illustrate the application of this method in proof of these inequalities. Then we obtain several judgement theorems on symmetric and cyclic inequalities. Key words: inequality ；symmetric；cyclic ；three-variables ；n-variables ；judgement theorem of the equivalency condition 1. 引言 不等式在数学及其它学科中有着广泛的应用，但迄今证明不等式尚无通法和固定的陈法， 尤其在处理一些难度大的不等式时，对其进行直接放缩很可能难以起效. 完全对称不等式因 为其特有的性质，成为这一领域的研究热点. 有学者采用导数法、增量法、控制变量法或作 一些局部调整的方法，来处理此类不等式[1-3]. 但这些方法有时运算量颇大，常常难以成功. 杨 路院士、陈胜利老师、姚勇先生、刘保乾先生等学者在这方面做了大量工作，将计算机作为 证明工具. 1985 年吴文俊院士在上海召开的一次学术会议上曾指出：不等式的机器证明是“一 [4] [5] 大难题” ，1987 年 Choi 等人得到了关于 n 个变元的 3 次对称形式正半定的充要条件 . 1999 年 William Harris 在其著作中提出了 3 元 4 次及 5 次对称形式正半定的充要条件[6]. 纵观这些 结论都是次数不超过 5 次的. 2001 年 Vlad Timofte 讨论了 n 元 d 次对称形式在R n 上正