微分中值定理证明不等式方法研究毕业论文

微分中值定理证明不等式方法研究毕业论文
JIU JIANG UNIVERSITY
毕业论文
题目微分中值定理证明不等式
方法研究
英文题目Using differential mean value
theorem proving inequality
method studying
院系理学院
专业数学与应用数学
姓名胡霞
班级 A0811班
指导教师强毅
二零一二年五月
摘要
不等式的证明有很多种，其中微分中值定理是证明不等式的一种重要的方法。

本文分别给出罗尔中值定理,拉格朗日中值定理,柯西中值定理以及泰勒中值定理的定义以及分别利用其定理证明的一些不等式。

新课程标准更加注重理论联系实际且应用实际的原则，因此本文最后还给出一些基本不等式在现实生活中的应用。

关键词:罗尔中值定理；拉格朗日中值定理；柯西中值定理；泰勒中值定理；不等式证明；不等式的应用
Abstract
There are many ways to prove inequality，And value theorem to prove the inequality is a kind of important method. This paper will give some examples that use Roller Mean Value Theorem，Lagrange Mean Value Theorem，Cauchy Mean Value Theorem and Taylor Mean Value Theorem to prove inequality. The new curriculum standard pay more attention to the principle that theory with the practice and apply practical，therefore this paper finally give some basic inequality in real life application.
Key Word s:Roller Mean Value Theorem; Lagrange Mean Value Theorem; Cauchy Mean Value Theorem; Taylor Mean Value Theorem; Apply of inequality; Prove inequality.
目录
引言 (1)
第一章知识准备 (2)
1.1微分中值定理定义 (2)
1.2微分中值定理证明不等式的步骤 (3)
第二章利用罗尔中值定理证明不等式 (4)
2.1罗尔中值定理的意义及分析 (4)
2.2 罗尔中值定理的应用 (4)
第三章利用拉格朗日中值定理证明不等式 (5)
3.1拉格朗日中值定理的意义及分析 (5)
3.2拉格朗日中值定理证明不等式 (5)
第四章利用柯西中值定理证明不等式 (8)
4.1柯西中值定理的分析 (8)
4.2柯西中值定理证明不等式 (8)
第五章利用泰勒中值定理证明不等式 (11)
5.1泰勒中值定理证明不等式的方法归纳 (11)
5.2泰勒中值定理证明不等式 (11)
第六章综合利用微分中值定理证明不等式 (14)
6.1通过求极值点证明不等式 (14)
第七章微分中值定理证明不等式在解题中的应用 (16)
第八章基本不等式在现实生活中的应用 (18)
第九章研究总结 (20)
参考文献 (21)
致谢 (22)
引言
不等式是数学中的重要内容,也是数学中的重要的方法和工具.在微分学中,微分中值定理,函数单调性判定定理及极值等重要的结论都可以用来证明不等式.本文通过几个具体的例子来具体说明微分中值定理在证明不等式中的运用,以及不同的微分中值定理在解决证明不等式的区别，并且还给出基本不等式在现实生活中的应用.
数学问题的解决关键在于我们对待数学问题的方法，如果在学习数学的过程中，我们能有意识地将数学问题系列化，解决数学问题的方法系列化，那么解决数学问题的能力将会得到升华.在高等数学的学习中，不等式的证明是可以作为一个系列问题来看待的，不等式的证明是数学的重要内容之一，也是难点之一，其常用的方法有：比较法、综合法、分析法、重要不等式法、数学归纳法等，而有一些问题用上述方法解决是困难的，在学完中值定理与导数的应用的内容以后，可以利用微分中值定理、函数的单调性、常数变易法、函数极值性、凸凹性等知识解决一些不等式证明的问题.因此，微分中值定理为证明不等式注入了新的活力，这一创造性思维有效合理的使不等式获得证明，从而体现出初等数学与高等数学的紧密联系.随着时代的发展，科技的进步及课程改革的不断深入，微分中值定理的应用必将渗透到社会领域的方方面面.
第一章 知识准备
1.1微分中值定理定义
微分中值定理是数学分析中非常重要的基本定理.微分中值定理是指罗尔中值
定理,拉格朗日中值定理,柯西中值定理以及泰勒中值定理.微分中值定理在数学分
析及高等数学中的地位是不容置疑的,且在解题中的应用也是十分广泛的.在这里我
们就利用微分中值定理证明不等式的方法作一简述.
首先我们要先介绍一下微分中值定理:
定理1 罗尔中值定理:如果函数()f x 在闭区间[],a b 上连续,在开区间(),a b 内可
导,且满足()()f a f b =,那么在(),a b 内至少存在一点ξ,使得()0f ξ'=.
定理2 拉格朗日中值定理:如果函数()f x 在闭区间[],a b 上连续,在开区间
(),a b 内可导, 那么在(),a b 内至少存在一点ξ,使得()()()()f b f a f b a ξ'-=-.
当函数()f x 在(),a b 内的变化范围已知时,有()m f x M '≤≤,于是可以利用拉格
朗日定理来证明()()()()m b a f b f a M b a -≤-≤-一类的不等式.
定理3 柯西中值定理:如果函数(),()f x g x 在闭区间[],a b 上连续,在开区间(),a b 内可
导,且()g x '在(),a b 内每一点均不为零,那么在(),a b 内至少存在一点ξ,使得
()()()()()()
f b f a f
g b g a g ξξ'-='-. 定理4 泰勒中值定理:如果函数()f x 在含有点0x 的区间D 上有直到(1)n +阶的
导数,则函数()f x 在D 内可表示成一个多项式()n P x 与一个余项式()n R x 的和:
20000000()()()()()()()...()()2!!
n n n f x f x f x f x f x x x x x x x R x n '''=+-+-++-+. 其中11()()()(1)!
n n n f R x x n ξξ++=-+,0(,)x x ξ∈. 注:当0n =时,即为拉格朗日中值定理,所以泰勒中值定理是拉格朗日中值定理
的推广.这个公式又称为带有朗格朗日型余项的泰勒公式.
1.2微分中值定理证明不等式的步骤
在微分学中,微分中值定理在证明不等式中起着很大的作用,我们可以根据不等
式的两边的代数式选取不同的函数()f x ,应用微分中值定理得出一个等式之后,对这
个等式根据x 取值范围的不同进行讨论,得到不等式,以下通过例子来说明微分中值
定理在证明不等式的应用.
因此给出利用微分中值定理证明不等式的步骤
（1） 构造辅助函数()f x
（2）构造微分中值定理需要的区间[]b a ,
（2） 利用()b a ,∈ξ，对
f ,
ξ进行适当的放缩
第二章 利用罗尔中值定理证明不等式
2.1罗尔中值定理的意义及分析
罗尔中值定理的几何意义:在满足定理条件下,在曲线()y f x =上必有一点,使得
过该点(,())P f ξξ的切线平行于x 轴.
在一般情况下,利用罗尔中值定理很容易证明关于方程的根的问题,但是仅用罗
尔中值定理却很难证明不等式,所以在利用罗尔中值定理证明时要综合利用其他的
微分中值定理.
2.2 罗尔中值定理的应用
例1 设函数()f x 在[]b a ,上连续，在()1,0内可导，且()()010==f f .证明：()
1,0内必存在一点ξ，使得ξ
ξξ-'=''1)(2)(f f . 分析：由结论令)(2)()1()(x f x f x x F '-''-=''→⎰''='dx x F x F )()(
⎰=()[])()()1()(2)(1x f x f x dx x f x f x -'-='-''-
→()[])()1()()(1)()(x f x dx x f x f x dx x F x F -=-'-='=⎰⎰.
证明：令)()1()(x f x x F -=，由于)(x F 在[]1,0上连续，在()1,0内可导，且
)()()1()(x f x f x x F -'-='，又0)1()0(==F F ,则由罗尔定理知：存在()1,0∈c ，
使得0)()()1()(=-'-='c f c f c c F ，又0)1()1(=-='f F ，从而)(x F '在()1,c 上.再
由罗尔定理知：必存在一点()()1,01,∈∈c ξ，使得0)(2)()1()(='-''-=''ξξξξf f F 即ξ
ξξ-'=
''1)(2)(f f
第三章 利用拉格朗日中值定理证明不等式
3.1拉格朗日中值定理的意义及分析
拉格朗日中值定理的几何意义:在满足定理条件下,在曲线()y f x =上必有一点
(,())P f ξξ,使得过该点的切线平行于曲线两端点的连线(,())a f a ,(,())b f b 两点的弦.
我们在证明中引入的辅助函数()()
()()()()f b f a F x f x f a x a b a
-=--
--,正是曲线
()y f x =与弦线之差.
拉格朗日中值定理是罗尔中值定理的推广,当()()f a f b =时,本定理即为罗尔中值定理的结论,这表明罗尔中值定理是朗格朗日定理的一个特殊情形()y f x =.
拉格朗日中值定理的其它表示形式:
(1) ()()()()f b f a f b a ξ'-=-,a b ξ<<; (2) ()()(())()(01)f b f a f a b a b a θθ'-=+--<<; (3) .0,)()()(h h h a f a f h a f <<+'=-+θθ
值得注意的是:拉格朗日中值定理无论对于a b <,还是a b >都成立.而ξ则是介于a 与b 之间的某一定数,而(2),(3)两式的特点,在于把中值点ξ表示成了
()a b a θ+-,使得不论a ,b 为何值,θ总可为小于1的某一整数.
3.2拉格朗日中值定理证明不等式 例2 (1)如果0x >,试证
ln(1)1x
x x x
<+<+; (2)求证: arctg arctg αβαβ-≤-.
证明 (1)令()ln(1)f x x =+,()f x 在区间[]0,(0)x x >上连续,在()0,(0)x x >内可导,应用拉格朗日中值定理,则有ln(1)ln(1)1x
x ξ
+-=
+,(0,)x ξ∈. 由于在闭区间[]0,x 上,有
11x x x x ξ<<++,所以ln(1)1x x x x
<+<+(0)x >.
(2)当αβ=时,显然等号成立.
当αβ≠时,不妨设αβ>.设()(),,f x arctgx x βα=∈, 由拉格朗日中值定理得,
2
1
1arctg arctg αβαβξ
-=-+ ,(,)ξβα∈. 则有 2
1
()1arctg arctg αβαβξ-=
-+ 所以 2
1
()1arctg arctg αβαβαβξ-=
-≤-+. 以上两个例子都是利用拉格朗日中值定理来证明不等式,有些不等式利用此定理时,方法要灵活些.
例3 当0x ≥时,函数()f x 在其定义域上可导,且()f x '为不增函数,又
()0f x =, 0,1,2,...,,i x i n ≥=求证 1
1
()()n
n
i i i i f x f x ==≤∑∑.
证明 用数学归纳法 当1n =时,显然不等式成立.
当2n =时,若12,x x 均为0,或者一个为0时,当一个为0时, 显然有 1212()()()f x x f x f x +=+.
设12,x x 均大于0,不妨设12x x ≤,在[]10,x 应用拉格朗日中值定理可得:
()1111111()()(0)
(),0,0
f x f x f f x x ξξξ-'==∈-. 在[]212,x x x +上再次利用拉格朗日中值定理可得:
()122122222121122
()()()()
(),,f x x f x f x x f x f x x x x x x x ξξ+-+-'==∈++-
显然12ξξ<,由题设知, 12()()f f ξξ''≥. 所以
122111
()()()
f x x f x f x x x +-≤,
即 )()()(2121x x x x f f f +≤+.
假设当n k =时不等式成立,即 1
1
()()k k
i i i i f x f x ==≤∑∑.
取111
1
()()k k
i i k i i f x f x x ++===+∑∑,显然10k x +=的情况不证而明,,所以只考虑10k x +>的情况.
取1
k
i i u x ==∑,由前面已证的结论有
11()()()k k f u x f u f x +++≤+,
再用归纳假设可得 11
1
1
()()k k i i i i f x f x ++==≤∑∑,
即当1n k =+时结论成立.所以. 1
1
()()n n
i i i i f x f x ==≤∑∑.
第四章 利用柯西中值定理证明不等式
4.1柯西中值定理的分析
柯西中值定理是研究两个函数(),()f x g x 的变量关系的中值定理,当一个函数(不妨设此函数为()g x )取作自变量自身时它就是拉格朗日中值定理,所以用拉格朗日中值定理能证明的不等式一定能用柯西中值定理来证明,反之则不然.下面举例来说明:
对例2用柯西中值定理证明,这里仅用第一个小题来说明,其证法如下: 证明 (1)令()ln(1)f x x =+,()g x x
=.(),()f x g x 在区间[]0,(0)x x >上连续,在
()0,(0)x x >内可导,且()g x '在[]0,(0)x x >内每一点都不为零,那么由柯西中值定理
可得:
ln(1)ln(1)1
(1)11x x ξ
+-=+-+,(0,)
x ξ∈
则有 ln(1)ln(1)1x
x ξ
+-=+,(0,)x ξ∈. 下面与例2中解法同,这里就不再赘述了.
4.2柯西中值定理证明不等式
例4 (1)设0x >,对01α<<的情况,求证: 1x x ααα-≤-. (2)设0x >，求证: sin 1x x e <-. 证明 (1)设x
x f α
=
)(,x x g α=)(.
当1x =时结论显然成立.
当1x ≠时,取[],1x 或[]1,x ,(),()f x g x 在闭区间[],1x 或[]1,x 上连续,在开区间(),1x 或
()1,x 可导,且()g x '在内(),1x 或()1,x 每一点均不为零,由柯西中值定理可得:
()(1)()
()(1)()
f x f f
g x g g ξξ'-='-,(,1)x ξ∈或(1,)x ξ∈
即
1
11x x ααααξξααα
---==-. 所以1x x ααα-≤-得证.
(2)设()sin f t t =,()t g t e =,[]0,t x ∈,(),()f x g x 在闭区间[]0,x 上连续,在开区间
()0,x 内可导,且()g x '在()0,x 内每一点均不为零,那么由柯西中值定理可得:
()(0)()
()(0)()
f x f f
g x g g ξξ'-='-,()0,x ξ∈.
即 sin cos 1t
x e e ξξ
=-,()0,x ξ∈. 因为10x e ->,10e ξ>>,所以
sin cos 11t x e e
ξ
ξ
=<-. 即 sin 1x x e <-.
注意:例4中的两个不等式能用柯西中值定理来证明,但不能用拉格朗日中值定理证明.
例 5 如果函数()f x 满足两个条件:(1)在闭区间[],a b 上有二阶导数()f x ''; (2) ()()0f a f b ''==.试证明:在开区间(),a b 内至少存在一点c , 使得 2
4
()()()()f c f b f a b a ''≥
--.
证明 令2
4
()()()
k f b f a b a =
--.在此我们利用用反证法来证明本题, 我们不妨假设()f x k ''<,a x b <<.对于构造的辅助函数
[]000()()()()()F x f x f x f x x x '=-+-及20()()G x x x =-
(其中0x 是[],a b 中任意固定的一点),两次利用柯西中值定理,可得:
200001
()()()()()()2
f x f x f x x x x x f ξ'''=+-+-
其中ξ介于0x 与x 之间(即0x x ξ<<或0x x ξ<<),x 为[],a b 上任意点,特别地,在上式中取0x a =,2
a b
x +=
,并利用已知条件()0f a '=,则有:
21()()()()28a b b a f f a f c +-''=+,其中1c 满足12
a b a c +<<,
于是 2
()()()28
a b b a f f a k +--<. 同理再取0x b =,2
a b
x +=
,并利用已知条件()0f b '=,则得: 22()()()()28a b b a f f b f c +-''=+,其中2c 满足22
a b c b +<<.
于是: 2
()()()28
a b b a f b f k +--<. 因此,
2
()()()()()()()()()224
a b a b b a f b f a f b f f f a k f b f a ++--≤-+-<=-.
这是不可能的.所以在区间(),a b 内至少存在一点c , 使得 2
4
()()()()f c f b f a b a ''≥--.
第五章 利用泰勒中值定理证明不等式
5.1泰勒中值定理证明不等式的方法归纳
泰勒公式的余项大体分两种:佩亚诺型余项,拉格朗日型余项.与带拉格朗日型余项的泰勒公式相比,带佩亚诺型余项的泰勒公式对函数()f x 的假设条件较少,只需函数()f x 在0x 处n 阶可导,不需要1n +阶可导,也不需要在0x 的邻域内存在n 阶连续导数,因此应用范围较广.但是在证明不等式时,精确度却不如带拉格朗日型余项的泰勒公式好.
利用此原理可以证明一般的不等式,积分不等式,估值不等式等多种不等式,这种方法的用法非常广泛.
证明方法:
(1)根据已知条件,围绕证明目标,寻取适当的点将函数在该点展成泰勒展式. (2)根据已知条件,向着有利于证明不等式的方向对上面的展式作适当的处理,
直到可以结合已知条件证出不等式为止.
5.2泰勒中值定理证明不等式
例6 当02x π
<<时,求证:2221
200(1)sin (1)(21)!(21)!
k k k k
n n k k x x x k x k -==--<<++∑∑.
分析:由于朗格朗日中值定理很容易证明sin 01x
x
<
<, 而利用泰勒中值定理时,当1n =时,不等式为:224
sin 113!3!5!
x x x x x -<
<-+. 显然第二个比前一个的不等式的精确度高得多,随着n 的增大,不等式的精确度会大幅度地提高,所以我们在做题过程中,按题目的要求来选择适当的方法来证明不同的不等式.
证明 令()sin f x x =,那么函数()f x 在00x =点展开前2n 项的泰勒公式, 余项取拉格朗形式,那么有:
21
2430
(1)sin ()
(21)!k k n
n k x x R x k ++=-=++∑
43
43
4343433sin()
sin
cos 2()(43)!
(43)!(43)!n x n n n n x R x x x x n n n ξ
πξξ+=+++++
-=
=
=+++. 因为02
x π
ξ<<<
,所以cos 0ξ>,从而21()0n R x +<,
所以有 21
20(1)sin (21)!k k n
k x x k +=-<+∑.
即 220(1)sin (21)!
k k
n
k x x k =-<+∑.
同理,因为412sin()
2()0(41)!
n n R x x n π
ξ++=
>+,所以左端的不等号也成立. 另外,在遇到高阶导数的不等式,一般都首先考虑泰勒中值定理.像之前的例4.我们也可以用泰勒中值定理来证明,下面具体来说明:
例5的另一种证法: 由题设条件,应用泰勒展开式有:
2
11(
)()()()()2222a b b a b a f f a f a f ξ+--'''=++, 221()()()()()2222
a b a b a b f f b f b f ξ+--'''=++,
其中1ξ介于a 与2a b +之间,2ξ介于2
a b
+与b 之间.
上述两式相减,且有()()0f a f b ''==,得:
2
211()()()[()()]22
a b f b f a f f ξξ-''''-=
⋅-, ()2
2
1()()()()()8
a b f b f a f f ξ
ξ-''''-≤
+.
令21max{(),()}()f f f ξξξ''''''=,(,)a b ξ∈,则有:
2
()()()()4
a b f a f b f ξ-''-≤,(,)a b ξ∈.
即 2
4
()()()()f f b f a b a ξ''≥
--.
例7 设函数()f x 在[],a b 上二阶可导,且()0f x ≥,()0f x ''<.
求证:对任意的[],x a b ∈,有2()()b
a f x f t
b a
≤
-⎰. 证明: 对任意的[],x a b ∈,将()f x 在t 点展开[](,)t a b ∈.
2()
()()()()()2!
f f x f t f t x t x t ξ''=+-+
-(其中ξ介于x 与t 之间). 注意到()0f x ''<,所以有()()()f x f t f x t '≤+-. 对上述不等式的两边对t 积分,得:
()()()()b
b b
a
a
a
f x dt f t dt f t x t dt '≤+-⎰
⎰⎰
()()()()()()b
b
b
a a
a
b a f x f t dt f x x t f t dt -≤+-+⎰⎰
2()()()()()b
a
f t dt f b x b f a x a =+---⎰
因为()0()()()()0f x f b x b f a x a ≥⇒---≤.所以2()()b
a f x f t
b a
≤-⎰.
第六章 综合利用微分中值定理证明不等式
6.1通过求极值点证明不等式
利用拉格朗日中值定理能够很方便的判断出函数的单调性,其方法是:如果函数
()f x 在[],a b 上连续,在(),a b 内可导,则有:
(1)如果在(),a b 内函数()f x 的导数()0f x '>,则函数()f x 在[],a b 上单调增加; (2) 如果在(),a b 内函数()f x 的导数()0f x '<,则函数()f x 在[],a b 上单调减少.另外,函数()f x 在(),a b 内除有个别点外,仍有()0f x '>(或()0f x '<),则函数()f x 在
[],a b 上单调增加(或减少)的,即连续函数在个别点处无导数并不影响函数的单调性.
再利用函数的单调性及函数图象上峰值点与各极值点的性质,便可以方便地求出函数的极值,从而证明出不等式.
其方法为:确定函数()f x 的定义域,然后求出定义域内的所有驻点,并找出()f x 连续但()f x '不存在的所有点,讨论所有驻点和不可导点左右两侧附近()f x '的符号变化情况,确定函数()f x 的极值点,并求出相应的极大值点与极小值点,从而进一步证明不等式.
例8 求证 (1)当0x >时,证明2
ln(1)2
x x x +>-成立.
(2)当(0,)2x π∈时,证明tan sin x x
x x >
成立. 证明 (1)令2
)1ln()(2
x
x x x f +
-+=,因为函数()f x 在[0,)+∞上连续,在(0,)
+∞内可导,且 2
1()111x f x x x x
'=-+=++. 当0x >时,2
()01x f x x
'=
>+,所以当0x >时,函数()f x 是单调递增的.故当0x >时,有:
()(0)0f x f >=,即()0f x >,
从而 2
ln(1)2
x x x +>-成立.
(2)因为(0,)2
x π
∈,所以sin 0x >,tan 0x >.令函数2()sin tan f x x x x =-,则有:
21
()sin sec sin 2tan (cos )cos f x x x x x x x x
'=+-=+
因为(0,)2x π∈时, 1cos 2cos x x
+>,tan x x >,所以()0f x '>.即()f x 在(0,)2x π
∈时严
格递增的,又因为0)0(=f ,所以()0((0,))2f x x π>∈,即tan sin x x
x x
>
成立. 例9 设函数()f x 在闭区间[],a b 上二次可微,且满足()0f x ''>, 试证:当a x b <<时,有不等式:
()()()()
f x f a f b f a x a b a
--<
--成立. 证明 令()()()f x f a x x a ϕ-=
-,那么()()()()f x f x a x x a
ξϕξ''-'=<<-.
由于()0f x ''>,可知()f x '在闭区间[],a b 上是严格递增的,即()()f x f ξ''>, 从而有 ()0x ϕ'>,
故函数()x ϕ在闭区间[],a b 上也是严格递增的,于是当[],x a b ∈时,有:
()()x b ϕϕ<,
即 ()()()()
f x f a f b f a x a b a
--<
--成立.
第七章 微分中值定理证明不等式在解题中的应用
例10 a>1,n 1≥.证明 ()
n
a a
a a
n n n n a
n 2
11
111
1ln 12
<
-<
+++
分析：即证 ()
a a
n
a a a n a n n n
n ln ln 2
11
112
1
11<
-<+++
注意：()a a a x x ln =' 对a x x f =)(用微分中值定理 证明：令a x
x f =)(
)(1
11)11()1(ξf n n n f n f '=+-
+- )111(
n
n ，+∈ξ 即 a n n a a a
n n
ln )
1(11
11ξ
=+-+ ()
n
a a
a a n a n
n n
n n n a
2
111
12
1
1)
1(ln 1<
+=
-<+++ξ
例11 设0<a<b ，证明不等式
a
b a b a
b
a --<
+ln ln 22
2
证明：)(b a ，∈∃ξ ξ
ξ
1
ln ln /
)(ln =
=--'=x x a
b a b
a
b a
b
a
11122
2
<<<+ξ b a ab 2
22+< a
ab
11<
即证
例12：证明不等式
（1）；，，，102
2>>≥+
⎪⎭
⎫ ⎝⎛+n y x y x y x n
n
n
（2）y x e
e e
y x y
x
≠>++，2
2
证明：（1）设()x f =x n ,则当n>1时
x
n n x f 1
)(-=' 00)1()(2>∀>-=''-x n n x f x n ，
所以()x f 在（0，+∞）上严格下凸，因而
；，，，102
2>>≥+
⎪⎭
⎫ ⎝⎛+n y x y x y x n
n
n
(2)设()x f =e x ,则()，
，，∞+∞-∈>=''='x x f x f e x
0)()( 所以()x f 在()∞+∞-，
上严格下凸，因而y x e
e e y
x y
x
≠>++，2
2
例13 设()x f 在[]b a ,连续，在()b a ,二阶可导，证明存在()b a ,∈η 使()())
(2222
ηf b a f a f b f a b ''=⎪⎭⎫ ⎝⎛+-+⎪⎭
⎫ ⎝⎛-
证明：设()()⎪
⎭
⎫ ⎝
⎛---=2a b x f x f x g 由于 (),22a f b a f b a g -⎪⎭⎫ ⎝⎛+=⎪⎭⎫ ⎝⎛+ ()()⎪⎭
⎫ ⎝⎛+-=2b a f b f b g 在区间⎥⎦
⎤⎢⎣
⎡+b b a ，2
上对()x g 应用Lagrange 中值定理，即得到
()()()()⎪⎭
⎫ ⎝⎛
-=
⎪⎭⎫
⎝⎛+-=⎪⎭⎫ ⎝⎛+-+'2222a b b a g b g b a f a f b f g ξ
()⎪⎭
⎫ ⎝⎛-⎥⎦⎤⎢
⎣
⎡⎪⎭⎫ ⎝
⎛--'-'=22a b a b f f ξξ ()⎪
⎭
⎫ ⎝⎛-''=22
a b f η
即证
第八章 基本不等式在现实生活中的应用
数学是来源于生活且应用于生活.在新课标的标准下，我们的课程标准更加注重理论联系实际，摆脱曾经所出现的“书呆子”一说.无一例外，基本不等式在现实生活中有着广泛的应用，下面举例介绍如何利用基本不等式解决生活中的实际问题.
一 商品销售价格
例14 某商品进货价每件50元，据市场调查，当销售价格每件x 元（50<x ≤80）时，每天销售件数为=
p )
40(102
5
-x ,若想每天获得的利润最多，则销售价格为多少元？
分析：利润=销售数X （销售价格—进货价格），再利用基本不等式可求得利润最大值.
解：由题意知x>50元时，可知利润：
)
1050(10)
40(10
2
5
2
5
)
50()50(+---=-=x x x x p
20
50
100
)50(100)50(20)50(10)50(105
2
5+-+-=
+-+-=-x x x x x
因为x-50>0，所以2050
100)50(≥-+-x x ，当且仅当50100
50-=-x x ，即x=60或x=40
（不合题意）时，p=2500成立.
所以当销售价格为每件60元时，每天获得利润最多.
二 节省纸张问题
例15 在一页书上所印文字要占S cm 2,上下页空白处要留a cm 宽，左右要留b cm 宽，若从节约纸张出发，如何设计书页的高和宽的尺寸最为有利？
解：设书页的高为x cm,宽为y cm ，则书页的面积为cm S xy 21=. 因为（x-2a ）(y-2b)=S,所以b a
x S
y 22+-=
，)2(221b x bx x a x S S >+-=
. abS ab S a x b a
x aS
ab S a x b a x aS ab S s 44)
2(22224)2(22241++=-•-++≥-+-+
+= 当且仅当
)2(222a x b a x aS
-=-，即b
aS a x +=2时，S
1
取最小值为
abS ab S 44++.此时所求的书页的高为,2cm b aS a x +
=宽为cm a
bS
b y +=2.
所以书页高为cm b
aS a +2,宽为cm a bS
b +2时最省纸张.
三 费用最少
例16 近年随着我国国民经济的发展，人们的经济收入明显提高，生活状况越来越好，据有关部门抽样调查的结果显示，我国城乡居民拥有量比2005年初翻了一番.某种汽车，购车费是10万元，每年支付的保险费、养路费、汽油费约为0.9万元，年维修费第一年是0.2万元，以后逐年递增0.2万元，这种汽车使用多少年时，它的平均费用最少？
解：设用x 年平均费用最少，由于年维修费第一年是0.2万元，以后逐年递增0.2万元，可知汽车维修费构成以0.2万元为首项，0.2万元为公差的等差数列，因此汽车x 年总的维修费用为
x x 2
2
.0)1(2.02.0-++万元.
设汽车平均费用为y 万元，则有：
x x x x x x y x 2
1.01022
.0)1(2.02.09.010++=
•-++++= 32110
101=+≥++
=x
x . 当且仅当10
10x x
=，即x=10时，它的平均费用最少.
第九章研究总结
通过本论文的写作，我们可以看出微分中值定理在证明不等式方面的贡献.其实，在我们数学的学习中，很多地方都用到了微分中值定理.可见，微分中值定理不仅在不等式方面，在其他高等数学中也有很大的贡献.
本文主要是通过罗尔中值定理，柯西中值定理，拉格朗日中值定理，泰勒中值定理来证明不等式.由于新课程标准注重理论联系实际原则，且数学是来源于生活、应用于生活.因此，本文在最后给出了不等式在现实生活中的应用.
从中学阶段，我们就开始接触了不等式，并且也学会了不少解决不等式的方法.如分析法、级数法、对数法、导数法、综合法、数学归纳法等等.在学习了微分中值定理证明不等式后，我们将对不等式有了更深刻的理解，也体现出初等数学与高等数学的联系，培养我们的思维能力和逻辑推理能力，提高解题效率，锻炼了学生的创造性思维和发散思维.一题多解也是现代素质教育所提倡的解题方法，学生在学习了微分中值定理证明不等式后，对不等式的证明有了更多的解题方法.这样可以促使学生在今后解决不等式方面的问题时可以根据需要灵活的选用解题方法.
参考文献
[1]D.S.密斯特利诺维奇.解析不等式[M].北京:科学出版社.1987.
[2]Γ.Μ.菲赫金哥尔茨.微积分学教程（第八版）.北京:高等教育出版
社.2006．
[3]Ｒ.科朗等.微积分和数学分析引论[M].北京:科学出版社.2002.
[4]华东师范大学数学系.数学分析[M].北京:高等教育出版社,1991.
[5]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版社,1994.
[6]刘玉莲.数学分析讲义[M].北京:高等教育出版社,1999.
[7]林丽绿.利用微分中值定理证明不等式[J].泉州师专学报,1997,第一卷.
[8]赵文祥.微分中值定理与不等式[J].天津电大学报,2007,增刊.
[9]孙学敏.微分中值定理的应用[J].数学教学研究,2008,第28卷第10期.
[10]邵士敏．高等数学基础[M]．科学出版社，2000．11.
[11]陈光曙．大学数学（理工类）上册[M]．同济大学出版社，2007.2
[12] 汪荷仙. 高等数学解题方法指导[M].成都科技大学出版社， 1995.12
[13] 马德炎. 常见的代数不等式的证明[J].高等数学研究.2009（5）27-29.
[14] Black, F, M. Jensen, and M. Stoles, “The Capital Asset Pricing Model: Some
Empirical Tests”, in Jensen, M “Studies in the Theory of Capital”, 1972 [15] Cox, J, Ingersoll, J. E. and S.A. Ross, 1985b, A theory of term structure of
interest rates, Econometrical, 53,385-407.
[16] Engle, Robert F, 2000, “The econometrics of Ultra-High-Frequency Data”,
Econometrical, Vol. 68, No. 1, 1-22.
[13]AI Jing-hua. Characters Equal Definitions and application of Convex Function
[J].Journal of Kaifeng University, Vol.17, No.2,Jun.2003.122-164.
[14] W. Rmdin, Principle of Mathematical Analysis （Second edition）, Mc
Graw-Hill , New York, 1964.96-102.
致谢
本文是在强毅老师的悉心教诲指导下完成的，在论文的写作过程中遇到了无数的困难和障碍，但强毅老师一直都本着细心、严谨的态度对我的论文进行指导.由于我的知识水平有限，在完成一稿时，论文基本上是不成型的，不管是内容、格式，各方面都存在非常大的缺陷.强毅老师对我的论文耐心的分析，然后教导我本论文的研究方向，给我列出论文大纲，指引我如何进行二稿的修改.
二稿结束后，虽然比一稿有了很大的进步，但在强毅老师严谨治学、耐心批改下，还是发现了很多的瑕疵.论文排版、格式、字体等很多细节上都存在不少问题.所以，在论文三稿时，在这方面就有了很大的改善.
在论文的写作过程中，我还查找了图书馆的不少资料，以及向同学请教了很多问题.所以，在此，向图书馆的老师及同学表示忠心的感谢.
由于我的学术水平有限，论文还有很多不足，恳请各位老师和学友批评和指正!。