锐角三角形几何不等式的差分代换证法及应用程序

• 作者: 刘保乾
• 来源期刊: 佛山科学技术学院学报（自然科学版）
• 学科: 数学
• 关键词: 差分代换 三角形几何不等式 机器证明
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 数理科学
• 页码范围: 33-38
• 页数: 6页
• 分类号: O122.3
• 字数: 4270字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0171.2009.05.008

摘要

对用差分代换方法 研究三角形不等式进行了新的探讨;给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl;指出agl程序在验证和发现一类根式型三角形不等式方面,性能优于Bottema软件;讨论了三角形不等式的有理化方法 ;提出了待解决的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘保乾		36	158	6.0	9.0