资源描述：
《利用导数证明不等式的四种常用方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、利用导数证明不等式的四种常用方法杨玉新(绍兴文理学院数学系,浙江绍兴312000)摘要:通过举例阐述了用导数证明不等式的四种方法,由此说明了导数在不等式证明中的重要作用.关键词:导数;单调性;中值定理;泰勒公式;Jensen不等式在初等数学中证明不等式的常用方法有比较法、分析法、综合法、放缩法、反证法、数学归纳法和构造法.但是当不等式比较复杂时，用初等的方法证明会比较困难,有时还证不出来.如果用函数的观点去认识不等式,利用导数为工具,那么不等式的证明就会化难为易.本文通过举例阐述利用泰勒公式,中值定理,函数的性质,Jensen不等式等四种方法证明不等式,说明了导数在证明不等式
2、中的重要作用.一、利用泰勒公式证明不等式若函数在含有的某区间有定义,并且有直到阶的各阶导数,又在点处有阶的导数,则有公式在上述公式中若(或),则可得或例1证明:证明设则在处有带有拉格朗日余项三阶泰勒公式9由以上证明可知,用泰勒公式证明不等式,首先构造函数,选取适当的点在处展开,然后判断余项的正负,从而证明不等式.二、利用中值定理证明不等式微分中值定理:若满足以下条件:(1)在闭区间内连续(2)在开区间上可导则例2若分析因为则原不等式等价于.令,则我们容易联想到中值定理.证明设,显然满足中值定理的条件则即例3设在上连续可导,且则证明设则由中值公式,当时,有9其中由此可得所以即所
3、以积分第二中值定理若在区间上为非负的单调递减函数,而是可积函数,则存在,使得例4设,则时特别地:当时机为年浙江省高等数学竞赛试题(工科、经管类)证明令,则由积分第二中值定理又因为9于是,时由上可见利用中值定理证明不等式,通常是首先构造辅助函数和考虑区间,辅助函数和定义区间的选择要与题设和结论相联系,然后由中值定理写出不等式,从而进行证明.三、利用函数的单调性证明不等式定理1如果函数满足以下条件:(1)在闭区间内连续(2)在开区间可导,且有(或)(3)则在内有(或令由于所以证明证明则相应地有推论1若在上连续,在内可导,且(或)则在内有(或).例5证明:当时,有分析只要把要证的不
4、等式变形为,然后把相对固定看作常数,并选取辅助函数.则只要证明在是单调减函数即可.9证明作辅助函数于是有因为故所以因而在内恒有,所以在区间内严格递减.又因为,可知即所以例6证明不等式,其中.分析因为例6中不等式的不等号两边形式不一样,对它作差,则发现作差以后不容易化简.如果对求导得,这样就能对它进行比较.证明先证设则即,即在上单调递增9再证令则定理1将可导函数的不等式的证明转化为的证明，但当与的大小不容易判定时，则有推论2设，在[]上阶可导，（1）（2）（或）则在（）内有（或）例7证明:，.分析两边函数类型不同,右边多项式次数较高,不易比较,对它求一阶导数得仍然不易比较,则我
5、们自然就能想到推论2.证明设则（1）（2）（3）9（4）显然有由推论2得，（）.利用函数的单调性证明不等式我们都是先构造函数.然后通过对函数求导,来判定函数的增减性,从而达到证明不等式的目的.四、利用Jensen(琴森)不等式证明不等式定义如果内存在二阶导数则(1)若对则函数在内为凸函数.(2)若对则函数在内为凹函数.若函数内是凸(或凹)函数时,对及,有Jensen(琴森)不等式等号当且仅当时成立.例8证明下列不等式.分析上式只要能证明,如果此题用前面所述的几种方法来证明显然不合适,因为对它求导后不等式会更复杂.而这里的可以看作是同一函数的多个不同函数值,设那么就可以用Jen
6、sen不等式来证明它.然后只要令,同理可得.9证明令因为,所以是凹函数则对有即又因为所以令,则同理可得所以例9设二次可微,且对一切,有,而在上连续,则分析上述不等式在形式上很像Jensen不等式,且当取不同的值时,就是同一函数的不同函数值,则可以用琴森不等式进行证明.证明由及的连续性,保证了可积性.并且因,故为凸函数,在Jensen不等式9中,取即得由的连续性,在上式取即得所要证的结论.由以上证明可知应用Jensen不等式证明不等式,首先是构造适当的函数并判断它的凹凸性,然后用Jensen不等式证明之.本文所述四种用导数证明不等式的四种方法充分说明了导数在不等式证明中的独到之
7、处.在证明不等式时,应用导数等知识往往能使复杂问题简单化,从而达到事半功倍的效果.需要指出的是利用导数证明不等式,除上述四种方法外还有不少方法.如用极值、最值等来证明不等式.由于受篇幅之限,这里不再详述.参考文献[1]华东师范大学数学系,数学分析[M]第三版,北京:高等教育出版社,2001.[2]裘单明等,研究生入学考试指导,数学分析[M],济南:山东科学技术出版社,1985.[3]胡雁军,李育生,邓聚成,数学分析中的证题方法与难题选解[M],开封:河南大学出版社,1987.FourUsualMetho
