Jensen不等式的证明和应用

第一篇：Jensen不等式的证明和应用

Jensen不等式的证明和应用

1.设x在a,b内二阶可导，且x0，则

p1x1p2x2pnxnp1x1p2x2pnxn



pppppp12n12n

其中p1,p2,L,pn均为正数，x1,x2,L,xnÎ2.证明不等式abc

abc

(a,b)。

aabbcc其中a,b,c均为正数。

3.应用Jensen不等式证明： 1）设aj0j1,2,,n有

n

++L+a1a2an

＃a1+a2+L+an。

n

2）设aj0,bj0j1,2,,n有

骣np鼢骣nq

ajbj£珑aj鼢bj珑邋 鼢珑鼢珑桫桫j=1j=1j=1

n

p1q,q>1,其中p>1

+=1。pq

积分不等式的证明

1.设函数fx在闭区间0,1上具有连续的导数，f01，且



f2xdx1。

1）求xfxfxdx；2）证明：xf





xdxfx

dx。

b

2.设fx在a,b上可导，且fxM,fa0，证明：



a

fxdx

M2

ba 2

3.设fx0,x0,1，则



fx2dx。

4.设函数fx在闭区间0,1上连续，在0,1内有二阶导数，且fx0，证明：



1

fxndxf。

n1

5.设函数fxC0,1，且x,y0,1，有fxfyMxy，b

证明



a

1n

fxdxf

nk1

kM

。

n2n

6.估计



x2dx的符号。

7.设fx在0,1上连续且单调减少，f10，求证：

xfxdxfxdx

01



xfxdx

01

fxdx

8.设fx在a,b上连续，且fx0，则

b



a

fxdx

a

b

ba。fx9.设f1x,f2x,,fnx均为a,b上正值可积函数0ab，证明：

b1



n

f1xdxf2xdxfnxdxf1xf2xfnxdx。

aaaab

n

b

1n

b

1n

10.设fx在a,b上可导，且fx在a,b上可积，fafb0，试证：

fxfxdx

2a

b

axb。

11.设fx在,有界，且导数连续，又对任意的实数x有fxfx1，试证：fx1。

1

12.设fx在,aa0上非负可积，且xfxdx0，a1



a

a

求证：

xfxdxfxdx。

21a

1a

aa

13.设fx在0,1上有二阶连续的导数，则对任意的0,,

132,1，有 3

fx3fffx。

14.设fx在a,b上连续，则maxfxfxdxfx。xa,bbaa

a

bb

15.设fx在0,1上有连续的导数，且f0f10，证明：



fxdx

maxfx。40x1

16.设fx在a,b上连续，且严格单增，证明：ab

fxdx2xfxdx。

a

a

bb

17.设fx在0,1上有连续的导数，满足0fx1且f00求证：

113

fxdxfxdx。00

18.设fx在0,1上连续且递减，证明：当01时，19.设fx在0.上连续，且单调增加，证明：

ba

1

xfxdxbfxdxafxdx。20a0b

fxdxfxdx。

1

20.设fx在0,1上有连续的导数，且f0f10，证明：



fxdxfxdx。402

21.设fx在a,b上有连续的导数，且fa0，证明：

b

f

a

bab2xdxfxdx。2

a

22.设fx在0,1上有连续的导数，证明： 对于x0,1，有fx

fxfxdx。

23.设fx在a,b上有连续的导数，且fa0，证明：

b



a

2ba

fxfxdxfxdx。

2a

b

24.设fx在a,b上有连续的导数，且fafb0，证明：

b



a

2ba

fxfxdxfxdx。4a

b

25.设fx在a,b上不恒为零，且其导数fx连续，并且有fafb0，证明：

a,b，使f

fxdx。ba

2a

b

26.设fx在a,b上单调增加，且fx0，证明：

bafafxdxba

a

b

fafb。

27.设fx在0,1上连续，且单调减少，fx0,证明：对于满足01的任何

,，有fxdxfxdx。





28.设fx在a,b上具有连续的二阶导数，fx，且f0f10,fx0，证明：



fx

4。fx29.设fx在a,b上连续，且fx0，证明：

b

1b1lnfxdxlnfxdx。babaaa



30.设Intannxdx，n为大于1的正整数，证明：



。In

2n12n11

31.设fx在0,1上有一阶连续导数，且f1f01，证明：fxdx1。



32.设fx在0,2上连续，且

fxdx0,xfxdxa0，证明：

0,2，使fa。

33.设fx在0,1上连续，且

fxdx0,xfxdx1.，证明：

1）x00,1，使得fx04；2）x10,1使得fx14。

34.设fx在0,1上连续，且



fxdx0,xfxdx0,,x

n1

fxdx0,xnfxdx1，证明：c0,1，n

使fc2n1。

35.设正值函数fx在闭区间a,b上连续，b

b

fxdxA，证明：

a

b



a

fxe

fx

dx

a

babaA。fx36.设函数fx在闭区间a,b上连续，不恒为零。满足0fxM，bbMbab

fxdx。则fxcosxdxfxsinxdx

12aaa

第二篇：Cauchy-Schwarz不等式的证明和应用

Cauchy-Schwarz不等式的证明和应用

摘要:Cauchy-Schwarz不等式有多种证明方法而且应用广泛.本文归纳了几种Cauchy-Schwarz不等式的典型证明方法,并探讨了Cauchy-Schwarz不等式的应用.关键词:Cauchy-Schwarz不等式;向量空间;内积

一、Cauchy-Schwarz不等式的几种证明方法

1.第一种证明方法

定理1对任意的向量α,β有|(α,β)|≤|α||β|.当且仅当α,β线性相关时,等号才成立.证明当β=0时,不等式成立.设β≠0.令t是一个实变数,作向量γ=α+tβ.不论t取何值,一定有

(γ,γ)=(α+tβ,α+tβ)≥0.即

(α,α)+2(α,β)t+(β,β)t2≥0(1)

取

t=.代入(1)式,得

(α,α)-≥0，即

(α,β)2≤(α,α)(β,β).两边开方便得

|(α,β)|≤|α||β|.当α,β线性相关时,等号显然成立.反过来,如果等号成立,由以上证明过程可以看出,或者β=0,或者

α-β=0，也就是说α,β线性相关.2.第二种证明方法

引理:设V是欧氏空间,ξ,η是V的单位向量,那么，|(ξ,η)|≤1.证明ξ,η既是单位向量,则有(ξ,ξ)=1,(η,η)=1,而|ξ,η|2≥0,即

|ξ,η|2=(ξ-η,ξ-η)

=(ξ,ξ)+(η,η)-2(ξ,η)

=2-2(ξ,η)≥0

所以,(ξ,η)≤1;

又|ξ,η|2≥0,即

|ξ,η|2=(ξ+η,ξ+η)

=(ξ,ξ)+(η,η)+2(ξ,η)

=2-2(ξ,η)≥0

所以,(ξ,η)≥-1.总之,|ξ,η|≤1.定理2设α,β是欧氏空间V中的任意两个向量,那么,|(α,β)|≤|α||β|,等号成立当且仅当α,β线性相关.证明10若α,β中有一个是零向量,则结论显然成立;

20设α,β都不为零,今将α,β单位化,令ξ=,η=,则由引理.知|(ξ,η)| ≤1,而(α,β)=(|α|ξ,|β|η)=|α||β|(ξ,η)所以,|(α,β)|≤|α||β|(ξ,η)≤1.再设ξ与η的夹角为θ,则θ的余弦为cosθ==(ξ,η)由此可知,|(α,β)| ≤|α||β|(ξ,η)=1cosθ=±1≤1ξ=±η,此即知α与β线性相关.3.第三种证明方法

定理3设α,β是欧氏空间V中的任意两个向量,那么,|(α,β)|≤|α||β|,等号成立当且仅当α,β线性相关.证明x1,x2∈R取,则(x1α+x2 β,x1α+ x2 β)≥0,即

(α,α)x12+2(α,β)x1x2+(β,β)x22≥0，而此式左端恰为关于x1,x2的半正定二次型,故其矩阵的行列式≥0,即

(α,α)(α,β)(α,β)(β,β)≥0

则得|(α,β)|≤|α|| β|,且等号成立

(α,α)(α,β)(α,β)(β,β)=0α,β线性相关.二、Cauchy-Schwarz不等式的应用

Cauchy-Schwarz不等式在不同的空间对应着不同的形式,下面是它在不同空间上的几种变形.母不等式:设V是欧氏空间,若ξ,η∈V,则

(ξ,η)2≤(ξ,ξ)(η,η)(2)

上式等号成立的充要条件是ξ,η线性相关.变形一:取V=Rn,令ξ=(a1,a2,…,an),η=(b1,b2,…,bn)则有

(a1b1+…+anbn)≤(a12+a22+…+an2)(b12+b12+…+bn2)(3)

等号成立的充要条件 bi=cai(i=1,2,…n),c是为常数.变形二:取V是定义在[a,b]上一切连续实函数所构成的实线性空间,设f(x), g(x)∈V,则有

[f(x)g(x)dx]2≤f 2(x)dxg2(x)dx(4)

变形三:取 V 为概率空间,对任意属于V 的随机变量 ξ与 η都有

|Eξη|2 ≤Eξ2Eη2(5)

等号成立的充要条件是P(η=t0 ξ)=1,t0是某一常数.例1若x1,x2,…,xn均为正数则有(x1+x2+…+xn)(++…+)≥n2(6)

证明由(2)式令a1=,a2=,…,an=.b1=,b2=,…,bn=,则有

(•+•+…+•)2=n2.而

(++…+)(++…+)

=(x1+x2+…+xn)(++…+)

所以(x1+x2+…+xn)(++…+)≥n2.显然等号当且仅当x1=x2=…=xn时成立.例2已知a、b、c、x、y、z都是实数,并且a2+b2+c2=1,x2+y2+z2=1

求证:|ax+by+cz|≤1.证明由不等式(3)有

(ax+by+cz)2≤(a2+b2+c2)(x2+y2+z2)

所以,|ax+by+cz|2≤1,即|ax+by+cz|≤1.例3当2x+4y=1时,求证

x2+y2≥.证明由不等式(3)有

(2x+4y)2≤(22+42)(x2+y2)，所以1≤20(x2+y2)

所以(x2+y2)≥

例4已知a、b、c为正数,求证

a2+b2+c2≥ab+bc+ca.证明由不等式(3)有

(ab+bc+ca)2≤(a2+b2+c2)(b2+c2+a2),即(ab+bc+ca)2≤(a2+b2+c2)2.因为a、b、c为正数,所以a2+b2+c2≥ab+bc+ca.例5设ai≥0,i=1,2,…,n,则ai≤(ai2),且等号成立的充要条件是a1=a2=…=an.证明设二维离散型随机变量ξ,η的联合概率分布为

P(ξ=xi,η=yi)=P(ξ=xj,η=yj)=0(i≠j)

i=1,2,…,n;j=1,2,…,n

则ξ、η的边际概率分布分别为

Pξ(ξ=xi)=,Pη(η=yj)=

令xi=ai≥0,yj=1有

Eξη=ai•=•ai

Eξ2=ai2•=•ai2

Eη2=yi•=1=1

由不等式(5)有(ai)2≤ai2且等号成立的充要条件是==…=

开方得ai≤(ai2)且等号成立的充要条件是a1=a2=…=an.例6设a、x、y是同时大于1(或小于1)的正数,且logaxyj=9,求证:

logxa+logya+logja≥1.证明左边=++.由不等式(6)有

(loga.x+loga y+loga j)(++)≥j2

即logaxyj•(++)≥9.有已知logaxyj≥9

所以(++)≥1

即logxa+logya+logja≥1

例7设a>0,b>0,且a+b=1,求证

(a+)2+(b+)2≥.证明由不等式(7)有

≥

所以≥

所以(a+)2+(b+)2≥.又因为(a-b)2≥0,所以a2+b2-2ab≥0.所以(a+b)2-4ab≥0.所以1-4ab≥0.所以ab≤.所以(a+)2+(b+)2≥=

例8设α,β是欧氏空间V中的向量,则有|α|-|β|≤|α±β|≤|α|+|β|.证明由Cauchy-Schwarz不等式得

-|α||β|≤(α,β)≤|α||β|，|α|2+|β|2-2|α||β|≤|α|2+|β|2+2|(α,β)|≤

|α|2+|β|2+2|α||β|，则(|α|-|β|)2≤(α±β,α±β)≤(|α|+|β|)2,即得

|α|-|β|≤|α±β|≤|α|+|β|

例9设有n阶实对称矩阵A,若A≥0,则有trA≥0和(trA)E≥A.证明因为A≥0,所以A半正定,故存在n阶矩阵

Q=q11…q1n………qn1…qnn=a1…an

其中a1=(qi1,…,qin)是第i个行向量(i=1,2,…,n),使得A=Q'Q

于是trA=tr(Q'Q)=||Q||F2≥0.又n维列向量X=(x1,…,xn)∈Rn,有X'AX=X'Q'QX=(QX)'(QX)=||QX||22

于是QX=q11x1+…+q1nxn ………qn1x1+…+qnn xn=(a1,X)…(an,X)

由Cauchy-Schwarz不等式知,|(ai,X)|≤||ai||2||X||2

所以||QX||22=|(ai,X)|≤(||ai||22)

||X||22=||QX||F2||X||22

即||QX||22≤||QX||F2||X||22=(trA)||X||22=(trA)X'X

从而X'AX≤(trA)X'X=X'(trA)EX

故有(trA)E≥A.Cauchy-Schwarz不等式应用非常广泛,利用Cauchy-Schwarz不等式可以解决一些复杂不等式的证明.(作者单位:湖南女子职业大学)

第三篇：应用导数证明不等式

应用导数证明不等式

常泽武指导教师：任天胜

（河西学院数学与统计学院 甘肃张掖 734000）

摘要： 不等式在初等数学和高等代数中有广泛的应用，证明方法很多，本文以函数的观点来认识不等式，以导数为工具来证明不等式。

关键字： 导数 不等式最值中值定理单调性泰勒公式

中图分类号： O13

Application derivative to testify inequality

ChangZeWu teachers: RenTianSheng

(HeXi institute of mathematics and statistics Gansu zhang ye 734000)Abstract: He inequality in elementary mathematics and higher algebra is widely used, proved many methods, based on the function point of view to know inequality to derivative tools to prove to inequality.Key words: The most value of derivative inequality value theorem monotonicity Taylor formula

1.利用微分中值定理来证明不等式

在数学分析中，我们学到了拉格朗日中值定理，其内容为：

定理1.如果函数fx在闭区间a,b上连续，在开区间a,b上可导，则至少存在一点a,b，使得f'()

拉格朗日中值定理是探讨可微函数的的几何特性及证明不等式的重要工具，我们可以根据以下两种方法来证明。

（1）首先，分析不等式通过变形，将其特殊化。其次，选取合适的函数和范围。第三，利用拉格朗日中值定理。最后，在根据函数的单调性和最大值和最小值。

（2）我们可根据其两种等价表述方式

①f(b)f(a)f'(a(ba))(ba),01

②fahfaf'ahh,01

我们可以的范围来证明不等式。f(b)f(a)。ba

11(x0)例1.1证明不等式ln(1)x1x

证明第一步变形1 ln(1)ln(1x)ln(x)x

第二步选取合适的函数和范围

令f(x)lnttx,1x

第三步应用拉格朗日中值定理

存在x,1x使得f'()f(1x)f(x)(1x)(x)

即ln(1x)ln(x)1

而 <1+x 1 1x

1x1)而0x 即ln(x1xln(1x)ln(x)

例 1.2证明：h>-1且h0都有不等式成立：

hln(1h)h 1h

证明：令f(x)=ln(1+x),有拉格朗日中值定理，0,1使得

ln(1h)f(h)f(0)f'(h)h

当h>0时有

1h11h,当1h0时有

11h1h0,即h.1h1hh;1h1h1hh.1h1h

2．利用函数单调性证明不等式

我们在初等数学当中学习不等式的证明时用到了两种方法：一种是判断它们差的正负，另一种是判断它们的商大于1还是小于1.而我们今天所要讨论的是根据函数的导数的思想来判断大小。

定理：设函数f(x)在a,b上连续，在a,b可导，那么

（1）若在a,b内f'(x)0则f(x)在a,b内单调递增。

（2）若在a,b内f'(x)0则f(x)在a,b内单调递减。

使用定理：要证明区间a,b上的不等式f(x)g(x)，只需令F(x)f(x)。g使在(x)a,b上F'(x)>0（F'(x)<0）且F(a)=0或（F(b)=0）例2.1 设x0证明不等式ln(1x)xex

证明：令F(x)ln(1x)xex（x>0）

显然F(0)0

1exx21xx（x>0）F'(x)exex1x(1x)e

现在来证明exx210

令f(x)exx21显然f(0)0

当x0时f'(x)ex2x0

于是得f(x)在x0上递增

故对x0有f(x)f(0)f(x)0

而(1x)ex0

所以F'(x)0故F(x)递增

又因为F(0)0

所以F(x)0

所以ln(1x)xex成立

3．利用函数的最大值和最小值证明不等式

当等式中含有“=”号时，不等式f(x)g(x)(或f(x)g(x)) g(x)f(x)0（或g(x)f(x)0），亦即等价于函数G(x)g(x)f(x)有最小值或F(x)f(x)g(有最大值。x)

证明思路：由待正不等式建立函数，通过导数求出极值并判断时极大值还是极小值，在求出最大值或最小值，从而证明不等式。

1例3.1证明若p>1，则对于0,1中的任意x有p1xp(1x)p1 2

证明：构造函数f(x)xp(1x)p(0x1)

则有f'(x)pxp1p(1x)p1p(xp1(1x)p1)

令f'(x)0，可得xp1(1x)p1，于是有x1x，从而求得x1。由于2

函数f(x)在闭区间0,1上连续，因而在闭区间0,1上有最小值和最大值。

由于函数f(x)内只有一个驻点，没有不可导点，又函数f(x)在驻点x1和2

111p1)p1,f(0)f(1),区间端点(x0和x1)的函数值为f())p(1所以2222

1f(x)在0,1的最小值为p1，最大值为1，从而对于0,1中的任意x有2

11f(x)1xp(1x)p1。，既有p1p122

4．利用函数的泰勒展式证明不等式

若函数f(x)在含有x0的某区间有定义，并且有直到(n1)阶的各阶导数，又在x0处有n阶导数f(n)(x0)，则有展式： f'(x0)f''(x0)fn(x0)2(xx0)(xx0)(xx0)nRn(x)f(x)f(x0)1!2!n!

在泰勒公式中，取x0=0,变为麦克劳林公式

f'(0)f''(0)2fn(0)nf(x)f(0)(x)(x)(x)Rn(x)1!2!n!

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

f'(0)f''(0)2fn(0)nf(x)f(0)(x)(x)(x)，1!2!n!

f'(0)f''(0)2fn(0)n(x)(x)(x)。或f(x)f(0)1!2!n!

带有拉格朗日余项的泰勒公式的实质是拉格朗日微分中值定理的深化，他是一个定量估计式，该公式在不等式证明和微分不等式证明及较为复杂的极限计算中有广泛的应用。

用此公式证明不等式就是要把所证不等式化简，其中函数用此公式，在把公式右边放大或缩小得到所证不等式。

例4.1若函数f(x)满足：（1）在区间a,b上有二阶导函数f''(x)，（2）

f'(a)f'(b)0，则在区间a,b内至少存在一点c，使

f''(c)4f(b)f(a)。2(ba)

证明：由f(x)在xa和xb处的泰勒公式，并利用f'(a)f'(b)0，得f(x)f(a)f''()(xa)2

2!f''()f(x)f(b)(xb)2,于是2!

abf''()(ba)2abf()f(a)(a),22!42

abf''()(ba)2abf()f(b)(a),22!42

f''()f''()(ba)2

相减，得f(b)-f(a)=,24

4f(b)f(a)1(ba)2

即f''()f(),(ba)224

当f''()f''()时，记c否则记c=,那么

f''(c)4f(b)f(a)(abc)(ba)2

参 考 文 献

《数学分析》上册，高等教育出版社，1990.1郑英元，毛羽辉，宋国栋编，2赵焕光，林长胜编《数学分析》上册，四川大学出版社，2006。3欧阳光中，姚允龙，周渊编《数学分析》上册，复旦大学出版社，2004.4华东师范大学数学系编《数学分析》上册，第三版，高等教育出版社2001.

第四篇：积分不等式的证明及应用

衡阳师范学院

毕业论文（设计）

题 目：积分不等式的证明及应用

所 在 系： 数学与计算科学系

专 业： 数学与应用数学

学 号： 08090233 作者姓名： 盛军宇 指导教师： 肖娟

2012年 4 月 27 日

积分不等式的证明及应用

数学与计算科学系 数学与应用数学专业 学号:08090233 姓名:盛军宇 指导老师:肖娟

摘要

本文主要研究了如何利用积分中值定理、辅助函数、以及一些特殊积分不等式等方法证明积分不等式,并通过若干实例总结有关积分不等式的证明方法及规律,讨论了一些特殊积分不等式的应用.关键词 积分不等式；中值定理；函数

0.引言

积分不等式是微积分学中的一类重要不等式,在数学分析中有着广泛的应用,且在考研试卷中会经常出现.对积分不等式证明方法的介绍,不仅解决了一些积分不等式的证明,而且可以把初等数学的知识与高等数学的知识结合起来,拓宽我们的视野,提高我们的发散思维能力和创新能力.目前国内外对该课题的研究比较普遍,主要研究了如何利用微积分相关知识来解决一些比较复杂的积分不等式的证明.积分不等式的常用证法有: 定积分的定义、定积分的性质、泰勒公式、分部积分法、线性变换等.本文主要从以下几个方面讨论和归纳了一系列积分不等式的证明方法:利用积分中值定理来证积分不等式、利用Schwarz不等式来证积分不等式、利用微分中值定理来证积分不等式、利用积分中值定理来证积分不等式、利用二重积分来证积分不等式等.1.积分不等式的证明方法

1.1 利用积分第一中值定理证明积分不等式

积分第一中值定理(定理1)若fx在a,b上连续, 则至少存在一点a,b，使得fxdxfba.ab积分第一中值定理在证明积分不等式中有着举足轻重的作用.例1 设fx在0,1上可微,而且对于任意x0,1,有|fx|M, 求证:对任意正整数n有

10fxdx1nn1ni1Mifnnn,其中M是一个与x无关的常数.分析 由于目标式中一个式子为

i11if,另一个式子为fxdx0n,故把fxdx按

01区间可加性写成一些定积分的和,并应用积分第一中值定理加以证明.证 由定积分的性质及积分中值定理,有

10fxdxnini1ni1fxdxni1fi1,,i1,2,,n.,innni1i又因为fx在0,1上可微,所以由微分中值定理可知,存在ii,,使得, niiffifii,i1,2,,n.nni

因此10fxdx1nni11ifnnni1fi1nni1ifn

1n1n1n1nni1niffiniffinifiinM1nMn

i1n.i1ni1在抽象函数fx的积分不等式中,若出现和号、幂函数、对数函数等,一般可以利用定积分的定义或区间可加性,将区间a,bn等分,点i也可采用特殊的取法.1.2 利用拉格朗日中值定理证明积分不等式

拉格朗日中值定理(定理2)若函数f满足如下条件:

if在a,b上连续；iif在a,b内可导, 则在a,b内至少存在一点,使得

ffbfaba.利用拉格朗日中值定理的关键是根据题意选取适当的函数f(x)和区间a,b,使它们满足拉格朗日定理条件,然后运用拉格朗日公式或等价形式来运算得出所要的结论.例2 设fx在a,b上连续.证明:若fafb0,则

fxdxabba24M,MMaxfx.xa,b分析 由条件fafb0,及fx与fx,故想到利用拉格朗日中值定理.证 由拉格朗日中值定理得: 对任意的xa,ab, 2fxfxfaf1xa,a1x.,b, 对任意的x2abfxfxfbf2xb,x2b.ababfxMxa,xa，fxMbx,x,b22，故

fxdxabab2afxdxbab2fxdx

ab2afxdxbab2fxdx

ab2aMxadxbab2Mbxdxba24M.注意到M是fx在a,b上的最大值,所以解题的关键是如何使fx与fx联系起来,因而不难想到拉格朗日中值定理来证明.1.3 构造变上限函数证明积分不等式

作辅助函数,将结论的积分上限或下限换成x,式中相同的字母也换成x,移项,使

得不等式的一端为零,则另一端为所作的辅助函数,这种方法在证明一些特定类型积分不等式时有重要作用.1例3 设函数fx在0,1上连续,证明不等式fxdx0210f2xdx.x分析 此例若令Fxftdt02x0f2tdt,则Fx的正负不易判断,需进一步的改进.证 由待证的积分不等式构造变上限定积分的辅助函数,令

xxFxftdtxf0022tdt显然,F00,且Fx可导,有

f2Fx2fxxftdt02xx0tdtxf2t

fxftdt0，0则Fx在x0时单调减小,即有FxF00,x0，1特别地,F10,即证得不等式fxdx0210f2xdx.例4 设函数fx在0,1上可微,且当x0,1时,0fx1,f00, 1试证 fxdx0210f3xdx.2131证 问题在于证明fxdx00fxdx0, x令Fxftdt02x0fx3tdt,因为F00, Fx2fxftdt0f3xfx2x0ftdtf2x，x0已知f00,0fx1,故当x0,1时,fx0, 记gx2ftdtf2x, 则g00,gx2fx2fxfx=2fx1fx0,x0,1, 于是gx2ftdtf2xg00,x0,1,故Fx0,x0,1, 0x4

1所以F1F00,即fxdx0210f3xdx.通过上述两例,我们知道了构造变上限函数证明积分不等式,遇到特殊情况,不能按常规直接作辅助函数需要稍微变化一下,有时甚至要在一个题中构造两个辅助函数,以便判断所作函数的单调性.1.4 利用二重积分证明积分不等式

在积分不等式的证明中利用定积分与积分变量形式无关的这一性质,将定积分的平方项或者定积分之间的乘积转化为积分变量形式不同的定积分之积,把定积分化为二重积分,可以达到有效的作用.例5 若函数fx,px,gx在a,b上连续,px是正值函数,fx,gx是单调增加函数,则pxfxdxpxgxdxaabbpxdxpxfxgxdx.该不等式称为切贝谢

aabb夫不等式.分析 只要证bapxdxpxfxgxdxabbbapxfxdxpxgxdx0

abb即可,而上述式子又可视为累次积分,从而化为二重积分.证 因定积分的值与积分变量无关,故pxdxpydy，aapxgxdxpygydy.aabbbapydypxfxgxdxabbapxfxdxpygydy

abpypxfxgxpxpyfxgydxdyD

pxpyfxgxgydxdyD 1

其中,积分区域Daxb;ayb.因为定积分与积分变量的形式无关, 所以交换x与y的位置,得到

pypxfygygxdxdyD 2

将1式与2式相加,得12pxpyfxfygxgydxdy,由已知，D可知px是正值函数,fx,gx是单调增加函数,从而fxfy与gxgy同号，于是在D上pxpyfxfygxgy0,从而,0.即pxfxdxpxgxdxaabbpxdxpxfxgxdx.aa101bb例6 若函数fx在0,1上不恒为零且连续增加,则

ff3xdxxdx101xfxf3xdxxdx.2200证 由于在0,1上,结论式中的分母均为正值,所以结论等价于

10f2xdx10xff23xdx10xf10f3xdx10xf2xdx0, 而   10fff2xdx210xf3xdx130xdx2xdx

Dxyf3ydxdyDfxxf3ydxdy

D2xf3yyxdxdy 3

其中,积分区域D0x1;0y1因定积分的值与积分变量的形式无关,故又有

Df2yf3xxydxdy 4

22将3式与4式相加,得1xyfyfxfxfydxdy, 2D由已知,函数fx在0,1上连续增加,从而对任意的x,y0,1,有

xyfyfxfxfy0,故22101ff3xdxxdx101xfxf3xdxxdx.2200从以上的积分不等式证明中,可知把定积分化为重积分能巧妙地解决一些积分不等式的证明问题.1.5 借助于判别式来证明积分不等式

引入适当的参数,构造合适的函数,讨论参数的判别式,以便证明所求证的积分不等式.例7 设fx0,且在a,b上连续,试证fxdxabbdxfxaba.2分析 可构造多项式,利用多项式的性质来证明积分不等式.证 由题设对任意的,考察函数fx,因为fxfx0,有 fx2ba2bdxb2,即fx2dx02dxaafxfxfxdxab0, 不等式的左端可以看成的二次三项式,且对任意的上述不等式均成立, 故判别式2abdx4a2bdxfxbafxdx0,即fxdxabbdxfxaba.2用判别式解题的关键是要有一个函数值恒定（大于或小于零、大于或等于零、小于或等于零）的一元二次方程gx,而g2x0,于是我们构造g2xdx0这样一个方程,ab再结合这种情况下的判别式也是一个不等式,便可证明此题.1.6 利用对称性证明积分不等式

命题1 当积分区域关于直线yx对称时,被积函数的两个变量交换位置后,二重积分的值不变.这一条规律有助于解决一些特定类型的积分不等式的证明.例8 函数fx在a,b上取正值且fx在a,b上连续试证:

fyhfxdxdyba,ha,b;a,b.2证 因为ha,b;a,b关于直线yx对称,从而Ifxfyhfxdxdyfxdxdyhfy, 所以Ifyhdxdy12hfxfydxdyfxfy1dxdybah2.由上例可知,在积分不等式的证明过程中,我们可以应用基本不等式,它可能起到重要作用.1.7 利用积分第二中值定理的推论证明积分不等式

积分第二中值定理的推论:设函数f在a,b上可积.若g为单调函数,则存在a,b,使得fxgxdxgafxdxgbfxdx.aabb应用这个推论可以较容易地解决某些恒等式与某些不等式的证明.babb例9 设函数fx在a,b上单调递增连续,则xfxdxfxdx.a2a证 假设函数gxxab2,显然gx在a,b上可积,又函数fx在a,b上递增连续,根据积分第二中值定理的推论知存在a,b,使得

fxgxdxababfagxdxfbgxdx 

ab且式又可变为fxgxdxfagxdxfbgxdx.由定积分的几何意义

ab知gxdxbgxdx,abaa,b,同时,fafb,于是，bfxgxdxfbfagxdx即xab0, bababb,故fxdx0xfxdxfxdxa22a.2.一些特殊积分不等式的应用

2.1 Chebyshew不等式及其应用

Chebyshew不等式 设fx,gx同为单调递减或当调递增函数,则有

bafxdxgxdxbafxgxdx.aabb若fx,gx中一个是增函数,另一个为减函数,则不等式变为

Chebyshewbafxdxgxdxbafxgxdx.aabb不等式有广泛应用,特别在证明一类积分不等式中发挥重要作用.例10 设gx是1,1上的下凸函数,fx为1,1上的偶函数且在0,1上递增,则, 1fxdx1gxdx112fxgxdx.11分析 从所证的不等式看,它有点类似于Chebyshew不等式,如果能够构造出一个单调函数满足Chebyshew不等式的条件,问题就容易解决了,为此构造辅助函数,令xgxgx.证 令xgxgx,显然x也为1,1上的偶函数,由于gx是1,1上的下凸函数,故当0x1x21,gx1gx2x1x2gx1gx2x1x2, 即gx1gx2gx2gx1,即x1x2,所以fx,x在0,1上为增函数, 由Chebyshew不等式知, 110fxdxxdx011101fxxdx21211fxdxxdx111211fxxdx, 可得fxdxgxdx2fxgxdx.1112.2 利用Schwarz不等式证明积分不等式

Schwarz不等式 若fx,gx在a,b上可积,则

Schwarzbafxgxdx2baf2xg2xdx.不等式是一个形式简单,使用方便的积分不等式,在证明某些含有乘积及

b平方项的积分不等式时颇为有效.例11 已知fx0,在a,b上连续,fxdx1, k为任意实数,求证:

a abfxcoskxdxabfxsinkxdx1 5

22证 5式左端第一项应用Schwarz不等式得

bafxcoskxdx2abfxfxcoskxdxb2 同理afxsinkxdxb2fxdxfxcosaabkxdxfxcosab2kxdx6

bafxsin2kxdx 7

67即得5式.此题证明的关键在将fx写成2.3 Jensen不等式

fxfx的形式,以便应用Schwarz不等式.定理3 设fx在a,b上连续,且mfxM,又t是m,M上的连续凸函数（指下凸函数）,则有积分不等式

ba1ba1fxdxbafxdx 8

ab注 若t是m,M上的连续凹函数,则8式中的不等式号反向.定理4 设fx,px在a,b上连续,且mfxM,px0axb,t是

m,M上的连续凸函数,则有bapxfxdxbapxdxpxfxdx 9

pxdxabab注 当t是m,M上的连续凹函数时,9式中的不等号反向.例12 设fx在a,b上连续,且fx0,则对任意的自然数n,有

1nlnbaba1fxdxba1t2banlnfxdx.证 令tnlnt,那么tn,tnt10,故t为凹函数, 显然fx在t的定义域内有意义,故由定理3知,结论成立.例13 设fx,px是a,b上的正值连续函数,则对任意的自然数n,有

banpxlnfxdxpxdxabnlnbapxfxdxbapxdx.证 令tnlnt由上例知t为凹函数,故由定理4知结论成立.2.4 Young不等式的应用

Young不等式 设fx是单调递增的,连续于0,a上,f00,a,b0,f1x表示fx的反函数,则abYounga0fxdxb0f1ydy,其中等号成立当且仅当fab.不等式是一个非常重要的不等式,灵活巧妙地应用它,可以使一些较为困难的问题迎刃而解.例14 证明:a,b1时,不等式abea1blnb成立.证 设fxex1,则fx单调并连续,f等式有，a1b11yln1y,因为a,b1,由Young不a1b10故abea1blnb.2.5 Steffensen不等式

Steffensenfxdx0f1ydyea1blnbab1, 不等式 设在区间a,b上,g1x ,g2x连续,fx一阶可导,任给

xaxa,b,成立不等式g1tdtxag2tdt,且g1xdxabbag2xdx.若fx在a,b上单调递减,则fxg1xdxabfxgxdx;若fx在上单调递增上述不等式变号.a2b例15 证明20sinx1x2dx20cosx1x2dx.证 对任意的x0,22,因为cosx1sinx,所以有sintdt0xx0costdt;此外,显然有2sinxdx00cosxdx1且函数

在0,上单调递减,从而根据Steffensen不21x21等式,知20sinx1x2dx20cosx1x2dx.结论

总之,以上讨论的积分不等式的主要证明方法都离不开积分的性质,主要是通过函数的可微性和函数的可积性,利用二重积分、拉格朗日中值定理和积分中值定理来证积分不等式；以及巧妙的利用Schwarz不等式和Jensen不等式等,在实际应用中需要结合各方面灵活使用题中条件或不等式,才会使问题得以正确解决.参考文献

[1]华东师范大学数学系.数学分析[M].北京:高等教育出版社,2001:223.[2]宋海涛.几个定积分不等式的证明[J].高等数学研究,2003,6(4):34-35.[3]陈兴荣,杜家安.关于积分不等式的证明[J].工科数学,1993,9(2):77.[4]孙清华,孙昊.数学分析内容、方法与技巧（上）[M].武汉:华中科技大学出版社,2003.[5]张瑞.定积分不等式证明方法的研究[J].内江科技,2001,(5):102.[6]丰刚.几个积分不等式及其应用[J].牡丹江大学报,2010,19(7):88-89.[7]刘玉记.再谈Young’s不等式的证明[J].齐齐哈尔师范高等专科学校学报,2009,(4):108.[8]舒阳春.高等数学中的若干问题解析[M].北京:科学出版社,2005:108-109.[9]杨和稳.积分不等式证明技巧解析[J].高等数学研究,2009,12(6):38.[10]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版社,1993.The proof and application of integral inequality Department of Mathematics and Computational Science

Mathematics and Application Mathematics specialty Number:08090233

Name:ShengJunyu

Instructor:XiaoJuan

Abstract: This paper studied to use the integral mean value theorem、the auxiliary function、some special integral inequality and other methods to prove integral inequality, and summarized some examples about proof methods and rules of integral inequality, and discussed the application of some special integral inequality.Key word: integral inequality;theorem of mean;function

第五篇：不等式证明

不等式证明

1.比较法：

比较法是证明不等式的最基本、最重要的方法之一，它可分为作差法、作商法

（1）作差比较：

①理论依据a-b>0

a>b;a-b=0

a=b;a-b<0

a

⑴作差：对要比较大小的两个数（或式）作差。

⑵变形：对差进行因式分解或配方成几个数（或式）的完全平方和。⑶判断差的符号：结合变形的结果及题设条件判断差的符号。

注意：若两个正数作差比较有困难，可以通过它们的平方差来比较大小。（2）作商法：①要证A>B(B>0),只要证

;要证A0)，只要证

②证明步骤：作商→变形→判断与1的关系 常用变形方法：一是配方法，二是分解因式

2.综合法：所谓综合法，就是从题设条件和已经证明过的基本不等式和不等式的性质推导出所要证明的不等式成立，可简称为由因导果。常见的基本不等式有 ｜a｜≥0, a2b22ab，abab 2，ababab 分析法：从求证的不等式出发，逐步寻求使不等式成立的充分条件，直至所需条件被确认成立，就断定求证的不等式成立，这种证明方法叫分析法，分析法的思想是“执果索因”：即从求证的不等式出发，探求使结论成立的充分条件，直至已成立的不等式。

基本步骤：要证„„只需证„„，只需证„„ 4 分析综合法

单纯地应用分析法证题并不多见，常常是在分析的过程中，又综合条件、定理、常识等因素进行探索，把分析与综合结合起来，形成分析综合法。反证法：先假设所要证明的不等式不成立，即要证的不等式的反面成立，如要证明不等式MN，由题设及其他性质，推出矛盾，从而否定假设，肯定M

具体放缩方式有公式放缩和利用某些函数的单调性放缩。常用的技巧有：舍去一些正项或负项；在和或积中换大（或换小）某些项；扩大（或缩小）分式的分子（或分母）等，放缩时要注意不等号的一致性。放缩法的方法有：

⑴添加或舍去一些项，如：a21a；n(n1)n ⑵将分子或分母放大（或缩小）⑶利用基本不等式，如：lg3lg5(n(n1)2⑷利用常用结论： n(n1)lg3lg5)lg15lg16lg4 2Ⅰ、k1k1k1k12k；

Ⅱ、1111； k2k(k1)k1k1111（程度大）2k(k1)kk1kⅢ、12k11111()；（程度小）2k1(k1)(k1)2k1k17 换元法：换元的目的就是减少不等式中变量，以使问题化难为易，化繁为简，常用的换元有三角换元和代数换元。如： 已知x2y2a2，可设xacos,yasin； 已知x2y21，可设

xrcos,yrsin(0r1)；

x2y2已知221，可设xacos,ybsin；

abx2y2已知221，可设xasec,ybtan；

ab8、判别式法：判别式法是根据已知或构造出来的一元二次方程，一元二次不等式，二次函数的根、解集、函数的性质等特征确定出其判别式所应满足的不等式，从而推出欲证的不等式的方法。

9、其它方法 最值法：恒成立

恒成立

构造法：通过构造函数、方程、数列、向量或不等式来证明不等式；