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

年 月 汕头大学学报 自然科学版 第 卷 第 期 2010 5 （ ） 25 2 May 2010 Journal of Shantou University (Natural Science ) Vol.25 No.2 文章编号： （ ） 1001 - 4217 2010 02 - 0001 - 10 带约束条件多项式的差分代换及其应用 刘保乾 西藏自治区组织编制信息中心 西藏 拉萨 （ ， 850000 ） 摘 要 对三角形几何不等式判定算法 进行了改进和补充 并根据这种算法设计了 ： agl ， agl 程序的升级版 讨论了带约束条件差分代换在证明根式型不等式中的应用 给出了 agl2009 ， ； 用 程序发现的若干优美的三角形几何不等式 agl . 关键词 差分代换 三角形几何不等式 算法 机器证明 ： ； ； agl ； 中图分类号： O 122.3 文献标识码： A 0 引 言 笔者在文献中介绍了 年 月提出的用增量代换证明锐角三角形不等式的思 2004 12 [ 1] 想 从而产生了带约束条件多项式的差分代换问题 此后又对这种思想做了进一步阐 ， ． [ 2 ] [3-4] 述 和改进 ， 得到了一种判定三角形几何不等式的算法agl. 编写的同名程序对判定 三角形几何不等式 尤其是含有角平分线或半角三角函数的不等式十分有效 且在一些 ， ， [5] 方面性能优于 软件 本文拟对 的算法进行改进和补充 并讨论了带约束条 Bottema . agl ， 件差分代换在证明根式型不等式中的应用． 以下约定 三边为 面积为 角平分线 中线 高 傍切圆半径 ： ABC a 、 b 、 c ， Δ ， 、 、 、 △ 分别为wa 、 wb 、 wc ， ma 、 mb 、 mc ， ha 、 hb 、 hc 和ra 、 rb 、 rc ， 内切圆和外接圆半径分别为r 和 用 表示循环和 另外 本文不等式验证环境均在 R ， ∑ ． ，