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

摘要

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