微分中值定理和不等式的证明

淮北师范大学2013届学士学位论文

微分中值定理和不等式的证明

学院、专业研 究 方 向 学 生 姓 名 学 号 指导教师姓名指导教师职称

2013年4月20日

微分中值定理及不等式的证明

谢晨西

（淮北师范大学数学科学学院，淮北，235000）

摘 要

微分中值定理在数学分析中具有重要作用, 不等式在初等数学中是最基本

的内容之一, 微分中值定理主要包括：拉格朗日中值定理，罗尔中值定理, 以及柯西中值定理. 本文采用举例的方式归纳了微分中值定理在不等式证明中的几种常见方法和技巧，并对中值定理进行了适当的推广, 同时结合几个常见的实例论述了罗尔中值定理, 拉格朗日中值定理在证明不等式面的应用, 从而加深对两个定理的理解, 总结了微分中值定理在不等式证明中的基本思想和方法.

关键词 ：微分中值定理，柯西中值定理，费马定理，不等式

Differential Mean Value Theorem and Proof of Inequality

Xie Chenxi

（School of Mathematical science,Huaibei Normal University,Huaibei,2350000）

Abstract

Differential mean value theorem plays an important role in mathematical analysis.Inequality is one of the most important elements in elementary mathematics.Differential mean value theorem include: lagrange mean value theorem, rolle theorem, cauchy mean value theorem.This article summarizes several common methods and techniques of differential mean value theorem to prove inequality..Appropriate promotion differential mean value theorem.Combined with a few common examples discussed rolle theorem of lagrange mean value theorem in proving inequalities surface.So as to deepen the understanding of the two theorems,summarize the basic method of differential mean value theorem to prove inequality

Key words: Differential mean value theorem ，Cauchy Mean Value Theorem ，generalized Fermat's theorem;，inequalities

目 录

引言................................................................ 1 1 预备知识.......................................................... 1 2 微分中值定理及其证明.............................................. 1

2.1 费马引理 .................................................... 1 2.2 罗尔中值定理及其推广 ....................................... 2 2.3 拉格朗日中值定理及其推广 .................................... 3 2.4 柯西中值定理及其推广 ........................................ 3 2.5 泰勒中值定理 ................................................ 4 3 利用微分中值定理证明不等式........................................ 4

3.1 罗尔中值定理证明不等式 ...................................... 4 3.2 利用拉格朗日中值定理证明不等式 .............................. 5 3.3 利用柯西中值定理证明不等式 .................................. 6 3.4 利用泰勒中值定理证明不等式 .................................. 8 3.5综合利用微分中值定理证明不等式.............................. 10 结论............................................................... 11 参考文献........................................................... 11

引言

在高等数学课程中罗尔定理、拉格朗日中值定理及柯西中值定理等统称为微分中值定理, 他们是微分中值学中最基本、最重要的定理为加深学生对微分中值定理的理解. 它的出现是一个过程，聚集了众多数学家的研究成果. 从费马到柯西不断发展，理论知识也不断完善，成为了人们引进微分学以后，数学研究中的重要工具之一，而且应用也越来越广泛. 微分中值定理在函数在某一点的局部性质；函数图象的走向；曲线凹凸性的判断；积分中值定理；级数理论；等式及不等式证明等问题的研究中也发挥着十分重要的作用. 因此，微分中值定理已经成为整个微分学基础而又举足轻重的内容.

1 预备知识

微分中值定理是一系列中值定理总称，是研究函数的有力工具, 其中最重要

的内容是拉格朗日定理，可以说其他中值定理都是拉格朗日中值定理的特殊情况或推广。也就是说微分中值定理包括罗尔定理、拉格朗日中值定理、以及柯西中值定理等基本定理在内的定理的总称. 以下是证明微分中值定理时用到的几个概念.

定义1[1] (单调性) 函数f (x ) 在定义域内, 当x 1

f (x 1) ≤f (x 2) (f (x 1)

则称f (x ) 单调递增. 当x 1

f (x 1) ≥f (x 2) (f (x 1) >f (x 2)) ,

则称f (x ) 单调递减.

定义2[1] (保号性) 若lim f (x ) >lim g (x ) , 则存在∆>0, 任意x ∈(x 0-∆,

x →x 0

x →x 0

x 0+∆), 使得f (x ) >g (x ) .

定义3[1] (最值) 设f (x ) 在I 上有定义, 若存在x 0∈I 使任意x ∈I ,

f (x 0) ≤f (x ) (f (x 0) ≥f (x ) ), 则f (x 0) 称为f (x ) 的最小值(最大值). x 0为最小值点(最大值点).

定义4[1] (极值) 设f (x ) 在任意x ∈I 上有定义, 若存在x 0∈I , ∆>0, 任意

x ∈(x 0-∆, x 0+∆) , 都有f (x ) ≥f (x 0) (f (x ) ≤f (x 0) ), 则f (x 0) 称为f (x )

的一个极小值(极大值), x 0称为极小值点(极大值点).

2 微分中值定理及其证明 2.1 费马引理

1

定理1[2] 设函数f (x ) 在点x 的某邻域内有定义, 且在点x 0可导，若x 0为f 的极值点，则必有

f '(x 0) =0

费马定理的几何意义:如果将函数f (x ) 的曲线置于直角坐标系XOY , 则费马定理具有几何意义表示若在曲线y =f (x ) 上有一点(x 0, f (x 0)) 存在切线, 且在

x 0 在f (x ) 取得极值. 则这一点处的切线必平行于x 轴.

2.2 罗尔中值定理及其推广 定理2[3] 如果函数f (x ) 满足：

（1）在闭区间上连续； （2）在开区间内可导；

（3）在区间端点处的函数值相等，即f (a)=f (b)， 那么在内至少有一点ξ使得f '(ξ) =0

罗尔定理的几何意义:若f (x ) 满足罗尔定理的条件, 则在曲线y =f (x ) 上至少存在一点P (ξ, f (ξ)) , 使得点P 处的切线平行于x 轴(如图), 其中A (a , f (a )) , B (b , f (b )) .

证明 因为a

（1） 若f (x ) =f (b ) =f (a ) 为常数, 则必有f '(x ) =0，所以, 存在ξ∈(a , b ) , 使得f '(ξ) =0;

（2） 若f (x ) 不是常数, 则f (x ) 非单调, 又有f (x ) 在[a , b ]上连续在(a , b )内可导, 根据引理1, 存在ξ∈(a , b ) , 使得

f '(ξ) =0.

证毕.

定理3[3] 设f (x ) 在(a , b )内可导, 且lim +f (x ) =lim -f (x ) =A , 其中A ≤+∞,

x →a

x →b

则存在ξ∈(a , b ) 使得f '(ξ) =0.

2.3 拉格朗日中值定理及其推广

定理4[4] 如果函数f (x ) 满足

(1) 在闭区间[a , b ]上连续;

(2) 在开区间(a , b )内可导; 则至少存在一点ξ∈(a , b ) 使等式

f (b ) -f (a )

f '(ξ) =.

b -a

证法 利用罗尔中值定理

f (b ) -f (a ) ⎡⎤

F (x ) =f (x ) -⎢f (a ) +(x -a ) ⎥.

b -a ⎣⎦

定理5[5](推广一) 设f (x ), g (x ), h (x ) 在[a , b ]上连续, 在(a , b )内可导, 则存在ξ∈(a , b ) 使得

f (a ) f (b ) f '(ξ)

g (a ) h (a )

g (b ) h (b ) =0. g '(ξ) h '(ξ)

定理6[6](推广二) 若f (x ) 在有限开区间(a , b )内可导, 且f (a +0) 与f (b -0)

存在, 则至少存在一点ξ∈(a , b ) 使得

f '(ξ) =

f (b -0) -f (a +0)

.

b -a

2.4 柯西中值定理及其推广

定理7[7] 设函数f (x ) 、g (x ) 满足:(1) 在闭区间[a , b ]上连续;(2) 在开区间(a , b )内可导, 且g '(x ) ≠0，则至少存在一点ξ∈(a , b ) 使得

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

. =

g '(ξ) g (b ) -g (a )

定理8[7](洛必达法则一) 若函数f(x)与ϕ(x ) 满足下列条件： （1）在a 的某去心领域U (a ) 可导，且ϕ' (x ) ≠0；

3

（2）x →a

lim f (x ) =0与lim ϕ(x ) =0；

x →a

f ' (x) lim ' =l . x →a ϕ(x )

（3）

f(x)f ' (x)

=lim ' =l . 则lim

x →a ϕ(x)x →a ϕ(x )

证法 证明洛必达法则要找到两个函数之比与这两个函数的倒数之比之间的联系. 柯西中值定理正是实现这种联系的纽带. 为了使函数f(x)与ϕ(x ) 在a 满足柯西中值定理的条件，将函数f(x)与ϕ(x ) 在a 作连续开拓. 这不影响定理的证

f(x)

明，因为讨论函数在a 的极限与函数f(x)与ϕ(x ) 在a 的函数值无关.

ϕ(x)

2.5 泰勒中值定理

定理9[8] 若函数f (x )在x 的某邻域U (x 0)内存在n 阶导数，则在该邻域成立

f (x )=P n (x )+R n (x )

f ''(x 0)(x -x 0)2+ f (x )=f (x 0)+f '(x 0)(x -x 0)+2!

f (n )(x 0)(x -x 0)n +R n (x ) +

n !

f (n +1)(ξ)(x -x 0)n [G (x )-G (ξ)]. 其中R n (x )=

n ! G 'ξP n (x )称为f (x )在x 0的n 次泰勒多项式，R n (x )称为n 次泰勒多项式的余项.

3 利用微分中值定理证明不等式

3.1 罗尔中值定理证明不等式

罗尔中值定理的几何意义:在满足定理条件下, 在曲线y =f (x ) 上必有一点, 使得过该点P (ξ, f (ξ)) 的切线平行于x 轴.

在一般情况下, 利用罗尔中值定理很容易证明关于方程的根的问题, 但是仅用罗尔中值定理却很难证明不等式, 所以在利用罗尔中值定理证明时要综合利用其他的微分中值定理.

x

0, 试证1+x

(2) 求证: arctg α-arctg β≤α-β.

证 (1) 令f (x ) =ln(1+x ) , f (x ) 在区间[0, x ](x >0) 上连续, 在(0, x )(x >0) 内可导, 应用拉格朗日中值定理, 则有ln(1+x ) -ln(1)=

x

, ξ∈(0,x ) . 1+ξ

4

x x x 0) . 1+x 1+ξ1+x

(2) 当α=β时, 显然等号成立.

由于在闭区间[0, x ]上, 有

当α≠β时, 不妨设α>β. 设f (x ) =arctgx , x ∈(β, α),

arctg α-arctg β1

,ξ∈(β, α) . =2

α-β1+ξ

1

则有 arctg α-arctg β=(α-β)

1+ξ2

由拉格朗日中值定理得,

所以 arctg α-arctg β=

1

(α-β) ≤α-β 1+ξ2

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

拉格朗日中值定理的几何意义:在满足定理条件下, 在曲线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

值得注意的是:拉格朗日中值定理无论对于a b 都成立. 而ξ则是介于a 与b 之间的某一定数, 而(2),(3) 两式的特点, 在于把中值点ξ表示成了a +θ(b -a ) , 使得不论a , b 为何值, θ总可为小于1的某一整数.

例2 当x ≥0时, 函数f (x ) 在其定义域上可导, 且f '(x ) 为不增函数,

f (x ) =0, x i ≥0, i =1, 2,..., n , 求证 f (∑x i ) ≤∑f (x i ) .

i =1

i =1

n

n

证 用数学归纳法

当n =1时, 显然不等式成立.

当n =2时, 若x 1, x 2均为0, 或者一个为0时, 当一个为0时, 显然有 f (x 1+x 2) =f (x 1) +f (x 2) . 设x 1, x 2均大于0, 不妨设x 1≤x 2, 在[0, x 1]应用拉格朗日中值定理可得:

f (x 1) f (x 1) -f (0)

==f '(ξ1), ξ1∈(0, ξ1). x 1x 1-0

5

在[x 2, x 1+x 2]上再次利用拉格朗日中值定理可得:

f (x 1+x 2) -f (x 2) f (x 1+x 2) -f (x 2)

==f '(ξ2), ξ2∈(x 2, x 1+x 2)

x 1x 1+x 2-x 2

显然ξ1

f (x 1+x 2) -f (x 2) f (x 1)

所以 , ≤

x 1x 1

即 f (x 1+x 2) ≤f (x 1+x 2) +f (x 2) .

假设当n =k 时不等式成立, 即 f (∑x i ) ≤∑f (x i ) .

i =1

i =1

k k

取f (∑x i ) =f (∑x i +x k +1) , 显然x k +1=0的情况不证而明,, 所以只考虑x k +1>0的

i =1

i =1

k +1k

情况. 取u =∑x i , 由前面已证的结论有

i =1

k

f (u +x k +1) ≤f (u ) +f (x k +1) ,

再用归纳假设可得 f (∑x i ) ≤∑f (x i ) ,

i =1

i =1

k +1k +1

即当以上例子是利用拉格朗日中值定理来证明不等式, 有些不等式利用此定理时, 方法要灵活些n =k +1时结论成立. 所以∑f (x i ) ≤f (∑x i ) .

i =1

i =1

n

n

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

柯西中值定理是研究两个函数f (x ), g (x ) 的变量关系的中值定理, 当一个函数(不妨设此函数为g (x ) ) 取作自变量自身时它就是拉格朗日中值定理, 所以用拉格朗日中值定理能证明的不等式一定能用柯西中值定理来证明, 反之则不然. 下面举例来说明:

对例1用柯西中值定理证明, 这里仅用第一个小题来说明, 其证法如下: 证 (1) 令f (x ) =ln(1+x ) , g (x ) =x . f (x ), g (x ) 在区间[0, x ](x >0) 上连续, 在

(0, x )(x >0) 内可导, 且g '(x ) 在[0, x ](x >0) 内每一点都不为零, 那么由柯西中值

定理可得:

ln(1+x ) -ln(1)1

=, ξ∈(0,x )

(1+x ) -11+ξ

x

则有 ln(1+x ) -ln(1)=, ξ∈(0,x ) .

1+ξ

下面与例1中解法同, 这里就不再赘述了.

例3 (1) 设x >0, 对00，求证: sin x

证明 (1) 设f (t ) =x α, g (t ) =αx .

6

当x =1时结论显然成立.

当x ≠1时, 取[x ,1]或[1, x ], f (x ), g (x ) 在闭区间[x ,1]或[1, x ]上连续, 在开区间(x ,1)或(1, x )可导, 且g '(x ) 在内(x ,1)或(1, x )每一点均不为零, 由柯西中值定理可得:

f (x ) -f (1)f '(ξ)

=, ξ∈(x ,1) 或ξ∈(1,x )

g (x ) -g (1)g '(ξ)

x α-1αξα-1

==ξα-1. 即

αx -αα

所以x α-αx ≤1-α得证.

(2) 设f (t ) =sin t , g (t ) =e t , t ∈[0, x ], f (x ), g (x ) 在闭区间[0, x ]上连续, 在开

区间(0, x )内可导, 且g '(x ) 在(0, x )内每一点均不为零, 那么由柯西中值定理可得:

f (x ) -f (0)f '(ξ)

=, ξ∈(0, x ).

g (x ) -g (0)g '(ξ)

sin x cos ξ

=ξ, ξ∈(0, x ). 即 t

e -1e sin x cos ξ

=ξ0, e ξ>1>0, 所以t

e -1e

即 sin x

注 例3中的两个不等式能用柯西中值定理来证明, 但不能用拉格朗日中值定理证明.

例 4 如果函数f (x ) 满足两个条件:(1) 在闭区间[a , b ]上有二阶导数

f ''(x ) ;

(2) f '(a ) =f '(b ) =0. 试证明:在开区间(a , b )内至少存在一点c ,

使得 f ''(c ) ≥

证 令k =

4

f (b ) -f (a ) . 2

(b -a )

4

f (b ) -f (a ) . 在此我们利用用反证法来证明本题,

(b -a ) 2

我们不妨假设f ''(x )

F (x ) =f (x ) -[f (x 0) +f '(x 0)(x -x 0) ]及G (x ) =(x -x 0) 2

(其中x 0是[a , b ]中任意固定的一点), 两次利用柯西中值定理, 可得:

1

f (x ) =f (x 0) +f '(x 0)(x -x 0) +(x -x 0) 2f ''(ξ)

2

其中ξ介于x 0与x 之间(即x 0

在上式中取x 0=a , x =

a +b

, 并利用已知条件f '(a ) =0, 则有: 2

a +b a +b (b -a ) 2

f () =f (a ) +f ''(c 1) , 其中c 1满足a

228

7

a +b (b -a ) 2

) -f (a )

a +b

同理再取x 0=b , x =, 并利用已知条件f '(b ) =0, 则得:

2

a +b a +b (b -a ) 2

a +b (b -a ) 2

)

因此,

a +b a +b (b -a ) 2

f (b ) -f (a ) ≤f (b ) -f () +f () -f (a )

224

这是不可能的. 所以在区间(a , b )内至少存在一点c ,

使得 f ''(c ) ≥

4

f (b ) -f (a ) .

(b -a ) 2

3.4 利用泰勒中值定理证明不等式

泰勒公式的余项大体分两种:佩亚诺型余项, 拉格朗日型余项. 与带拉格朗日型余项的泰勒公式相比, 带佩亚诺型余项的泰勒公式对函数f (x ) 的假设条件较少, 只需函数f (x ) 在x 0处n 阶可导, 不需要n +1阶可导, 也不需要在x 0的邻域内存在n 阶连续导数, 因此应用范围较广. 但是在证明不等式时, 精确度却不如带拉格朗日型余项的泰勒公式好.

利用此原理可以证明一般的不等式, 积分不等式, 估值不等式等多种不等式, 这种方法的用法非常广泛.

证明方法:

(1)根据已知条件, 围绕证明目标, 寻取适当的点将函数在该点展成泰勒展式.

(2)根据已知条件, 向着有利于证明不等式的方向对上面的展式作适当的处理, 直到可以结合已知条件证出不等式为止. 下面举例来说明:

2n -1

π(-1) k x 2k sin x 2n (-1) k x 2k

2x k =0(2k +1)! k =0(2k +1)!

sin x

x 2sin x x 2x 4

3! x 3! 5!

显然第二个比前一个的不等式的精确度高得多, 随着n 的增大, 不等式的精确度会大幅度地提高, 所以我们在做题过程中, 按题目的要求来选择适当的方法来证明不同的不等式.

证 令f (x ) =sin x , 那么函数f (x ) 在x 0=0点展开前2n 项的泰勒公式, 余项取拉格朗形式, 那么有:

8

(-1) k x 2k +1

sin x =∑+R 4n +3(x )

(2k +1)! k =0

3π4n +3sin(ξ+) sin x x =ξ4n +3

x 4n +3=-cos ξx 4n +3. R 4n +3(x ) =x =

(4n +3)! (4n +3)! (4n +3)!

2n

因为0

π

2

, 所以cos ξ>0, 从而R 2n +1(x )

2n

(-1) k x 2k +1

所以有 sin x

k =0(2k +1)! 2n

(-1) k x 2k

即 sin x

k =0(2k +1)!

πsin(ξ+)

x 4n +1>0, 所以左端的不等号也成立. 同理, 因为R 2n (x ) =

(4n +1)!

另外, 在遇到高阶导数的不等式, 一般都首先考虑泰勒中值定理. 像之前的例4. 我们也可以用泰勒中值定理来证明, 下面具体来说明:

例4的另一种证法:

由题设条件, 应用泰勒展开式有:

a +b b -a 1b -a 2f () =f (a ) +f '(a ) +f ''(ξ1)() ,

2222a +b a -b 1a -b 2f () =f (b ) +f '(b ) +f ''(ξ2)() ,

2222

a +b a +b

其中ξ1介于a 与之间, ξ2介于与b 之间.

22

上述两式相减, 且有f '(a ) =f '(b ) =0, 得:

1a -b 2

f (b ) -f (a ) =⋅() [f ''(ξ2) -f ''(ξ1)],

22(a -b ) 2

f (b ) -f (a ) ≤f ''(ξ2) +f ''(ξ1) ). (8

令max{f ''(ξ2), f ''(ξ1)}=f ''(ξ) , ξ∈(a , b ) , 则有

(a -b ) 2

f (a ) -f (b ) ≤f ''(ξ) , ξ∈(a , b ) .

44

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

(b -a ) 2

例6 设函数f (x ) 在[a , b ]上二阶可导, 且f (x ) ≥0, f ''(x )

求证:对任意的x ∈[a , b ], 有f (x ) ≤

2b

f (t ) .

b -a ⎰a

证 对任意的x ∈[a , b ], 将f (x ) 在t 点展开(t ∈[a , b ]) .

f '(ξ)

f (x ) =f (t ) +f '(t )(x -t ) +(x -t ) 2(其中ξ介于x 与t 之间).

2!

9

注意到f ''(x )

⎰

b

a

f (x ) dt ≤⎰f (t ) dt +⎰f '(t )(x -t ) dt

a

a

b b

(b -a ) f (x ) ≤⎰f (t ) dt +f (x )(x -t ) a +⎰f (t ) dt

a

a

b

b

b

=2⎰f (t ) dt +f (b )(x -b ) -f (a )(x -a )

a

b

因为f (x ) ≥0⇒f (b )(x -b ) -f (a )(x -a ) ≤0. 所以f (x ) ≤

2b

f (t ) . ⎰a b -a

3.5综合利用微分中值定理证明不等式

利用拉格朗日中值定理能够很方便的判断出函数的单调性, 其方法是:如果

函数f (x ) 在[a , b ]上连续, 在(a , b )内可导, 则有:

(1) 如果在在(a , b )内函数f (x ) 的导数f '(x ) >0, 则函数f (x ) 在[a , b ]上单调增加;

(2) 如果在在(a , b )内函数f (x ) 的导数f '(x ) 0(或f '(x )

再利用函数的单调性及函数图象上峰值点与各极值点的性质, 便可以方便地求出函数的极值, 从而证明出不等式.

其方法为:确定函数f (x ) 的定义域, 然后求出定义域内的所有驻点, 并找出f (x ) 连续但f '(x ) 不存在的所有点, 讨论所有驻点和不可导点左右两侧附近f '(x ) 的符号变化情况, 确定函数f (x ) 的极值点, 并求出相应的极大值点与极小值点, 从而进一步证明不等式.

x 2

例7 求证 (1) 当x >0时, 证明ln(1+x ) >x -成立.

2

πtan x x

> (2) 当x ∈(0,) 时, 证明成立.

2x sin x

x 2

证 (1) 令f (x ) =ln(1+x ) >x -, 因为函数f (x ) 在[0,+∞) 上连续, 在

2

1x 2

(0,+∞) 内可导, 且 f '(x ) =-1+x =.

1+x 1+x

x 2

>0, 所以当x >0时, 函数f (x ) 是单调递增的. 故当x >0当x >0时, f '(x ) =

1+x

时, 有:

f (x ) >f (0)=0, 即f (x ) >0,

x 2

从而 ln(1+x ) >x -成立.

2

10

π

(2) 因为x ∈(0,) , 所以sin x >0, tan x >0. 令函数f (x ) =sin x tan x -x 2, 则

2有:

f '(x ) =sin x +sec 2x sin x -2x =tan x (cosx +

1

) cos x

π1π

>2, tan x >x , 所以f '(x ) >0. 即f (x ) 在x ∈(0,) 因为x ∈(0,) 时, cos x +

2cos x 2

πtan x x

>时严格递增的, 又因为f (x ) =0, 所以f (x ) >0(x ∈(0,)) , 即成立.

2x sin x

例8 设函数f (x ) 在闭区间[a , b ]上二次可微, 且满足f ''(x ) >0,

f (x ) -f (a ) f (b ) -f (a )

成立.

x -a b -a

f (x ) -f (a ) f '(x ) -f '(ξ)

证 令ϕ(x ) =, 那么ϕ'(x ) =(a

x -a x -a

由于f ''(x ) >0, 可知f '(x ) 在闭区间[a , b ]上是严格递增的, 即f '(x ) >f '(ξ) ,

试证:当a

从而有 ϕ'(x ) >0,

故函数ϕ(x ) 在闭区间[a , b ]上也是严格递增的, 于是当x ∈[a , b ]时, 有:

ϕ(x )

f (x ) -f (a ) f (b ) -f (a )

即 成立.

x -a b -a

结论

由上所述, 我们发现微分中值定理的证明除了构造辅助函数, 还可以利用其他的证明方法加以证明, 同时从罗尔定理到柯西中值定理的层次之间还存在着递进关系. 除了本文介绍的几个方面, 利用微分中值定理还可以导出洛必达法则, 泰勒公式等. 由导数研究函数的性态(极值、最值、凹凸性) 也要用到微分中值定理的结论. 深入研究微分中值定理, 有助于加深对这些定理的理解; 清楚这些定理的证明, 能促使我们掌握微分中值定理的具体应用.

参考文献：

[1]华东师范大学数学系. 数学分析(上册)[M].第二版北京：高等教育出版社.1980. [2]刘章辉. 微分中值定理及其应用[J].山西大同大学学报(自然科学报), 2007， 23(2)：79-81.

[3]齐春玲，李晓培. 关于罗尔中值定理条件的研究[J].河南科技大学学报(自然科学版), 2007，28（5）：96-97.

[4]辛健. 拉格朗日中值定理在证明中的应用[J].大众科技, 2007，(97)：181-183.

11

[5]张玉莲，杨要杰. 拉格朗日中值定理的推广[J].河南教育学院学报(自然科学版), 2008，29(2)：11-12.

[6]高波. 微分中值定理的推广[J].常州工学院学报, 2007,20(6):58-62. [7]张珍珍，吴筠. 中值定理数学探讨[J].九江学院学报, 2007，(3)：109-110.

[8]宋秀英. 关于微分中值定理的一点注记[J].宜春学院学报(自然性科学). 2007，29(6):46-47.

12