磨光集及其应用

提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给出了关于R,r和s的三角形不等式的试探性分拆程序.     

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

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

三角形内部一点到三边距离的两个不等式

应用三角形重要的Wolstenholmw不等式,建立了涉及三角形内部任一点到三边距离的一个不等式,由此结合三角形的加权正弦和不等式给出了一个新的三元二次几何不等式,提出了有关的两个猜想。     

带约束条件多项式的差分代换及其应用

对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.     

Erds-Mordell不等式的一个加强及应用

Erd¨os-Mordell不等式是几何不等式中的一个著名结果。自1935年提出以来,大量文献围绕它进行了研究。本文应用重要的Wolstenholme不等式的代数形式给出了Erdo¨s-Mordell不等式的一个加强,应用加强的结果和有关三角形与一动点的几何不等式变换原则,给出了一个有趣的不等式链,提出并应用计算机验证了4个未解决的猜想。     

一个涉及两个三角形的三元二次型几何不等式

应用三角形重要的加权正弦和不等式等一系列引理,建立了涉及两个三角形的一个三元二次型几何不等式,提出并应用计算机验证了三个尚待解决的猜想     

一类几何不等式的一个结果与十个猜想

建立了关于三角形内部任一点的一个几何不等式,提出并应用计算机验证了同类不等式的十个猜想.     

一个三元二次型三角不等式的一些应用

“三正弦不等式”是一个涉及三个三角形的三元二次型不等式，统一了大批有关三角菇的几何不等式，本文应用它的一个推论，推导出一些新的三角形不等式，提出并应用计算机验证了两个有关的猜想．     

Erd(o)s-Mordell不等式的一个加强及应用

Erd(o)s-Mordell不等式是几何不等式中的一个著名结果.自1935年提出以来,大量文献围绕它进行了研究.本文应用重要的Wolstenholme不等式的代数形式给出了Erdos-Mordell不等式的一个加强,应用加强的结果和有关三角形与一动点的几何不等式变换原则,给出了一个有趣的不等式链,提出并应用计算机验证了4个未解决的猜想.     

涉及三角形内点的一类几何不等式

给出了涉及三角形内点的一个加权的几何不等式,并由此推出了一系列有趣的几何不等式,同时解决了刘健先生在文献[1]、[2]中提出的两个猜想.     

动点类的一类加权几何不等式

运用三角形惯性矩不等式,建立涉及三角形平面上一动点的一个加权几何不等式且导出若干新的不等式.     

一个几何不等式的两则应用

应用作者建立的一个三元二次型几何不等式，推证出两个新的涉及两个三角形与一点的几何不等式，并讨论了它们的应用，提出了几个有关的猜想．     

三个几何不等式的证明

应用三角形重心坐标和三元二次型不等式,建立涉及三角形内部一动点的三个新型的几何不等式。     

用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式

讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。     

关于∑cos~3A／2及其几何不等式

证明和推翻了关于三角形几何不等式∑ｃｏｓ￣３的若干猜想，解决了在等腰三角形、直角三角形及一般三角形等有关条件下∑ｃｏｓ￣３的上、下限问题，建立了关于∑ｃｏｓ￣３的一系列新几何不等式。     

不等式自动发现与判定程序agl2010的若干新改进

通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔离式的自动发现.     

二维常曲率空间中的一组几何不等式

对于二维常高斯曲率空间Σ上的测地三角形,研究了其内角的优超关系,并运用优超理论得到了若干新的关于其三内角的几何不等式.     

双参数Bokov不等式的高维推广及类似

建立了一个涉及单形旁切球半径与内切球半径的新不等式,其形式上类似于Bokov不等式.由于新不等式中含参数,故其蕴涵了许多关于单形的几何不等式,其特殊情形又可推导出一大批关于三角形和四面体的几何不等式.     

二维常曲率空间中的2个几何不等式

对于二维常高斯曲率空间Σ上的测地三角形,研究了其内角的优超关系,并运用优超理论得到2个新的关于其三内角的几何不等式.     

再谈不等式自动发现与判定程序agl2010的改进和应用

对不等式自动发现与判定程序agl2010的功能进行了若干改进,通过15个具体实例演示了程序的强大功能;利用agl算法得到了一类三角形几何不等式最佳系数的估算方法;结合Bottema软件的xprove命令,得到了一种带约束条件不等式自动发现的设计方案;通过建立数据限制函数,实现了一类变元取值范围受限制条件不等式的自动发现和自动加强,从而拓展了包括Fan Ky不等式在内的一大批不等式类型;最后提出2个有趣的不等式问题.