用Schur分拆证明一类含参数的不等式

doi:10.12341/jssms08412

系统科学与数学 ›› 2009, Vol. 29 ›› Issue (6): 721-727.DOI: 10.12341/jssms08412

• 论文 • 下一篇

用Schur分拆证明一类含参数的不等式

徐嘉

中国科学院成都计算机应用研究所, 成都 610041

收稿日期:2008-05-23 修回日期:2008-11-05 出版日期:2009-06-25 发布日期:2009-06-25

PDF ( 686 ) 引用被引次数 ( 9 | 1 )

徐嘉. 用Schur分拆证明一类含参数的不等式[J]. 系统科学与数学, 2009, 29(6): 721-727.

XU Jia. The Proof Based on Schur Partition to a Class of Inequalities Involving Parameters[J]. Journal of Systems Science and Mathematical Sciences, 2009, 29(6): 721-727.

The Proof Based on Schur Partition to a Class of Inequalities Involving Parameters

XU Jia

Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041

Received:2008-05-23 Revised:2008-11-05 Online:2009-06-25 Published:2009-06-25

利用对称多项式的Schur分拆方法,以及单变元多项式实根隔离算法,证明了一个不等式猜想.
并将这一方法用于处理一类含有参数的有理对称不等式.

关键词： Schur分拆, 含参数的对称不等式, 实根隔离算法.

A proof for an inequality conjectrue is presented, based on Schur partition for symmetric polynomials and real root seperation algorithm for univariate polynomials. Furthermore, the mixed method is applied to dealing with a class of
symmetric polynomials involving parameters.

Key words: Schur partition, symmetric polynomials involving parameters, real root seperation algorithm.

MR(2010)主题分类:

68T15

分享此文:

[1]	陈世平，刘忠. Taylor展开式与三角函数不等式的自动证明[J]. 系统科学与数学, 2016, 36(8): 1339-1348.
[2]	陈胜利，陈良育. 对称型的降幂分拆方法与代数不等式的一个判定系统[J]. 系统科学与数学, 2013, 33(2): 179-196.
[3]	郑焕. 可由用户持续发展的几何自动推理平台[J]. 系统科学与数学, 2011, 31(12): 1622-1632.
[4]	徐嘉, 姚勇. 一个三角不定方程的机器解法[J]. 系统科学与数学, 2011, 31(7): 786-793.
[5]	陈胜利;徐嘉;姚勇. n元对称多项式的对称核及应用[J]. 系统科学与数学, 2010, 30(11): 1522-1534.
[6]	杨路;姚勇. 差分代换矩阵与多项式的非负性判定[J]. 系统科学与数学, 2009, 29(9): 1169-1177.
[7]	叶征;曹源昊;谢正;李洪波. 基于指标形式张量的微分几何定理机器证明[J]. 系统科学与数学, 2009, 29(9): 1238-1248.
[8]	陈胜利;姚勇;徐嘉. 代数不等式的分拆降维方法与机器证明[J]. 系统科学与数学, 2009, 29(1): 26-34.
[9]	李洪波. 从几何代数到高级不变量计算[J]. 系统科学与数学, 2008, 28(8): 915-929.
[10]	姚勇;冯勇. 关于$5$次对称形式正性的机器判定[J]. 系统科学与数学, 2008, 28(3): 313-324.
[11]	曹丽娜;李洪波. 一类初等微分几何定理机器证明的算法与实现[J]. 系统科学与数学, 2006, 26(4): 395-401.

阅读次数

全文

摘要