柯西与拉格朗日中值定理的多种证明方法.docxVIP

微分中值定理的进一步探讨

□孙莹

摘要：

微分中指定理中的Cauchy中值定理与Lagrange中值定理是数学分析学习内容的重中之重，其具有较强的理论性，其揭示函数与其导数之间的关系，在知识结构和思想体系中建立起应用导数进一步研究函数性质的桥梁。我们在处理数学证明题中会经常用到这两个定理，但是课本中给出的证明方法单一而且独特，较雄掌握，为弥补此不足之处，本课题将帮助大家多角度地了解微分中值定理的证明方法，以便更深刻地理解Cauchy中值定理与Lagrange中值定理，学会用多种方法处理同一问题的思想。

关键词：Cauchy中值定理：Lagrange中值定理；常数k法：行列式法；坐标旋转法

文章一开始先给出Roller中值定理，因为Cauchy中值定理和Lagrange中值定理的多种证明过程都会用到RoUer中值定理的结论。然后给出北师大版的数学分析上册书中的Cauchy中值定理和Lagrange中值定理及其证明过程，目的在于让读者发现其与其它证明方法的联系。

定理1(Roller中值定理)若/(Q满足如下条件：

(0在[。,用上都连续；

在(以)上都可导;

fW)=f(b),

则在(。上)内至少存在一点使得广()=°。

定理2(Cauchy中值定理)[1]f0),g(x)满足以下几个条件:

(0在[。,用上都连续；

在(以)上都可导

/(X)和g(x)不同时为零

㈣g(。)丰g(b)

则存在ge(?,/?),使得

g()g(b)—f(d)°

证明：作辅助函数

F(x)=/(x)-/(?)-

易见F(x)在［。上］上满足罗尔定理条件，故存在,￡(。力),使得

F()=

F()=，()一

心6

因为g《)#°(否则由上式可知f(*)=°),所以可把上式改写成

gG?) g(b)—/(。)

证毕。

定理2(Lagrange中值定理)若函数/(X)满足如下条件:

(0f(x)在［。力］上都连续;

(//)/(x)在(。,b)上都可导，

则在(0力)内至少存在一点具使得

5件回

b-a

证明：做辅助函数

F(x)=/(x)-/(?)-b-a

F(x)=/(x)-/(?)-

b-a

显然，尸(。)=F(D)=°且尸(x)在“，用上满足罗尔定理的另外两个条件，故存在

冲仞，使得

尸危)=/()」%_)=0b-a

移项后即可得

b-a

证毕。

接下来将给出Cauchy中值定理和Lagrange中值定理的其他证明方法：

证法一：常数k法

(Cauchy中值定理)利用常数k的辅助函数来证明一个等式往往是通过待定系数法的思路来完成证明的，其符合人的认识规律，易于理解。

将Cauchy中值定理的结论改写成:

f(b)Lkzl[g(A)_g(。)]=o

g(S)

由条件*（“）?巴口）可知，一定存在一个常数k使得:

f（b）-f（a）-k［g（b）-g（。）］=0

成立。将上式中的常数b换成变量x,可以得到辅助函数

中⑴=/⑴-fw-虹g（x）-g（o）］ 1

经检验，中（Q在在［。,但上都连续，在（。力）上都可导，而且中（“）=中（力）=°满足Roller中值定理的所有条件，于是根据Roller中值定理可知：至少￥6（。力），使得中（§）=°即中财）=广怎）一施‘愆）=0

由此解得

k=^l

g（）

代入1中可得

f（b） 罗12［g（A）一g（o）］=0

g⑴

证毕。

（Lagrange中值定理）

将Lagrange定理的结果改写成

世）-fw-广怎）（人-〃）=o

由可知，必定存在一个常数*使得：

f（b）-/（?）-k（b-a）=0 2

将上式中的常数人换成变量工，得到辅助函数

中⑴=/⑴-f（。）-k（x-a）

经检验，中（*）=f^）-fW-k{x-a）满足Rollei.中值定理的全部条件：⑴在“,用

上都连续，（）在（。力）上都可导，且中（。）=中也）=°。于是根据Roller中值定理可知,

至少存在一个g,使得中怎)=0,

即

中0)=%)1=0。

由此解得 g

由此解得 g财)，代入＜2＞中可得

广(沪哗也

b-a

证毕。

证法二：行列式法

不难发现Cauchy中值定理的结论有着独特的形式，f(b)-f(ci)和g⑴-g(。)与二阶行列

世)

1

g(b)1

式

/(?)

1

和

g(。)1

有着密切的联系，根据此关系可构造一个行列式作为辅助函数

g(Q1

O(x)=f(b)g(b)1

i\ci)f(a)1

显然该函数满足Roller中值定理的所有条件。于是，根据RoUer中值定理的结论可得，至少

少存在一个

即

使