一类超越函数多项式不等式的自动证明

讨论了形如f(x,trans_1(x),…,trans_n(x))0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程.     

Taylor展开式与三角函数不等式的自动证明

文章以具有模型f(x,tan(x/2))0的三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的证明,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且证明过程是"可读"的.     

指数多项式不等式的自动证明北大核心CSCD

讨论了指数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple实现了上述算法,算法对所有指数多项式不等式终止,并且可以输出"可读"的证明过程.     

指数多项式不等式的自动证明

讨论了指数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple实现了上述算法,算法对所有指数多项式不等式终止,并且可以输出"可读"的证明过程.     

渗透主元思想展现导数活力

运用导数解决一元函数y=f(x)(尤其是多项式函数)的极值、最值、单调性等成为新教材一个独特的亮点.在教学实践中经过研究发现,巧妙运用主元思想,还可以用导数方便地解决多元函数的类似问题,尤其是证明多元不等式,从中展现出导数的无穷活力.     

一道导数“压轴题”的解法探究

<正>导数问题经常出现在压轴题,它在各种考试中的地位不可小觑.本文通过一道"压轴题"解法探究,浅谈一下导数之"不等式证明"的方法运用.题目已知函数f(x)=(x+1)lnx/x-1(x>0且x≠1),(1)讨论函数f(x)的单调性;(2)证明:f(x)>2.一、结论探求初拿到本题,乍一看觉得不难,因为所考查的函数不含参数,避免了分类讨论的繁琐,可是又觉得不会这么简单,因为毕竟处于22     

有理单变元表示在优化问题上的应用

利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优化问题.新算法不仅能处理目标函数为多项式的最优化问题,而且还能处理目标函数为有理分式函数和根式函数的的最优化问题,并且给出了目标函数最优值的精确区间表示,使得能任意精度地逼近最优值.     

多元函数微分法在证明不等式中的应用

运用多元函数微分法可以证明一些不等式,现举例说明如下.例1设n≥1及x≥0,y≥0,证明不等式(x~n+y~n)/2≥((x+y)/2)~n证当x=0或y=0或n=1时,所论不等式显然成立.现讨论x≠0,y≠0 ,n>1的情形.考虑函数z=1/2(x~n+y~n)在条x+y=a件下的极小值,其中a为正常数.     

关于多项式函数的一个定理

给出了函数f（x）为多项式函数的一个充分必要条件。     

如何巧妙构造函数简捷证明不等式

利用函数方法证明不等式最关键的是构造适当的函数,而如何构造适当的函数常常是因题而异的.下面阐述如何从不等式的结构人手,从而找到所需构造的函数.1 分析所证不等式的结构特点,联想函数的单调性,能获得简洁的思路.例1 若x≥y,则2010(x-1)3+2011(x-1)≥2010(y-1)3+2011(y-1).分析所证不等式两边的结构相似,相当于比较函数f(x)=2010x3+2011x在x-1及y-1的函数值大小,将不等式的证明转化为函数增减性来研究.     

Taylor公式中的Lagrange型余项的探讨之注记

文献[1]对函数的Taylor公式中的Lagrange型余项Rn(x)进行了研究,得到了Rn(x)用函数的(n+1)阶导数、(n+2)阶导数表示均可的结论,本注记说明文献[1]的结论正确但证明过程有误.     

Taylor公式逼近精度的研究

Taylor公式在数值计算中占有很重要的地位;它的余项反映了多项式Qn(x)逼近函数f(x)的程度.在数值计算中,逼近精度的提高,往往要提高其误差的阶,因此本文对Taylor公式的阶进行了提高,并给出了其误差的表达式.     

一类三角形几何不等式的统一证法

我们知道 ,任何三角形都有一个内切圆 ,切点把三边分成两段 .根据切线长定理 ,可将三边分拆换元 ,即在△ABC中 ,a ,b ,c分别为其三边长 ,可设a =y +z ,b =x +z ,c =x + y (其中 ,x ,y ,z∈R+ )( 1)如此便可简捷地证明一些三角形不等式 .下面我们举例说明 :1　分拆换元后 ,运用算术—几何平均值不等式一些结构较复杂 ,直接运用均值不等式有困难的三角形几何不等式 ,依据 ( 1)式分拆换元后 ,却能容易利用算术—几何平均值不等式 .例 1　在△ABC中 ,a ,b,c分别为其边长 ,求证 :① (《数学通讯》 2 0 0 1.12 .数学问题 132 4 )a +bb +c -a+ b…     

基于Legendre函数的Landau''''s型不等式

首先研究了L2w(-1,1)上关于Legendre多项式Xn(x)的Landau's型不等式.利用Xn(x)的正交性,建立了代数多项式pn(x)的Landau's型不等式,并且指出其不等式的系数在某种意义上是最好可能的.     

关于第二类Chebyshev权函数的Landau’s型不等式

首先建立了第二类Chebyshev多项式Un(x)的Landau’s型不等式.利用Un(x)的正交性,建立了代数多项式pn(x)的加权Landau’s型不等式,并且指出其不等式的系数在某种意义上是最好可能的.     

关于伽玛函数和不完全伽玛函数单调性的注记

利用含有两参数拓广加权平均值的单调性和不等式,我们证明了三类比的伽玛函数在条件r＞0,s＞0和x＞0下是递增的,Γ(s),Γ(s,x)和γ(s,x)分别表示伽玛函数和不完全伽玛函数.据此关于伽玛函数和不完全伽玛函数的单调性结果和不等式被推广了,同时给出了伽玛函数一些结果的证明.     

基于Legendre函数的Landau′s型不等式

首先研究了L2ω(-1,1)上关于L egendre多项式Xn(x)的L andau′s型不等式.利用Xn(x)的正交性,建立了代数多项式pn(x)的L andau′s型不等式,并且指出其不等式的系数在某种意义上是最好可能的.     

一个重要函数不等式x/(x+1)≤ln(1+x)≤x及其应用

在导数的应用里很容易得到这样一个重要不等式x/(x+1)≤ln(1+x)≤x,(x＞-1,当且仅当x=0时取等号),通过利用这个不等式或者它的等价变形可以用来证明一些数列不等式或者函数不等式的问题,下面搜集了在近年来的部分省份高考试题中的一些应用.例1 (2008年山东理21)已知函数f(x)=1/(1-x)n+aln(x-1),其中n∈N*,a为常数.(Ⅰ)当n=2时,求函数f(x)的极值;(Ⅱ)当a=1时,证明:对任意的正整数n,当x≥2时,有f(x)≤x-1.     

关于一个积分不等式的证明

分别利用定积分的定义、Cauchy中值定理、积分变限函数、参数法以及二重积分等证明积分不等式∫01f2(x)dx≥∫01f(x)dx2,其中f(x)在闭区间[0,1]上连续.同时归纳出证明积分不等式的几种典型方法.     

分离lnx法解一类函数问题

<正>函数模型"f(x)=p(x)lnx+q(x)+r"在高考试题中频繁出现,涉及恒成立、不等式证明、求参数取值范围等问题,如果直接借助导数求解,往往四处碰壁,无功而返,下面结合实例谈谈求解此类问题的一种有效方法——"分离函数lnx",即,使lnx的系数变为常数,不再含有变量x,使其导函数简洁.