加权平均值不等式的推广

给出了加权算术－几何平均值不等式的一个插值不等式,应用此不等式给出了两个重要不等式的初等证明,它们的特例是著名的Ｈｏ¨ｌｄｅｒ不等式和Ｋａｎｔｏｒｏｖｉｃ不等式．     

柯西不等式的一个注记

利用向量的勾股定理证明了线性代数中的柯西不等式和三角不等式,探讨了这两个不等式的联系,并用三角不等式证明了柯西不等式,指出了该不等式名称中一个易被忽视的细节.     

一个不等式及其应用

给出了一个不等式,并给出了该不等式在凸函数性质证明,求极限等方面的应用;利用该不等式,还得到了概率不等式与积分不等式.     

广义均值不等式及其简单应用

将均值不等式从二维空间推广到n维空间,并着重研究了利用倒推法和反向归纳法证明广义均值不等式,从而验证了证明不等式的一般方法的有效性;从形式上和理论上提出广义均值不等式的幂次一般形式和积分形式,并结合基本均值不等式性质更进一步研究了均值不等式的积分形式的证明,拓展了均值不等式的理论应用范围。用实例充分体现了均值不等式的性质以及如何结合广义均值不等式与数学建模思想解决问题,由此说明广义均值不等式的重要性。     

一类级数部分和不等式及其应用

级数部分和不等式是不等式研究和近代数学发展的基础,基于对经典不等式的研究,建立了一类含有多个参数,结构形式简洁的级数部分和不等式。应用基本不等式,结合初等变换对所建立的不等式进行了严格证明。在分析该类不等式结构特征的基础上,赋于参数特定的值式,得出了一系列重要的推论。通过实例,检验定理及其推论在构造或者证明一大批级数部分和不等式中具有普适性。同时所得结果不仅囊括了众多著名不等式,更是对这些不等式以及相关文献结果的推广、改进和加强。     

不等式的同解定理与不等式产生误解原因浅析

本文用不等式同解定理分析了整式不等式、分式不等式、无理不等式、对数不等式等各种具体形式的不等式求解是产生误解的原因，提出了解上述各种形式不等式避免引起误解的方法，明确了不等式同解定理的适用条件。     

基于Hermite矩阵的几类重要不等式

笔者给出了Hermite矩阵特征值的Wieland - Hoffman型不等式,研究了Hadamard乘积下的矩阵迹的Cauchy型不等式、H（o）lder型不等式、Minkowski型不等式以及几何平均不等式.     

三角形不等式判定程序agl2009的改进及应用

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.     

一类不等式的研究

均值不等式在不等式理论中的地位非常重要,均值不等式在不等式的证明中有很多功能,如均值不等式的降幂功能、并项功能、放缩功能等等,利用这些功能可以在证明不等式中简化证明,显得简单有力.本文研究了均值不等式在简化初等不等式证明及定积分等方面的一些应用.     

四边形不等式的自动发现

对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.     

集值向量变分不等式组的数量化方法

文章定义了四种集值变分不等式组,即分别具有强解和弱解的集值向量变分不等式组和集值数量化变分不等式组。通过运用Konnov的数量化方法,研究将一个集值向量变分不等式组转化为一个集值数量化变分不等式组,并给出了两种集值变分不等式组的等价条件。     

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

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

不等式的概率证法举例

本文通过举例进一步把用概率方法证明不等式的范围扩大了。     

关于单形外接球半径两个不等式的稳定性

利用偏正度量与几何不等式理论研究单形几何不等式的稳定性,证明关于单形外接球半径的两个不等式是稳定的,并给出它们稳定性版本.     

关于Hermite矩阵的若干不等式

利用矩阵不等式的相关知识，以及Neumann不等式和已知的实数不等式，将2个简单的实数不等式推广到矩阵迹和范数领域，得到矩阵范数不等式的推广形式.     

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

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

一类不等式的证明

给出了一类新的不等式证明，它们是格朗瓦尔不等式的补充。     

建立不等式的降维方法(Ⅱ)

使用降维法建立了一些著名不等式，包括关于方差平均不等式的一个猜想，王-王不等式以及其它.通过论证再次观察到，这种新近发展起来的方法可以广泛用于不等式研究，且有别于用在证明不等式的归纳法.     

关于球面空间中度量加的两个几何不等式

利用距离几何的理论与方法研究了关于球面空间中度量加的几何不等式问题,建立了关于球面空间中度量加的两个新的几何不等式,推广了球而单形度量加的一些重要结果.     

含高阶导数和变积分限的Opial型不等式

在Ｏｐｉａｌ积分不等工及其沿着不同方向的推广中，不等式两端都是定积分项。讨论具变动积分取并含有高阶导数的积分微分不等式，适当选取变积分限的值，可由它们导出包含许多已知结果的新Ｏｐｉａｌ型不等式。