柯西中值定理的证明及应用

柯西中值定理的证明及应用

马玉莲

（

西北师范大学数学与信息科学学院，甘肃，兰

州，730070）

摘要：

本文多角度介绍了柯西中值定理的证明方法

和应用, 其中证明方法有: 构造辅助函数利用罗尔定理证明，利用反函数及拉格朗日中值定理证明, 利用闭区间套定理证明, 利用达布定理证明, 利用坐标变换证明. 其应用方面有：求极限、证明不等式、证明等式、证明单调性、证明函数有界、证明一致连续性、研究定点问题、作为函数与导数的关系、推导中值公式.

关键词：

柯西中值定理; 证明; 应用

第 1 页 共 18 页

1.引言

微分中值定理是微分学中的重要定理，它包括罗尔定理、拉格朗日定理、柯西中值定理，而柯西中值定理较前两者更具有一般性、代表性，其叙述如下： 柯西中值定理：设函数f(x),g(x)满足 (1) (2) (3) (4)

在[a,b]上都连续; 在(a,b)内都可导;

f'(x) 和g'(x)不同时为零;

g(a)g(b), 则存在(a,b)，使得

f()f(b)f(a) . g()g(b)g(a)（1）

本文从不同思路出发，展现了该定理的多种证明方法及若干应用，以便其更好的被认识、运用.

2.柯西中值定理的证明

2.1构造辅助函数利用罗尔定理证明柯西中值定理

罗尔定理 设函数f(x)在闭区间[a,b]上连续，在开区间(a,b)上可导，且

f(a)f(b)则至少存在一点,(a,b) , 使得

第 2 页 共 18 页

f'()0. 证明 构造辅助函数 F(x)f(x)f(a)f(b)f(a)(g(x)g(a))， g(b)g(a)易见F在[a,b]上满足罗尔定理条件，故存在(a,b)，使得 F'()f'()f(b)f(a)'g()0g(b)g(a), （2） 因为g()0（若g()为0则f()同时为0, 不符条件）故可将（2）式改写为(1)式. 便得所证.

2.2利用反函数及拉格朗日中值定理证明柯西中值定理

讨论 显然，当g'(x)x时， (1)式即为拉格朗日公式， 所以拉格朗日中值定理是柯西中值定理的特殊情况.

但若换一个角度，将f(t)和g(t)看成xy平面上某条曲线yF(x)的参数方程，即yF(x)可以表示为：

xg(t), t[a,b], yf(t),易知yF(x)在[g(a),g(b)]（或[g(b),g(a)]）

y (g(b),f(b))上连续, 在(g(a),g(b))（或(g(b),g(a))）上可导， 由拉格朗日中值定理的几何意义，存在曲线上一点

(,F())过该点的斜率F()等于曲线两端连线的 ,

(g(a),f(a)) f(b)f(a)斜率（如图1所示）. 设x对应于 o 图1 g(b)g(a)t(a,b)， 则由参数形式函数的求导公式，有

x

f()f(b)f(a). F()g()g(b)g(a)'所以，柯西中值定理也可以看成是拉格朗日中值定理的参数表达形式.

第 3 页 共 18 页

证明 由闭区间上连续函数的性质，以及g(x)在[a,b]上连续，在(a,b)上可导，且导数恒不为零，且不难证明，g(x)在[a,b]上严格单调，不妨设g(x)严格单调增加.下证g(x)严格单调，只证g(x)在[a,b]上严格单调递增.

取x1，x2[a,b]规定x2x1由g的连续性知g(x2)g(x1)那么

g(x1)g(x2)0,

x1x2对上式求极限

x1x2limg(x1)g(x2)0,

x1x2又

g'(x)limx1x2g(x1)g(x2),

x1x2得到g'(x2)0，由x2的任意性知g'(x)0故g(x)在[a,b]上严格单调递增. 同理可得g(x)在[a,b]上严格单调递减, 故单调性得证.

记g(a)，g(b)，由反函数存在定理和反函数导数存在定理，在[,]上存在g(x)的反函数g1(y)，g1(y)在[,]上连续，在(,)可导，其导数

[g1(y)]'1， g'(x)并且g1(y)在[,]上也是严格单调增加的.

考虑[,]上的复合函数F(y)f(g1(y))，由定理条件和以上讨论，即知

F(y)在[,]上满足拉格朗日中值定理条件，于是，存在(,)，使得

F()F()f(g1())f(g1())f(b)f(a). F()g(b)g(a)'由g(x)和g1(y)的关系，在(a,b)中一定存在一点，满足g()，于是

F()f(g(y))'1'yf(g(y))[g(y)]'11'y'1f()f(x)g'(x)xg1()g()第 4 页 共 18 页

代入上式就得到了定理结论.

2.3利用闭区间套定理证明柯西中值定理

定义 如果一列闭区间{[an,bn]}满足条件 （1）[an1,bn1][an,bn],n1,2,3 ; （2）lim(anbn)0 ,

n则称这列区间形成一个闭区间套.

闭区间套定理 如果[an,bn]形成一个区间套，则存在惟一的实数属于所有的闭区间[an,bn]，且 limanlimbn.

nn 引理1 设函数f(x)在[a,b]上有定义，且在x0(a,b)处可导，又{[an,bn]}为一闭区间套，且limanlimbnx0，则

nnf'(x)limnf(n)f(n).

nn引理2 设函数f(x)在[a,b]上连续，则存在[a1,b1][a,b]且

b1a11(ba)，使得 2f(b1)f(a1)f(b)f(a). b1a1ba现在把引理2推广为：

引理3 设函数f(x)，g(x)在[a,b]上连续，且g(x)是单射，则存在

1[a1,b1][a,b]，且 b1a1(ba)，使

2f(b1)f(a1)f(b)f(a). g(b1)g(a1)g(b)g(a)下面证明柯西中值定理：

证明 首先证明，当,[a,b]且时，有g()g().

1反设g()g()，由引理2，存在[1,1][,]，且11()，使

2g(1)g(1)g()g()0,

11第 5 页 共 18 页

从而g(1)g(1). 在[1,1]上再次应用引理2有，存在[2,2][1,1]，

1且22(11)，使

2g(n)g(n)g(1)g(1)0，

2211从而又有g(2)g(2). 反复利用引理2，最终可得一个闭区间套{[an,bn]}，满足lim(nn)0，且g(n)g(n)，由闭区间套定理，存在[,][a,b]，

n使

limanlimbn,

nn根据引理1得：

g'()limg(n)g(n)0,

nnn 这与条件g'(x)0(x(a,b))相矛盾. 再根据引理3，存在[a1,b1][a,b]，且b1a11(ba)，使 2f(b1)f(a1)f(b)f(a), g(b1)g(a1)g(b)g(a)反复利用引理3，类似与前面的证明，可得闭区间套{[an,bn]}，满足

lim(bnan)0且

nf(bn)f(an)f(b)f(a). g(bn)g(an)g(b)g(a)由闭区间套定理存在c[a,b]，使limnlimnc。再由引理1有:

nnf(bn)f(an)bnanf(bn)f(an)f(b)f(a)f(c)limlim. nng(b)g(a)g(c)g(bn)g(an)g(b)g(a)nnbnan即柯西中值定理成立.

2.4利用达布定理证明柯西中值定理

达布定理 f(x)在(a,b)上连续且可导，

第 6 页 共 18 页

（1）若x1,x2(a,b)，f(x1)f(x2)0，则有c(x1,x2)，使得f'(c)0. （2）设x1,x2(a,b)，f(x1)f(x2)，则对介于f'(x1)与f'(x2)间的数有点介于x1与x2之间，且f'().

根据拉格朗日中值定理，我们易知有下列命题成立：

命题 设函数f(x)在(a,b)上可导，对x(a,b)，有f'(x)0(或f'(x)0)，则f(x)在(a,b)上严格单调增加（减少）.

下面证明柯西中值定理： 证明 构造辅助函数

F(x)[g(b)g(a)]f(x)[f(b)f(a)]g(x),

显然F(x)在[a,b]上连续，在(a,b)内可导，且F(a)F(b). 现要证明存在(a,b)，使F'()0.

假设对一切(a,b)F'()0，则由达布定理易知，要么F'()0，要么

F'()0，当F'()0时则由命题易知F(x)在(a,b)内严格单调，从而在[a,b]上严格单调增（因F(x)在[a,b]上连续）. 从而F(a)F(b)与定理中的条件

F(a)F(b)矛盾，当F'()0时同样可推出矛盾故有F'()0，即

f()f(b)f(a)成立. g()g(b)g(a)2.5利用坐标变换证明柯西中值定理

微分中值定理证明的难点在于构造辅助函数，而下列证明不通过构造辅助函数，利用坐标旋转变换来证明柯西中值定理.

证明 构造参数方程

xg(t),atb, ，（3）

yf(t),由定理条件知，方程（3）的图像是xoy平面上一条连续且光滑的曲线L，曲线L的两个端点分别为A(g(a),f(a))，B(g(b),f(b)).

y A M 第 7 页 共 18 页 L B

y'

x''g'() g(b)

图2.坐标旋转变换图

g'(a)

ox

由图2所示，AB与x轴正向夹角为，ABr，旋转x轴使ox'平行于AB，曲线L在ox'轴上的投影区间为[g'(a),g'(b)]，则曲线L上任意一点M(g(t),f(t))在新坐标系x'oy'下的坐标为

(x',y')(g(t)cosf(t)sin,g(t)sinxf(t)cos),

而

g(b)g(a)， rf(b)f(a)sin，

rcos所以曲线L在新坐标系x'oy'下是参数方程：

g(b)g(a)f(b)f(a)'xg(t)f(t),rr  （4）

f(b)f(a)g(b)g(a)y'g(t)f(t),rrdx'dy'显然，对于任意t(a,b)，，均存在.

dtdtdx'0，则方程（4） 在[g'(a),g'(b)]上满足罗尔定理条件，故存在设 dt(a,b)，使得

dy'g()(g(a),g(b))且有'dx'''0，

x'g'()第 8 页 共 18 页

即存在(a,b)，使得

f(b)f(a)g(b)g(a)f(t)rrg(b)g(a)f(b)f(a)g'(t)f'(t)rrg(t)dydx''0,

txg()''所以有

f()f(b)f(a), g()g(b)g(a)即存在(a,b)使得定理成立.

3.柯西中值定理的应用 3.1求极限

求 lim(nx1)(x0).

n解 由柯西中值定理，得

1n1cnxn1n,c0,

1lnxln1c即

n11n1x1clnx,

n1有

n(x1)clnx，

故

limn(nx1)limcnn11nn1nlnx,

因limnc1，故limn(nx1)lnx.

nn3.2证明不等式

g(x)都是可微函数， 试证 若f(x)，且当xa时，f'(x)g'(x)，则当xa时，f(x)f(a)g(x)g(a).

第 9 页 共 18 页

证明 令G(x)g(x)x，则G'(x)g'(x)0.

而

f'()1,

G(x)G(a)G'()有

f(b)f(a)f(x)f(a)G(x)G(a)g(x)g(a)(xa),

由于为任意小正数，令0，有

f(x)f(a)g(x)g(a).

3.3证明等式

试证 若x10，x20则，x1ex2x2ex1(1)e(x1x2)其中在x1与x2之间.

1ex证明 由于x10，x20，则x0不在x1与x2之间，令f(x)，g(x)，

xx则f(x)，g(x)在x1与x2所限定的区间上满足柯西中值定理，故

ex2ex1(ee)x2x1f()2e(1),

111g()2x2x2整理得

x1ex2x2ex1(1)e(x1x2).

3.4证明单调性

设f(0)0，f(x)在(0,)上单调增加，证明：证明 由柯西中值定理，得

f(x)f(x)f(0)f(c)， (0cx)， xx01f(x)在(0,)上单调增加. x又因f'(x)在(0,)上单调增加，故f(c)f(x)，有

第 10 页 共 18 页

f(x)f(x)， x即

xf(x)f(x)0，

则

xf(x)f(x)0， 2x即

[f(x)']0. x故

f(x)在(0,)上单调增加. x

3.5证明函数有界

设f(x)在[1,)上连续，在(1,)上可导，已知函数e界，证明函数xexf(x)在(1,)上也有界.

证明 设exf(x)M,x(1,).首先对函数exf(x)，x(1,)，应用柯西中值定理，可以证明它是有界的：

2x2f(x)在(1,)上有

22ex2f(x)f'()2e2f(1)e2f'()2e2f(1)ef(1)M, 2e其中(1,x). 进一步，对函数xexf(x)，x(1,)，也有

xf(x)ex2xf(x)f(1)ex2f(1)ex2xf(x)1f(1)eex2f(1)e

f(1)f'()f()f(1)f'()f()M  e2e2e2e2e2223f(1)3M2. 4e3.6证明一致连续性

设f(x)在(0,a]上可导，且limxf(x)存在且有限，试证f(x)在(0,a]上一

n0第 11 页 共 18 页

致连续.

证明 只要证limf(x)存在0，设limxf(x)1则存在00(0a)，

n0n0x:0x0有

xf(x)11,

有

xf(x)11, x,y(0,a),

由柯西中值定理

f(x)f(y)f'()2f'(),

1xy2其中在x与y之间，因此

f(x)f(y)2f'()xy,

由limz存在且有极限知，对于

n0211有

000(0), z1,z2:0z1,0z2,

z1z2于是x1,x2:0x1,0x2有

211,

f'(x)f'(y)2f'()x1x22(11)211,

其中在x1与x2之间，由柯西收敛原理知，limf(x)存在且有限，令

n0x0,f(00), F(x)0xa,f(x),易知F(x)在[0,a]上连续，在(0,a)内可导，故F(x)在[0,a]上一致连续，从而F(x)在(0,a]上一致连续，即f(x)在(0,a]上一致连续.

3.7研究定点问题

第 12 页 共 18 页

设f(x)在[a,b]上连续，在(a,b)内可导(0ab)，f(a)f(b). 试证存在

,(a,b)，使

f'()ab'f(). 2证明 设g(x)x2，由a0知f(x)，g(x)在[a,b]上满足柯西中值定理，故至少存在(a,b)使

f(b)f(a)f'(),

b2a22即

f(b)f(a)abf'(),

ba2又f(x)在[a,b]上满足拉格朗日中值定理条件按，故至少存在(a,b)，使

f(b)f(a)f'(),

ba由上知，存在,(a,b)，使

f'()ab'f(). 23.8作为函数与导数的关系

设f(x)在(,)上连续可导，且

supexf'(x)，

xR证明 supxexf'(x).

xR证明 因为xexf(x)在[1,1]上连续，所以在[1,1]上有界，剩下只要证明

(1,)与(,1)上都有界. 以(1,)为例进行证明，(,1)的情况类似可证.

2设x1为任意数. 则由柯西中值定理有：

xf(x)ex2xf(x)f(1)ex2f(1)ex2xf(x)1f(1)exe22f(1) e第 13 页 共 18 页

(xf(x))'(e)x2'xf(1)e (1x)，

（5） 其中右端

(xf(x))'(e)x2'x12'12f()f(0)1f(0)ef()e2 2202e212'12'1ef(0) ef()ef()222 因e

x2'212'11ef()ef'()f(0)(0), （6） 222、（6）知xef(x)有界，由（5）

x2f(x)亦有界.

3.9推导中值公式

设f(x)在(a,b)内二次可微，试证：x,x0(a,b)存在在x,x0之间，使 f(x)f(x0)f'(x0)(xx0)成立（此即展开到一次幂Taylor公式）.

证明 只证xx0的情况（xx0的情况类似可证，xx0的情况显然）.（7）式可改写成

f(x)f(x0)f'(x0)(xx0)f\"() , （8）

1(xx0)221\"f()(xx0)2， （7） 2为了证明（8），只要令

1F(x)f(x)f(x0)f'(x0)(xx0)，G(x)(xx0)2，

2则

F'(x)f'(x)f'(x0)，G'(x)xx0,

由于F(x0)G(x0)0，F'(x0)G'(x0)0，两次应用柯西中值定理，则

f(x)f(x0)f'(x0)(xx0)F(x)F(x)F(x0)

1G(x)G(x)G(x)0(xx0)22第 14 页 共 18 页

F'()F'()F'(x0) ' ''G()G()G(x0)F\"()\"f\"()G(),

其中(x0,x)，(x0,)即有

f(x)f(x0)f'(x0)(xx0)1\"f()(xx0)2. 2

4．结语

本文用几种方法证明了柯西中值定理，并探讨了几种常见的应用. 证明方法可分为分析方法和几何方法，分析方法有构造辅助函数，利用反函数，借助实数完备性定理和有关连续函数的定理. 几何方法是坐标变换. 在应用方面包括求极限、证明不等式、证明等式、证明单调性、证明函数有界、证明一致连续性、研究定点问题、作为函数与导数的关系、推导中值公式等.

The Proof and Applicating of Cauchy Mean-value Theorem

Ma Yu-lian

(College of Mathematics and Information Science, Northwest Normal University,

Lanzhou 730070,China)

Abstract:

This paper introduces the proof and

application of Cauchy mean-value theorem from

第 15 页 共 18 页

many angles. The methods of proof include: Roll theorem, Lagrange theorem, closed interval suit theorem, Darbou theorem and changing the direction of coordinate system; The applications contend: solving the problem of limitation, proving

inequality,

proving

monotonicity,

proving unanimously successive, proving the function have border, proving unanimously successive, researching the problem of fixed point,being the relationship between function and

derivative,and

demonstrating

the

mean-value formula.

Key words:

Cauchy mean-value theorem; proof;

application

参考文献

[1] 陈纪修，於崇华，金路，数学分析（上）[M]. 第二版北京：高等教育出版社.2004

[2] 华东师范大学数学系.数学分析（上）[M].第三版 北京：高等教育出版社.2001

[3] 裴礼文.数学二分析中的典型问题与方法[M]. 第二版北京：高等教育出版社.2006

[4] 黄德丽 用五种方法证明柯西中值定

第 16 页 共 18 页

理[J]湖州师范学院学报, 2003, 27～30

[5] 张跃平,葛健芽,沈利红. 柯西中值定

理的证明与应用[J]金华职业技术学院学报, 2006, 57～60

[6] 葛健芽, 张跃平, 沈利红. 再探柯西

中值定理[J]. 金华职业技术学院学报, 2007, 81～84

第 17 页 共 18 页