中值定理在不等式证明中的应用

摘要

本文主要写在不等式证明过程中常用到的几种中值定理，其中在拉格朗日中值定理证明不等式的应用中讲了三种方法：直接公式法、变量取值法、辅助函数构造法.在泰勒中值定理证明不等式的应用中，给出了泰勒公式中展开点选取的几种情况：区间的中点、已知区间的两端点、函数的极值点或最值点、已知区间的任意点.同时对各种情况的运用范围和特点作了说明，以便更好的运用泰勒中值定理证明不等式.并对柯西中值定理和积分中值定理在证明不等式过程中的应用问题作简单介绍.

关键词：拉格朗日中值定理；泰勒公式；柯西中值定理；积分中值定理；不等式

Abstract

This paper idea wrote in inequality proof of use frequently during several of the mean value theorem, which in the Lagrange mean value theorem proving inequality in the application of the three methods to speak: direct formula method, variable value method, the method to construct auxiliary function. in the application of proof inequalities of the Taylor mean value theorem , which gave Taylor formula on the point in several ways: the point of the interval, the interval of two known extreme, the function extreme value point or the most value point, the interval of known at any point. And the application range of of all kinds of situation and characteristics that were explained, in order to better use Taylor of the mean value theorem to testify inequality. And Cauchy mid-value theorem and integral mean value theorem in the application process to prove the inequality were briefly discussed

Key words :The Lagrange Mean Value Theorem；Taylor's Formula；Cauchy Mean Value Theorem；Inequality；The Mean Value Theorem for Integrals

目录

摘要………………………………………………………………………………（I）Abstract …………………………………………………………………………（I）

1 引言 (1)

2 拉格朗日中值定理在不等式证明中的应用 (2)

2.1 拉格朗日中值定理 (2)

2.2 利用拉格朗日中值定理证明不等式 (2)

2.2.1 直接公式法 (2)

2.2.2 变量取值法 (4)

2.2.3 辅助函数构造法 (5)

3 泰勒中值定理在不等式证明中的应用 (7)

3.1 泰勒中值定理 (7)

3.2 利用泰勒公式证明不等式 (7)

3.2.1 中点取值法 (7)

3.2.2 端点取值法 (9)

3.2.3 极值取值法 (9)

3.2.4 任意点取值法 (11)

4 柯西中值定理在不等式证明中的应用 (14)

4.1 柯西中值定理 (14)

4.2 利用柯西中值定理证明不等式 (14)

5 积分中值定理在不等式证明中的应用 (16)

5.1 积分中值定理 (16)

5.2 利用积分证明不等式 (16)

结束语 (18)

参考文献 (19)

致谢 (20)

1 引言

不等式也是数学中的重要内容，也是数学中重要方法和工具.中值定理包括罗尔定理、拉格朗日中值定理、柯西中值定理及泰勒中值定理以及积分中值定理等.以拉格朗日中值定理(也称微分中值定理)为中心，介值定理是中值定理的前奏，罗尔定理是拉格朗日中值定理的特殊情形，而柯西中值定理、泰勒中值定理及定积分中值定理则是它的推广.利用中值定理证明不等式，是比较常见和实用的方法.

人们对中值定理的研究，从微积分建立之后就开始了以罗尔定理，拉格朗日中值定理和柯西中值定理组成的一组中值定理是整个微分学的理论基础，它们建立了函数值与导数值之间的定量联系，中值定理的主要作用在于理论分析和证明；应用导数判断函数上升、下降、取极值、凹形、凸形和拐点等项的重要性态.此外，在极值问题中有重要的实际应用.微分中值定理是数学分析乃至整个高等数学的重要理论，它架起了利用微分研究函数的桥梁.微分中值定理从诞生到现在的近300年间，对它的研究时有出现.特别是近十年来，我国对中值定理的新证明进行了研究，仅在国内发表的文章就近60篇.

不等式的证明不仅形式多种多样，而且证明方式多变，常见的方法有：利用函数的单调性证明，利用微分中值定理证明，利用函数的极值或最值证明等，在众多方法中，利用中值定理证明不等式比较困难，无从下手，探究其原因，一是中值定理的内容本身难理解，二是证明不等式，需要因式而变，对中值定理的基础及灵活性要求较高.我们在日常教学中常常遇到不等式的证明问题，不等式是初等数学中最基本的内容之一，我们有必要把这类问题单独拿出来进行研究，找出它们的共性，以方便我们日后的教学研究工作的开展.

2 拉格朗日中值定理在不等式证明中的应用

2.1 拉格朗日中值定理

拉格朗日（https://www.360docs.net/doc/6d8578500.html,grange，1736-1813，法国数学家，力学家，文学家）.

拉格朗日中值定理 设函数()x f 在闭区间[b a ,]上连续，在开区间()b a ,内可导，

则在开区间(b a ,)内至少存在一点0x ，使得

()0'x f =a

b b f a f --)()( (1) 或 ()()a f b f -=()()a b x f -0'. (2)

拉格朗日中值定理是罗尔定理的推广，即罗尔定理是拉格朗日定理当

()()b f a f =时的特殊情形.拉格朗日定理中，由于b x a <<0，因而可将0x 表示为

)(0a b a x -+=θ，()10<<θ.

这样（1）式还可表示为

()b f =()a f +()[]a b a f -+θ'，()10<<θ. (3)

若令h a b +=，则有

()()a f h a f -+=()h h a f ?+θ'，()10<<θ. （4）

一般称式（1）、（2）、（3）、（4）式为拉格朗日公式.

2.2 利用拉格朗日中值定理证明不等式

2.2.1 直接公式法

例2.1 证明不等式2121-sin -sin x x x x ≤成立.

分析 首先要构造一个辅助函数()x f ；a 由欲证形式构成“形似”的函数区间.b

运用拉格朗日公式来判断.

证明 设()()21,,sin x x x x x f ∈=.由拉格朗日公式（2）可得

()()2121'sin -sin x x f x x -=δ ， ()21,x x ∈δ.

等式两边同取绝对值，则有

()2121-'sin sin x x f x x ?=-δ.

而 ()δδδcos 'sin ===x x f .

又因为 1cos 0≤≤δ.

因此，就得到 2121-sin -sin x x x x ≤. 证毕.

评注 此题如果单纯地应用初等数学的方法来证明，会难以得出结论，而应用了

拉格朗日公式，再利用三角函数的简单知识，问题就游刃而解了.

例2.2 证明不等式1212-arctan arctan x x x x ≤-，（12x x >）成立.

分析 此题利用反三角函数的有关知识，构造一个辅助函数()x x f arctan =，再利

用拉格朗日中值定理就可以轻轻松松地解出此题.

证明 设()x x f arctan =,()x f 在[]21,x x 上满足拉格朗日定理的全部条件，因此有

12arctan arctan x x -=20

11x +（12x x -）， ()210,x x x ∈. 因为11120

≤+x ，可得 ≤-12arctan arctan x x 12x x -.

例2.3[3] 证明())0,1(,)(11>->-<-<---b a p b a pa b a b a pb p p p p .

证明 设函数，p x x f =)(，则，p p b a b f a f -=-)()(．不难看出)(x f 在区间[]

a b ,上满足拉格朗日定理条件，于是存在[]a b ,∈ξ，使

)(')()()(ξf b a b f a f -=-.

由于()1'-=p px x f ，所以1-)('p p f ξξ=，上式为

1)(--=-p p p p b a b a ξ.

因为p x 当1>p 时为单调增函数，a b <<ξ，所以

1-1-1-p p p a b <<ξ.

两边同时乘以()b a p -，则得

)()()(111b a pa b a p b a pb p p p -<-<----ξ

，

即

)()(11b a pa b a b a pb p p p p -<-<---， 证毕.

2.2.2 变量取值法

例2.4 证明不等式a

a b a b b a b -ln <<- 成立，其中()0>>a b .

分析 （1）根据题中式子构造一个相似函数，()x x f ln =和定义区间()b a ,.

（2）利用对数的四则运算法则，将对数式整理成拉格朗日中值定理所满

足的形式，从而得出结论.

证明 设()x x f ln =，()b a x ,∈.

由拉格朗日公式（3），则有

()θ

a b a a b a b a b --ln -ln ln +==. （1） 由不等式10<<θ，可推得

()b a b a a

a a

b a b a a b b a b -)(-<-+-<θ. 代入（1），

即 a

a b a b b a b -ln <<-. 证毕. 评注 解此题关健在于观察要证明的不等式中把对数式a

b ln 拆开成a b ln -ln ，再利用拉格朗日的公式来轻松地得出结论. 例2.4 证明不等式

()h h h h <+<+1ln 1，对一切1->h ，0≠h 成立. 分析 此题首先利用对数的有关知识，构造了一个辅助函数x ln ，再利用拉格朗

日中值定理解出此题.

证明 由拉格朗日公式（4），令1=a ，x x f ln )(=.则有

()()h h

h h ?+=+=+θ11ln -1ln 1ln ，10<<θ. （1）

当0>h 时，由不等式 10<<θ ，可推得

h h +

h h h

0111>+>?+>h h θ.

由于0>h ， 可推（2）式成立，将（2）式代入（1）式，就可知不等式成立.

评注 证明此种不等式的关健是构造一个辅助函数，再利用初等数学的有关知识

来证明不等式.

例2.5 证明若0≠x ，则x e x +>1.

证明 令x e x f =)(，则)(x f 在R 上连续、可导，且x e x f =)('.

情形一 当0>x 时，由拉格朗日定理知）

（x ,0∈?ξ使 )0(0-=-x e e e x ξ.

整理有x e e x ξ=.因为1>ξe ，所以有x e x >.

情形二 当0

)0(0x e e e x -=-ξ.

整理有ξxe e x =.因为此时10<<ξe ，三边同时乘以x ，x xe >>ξ0

所以x e x >成立.

综上所述，当0≠x 时，x e x >成立.

从以上例题可以发现：灵活构造“b a ,”的取值，不仅可使证明过程简单，有时甚至是解题的关键.

2.2.3 辅助函数构造法

例2.6[4] 设函数)(x f 在[]b a ,上连续，在()b a ,内可导，又)(x f 不为形如B Ax +的函数．证明至少存在一点）（b a <<ξξ，使a b a f b f f -->

)()()('ξ. 证明 做辅导函数 )()()()()(a x a

b a f b f a f x g ---+

=， 则()x g 为形如B Ax +的函数．

因为)(x f 不为形如B Ax +的函数，所以至少存在一点),(b a c ∈，使

)()()()(),()(b g b f a g a f c g c f ==≠，但.

情形一 )()(c g c f >，此时

a b a f b f a c a f a c a b a f b f a f a c a g c g a c a f c f --=--??????---+=-->--)()()()()()()()()()()( 即 a

b a f b f a

c a f c f -->--)()()()(. 因为[][]b a c a ,,?，所以由中值定理知）（c a ,1∈?ξ，使 a

c a f c f f --=)()()('1ξ ，

从而有 a

b a f b f f --=

)()()('1ξ. 情形二 )()(c g c f >，此时 a

b a f b f a b a

c a b a f b f a f b f c b c g b g c b c f b f --=-??????---+-=-->--)()()()()()()()()()()(， 即 a

b a f b f

c b c f b f -->--)()()()(. 因为[][]b a b c ,,?，所以由拉格朗日中值定理，),(2b c ∈?ξ使得 ()()()c

b c f b f f --=2'ξ， 从而有 ()()()a b a f b f f -->

2'ξ. 综上所述，在()b a ,内至少有一点ξ使原式成立. 证毕.

许多证明题都不能直接应用定理进行证明．利用拉格朗日中值定理证明问题时，如何构造辅助函数，是证明的关键.

3 泰勒中值定理在不等式证明中的应用

3.1 泰勒中值定理

泰勒中值定理 如果函数)(x f 在含有0x 的开区间()b a ,内有直到1+n 阶导数，则对任一点),(0b a x ∈，有

1

0)1(02000)()!

1()()(!))(()(!2)(''))((')()(++-++-+???+-+-+=n n n o o o x x n f x x n x n f x x x f x x x f x f x f ξ 其中ξ是0x 与x 之间的某个值，上式称为)(x f 按)(0x x -的幂展开的n 阶泰勒公式.下面就泰勒中值定理中函数展开点),(b a x ∈的不同情况来证明不等式.

3.2 利用泰勒公式证明不等式

3.2.1 中点取值法

选区间中点展开是较常见的一种情况，然后在泰勒公式中取x 为适当的值，通过两式相加，并对某些项进行放缩，便可将多余的项去掉而得所要的不等式.下面以实例说明.

例3.1[5] 设在区间()b a ,内，)(''x f > 0，试证：对于()b a ,内的任意两个不同点1x 和2x ，有 2

)()()2(2121x f x f x x f +<+. 证明 将)(x f 分别在a 及b 处展开，得 ()()()()()()20000!2'''x x f x x x f x f x f -+

-+=ξ， 其中ξ是0x 与x 之间的某个值.

上式中分别取1x x =及2x ，

()()()()()()0120110101,,!

2'''x x x x f x x f x f x f ∈-+

-+=ξξ； ()()()()()()()20202202002,,!2'''x x x x f x x x f x f x f ∈-+-+=ξξ. 上面两式相加，得

()()()()()()()202!

2''!2''222011021x x f x x f x f x f x f -+-+=+ξξ. 因为0)(''>x f ，所以，()()()0212x f x f x f >+，即 ()()222121x f x f x x f +

? ??+. 注 (1)若题中条件“0)(''>x f ”改为“0)(''??

? ??+. (2)若例1的条件不变，则结论可推广如下：

对()b a ,内任意n 个不同点n x x x ???21,及1λ，2λ，)1,0(,∈???n λ且∑==n

i 111λ，有

()∑∑==

i i i n i i i x f x f 1

1λλ. 例3.2 设函数)(x f 在区间[a ，b]上二阶连续可导，且0)2

(=+b a f ，证明

()(),243

a b M dx x f a

b -≤?其中()x f M b x a ''max ≤≤=. 证明 将)(x f 在2

0b a x +=处展开，得 ()()()()()()20000!

2'''x x f x x x f x f x f -+

-+=ξ. 其中ξ是 0x 与x 之间的某个值. 因为0)2(=+b a f ，所以有 ()()()()()2000!2'''x x f x x x f x f -+

-=ξ， 上式在[]b a ,作定积分，然后取绝对值

()()()()()????????-+-=b

a a

b dx x x f x x x f dx x f 2000!2'''ξ ()()()()32020-24

-2-''21a b M dx x x M dx x x f b a b

a =≤=??ξ.

即

()()324a b M dx x f b a -≤?. 3.2.2 端点取值法

当条件中出现0)(')('==b f a f ，而欲证式中出现厂)(''),(),(ξf b f a f ，展开点常选为区间两端点,,b a 然后在泰勒公式中取x 为适当的值，消去多余的项，可得待证的不等式.

例3.3 函数)(x f 在区间[a ，b]上二阶可导，且0)(')('=+b f a f ，证明：在()b a ,内至少存在一点ξ，使得()()()

()24''a b a f b f f --≥ξ.

证明 将)(x f 分别在a 及b 处展开，得

()()()()()()()x a a x f a x a f a f x f ,,!

2'''121∈-+

-+=ξξ； ()()()()()()()b x b x f b x b f b f x f ,,!

2'''222∈-+-+=ξξ. 上面两式中取2b a x +=，

()()()2

12!2''2'2??? ??-+-?+=??? ??+a b f a b a f a f b a f ξ； ()()()2

22!2''2'2??? ??-+-?-=??? ??+a b f a b b f b f a b f ξ. 上面两式相减，并由0)(')('=+b f a f ，得

()()()()()()()()122122''''8

)(''''8ξξξξf f a b f f a b a f b f +-≤--=-. 记 ()()(){}21''''max ''ξξξf f f ?=.

其中，21ξξξ或=. 于是，有

()()()()()()()

()224'',''4a b a f b f f f a b a f b f --≥-≤-ξξ即.

3.2.3 极值取值法

当题中不等式出现函数的极值或最值项，展开点常选为该函数的极值点或最值点.

例3.4[6] 设函数)(x f )在区间()b a ,内二阶可导，且存在极值)(c f 及点),(b a p ∈，使0)()(

证明 将)(x f 在c x =0处展开，得

()()()()()()22'''c p f c x c f c f x f -+

-+=！

ξ， 其中，ξ 介于c 与x 之间.

上式取p x =，并由0)('=c f ，得

()()()()2!2''c p f c f p f -+=ξ， 其中ξ介于c 与p 之间.

两边同乘以)(c f ，得 ()()()()()()22!

2''c p c f f c f c f p f -+=ξ，

（1）当??? ?

?+∈2,0b a a x 时，上式取a x =，得 ()()()()()()02

200,,''8!2''x a f a b x a f x f ∈-≤-=ξξξ. 即 ()()()028

''x f a b f -≥ξ.

（2）当??

? ??+∈2,0b a a x 时，上式取b x =，同理可得 ()()()()b x x f a b f ,,8

''002∈-≥ξξ.

由(1)及(2)得，存在),(b a ∈ξ，使得

()()[]

()x f a b f b a x ,2max 8''∈-≥ξ. 再由)(''x f 的连续性，得 []()()[]()x f a b x f b a x b a x ,2,max 8''max ∈∈-≥

注 (1)当题中条件“连续”去掉，而其他条件不变时，结论可改为在()b a ,内至少存在一点 ，使得

()()[]()x f a b f b a x ,2max 8

''∈-≥ξ成立 (2)当题中条件添加[]

0)(max ,≠∈x f b a x 时，结论可改为：在()b a ,内至少存在一点η，使得[]

)(max )(8)('',2x f a b f b a x ∈-≤η成立. 3.2.4 任意点取值法

当题中结论考察)(''),('),(x f x f x f 的关系时，展开点常选为该区间内的任意点，然后在泰勒公式中取x 为适当的值，并对某些项作放缩处理，得所要的不等式.

例3.5[7] 函数)(x f 在区间[]b a ,上二阶可导，且)(x f ≤A ，)(''x f ≤ B ，其中A ，B 为非负常数，

试证：()()a b B a b A x f -+-≤2

2'，其中),(b a x ∈. 证明 将)(x f 在),(0b a x ∈处展开， ()()()()()()20000!2'''x x f x x x f x f x f -+

-+=ξ， 其中ξ介于0x 与x 之间.

上式中分别取a x =及b ，

()()()()()()()01201000,,!2'''x a x a f x x x f x f a f ∈-+

-+=ξξ； ()()()()()()()b x x b f x x x f x f b f ,,!

2'''02202000∈-+-+=ξξ. 上面两式相减，得

()()()()()()()()[]2012020''''21'x a f x b f a b x f a f b f ---+

-=-ξξ. 即

()()()()()()()()[]

2012020''''21'x a f x b f a b a b a f b f x f -------=ξξ. 故

()()()()()()()()()[]

2012020''''211'x a f x b f a b a f b f a b x f -+--++-≤ξξ ()()()[]

202022a x x b a b B a b A -+--+-≤ ()a b B a b A -2

-2+≤.

即()()a b B a b A x f -+-≤2

2'，再由0x 的任意性， 故有

()()a b B a b A x f -+-≤2

2'，其中),(b a x ∈. 例3.6 函数)(x f 在区问[]b a ,上二阶可导，且0)()(==b f a f ，)(''max ],[x f M b a x ∈=，

试证()()123

a b M dx x f b

a -≤?. 证明 将)(x f 在[]

b a t ,∈处展开，

()()()()()()2!2'''t x f t x t f t f x f -+

-+=ξ， 其中车ξ于t 与x 之间.

上式中分别取a x =及b ，

()()()()()()()t a t a f t x t f t f a f ,,!

2'''121∈-+-+=ξξ； ()()()()()()()b t t b f t x t f t f b f ,,!

2'''222∈-+-+=ξξ.

上边两式相加，得

()()()()()()()[]

2221''''412'21t b f t a f t b a t f t f -+---+-=ξξ. 上式两端在[]b a ,上对t 作积分，

()()()()()()()[]???

-+---+-=b a b a b a dt t b f t a f dt t b a t f dt t f 2221''''412'21ξξ ()()()()()[]

d t t b f t a f dt t f b a b a ??-+---=2221''''41ξξ. 于是有 ()()()()()[]

d t t b f t a f dt t f b a b a ??-+--=2221''''81ξξ， ()()()[]()()??? ??-+-≤???b a b a

b

a dt t

b f dt t a f dt t f ]''[''812221ξξ ()()()1283

22a b M dt t b dt t a M b a b a -=??

? ??-+-≤??. 即

()()123

a b M dx x f b

a -≤?. 注 从不等式的特点出发，应用实际范例给出了泰勒公式中展开点选取的几种情况：区间的中点，已知区间的两端点，函数的极值点或最值点，已知区间的任意点.同时对各种情况的运用范围和特点作了说明，以便更好地运用泰勒中值定理证明不等式.

4 柯西中值定理在不等式证明中的应用

4.1 柯西中值定理

柯西中值定理 设函数()x f ，()x g 满足

（1）在闭区间[]b a ,上连续；

（2）在开区间()b a ,内可导；

（3）对任一()b a x ,∈有()0≠x g ，

则存在()b a ,∈ξ， 使得()()[]a f b f -/()()[]a g b g -=()ξ'f /()ξ'g .

4.2 利用柯西中值定理证明不等式

例4.1 设函数()x f 在()11,-内可微，()()1',00==x f f ，证明：在()1,1-内，()1f x <.

证明 引入辅助函数(),g x x =在[][]()()()0,,1,1x x o x ∈-或上应用柯西中值定理，得

()()()()()().'1'0-0-ξξf f g x g f x f ==

因为()()()00,00,1,f g f x '==≤且所以 ()()()()1 1.f x f f x x g x ξ'=≤?≤≤

例4.2[8]

证明不等式(

)1ln 0.x x x +>>

证明 令(

)((

)ln ,1,

f x x x

g x =+=

则上式转化为()()()0.

f x

g x x >> 由于上应用柯西中值定理，得 ()()()()()()()()0,0f x f x f f g x g x g g ξξ'-=='-

于是()()x g x f >又转化为()()ξξ''g f >.

因为

()(

)

(ln 1f g ξξξξξ++

+'==

+'

而当(00,x ξξ>>+>所以 ()()

()()()()1,f f g f x g x g ξξξξ''

'>?>?>'

即

(1ln x x ++> 例4.3[9] 若1202x x π<<<

，求证：()21112cos cos .x x x e e x x e ->- 证明 证明()21112cos cos x x x e e x x e ->-，实际上只需证21112

cos cos x x x e e e x x ->-， 设()()()()[]12,cos ,,,t f t e g t t f t g t x x ==则在上，满足柯西中值定理条件，

所以 ()()()()()()

2121''f x f x f c g x g x g c -=- ()12,c x x ∈. 即 2121cos cos sin x x e

e e e x x c

-=-- 1202x c x π<<<<. ()()()2111212121cos cos cos cos cos cos sin x x x c c e e x x e x x e x x e c

-=->->-. 其中用到11sin x e c

>及是单调增加函数.

5 积分中值定理证明不等式

5.1积分中值定理

定理5.1(积分第一中值定理) 若()x f 在区间[]b a ,上连续，则在[]b a ,上至少存在一点ξ使得

()()().,a b a a b f dx x f b

≤≤-=?ξξ 定理5.2(推广的积分第一中值定理) 若()()x g x f ,在闭区间[]b a ,上连续，且()x g 在[]b a ,上不变号，则在[]b a ,至少存在一点ξ，使得

()()()()b a dx x g f dx x g x f b a b a ≤≤=??

ξξ,. 5.2 利用积分中值定理证明不等式 例5.1[11] 证明10112101109<+

x . 证明 估计积分()()dx x g x f b

a ?的一般的方法是:求()x f 在[]

b a ,的最大值M 和最小值m ，又若()0≥x g ，则

()()()()dx x g M dx x g x f dx x g m b

a b a b a ???≤≤. 本题中令

()()()100,119≤≤≥=+=

x x x g x

x f ，. 因为

[]1,011121∈≤+≤x x

，. 所以

1011212101109109109=<+<=???dx x dx x

x dx x . 例5.2 证明22

041

222e dx e e x x ≤≤?--. 证明 在区间[]2,0上求函数()x x e x f -=2的最大值M 和最小值m .

()()x x e x x f --='212，令()0='x f ，得驻点2

1=x . 比较??? ??21f ，()0f ，()2f 知4121-=??

? ??e f 为()x f 在[]20，上的最小值，而()22e f =为()x f 在[]20，上的最大值.由积分中值定理得

()()020222

0412-≤≤-?--e dx e e

x x ， 即 22

041222e dx e e x x ≤≤?--. 注 由于积分具有许多特殊的运算性质，故积分不等式的证明往往富有很强的技巧性.在证明含有定积分的不等式时，也常考虑用积分中值定理，以便去掉积分符号，若被积函数是两个函数之积时，可考虑用广义积分中值定理.如果在证明如1和2例题时，可以根据估计定积分的值在证明比较简单方便.

结束语

中值定理是一条重要定理，它在微积分中占有重要的地位，起着重要的作用，深入挖掘渗透在这一定理中的数学思想，对于启迪思维，培养创造能力具有重要

意义.伟大的数学家希尔伯特说“数学的生命力在于联系”．数学中存在着概念之间的亲缘关系，存在着理论结构各要素之间的联系，存在着方法和理论之间的联系，存在着这一分支邻域与那一分支邻域等各种各样的联系，因此探索数学中各种各样的联系乃是指导数学研究的一个重要思想．实际上，具体地分析事物的具体联系，是正确认识和改造客观世界必不可少的思维方式在一定的意义上说，数学的真正任务就在于揭示数学对象之间、数学方法之间的内在固有联系，这一任务的解决不断推动数学科学向前发展．

中值定理在一些等式的证明中，我们往往容易思维定式，只是对于原来的式子要从哪去证明，很不容易去联系其它，只从式子本身所表达的意思去证明.今后应当注重研究中值定理各定理之间的联系，更好的应用中值定理解决不等式的证明.

参考文献

[1] 高尚华.华中师范大学第三版.数学分析(上)[M].北京:高等教育出版社，2001，(06).

[2] 董焕河、张玉峰.高等数学与思想方法[M].陕西:西安出版社，2000，(09).

[3] 高崚峰.应用微分中值定理时构造辅助函数的三种方法[J].四川:成都纺织高等专科学校学报.2007，(07):18-19.

[4] 张太忠、黄星、朱建国.微分中值定理应用的新研究[J].江苏:南京工业职业技术学院学报.2007，(8):12-14.

[5] 张元德、宋列侠.高等数学辅导30讲[M]. 清华大学出版社，1994，(6).

[6]AI Jing-hua.Characters Equal Definitions and application of Convex Function[J].Journal of Kaifeng University， Vol.17，No.2，Jun.2003:132-136.

[7] 钟朝艳.Cauchy中值定理与Taylor定理得新证明[J].云南:曲靖师专学报.1998，(9):9.

[8] 荆天.柯西中值定理的证明及应用[J].北京:科技信息(学术版).2008，(06):14.

[9] 葛健牙、张跃平、沈利红.再探柯西中值定理[J].浙江:金华职业技术学院学报.2007，(06):23.

[10]刘剑秋、徐绥、高立仁.高等数学习题集(上)[M].天津:天津大学出版社，1987，(07).

[11] 刘法贵、左卫兵.证明积分不等式的几种方法[J].高等数学研究，2008，(06).

[12] 蔡高厅.高等数学[M].天津大学出版社，1994，(06).

[13] W. Rmdin， Principle of Mathematical Analysis （Second edition）[J]. Mc Graw-Hill ，New York， 1964，(09):96-102.