一类三角形几何不等式的自动证明

• 作者: 刘忠 陈世平
• 来源期刊: 计算机应用研究
• 关键词: 几何不等式 可读证明 有理化 实根分离 胞腔分解
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1732-1736
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.05.035

摘要

讨论了一类只含三角函数的三角形几何不等式的自动证明问题.运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和实根分离的算法实现了二元多项式不等式的自动证明,输出的证明过程可以手工验证或借助一些数学软件进行理解.实验表明上述算法对一大批具有相当难度,特别是关于三角函数的几何不等式十分高效,并且能够解决三角形内角的任意有理倍数函数的不等式机器证明问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘忠		14	114	4.0	10.0