利用导数证明不等式的四种常用方法_利用导数证明不等式

2020-02-28 证明 下载本文

利用导数证明不等式的四种常用方法由刀豆文库小编整理,希望给你工作、学习、生活带来方便,猜你可能喜欢“利用导数证明不等式”。

利用导数证明不等式的四种常用方法

杨玉新

(绍兴文理学院 数学系, 浙江 绍兴 312000)

摘要: 通过举例阐述了用导数证明不等式的四种方法,由此说明了导数在不等式证明中的重要作用.关键词: 导数;单调性;中值定理;泰勒公式;Jensen不等式

在初等数学中证明不等式的常用方法有比较法、分析法、综合法、放缩法、反证法、数学归纳法和构造法.但是当不等式比较复杂时,用初等的方法证明会比较困难,有时还证不出来.如果用函数的观点去认识不等式,利用导数为工具,那么不等式的证明就会化难为易.本文通过举例阐述利用泰勒公式, 中值定理,函数的性质, Jensen不等式等四种方法证明不等式,说明了导数在证明不等式中的重要作用.一、利用泰勒公式证明不等式

若函数f(x)在含有x0的某区间有定义,并且有直到(n1)阶的各阶导数,又在点x0处有n阶的导数f(n)(x0),则有公式

f(x)f(x0)f(x0)1!(xx0)f(x0)2!(xx0)2f(n)(x0)n!(xx0)(n)Rn(x)

在上述公式中若Rn(x)0(或Rn(x)0),则可得

f(x0)1!f(x0)2!2f(x)f(x0)(xx0)(xx0)f(n)(x0)n!(xx0)(n)

f(x)f(x0)f(x0)1!(xx0)2f(x0)2!x3(xx0)2f(n)(x0)n!(xx0)(n)

例1 证明: ln(1x)xx23,(1x1).证明 设f(x)ln(1x)(1x1)则f(x)在x0处有带有拉格朗日余项三阶泰勒公式

x2ln(1x)x2x33x444(1)(11) x444(1)0

23 ln(1x)xx2x3

由以上证明可知,用泰勒公式证明不等式,首先构造函数,选取适当的点x0在x0处展开,然后判断余项Rn(x)的正负,从而证明不等式.二、利用中值定理证明不等式

微分(Lagrange)中值定理: 若f(x)满足以下条件:(1)f(x)在闭区间[a,b]内连续(2)f(x)在开区间(a,b)上可导

 f()则 (a,b)f(b)f(a)bap1

pp例2 若0yx,p1则 py(xy)xyp1pypp1(xy)

p1分析 因为0yx,则原不等式等价于pyxyxyppx(p1).令f(x)t,则我们容易联想到Lagrange中值定理f()(xy)p'f(x)f(y)xy.证明 设f(t)t,显然f(t)在[y,x]满足Lagrange中值定理的条件

f(x)f(y)xyp1p则 (y,x)f(),即p=xyxyp1pp

p1 (y,x) yx, py pyp1p1ppx

(xy)xpyppyp1(xy)

例3 设f(x)在[a,b]上连续可导,且f(a)f(b)0,则

'maxf(x)axb4(ba)2baf(x)dx

证明 设Mmaxf(x)则由中值公式,当x(a,b)时,有

axb' 2 f(x)f(a)f(1)(xa)f(1)(xa)f(x)f(b)f(2)(xb)f(2)(xb)

其中1(a,x),2(x,b).由此可得

f(x)M(xa)及f(x)M(bx)

所以

babaf(x)dx2aabf(x)dxbab2f(x)dx  即

2aM(xa)dx2bab2M(bx)dx

M(ba)4M4(ba)2baf(x)dx

所以 maxf(x)axb4(ba)2baf(x)dx

积分第二中值定理[1] 若在区间f[a,b]上f为非负的单调递减函数,而g是可积函数,则存在[a,b],使得

 例4 设f(x)bafgf(a)g

a2sintdt,则x0时

x1xf(x)1x

特别地:当x2003时机为2003年浙江省高等数学竞赛试题(工科、经管类)证明 令tu,则由积分第二中值定理

x12f(x)xsinudu2u1x

=12x2xsinudu2

又因为f(x)(x1)22xsinudu2u2(x1)111 =cosu222xu(x1)22xcosudu32u14

cosuduu32 =12xcosx212(x1)cos(x1)2(x1)22x于是,x0时

f(x)12x12x12(x1)12(x1)141((x1)22xu32du

11x)1x =2x1由上可见利用中值定理证明不等式,通常是首先构造辅助函数和考虑区间,辅助函数和定义区间的选择要与题设和结论相联系,然后由中值定理写出不等式,从而进行证明.三、利用函数的单调性证明不等式

定理1 如果函数f(x),g(x)满足以下条件:(1)f(x),g(x)在闭区间[a,b]内连续

(2)f(x),g(x)在开区间(a,b)可导,且有f(x)g(x)(或f(x)g(x))(3)f(a)g(a)

在(a,b)内有f(x)g(x)(或f(x)g(x)

令F(x)f(x)g(x)由于f(x)g(x)f(x)g(x)0F(x)0 所以证明f(x)g(x)证明F(x)0则相应地有

推论1 若f(x)在[a,b]上连续,在(a,b)内可导,f(a)c且f(x)0(或f(x)0)则在(a,b)内有f(x)c(或f(x)c).2例5 证明:当x1时,有ln(x1)lnxln(x2).''分析 只要把要证的不等式变形为

ln(x1)lnxln(x1)lnxln(x2)ln(x1),然后把x相对固定看作常数,并选取辅助函数f(x).则只要证明f(x)在(0,)是单调减函数即可.4 证明

作辅助函数f(x)lnxln(x1)x2ln(x1)lnx

(x1)

于是有f(x)x1lnxxlnx(x1)ln(x1)x(x1)ln2x

因为

1xx1,故0lnxln(x1)所以

xlnx(x1)ln(x1)

(1,)因而在内恒有f'(x)0,所以f(x)在区间(1,)内严格递减.又因为1x1x,可知f(x)f(x1)

ln(x1)lnxln(x2)ln(x1)即

所以

ln2(x1)lnxln(x2).例6

证明不等式xx22ln(1x)x,其中x0.x2分析

因为例6中不等式的不等号两边形式不一样,对它作差ln(1x)(x2),则发现作差以后不容易化简.如果对ln(1x)求导得

211x,这样就能对它进行比较.证明

先证 xx2ln(1x)

x21x)(x设

f(x)ln(2)

(x0)

11xx2则

f(0)ln1(0)00

f(x)'1x1x

 x0

即 1x0 x20

 f(x)x21x0 ,即在(0,)上f(x)单调递增

 f(x)f(0)0 ln(1x)x再证

ln1(x)x

x22

g(x)ln1(x)x 则

g(0)0

g(x)11x1

1 x0  1

1x g(x)0 ln(1x)x

 xx22ln(1x)x

定理1将可导函数的不等式f(x)g(x)的证明转化为f(x)g(x)的证明,但当f(x)与g(x)的大小不容易判定时,则有

推论2 设f(x),g(x)在[a,b]上n阶可导,(1)f(2)f(k)(a)g(x)g(k)(a)

k0,1,2,n1(x)

(或f(n)(n)(n)(x)g(n)(x))

则在(a,b)内有f(x)g(x)

(或f(x)g(x))

例7

证明: tgxx13x,x(0,32).分析 两边函数类型不同,右边多项式次数较高,不易比较,对它求一阶导数得(tgx)secx,(x213x)1x.仍然不易比较,则我们自然就能想到推论2.32证明

设f(x)tgx g(x)x则

(1)f(0)g(0)0

13x

322(2)f(x)sec(x),g(x)(1x),f(0)g(0)1

(3)f(x)2secxcos2x,g(x)2x,f(0)g(0)1

(4)f(x)2(1tg2x)(13tg2x), g(x)2 显然有

f(x)g(x)

由推论2得,tgxx13x(0x22).利用函数的单调性证明不等式我们都是先构造函数.然后通过对函数求导,来判定函数的增减性,从而达到证明不等式的目的.四、利用Jensen(琴森)不等式证明不等式

定义[1] 如果f(x)在(a,b)内存在二阶导数f(x)则

(1)若对x(a,b)有f(x)0,.则函数f(x)在(a,b)内为凸函数.(2)若对x(a,b)有f(x)0,.则函数f(x)在(a,b)内为凹函数.n"若函数f(x)在(a,b)内是凸(或凹)函数时,对x1,x2,,xn(a,b)及i1,有

i1Jensen(琴森)不等式

fixii1nn或fixiif(xi)i1i1nni1if(xi)

等号当且仅当x1x2xn时成立.例8 证明下列不等式

n1a11a21anna1a2ana1a2ann(ai0,i1,2,n).分析 上式只要能证明na1a2ana1a2ann(ai0,i1,2,n),如果此题用前面所述的几种方法来证明显然不合适,因为对它求导后不等式会更复杂.而这里的ai可以看作是同一函数的多个不同函数值,设f(x)lnx那么就可以用Jensen不等式来证明它.然后只要令f(x)ln1x,同理可得

n1a11a21anna1a2an.证明 令f(x)lnx(x0)因为 f(x)1x20,所以f(x)在(0,)是凹函数

则对a1,a2,,an(0,)有

11f(a1a2an)f(a1)f(a2)f(an) nn即 ln1n11(aaa)lna1lna2lnan 2nn1n又因为 lna1lna2lnanlnna1a2an

所以 na1a2an1xa1a2ann

令 f(x)ln, 则同理可得

n1a11a21ann a1a2an 所以

n1a11a21anna1a2ana1a2ann(ai0,i1,2,n)

例9 设f(x)二次可微,且对一切x,有f(x)0,而u(t)在[0,a]上连续,则

1aa0f[u(t)]dtf[1aa0u(t)dt]

分析 上述不等式在形式上很像Jensen不等式,且当t取不同的值时,f[u(t)]就是同一函数的不同函数值,则可以用琴森不等式进行证明.证明 由f(x)及u(t)的连续性,保证了可积性.并且

1aa1a0f[u(t)]dtlim1n1nnu(f[u(Kan)]

K0a0u(t)dtlim1nn1nK0Kan)

因f(x)0,故f(x)为凸函数,在Jensen不等式f(q1x1q2x2qnxn)q1f(x1)qnf(xn)

(q1,q2,,qn均为正,且中,取

xiu(i1na), qi1n(i1,2,3,n)

q1q2qn1)

即得

f[1nn1u(K0Kan)]1nn1K0f[u(Kan)]

由f(x)的连续性,在上式取n即得所要证的结论.由以上证明可知应用Jensen不等式证明不等式,首先是构造适当的函数并判断它的凹凸性,然后用Jensen不等式证明之.本文所述四种用导数证明不等式的四种方法充分说明了导数在不等式证明中的独到之处.在证明不等式时,应用导数等知识往往能使复杂问题简单化,从而达到事半功倍的效果.需要指出的是利用导数证明不等式,除上述四种方法外还有不少方法.如用极值、最值等来证明不等式.由于受篇幅之限,这里不再详述.参考文献

[1] 华东师范大学数学系,数学分析[M]第三版,北京:高等教育出版社,2001.[2] 裘单明等,研究生入学考试指导,数学分析[M],济南:山东科学技术出版社,1985.[3] 胡雁军,李育生,邓聚成,数学分析中的证题方法与难题选解[M],开封:河南大学出版社,1987.Four Usual Methods to Prove Tthe Inequality by Using

Derivative

Yang Yuxin

(Department of Mathematics Shaoxing College of Arts and Sciences, Shaoxing Zhejiang,312000)Abstract:Examplisies four methods to prove the Inequality by using Derivative to show the imporpance of using derivative to crove the inequality Key words:Derivative;Monotonicity;Theorem of mean;Taylor formula;Jensen Inequality

《利用导数证明不等式的四种常用方法.docx》
将本文的Word文档下载,方便收藏和打印
推荐度:
利用导数证明不等式的四种常用方法
点击下载文档
相关专题 利用导数证明不等式 证明 导数 不等式 利用导数证明不等式 证明 导数 不等式
[证明]相关推荐
    [证明]热门文章
      下载全文