三角函数不等式的自动证明

本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是"可读"的.     

单变元三角函数不等式的发现与自动证明

借助于级数理论和maple数学软件,本文研究单变元三角函数不等式的发现及机器自动证明,根据算法所编写的程序hdtrig2015能够在极短的时间内实现三角函数不等式的自动验证.丰富的实例表明本文的算法具有极大的优越性,能够成批实现三角函数不等式的机器自动验证.     

三角函数多项式的实根分离

本文探索非多项式型实函数的实根分离问题,实现了分离三角函数多项式实根的"完备算法",即可以找出一个互不相交的区间列,每一个区间包含函数一个实根,整个列表包含函数的全部实根,且每个区间长度可以小于任意指定精度.     

关于Dixon结式的一个应用

本文研究了如何以Dixon结式为工具给出一个具体的算法来计算如何用初等对称多项式来表示对称多项式的问题.该方法可以应用到齐次对称多项式的正定性判定和齐次对称代数不等式的证明,文章最后给出了几个实例.     

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

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

多项式非负分拆算法的若干改进和补充

对agl2012_lsos程序进行了若干改进,扩大了程序的功能和应用范围;得到了多项式SOS表示的算法和程序;对锐角三角形不等式实现了分拆证明;提供了用智能模拟研究多项式不等式的2个案例;讨论了相关的问题.     

逐次Taylor替换与一类幂指函数不等式的机器证明

逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类形如sin(x)/xu(x)~(v(x))的幂指函数不等式实现了机器证明,机器证明得出的结论虽然是已知结果,但其方法本身对同类不等式具有示范性.     

对均值不等式的探讨

均值不等式是高中数学的一个教学内容,虽然仅仅占了一个课时,但在历年的高考题中却占着举足轻重的地位,本文介绍了几种常见的平均值,并且运用几何的观点构建了一些不等式,而这些不等式由简单的二维入手,再到多维的拓展,更能充分地说明不等式的一些特征.其中算术——几何平均值在不等式理论中处于核心地位,它在高中数学中有着广泛的应用,在这里本文巧妙地利用均值不等式来证明不等式、求函数的最值以及证明三角函数不等式,并在此基础上,给出一个均值不等式的推广,它是均值不等式的一个延伸.     

齐次对称多项式的分解原理与方差平均不等式猜想

获得了如下齐次对称多项式的分解原理:设f(x)为m次齐次对称多项式,且m≥2,n≥2,如果当x1=…=xn时,有f(x)≡0,那么存在m-2次齐次多项式pi,j(x)(1≤i相似文献   

基于三角函数迭代的吸引子图形研究

构造了三角函数与随机生成的多项式函数动力系统,采用确定性迭代算法分析系统混沌性并绘制其吸引子分形图.通过反复迭代实验分析动力系统混沌吸引子图形变化条件,发现三维正弦和余弦乘积函数与随机多项式构成的动力系统是混沌的概率非常高,并且迭代可产生众多具有观赏性和实用价值的混沌吸引子,这种构造混沌的方法可应用于混沌理论研究,混沌...