锐角三角形几何不等式的差分代换证法及应用程序
刘保乾
西藏自治区组织编制信息中心,西藏,拉萨,850000
摘要：对用差分代换方法 研究三角形不等式进行了新的探讨;给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl;指出agl程序在验证和发现一类根式型三角形不等式方面,性能优于Bottema软件;讨论了三角形不等式的有理化方法 ;提出了待解决的问题.
关键词：差分代换三角形几何不等式机器证明
分类号：O122.3(初等数学)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 33-38 )
英文信息