带约束条件多项式的差分代换及其应用  

Constrained Polynomial Differential Substitution and Applications

作　　者：刘保乾 

机构地区：[1]西藏自治区组织编制信息中心,西藏拉萨850000

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

摘　　要：对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.Geometric inequality algorithm is improved and an upgraded version agl2009 is designed.Constrained polynomial differential substitution is studied for square root inequalityand several geometric inequalities are found by the agl algorithm.

关 键 词：差分代换 三角形几何不等式 agl算法 机器证明 

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