微分中值定理的证明及应用

刘一萱

摘 要：微分中值定理是高等数学中微分学的核心内容，它是研究函数性质的重要工具。本文首先介绍了微分中值定理的历史发展过程，然后给出了费马引理、罗尔定理、拉格朗日中值定理以及柯西中值定理的具体内容和证明方法，并描述了它们的几何意义和三者之间的关系，最后举例说明了微分中值定理在具体的解题过程中的应用。

关键词：费马引理；罗尔定理；拉格朗日中值定理；柯西中值定理

中图分类号：O172.1 文献标识码：A 文章编号：1671-2064（2018）21-0216-02

微分中值定理是一系列中值定理的总称，通常包括罗尔定理，拉格朗日中值定理和柯西中值定理。它们将函数与其导数联系起来，从而可以利用导数的局部性来研究函数的整体性质，是研究函数的有力工具。因此，微分中值定理在微分学中占有很重要的地位。

1 微分中值定理历史发展

人们对微分中值定理的认识始于古希腊时代。当时的数学家们发现，过抛物线顶点的切线必平行于抛物线底端的连线，阿基米德还利用该结论求出了抛物线弓形的面积。这其实就是拉格朗日中值定理的特殊情形。1635年，意大利数学家卡瓦列里在《不可分量几何学》中描述：曲线段上必有一点的切线平行于曲线的弦，即卡瓦列里定理。它反映了微分中值定理的几何形式。

1637年法国数学家费马在《求最大值和最小值的方法》中给出了费马定理，即函数在极值点处的导数为零。1691年法国数学家罗尔在《方程的解法》中给出了多项式形式的罗尔定理，后来发展成一般函数的罗尔定理，并且正是由费马定理推导而出。后来，法国数学家拉格朗日于1797年在《解析函数论》中首先给出了拉格朗日中值定理，并予以证明。它也是微分中值定理中最为主要的定理。同样是来自法国的著名数学家柯西，这位近代微分学的奠基者，对微分中值定理进行了更加深入的研究。他的三部巨著《分析教程》、《无穷小计算教程概论》和《微分计算教程》，在分析上进行了严格的叙述和论证，使得微积分摆脱了对几何、运动的直观理解和物理解释，对微积分理论进行了重构，从而极大地推动了数学分析严格化的进程[1-2]。他在《无穷小计算教程概论》中严格地证明了拉格朗日中值定理，后来又在《微分计算教程》中将拉格朗日中值定理推广为广义中值定理—柯西中值定理。柯西认为中值定理是微分学中最核心的定理，比如可以利用该定理严格证明洛必达法则，并研究泰勒公式的余项等。从柯西起，微分中值定理成为了研究函数非常重要的工具，也是微分学的重要组成部分。

2 微分中值定理及其证明

2.1 费马引理

设x0是f（x）的一个极值点，且f（x）在x0处导数存在，则f'（x0）=0。费马引理可以由极值的定义证得。需要注意的是，导数为0的点并不一定是极值点，例如f（x）=x3在x=0处导数为0，但显然该点并不是f（x）的极值点。

2.2 罗尔定理

如果函数f（x）满足：在闭区间[a，b]上连续；在开区间（a，b）内可导；在区间端点处的函数值相等，即f（a）=f（b）。那么在（a，b）内至少存在一点ξ∈（a，b），使得f'（ξ）=0。

证明：由f（x）在闭区间[a，b]上连续可知，存在ξ，η∈[a，b]，满足f（ξ）=M，f（η）=m，其中M和m分别是f（x）在[a，b]上的最大值和最小值。不妨設M>m（M=m时结论显然成立），这时M和m中至少有一个与f（a）不相同，不妨设M=f（ξ）>f（a）=f（b），此时ξ显然是极大值点，由费马引理可得f' （ξ）=0。

罗尔定理的几何意义是满足定理条件的函数f（x），一定在（a，b）内某一点存在一条平行于曲线段端点连线的切线。通常可以利用罗尔定理来讨论函数及其导函数在某区间上的零点问题，并且还可以用来证明拉格朗日中值定理和柯西中值定理。

2.3 拉格朗日中值定理

如果函数f（x）满足：在闭区间[a，b]上连续；在开区间（a，b）内可导。那么在（a，b）内至少存在一点ξ∈（a，b），使得f' 。

证明：设=k，则f（b）-f（a）=k（b-a），即f（a）-ka=

f（b）-kb。构造函数F（x）=f（x）-kx，则F（x）同样满足定理中的条件且F（a）=F（b），根据罗尔定理，在（a，b）内至少存在一点ξ∈（a，b）使得F'（ξ）=f'（ξ）-k=0，即f'（ξ）=k，故 。

拉格朗日中值定理的几何意义是满足定理条件的函数f（x），至少在（a，b）内存在一点，使得该点处的切线斜率与曲线段端点连线的斜率相同。拉格朗日中值定理沟通了函数与其导数的联系，因此很多时候可以从导数的角度来研究函数在其定义域上的性质。在研究函数的单调性、凹凸性以及不等式的证明等方面，都可能会用到拉格朗日中值定理。

2.4 柯西中值定理

如果函数f（x）和g（x）满足：在闭区间[a，b]上连续；在开区间（a，b）内可导；对∈（a，b），g'（x）≠0。那么在（a，b）内至少存在一点ξ∈（a，b），使得。

证明：同拉格朗日中值定理的证明类似，设=λ，构造辅助函数F（x）=f（x）-λ（g（x）-g（a）），则F（x）同样满足定理中的条件且F（a）=F（b），根据罗尔定理，在（a，b）内至少有一点ξ∈（a，b）使得F'（ξ）=f'（ξ）-λg'（ξ）=0，代入λ可得g'（ξ）=0，整理可得。

柯西中值定理的几何意义是由函数f（x）和g（x）所确定的参数曲线上，至少在（a，b）内存在一点，使得该点的切线平行于参数曲线两端点的连线。柯西中值定理的证明方法有很多种。与拉格朗日中值定理一样，柯西中值定理也可以用来求函数极限、证明函数单调性以及证明等式与不等式等。

我们可以看到，在拉格朗日中值定理中，如果令f（a）=f（b），就可以得到罗尔定理。同样的，在柯西中值定理中，如果令g（x）=x，则变成拉格朗日中值定理。因此，拉格朗日中值定理可以看作是罗尔定理的推广，而柯西中值定理则可以看作是拉格朗日中值定理的推广[3]。也可以说，罗尔定理是拉格朗日中值定理的特例，拉格朗日中值定理则是柯西中值定理的特例。从证明过程可以发现，拉格朗日中值定理和柯西中值定理都以罗尔定理为基础，再通过构造辅助函数证得[4]。

3 微分中值定理的应用

微分中值定理不仅具有明显的几何意义和运动学意义，它作为微分学最基本的定理之一，还是研究函数的有力工具。本节给出它在以下几个方面的具体应用。

3.1 求函数极限

例1：求。

解：令f（x）=（1+x）a-1，则f（0）=0，f'（x）=a（1+x）a-1。由拉格朗日中值定理可得f'（ξ）=（0<ξ

3.2 证明函数单调性

例2：设f（0）=0，f'（x）在（0，+∞）上单调递增，证明：在（0，+∞）上也单调递增。

证明：对求导可得[]'=。根据拉格朗日中值定理可得==f'（ξ）（0<ξ0，故在（0，+∞）上也单调递增。

3.3 证明不等式

例3：证明不等式ex>1+x（x>0）。

证明：即证ex-1>x。令f（x）=ex-1，g（x）=x，則f（0）=g（0）=0。由柯西中值定理可得=eξ>1，其中ξ∈（0，x），即f（x）>g（x），ex-1>x，从而原式得证。

3.4 证明等式

例4：设f（x）在区间[a，b]上连续，在开区间（a，b）内有二阶导数，试证：存在c∈（a，b），使f（b）-2f（）+f（a）=f''（c）。

证明：由已知可得 = 。

构造辅助函数，则上式等于。由题意可知和？均满足拉格朗日中值定理的条件，两次利用拉格朗日中值定理可得 === =。

4 结语

人们对微分中值定理的研究主要从费马定理开始，大约经历了两百多年的时间。定理的条件要求也从特殊到一般，从直观到抽象，从强条件转为弱条件。人们逐渐认识到了微分中值定理的普遍性，数学也正是在这样一个推陈出新、吐故纳新的过程中不断向前发展[5]。

本文总结了微分中值定理的具体内容及其证明，并通过例子讨论了微分中值定理在求函数极限、证明函数单调性以及证明不等式和等式方面的应用，从中可以看出微分中值定理的重要性。另外，在证明拉格朗日中值定理和柯西中值定理的过程中，采用了构造辅助函数的方法，这也是数学中常见而又非常重要的一种方法。通过对微分中值定理的研究，还可以提高发散思维能力和创新能力，有助于加深对数学的认识和理解。

参考文献

[1]陈宁.微分中值定理的历史演变[J].大学数学，2003，（2）：96-99.

[2]陈纪修，於崇华，金路.数学分析-第2版[M].高等教育出版社，2004.

[3]党艳霞.浅谈微分中值定理及其应用[J].廊坊师范学院学报（自然科学版），2010，（1）：28-31.

[4]王锐利.关于微分中值定理的进一步研究[J].漯河职业技术学院学报，2012，（2）：97-99.

[5]卢玉峰.微分中值定理历史与发展[J].高等数学研究，2008，（5）：59-63.