涉及旁切球半径的一类几何不等式

介绍了两个代数不等式，给出了n维欧氏空间E^n中涉及旁切球半径的一类几何不等式及其推广和应用．     

M.S.Klamkin问题的几个推广

设n维欧氏空间E~n中n维单形Ω的外接球半径为R,内切球半径为r,M.S Klamkin在[1]中获得了一个几何不等式:R≥nr。本文给出了上述不等式的几个推广。     

关于单形一个结果的推广

利用几何不等式的理论与解析方法，研究了n维欧氏空间E^n中n维单形外接球半径与内切球半径之间关系，推广了Klamkln不等式，获得更强的一个几何不等式．     

关于垂足单形的一结果及应用

应用解析方法研究了n维欧氏空间En中n维单形的垂足单形几何不等式问题,建立了垂足单形的一个几何不等式,应用它得到了n维Euler不等式的推广.     

关于垂足单形的两个结果及其应用

用距离几何的理论与方法研究了n维欧氏空间En中n维单形的几何不等式问题,建立了垂足单形的两个新的几何不等式,作为其特例得到了n维Euler不等式及其推广。     

M.S.Klamkin 问题的几个推广

设ｎ维欧氏空间Ｅｎ中ｎ维单形Ω的外接球半径为Ｒ，内切球半径为ｒ，Ｍ．Ｓ．Ｋｌａｍｋｉｎ获得了一个几何不等式Ｒ≥ｎｒ．本文给出了上述不等式的几个推广     

M.S.Klamkinu问题的几个推广

设ｎ维欧氏空间Ｅ＾ｎ中ｎ维单形Ω的外接球半径为Ｒ，内切球半径为ｒ，Ｍ．Ｓ．Ｋｌａｍｋｉｎ获得了一个几何不等式Ｒ≥ｎｒ，本文给出了上述不等式的几个推广。     

关于单形旁切球半径的几何不等式

利用度量几何的理论与方法，研究了单形旁切球半径的不等式问题．建立了单形旁切球半径与单形的体积，外接球半径与内切球半径之间的几个不等式，并指出有关文献中关于单形旁切球半径已有的一个不等式是错误结果．     

涉及两个单形的一类不等式及其应用

应用解析方法和几何不等式理论研究了n维欧氏空间En中涉及两个n维单形的几何不等式问题,建立了涉及两个单形及其内点的一类不等式.作为其应用,获得了n维单形与其垂足单形的体积的一类关系式,改进了关于垂足单形体积的几类几何不等式.     

受控与涉及旁径的n维单形不等式

应用受控理论与方法研究单形, 给出了n维单形中旁切超球半径, 内切超球半径及高线长之间的若干受控关系, 简捷地建立了n维单形中涉及旁切超球半径的一系列新的几何不等式.所得旁切超球半径与内切超球半径的幂和系列不等式等是以往某些结果的推广与补充.     

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

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

关于n维单形的几个几何不等式

利用控制不等式理论,建立了涉及单形内切球半径、旁切球半径和高的几个不等式.     

一类不等式的证明

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

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

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

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

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

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

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

不等式矩阵形式的推广

近几年来,许多关于实数的经典不等式都在矩阵领域得到了很多推广。如文献[1]全面论述了矩阵论中各种不等式,文献[2,3]给出了矩阵形式的Cauchy-Schwarz不等式,将调和平均-几何平均-算数平均不等式引入到矩阵的二次型之中,得到了一些比较有意义的矩阵形式。本文利用平均值不等式,从可对角化这一概念入手,给出了关于几何-算数平均不等式和几何-调和平均不等式的矩阵形式,并且进一步给出了矩阵迹和行列式形式的不等式,从而推广了平均值不等式的矩阵形式。     

有限元反估计中常数C的上界

反估计不等式在有限元分析中颇为重要,许多算法的收敛性结果的证明都要用到此类不等式,它涉及函数不同模之间的相互关系.此类结果曾被多次证明,但在已有的反估计不等式中,其估计式中皆含有一个未知的常数C.文章用一种新方法证明反估计不等式,从而得到相应常数C的上界估计.