一类超越函数多项式不等式的自动证明北大核心CSCD

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

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

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

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

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

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

讨论了指数多项式不等式的自动证明问题,运用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为正常数.     

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

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

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

利用函数方法证明不等式最关键的是构造适当的函数,而如何构造适当的函数常常是因题而异的.下面阐述如何从不等式的结构人手,从而找到所需构造的函数.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的函数值大小,将不等式的证明转化为函数增减性来研究.     

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

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

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

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

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

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

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

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

分离lnx法解一类函数问题

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

单调函数及其应用

设 f为定义在D上的函数 ,若对于D中任意两个数x1,x2 ,当x1f(x2 )时 ,称 f为D上严格递减函数 .递增函数和递减函数统称为单调函数 ,函数的单调性是函数的重要性质之一 ,利用函数的单调性 ,可以比较函数值的大小 ,证明一些不等式以及解决某些方程问题和函数极值问题 .例 1　证明 |x1+x2 +… +xn|1+|x1+x2 +… +xn|≤ |x1|1+|x1|+|x2 …     

一个重要函数不等式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]上连续.同时归纳出证明积分不等式的几种典型方法.     

一类数列不等式的几何背景溯源与拓展

<正>我们知道,当f(x)≥0时,定积分∫abf(x)dx的几何意义是:由:y=f(x),x=a,x=b与x轴所围成的曲边梯形的面积(图1).利用定积分的几何意义,一些原本代数方法解答冗长复杂的函数或数列问题,可以迅速解决.下面,笔者从"对数平均不等式"的证明人手,讲解一类数列不等式几何背景的溯源与拓展.     

用好教材上的经典不等式 ——兼谈2018年浙江高考数学第10题

<正>教材上的例题、习题介绍了一些经典的函数或不等式,可将这些函数或不等式作为引理来证明数列不等式或解决与数列有关的不等式.如高中新课标教材数学选修2-2(人教版)《导数及其应用》P32习题中非常经典的不等式:1+x-1,当且仅当x=0时取等号,或lnx≤x-1,x>0,当且仅当x=1时取等号).     

整体与局部转化解函数题

<正>当面对一些多项式需要判断它的正负性,或者面对一个不等式需要求解,却不能直接计算的情况,我们一般就需要放弃直接求部分的想法,尝试"绕路"把它们看成一个整体设为一个新的函数,通过判断这个函数相关的性质,从整体上尝试解决部分的问题.下面以三道高考题为例.例1已知函数f(x)=e^xcosx-x.(Ⅰ)求曲线y=f(x)在点(0,f(0))处的