关于Van Der Corput不等式加强的进一步改进

利用传统方法,将Van Der Corput不等式的一个加强式做了改进,建立了Van Der Corput不等式两个更强的加强式,它们优于现有的众多结论.     

关于Van Der Corput不等式推广的进一步改进

运用数值计算和分析方法,将Van Der Corput不等式的推广做了进一步改进,建立了Van Der Corput不等式更强的推广式,它优于现有的相关结论.     

关于双曲函数的两个平均及其Schur凸性

通过类比三角函数的两个平均,定义了双曲函数的两个平均Msh（a,b）和Mth（a,b）.为进一步确定它们的Schur凸性,采用了凸函数的相关理论,并结合Hadamard不等式,证明出Msh（a,b）在[0,＋∞）上为Schur凸函数,而Mth（a,b）在[0,＋∞）上为Schur凹函数.基于这两个平均的Schur凸性,建立了一个涉及算术平均、Msh（a,b）和Mth（a,b）的新不等式链.     

轮换对称多项式通式的构造及初等轮换式的自动发现

通过改进算法的轮换对称多项式的通式构造程序,研究了初等轮换对称多项式的构造,编写Maple程序得到了3元到7元的初等轮换对称多项式;提出并编程实现列表乘法运算,为较多元多项式的线性表示及多项式的通式构造提供了强有力的工具;提出了3个猜想并编程实现部分验证.     

Jordan不等式的拓广及应用

借助于多项式判别系统和M ap le数学软件,建立了Jordan不等式新的拓广形式,由此得到关于Se iffert平均的3个含参双边不等式,并给出杨乐不等式的一个推广。     

Carleman不等式的下界改进及改进式的自动发现

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.     

Hardy不等式的加强式及自动验证程序

研究Hardy不等式的加强式,通过对权系数W(k,p)的估计,在权系数W(k,2.5)下建立加强式编写程序hdiscover2012,实现了形如加强式的自动验证,式中系数1-(p-1/p)~p W(1,p)为最佳.最后猜想上述不等式对p1成立.     

正多边形的一种扩展及扩展后的面积求解

<正>《中学生数学》2007年7月(上)25页刊登的《多边形扩展后的面积问题》一文中介绍了一种将一个三角形扩展而成新的三角形的办法,该文把这种办法推广到多边形的情况,求解得到新的多边形与原多边形的面积关系.笔者受其启发,在下面给出一种正多边形的扩展方式,求解扩展前后多边形的面积关系问题.     

关于余弦的一个含参双边不等式及其应用

借助于多项式判别系统和maple数学软件,建立了关于余弦的一个含参双边不等式及含参三角函数不等式链,由此得到两条关于Seiffert平均的不等式链,并给出杨乐不等式的一个拓广.