探讨定积分不等式的证明方法

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

探讨定积分不等式的证明方法

摘要:文章针对被积函数的特性,给出了几种关于定积分不等式的有效证明方法。

关键词:定积分 不等式 证法

不等式的证明在高等数学的学习中很常见,但关于定积分不等式的证明却一直是一个难点。要证明定积分不等式,首先要看被积函数,其性质确定证明方法。本文根据被积函数的连续性、单调性、可导性等分别给出几种证法。

1.运用定积分中值定理证明

定积分中值定理是将定积分转化为连续函数在该区间上某点的函数值与该区间长度的乘积,即将定积分转化为函数来证明不等式。

例1:设)(x f 在[0,1]上连续且单调不增,证明a ∀∈[0,1]有

a

dx x f 0

)(≥

⎰1

)(dx x f a .

证明:由原不等式变形得⎰

a

dx x f 0

)(≥⎰⎰+1

))()(dx x f dx x f a a (,

即是要证:⎰

-a

dx x f a 0

)()

1(≥⎰10

)(dx x f a ,

对左式,)(x f 在[0,1]上连续, 故

由定积分中值定理知:

[]

a ,01∈∃ξ使

)()1()()110

ξf a a dx x f a a

-=-⎰(,

同理对右式:[]12,a ∈

∃ξ使)()1()(2

1

ξ

f a a dx x f a -=⎰,

显然,ξ1<ξ2又f(x)在[0,1]上单调不增, ∴f (ξ1)≥f (ξ2) 故原不等式

a

dx x f 0

)(≥⎰1

)(dx x f a 成立.

定积分中值定理的运用直观易懂,它的条件也极其简单,易于掌握。 2.运用辅助函数证明

构造辅助函数F(x)证明不等式,首先是做函数将要证结论中的积分上限(下限)换成x ,移项使不等式的一边为零,另一边的表达式即是辅助函数。然后再求F ’(x),并运用单调性及区间端点值特性证明不等式。

例2:设)(x f 在[a ,b]上连续,且)(x f >0. 试证:2b

)()

(1

)(a b dx x f dx x f a b

a

-≥⎰⎰ 证明:构造辅助函数2)()

(1

)()(a x dt t f dt t f x F x

a

x

a

--=⎰

(将b 换成x ), 则⎰⎰--+=x

a x

a a x dt t f x f dt t f x f x F )(2)()

(1)(1)()('

=

⎰⎰⎰

-+x a x a x

a

dt dt x f t f dt t f x f 2)

()()()

(

=dt x f t f t f x f x

a )2)

()()()((-+⎰ ∵)(x f >0,∴

02)

()

()()(≥-+x f t f t f x f , 又a

≥x F ,

即)(x F 单调不减,又0)(=a F ,∴0)()(=≥a F b F ,

故2b

)()

(1

)(a b dx x f dx x f a

b

a

-≥⎰⎰

. 该题构造出积分上限函数,其目的是用单调性来证明不等式。这种方法

开门见山、直截了当。

3.运用定积分的性质和几何意义证明

与定积分的概念相联系“以直代曲”的“近似代替”的思想,加上积分的几何直观使得不等式的证明变得更加简捷。

例3:证明不等式e

dx x e x x 12)1(sin 3

1

≤+⎰.

证明:因为31≤≤x 时)

1(1

)1(sin 22

x e x e x x +≤+,两端积分得:

e x e dx x e x x 12111)1(sin 312

3

1

=+≤+⎰⎰

例4:设1,≥b a 时,证明不等式

b b e ab a ln 1+≤-. 证明:⎰-+=b

b xdx b b 1

1ln ln ,11

1

+=

--dx e e

a x a ,

根据定积分的几何意义知:

b e b b dx e xdx b a a b a x -+=+≤---⎰⎰

11

1

ln ln )1(,

即b b e ab a ln 1+≤

-.

本题关键在于深刻领悟定积分概念的由来,即求曲边梯形的面积问题推导的四个步骤:分割、取点、作和与求极限,这里充分运用了“近似代替”的几何直观来加以证明。

4.运用拉格朗日中值定理证明

利用拉格朗日中值定理证明不等式,首先要构造满足中值定理条件的函数和区间,然后进行不等式放缩,再用定积分比较定理、估值定理或函数的绝对值不等式等。

例5:设)(x f 在],[b a 上可导,且M x f ≤)

(',0)(=a f ,

相关文档
最新文档