三角形几何不等式相关论文
回顾了等腰取等不等式的研究发展过程;提出了等腰取等量并详细讨论了它在加强等腰取等不等式方面的应用;对已有的一些不等式发现模......
对用差分代换方法研究三角形不等式进行了新的探讨；给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl；指出agl程序在验......
从8个方面对三角形不等式判定程序agl2009进行了改进和补充，使改进后的程序能够处理更多类型的不等式；针对传统不等式证明器只对给定......
提出用正切代换方法证明三角形几何不等式和圆内接四边形不等式；给出了代换公式，诸多实例表明该方法是有效的；同时，针对正切代抉方法，提......
以不等式自动发现与判定程序agl2010为工具,通过对已知不等式进行隔离研究,提出了研究三角形几何不等式的有向图表示方法,并绘制了......
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明......
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略......
对三角形几何不等式的s，R，r分拆证明进行了探讨，讨论了分拆算法和程序；大量的例子表明，文中的分拆算法虽然只是试探性的，但可以方便地解......
