一类三元对称分式的平方型分拆及其程序实现被引量：4

A Class of Symmetric Fractions with 3 Elements in Square Separation and Its Program Realization

下载PDF

导出

摘要探讨了三元对称分式的平方型分拆,利用待定系数法编写Maple程序fsos实现了分拆,并举例说明了程序在证明不等式中的应用. A class of symmetric fractons with 3 elements is studied in square separation.Fsos,a maple program,is written for the square separation and examples illustrate the application of the program in inequality proof.

作者何灯

机构地区福建省福清港头中学

出处《汕头大学学报（自然科学版）》 2011年第1期35-42,共8页 Journal of Shantou University：Natural Science Edition

关键词三元对称分式不等式平方型分拆机器证明 symmetric fracton inequality square separation machine proof／

分类号 O122.3 [理学—基础数学]

引文网络
相关文献

参考文献8

1刘保乾.一类四元五次对称不等式分拆探讨[J].北京联合大学学报,2005,19(4):14-20. 被引量：10
2刘保乾.多项式的一般表示式及其应用[J].广东教育学院学报,2010,30(3):17-24. 被引量：10
3何灯.3元n次对称多项式的平方型分拆及其他[J].佛山科学技术学院学报（自然科学版）,2010,28(4):51-57. 被引量：6
4Hungkhtn.Sos-sum of squares[EB/OL].(2006-03-19)[2010-05-26].http://www.mathlinks.ro/Forum/viewtopic.php?t=80127.
5Nguyenhuyen A C.Problem 19[EB/OL].(2010-05-11)[2010-05-26].http://www.artofproblemsolving.com/Forum/viewtopic.php?f=52&t=348775.
6魏烈斌.不等式中的一对姐妹花[J].数学通讯（教师阅读）,2007,21(3):32-33. 被引量：15
7杨路,夏壁灿.不等式机器证明与自动发现[J].北京:科学出版社,2007.
8徐嘉.用Schur分拆证明一类含参数的不等式[J].系统科学与数学,2009,29(6):721-727. 被引量：3

二级参考文献31

1刘保乾.生成运算及其在证明多元对称不等式中的应用[J].广东教育学院学报,2005,25(3):10-14. 被引量：25
2陈胜利,黄方剑.三元对称形式的Schur分拆与不等式的可读证明[J].数学学报（中文版）,2006,49(3):491-502. 被引量：28
3文家金,张勇.齐次对称多项式的分解原理与方差平均不等式猜想[J].四川师范大学学报（自然科学版）,2006,29(4):438-442. 被引量：6
4刘保乾.多元齐次对称生成分拆基初探[J].广东教育学院学报,2006,26(5):5-15. 被引量：17
5刘保乾.多项式分拆初探[J].广东教育学院学报,2007,27(3):5-12. 被引量：18
6Hilbert D. Mathematische probleme. Archly der Mathematik und Physik, 1901, 3: 213-237.
7Atin E. Uber die darstellung definiter funktionen in quadrate. Abh. Math. Sem. Hamburg, 1927, 5: 100-115.
8Tarski A. A Decision Method for Elementary Algebra And Geometry. Berkeldy: University of California Press, 1951.
9Collins G E, Hong H. Partial cylindical algebraic decomposition for quantifier elimination. J. Symbolic Computation, 1991, 12: 299-328.
10Yang Lu, Xia S H. An inequality-proving program applied to global optimization. Proceedings of the Asian Technology conference in Mathematics. Blacksburg: ATCM, Inc., 2000.

共引文献36

1罗建宇.一对姐妹不等式的简证和再推广[J].中学数学,2007,0(12):42-43.
2刘保乾.四元六次对称多项式不等式探讨[J].广东教育学院学报,2006,26(3):6-12. 被引量：6
3刘保乾.多元齐次对称生成分拆基初探[J].广东教育学院学报,2006,26(5):5-15. 被引量：17
4刘保乾.多项式分拆初探[J].广东教育学院学报,2007,27(3):5-12. 被引量：18
5阴洪生.关于一对不等式的推广[J].数学通讯（教师阅读）,2007,21(8):35-36. 被引量：1
6金烨.对一个不等式的简证及探究[J].数学通讯（学生阅读）,2007(9):27-27.
7李永利.一个不等式的推广[J].数学通讯（教师阅读）,2007,21(9):28-28. 被引量：3
8魏烈斌.一个不等式猜想的证明[J].数学通讯（教师阅读）,2007,21(10):31-32.
9刘保乾.用增量分拆法证明齐次多项式不等式[J].佛山科学技术学院学报（自然科学版）,2007,25(5):1-5. 被引量：7
10王凯成.对一个猜想的否定[J].中学数学教学参考（上半月高中）,2007(12):51-51.

同被引文献25

1刘保乾.一类四元五次对称不等式分拆探讨[J].北京联合大学学报,2005,19(4):14-20. 被引量：10
2陈胜利,黄方剑.三元对称形式的Schur分拆与不等式的可读证明[J].数学学报（中文版）,2006,49(3):491-502. 被引量：28
3杨路.差分代换与不等式机器证明[J].广州大学学报（自然科学版）,2006,5(2):1-7. 被引量：36
4姚勇,冯勇.一类半正定多项式的平方和分解及其表达式的自动生成[J].计算机学报,2006,29(10):1862-1868. 被引量：2
5刘保乾.多项式分拆初探[J].广东教育学院学报,2007,27(3):5-12. 被引量：18
6刘保乾．用对称性和量级研究三角形中的非负对称量[M]//杨学枝．不等式研究(第1辑)．拉萨：西藏人民出版社,2000：200-222．
7杨学枝.一类不等式的统一证法·数学竞赛(19)[M].长沙:湖南教育出版社,1994.
8尹华焱.100个涉及三角形Ceva线、旁切圆半径的不等式猜想[M]//杨学枝.不等式研究(第1辑),拉萨:西藏人民出版社,2000:313-322.
9李轶.一类半正定多项式的配平方和算法[J].系统科学与数学,2008,28(4):490-504. 被引量：5
10侯典峰.一道伊朗国家选拔考试题的证明[J].数学通讯（教师阅读）,2010(3):62-63. 被引量：13

引证文献4

1何灯,李云杰.一道伊朗国家选拔不等式试题的再探究[J].福建中学数学,2014(4):3-5.
2隋振林.多项式平方和分解新探[J].佛山科学技术学院学报（自然科学版）,2013,31(6):28-33. 被引量：1
3刘保乾.再谈三角形几何不等式的s,R,r分拆证明[J].广东第二师范学院学报,2016,36(5):29-37. 被引量：4
4刘保乾.不等式的非负分拆新探[J].汕头大学学报（自然科学版）,2023,38(4):20-32.

二级引证文献5

1刘保乾.三角形非常规性元素的不等式[J].广东第二师范学院学报,2018,38(5):13-21. 被引量：1
2杨志明.一条三角形无理不等式链[J].广东第二师范学院学报,2019,39(3):33-41.
3刘保乾.用赫尔德不等式和柯西不等式证明一类根式不等式[J].汕头大学学报（自然科学版）,2020,35(1):71-80.
4刘保乾.不等式的非负分拆新探[J].汕头大学学报（自然科学版）,2023,38(4):20-32.
5冯贝叶.把正定六次多项式表为多项式的平方和的一种算法[J].应用数学进展,2020,9(3):271-276. 被引量：1

1何灯.3元n次对称多项式的平方型分拆及其他[J].佛山科学技术学院学报（自然科学版）,2010,28(4):51-57. 被引量：6
2刘保乾.多项式的一般表示式及其应用[J].广东教育学院学报,2010,30(3):17-24. 被引量：10
3刘保乾.再谈多项式的平方型分拆[J].佛山科学技术学院学报（自然科学版）,2010,28(5):43-50. 被引量：2
4刘保乾.用差分代换方法估算最佳值及其他[J].汕头大学学报（自然科学版）,2011,26(1):27-34. 被引量：2

汕头大学学报（自然科学版）

2011年第1期

浏览历史

内容加载中请稍等...

一类三元对称分式的平方型分拆及其程序实现被引量：4

参考文献8

二级参考文献31

共引文献36

同被引文献25

引证文献4

二级引证文献5

相关作者

相关机构

相关主题

浏览历史

一类三元对称分式的平方型分拆及其程序实现 被引量：4

参考文献8

二级参考文献31

共引文献36

同被引文献25

引证文献4

二级引证文献5

相关作者

相关机构

相关主题

浏览历史

一类三元对称分式的平方型分拆及其程序实现被引量：4