微分中值定理及其应用(大学毕业论文)

毕业论文(设计)

题目名称： 微分中值定理的推广及应用 题目类型： 理论研究型 学生姓名： 邓奇峰 院 (系)： 信息与数学学院 专业班级： 数学10903班 指导教师： 熊骏 辅导教师： 熊骏 时 间： 2012年12月 至 2013年6月

.

.

目 录

毕业设计任务书 .......................................................................................................................... I 开题报告 ....................................................................................................................................... II 指导老师审查意见 ................................................................................................................... III 评阅老师评语 ............................................................................................................................ IV 答辩会议记录 .............................................................................................................................. V 中文摘要 ..................................................................................................................................... VI 外文摘要 .................................................................................................................................... VII 1 引言 ............................................................................................................................................. 1 2 题目来源 .................................................................................................................................... 1 3 研究目的和意义 ...................................................................................................................... 1 4 国内外现状和发展趋势与研究的主攻方向 .................................................................... 1 5 微分中值定理的发展过程 .................................................................................................... 2 6 微分中值定理的基本内容 .................................................................................................... 3

6.1 罗尔(Rolle)中值定理 .............................................................................................. 3 6.2 拉格朗日(Lagrange)中值定理 .............................................................................. 4 6.3 柯西（Cauchy）中值定理 ....................................................................................... 4 6.4 泰勒（Taylor）定理 ................................................................................................ 4 7 微分中值定理之间的联系 .................................................................................................... 5 8 微分中值定理的应用 ............................................................................................................. 5

8.1 根的存在性证明 .......................................................................................................... 6 8.2 利用微分中值定理求极限 ....................................................................................... 8 8.3 利用微分中值定理证明函数的连续性 ............................................................... 10 8.4 利用微分中值定理解决含高阶导数的中值问题 ............................................ 10 8.5 利用微分中值定理求近似值 ................................................................................. 10 8.6 利用微分中值定理解决导数估值问题 ............................................................... 10 8.7 利用微分中值定理证明不等式 ............................................................................ 11 9 微分中值定理的推广 ........................................................................................................... 14

9.1 微分中值定理的推广定理 ..................................................................................... 15 9.2 微分中值定理的推广定理的应用 ........................................................................ 17 参考文献 ...................................................................................................................................... 18 致 谢 ........................................................................................................................................... 19

.

.

微分中值定理的推广及应用

学 生：邓奇峰，信息与数学学院 指导老师：熊骏，信息与数学学院

【摘要】 微分中值定理，是微积分的基本定理，是沟通函数与其导数之间的桥梁，是应用导数的局部性研究函数整体性的重要数学工具，在微积分中起着极其重要的作用。本文首先介绍了微分中值定理的发展过程、微分中值定理的内容和微分中值定理之间的内在联系，接着再看微分中值定理在解题中的应用,如:“讨论方程根（零点）的存在性” ,“ 求极限”和“证明不等式”等方面的应用。

由于微分中值定理及有关命题的证明方法中往往出现的形式并非这三个定理中的某个直接结论，这就需要借助于一个适当的辅助函数，来实现数学问题的等价转换，但是，怎样构造适当的辅助函数往往是比较困难的。在此重点给出如何通过构造辅助函数来解决中值定理问题，从理论和实际的结合上阐明微分中值定理的重要性。

拉格朗日中值定理及柯西中值定理都是罗尔中值定理的推广。本文从其它角度归纳、推导了几个新的形式，拓宽了罗尔中值定理的使用范围。同时，用若干实例说明了微分中值定理在导数极限、导数估值、方程根的存在性、不等式的证明、以及计算函数极限等方面的一些应用。

【关键词】 微分中值定理 罗尔中值定理 拉格朗日中值定理 柯西中值定理

联系 推广 应用

VI

.

The Extension and Application of the Differential Mean

Value Theorem

Student: Deng Qifeng, School of Information and Mathematics

Tutor: Xiong Jun, School of Information and Mathematics

【Abstract】 The differential mean value theorem, is the fundamental theorem of calculus, is the communication bridge between function and its derivative, is an important mathematical tool integrated local research application function derivative, plays a very important role in Calculus. This paper describes the develop progress，the contents and the intrinsic link between the differential mean value theorem; Then look at the differential mean value theorem in solving problems, such as: the discussion of the roots (zero) in existence, limit and proof of in equality.

Because often proof of differential mean value theorem and related propositions in the form is not the three theorems of a direct conclusion, this requires the help of a suitable auxiliary function, equivalent to mathematical problems, but, how to construct the auxiliary function appropriate is often more difficult. The key is how to solve the problem of mean value theorem by constructing an auxiliary function, expounds the importance of the differential mean value theorem from the combination of theory and practice.

The Lagrange mean value theorem and the Cauchy mean value theorem are extensions of the Rolle mean value theorem. In this article, the Rolle mean value theorem has been concluded and deduced in few more forms that helped to expand the use of the Rolle mean value theorem. Also, the article has demonstrated of the application of differential mean value theorem in derivative limit, derivative estimate value, existence of root of an equation, proof of inequality and calculation of functional limit upon many examples.

【Key words】 Differential mean value theorem; Rolle mean value theorem; The Lagrange mean value theorem; the Cauchy mean value theorem; Contact; Promotion; Application

VII

.

微分中值定理的推广及应用

1 引言

通过对数学分析的学习我们知道，微分学在数学分析中具有举足轻重的地位，它是组成数学分析的不可缺失的部分。对于整块微分学的学习，我们可以知道中值定理在它的所有定理里面是最基本的定理，也是构成它理论基础知识的一块非常重要的内容。由此可知，对于深入的了解微分中值定理，可以让我们更好的学好数学分析。通过对微分中值定理的研究，我们可以得到它不仅揭示了函数整体与局部的关系，而且也是微分学理论应用的基础。微分中值定理是一系列中值定理总称，但本文主要是以拉格朗日定理、罗尔定理和柯西定理三个定理之间的关系[1-3]以及它们的推广为研究对象，利用它们来讨论一些方程根（零点）的存在性, 和对极限的求解问题，以及一些不等式的证明。

2 题目来源

源于对微分中指定理的学习与兴趣，以及其在生活中各领域的重要应用。

3 研究目的和意义

目的：本课题的主要目的是帮助学生多角度地了解微分中值定理的证明及其相关应用。

意义：微分中值定理是微分学理论的重要组成部分，在导数应用中起着桥梁作用，也是研究函数变化形态的纽带，因而在微分学中占有很重要的地位。通过微分学基本定理的介绍，揭示函数与其导数之间的关系，在知识结构和思想体系中，建立起应用导数进一步研究函数性质的桥梁。

在各类大型考试中，微分中值定理占有很重要的位置，是重要的考点，常以该定理的证明及应用出现，涉及一些理论分析和证明，还有在极值问题中的实际应用，因而对其进行较深层次的挖掘与探讨就显得很有必要。

4 国内外现状和发展趋势与研究的主攻方向

人们对微分中值定理的研究，从微积分建立之后就开始了。1637年，著名法国数学家费马在《求最大值和最小值的方法》中给出费马定理。教科书中通常将它称为费马定理。1691年，法国数学家罗尔在《方程的解法》一文中给出多

第1页（共19页）

.

项式形式的罗尔定理，1797年，法国数学家拉格朗日在《解析函数论》一书中给出拉格朗日定理，并给出最初的证明。以罗尔定理，拉格朗日中值定理和柯西中值定理组成的一组中值定理是整个微分学的理论基础，它们建立了函数值与导数值之间的定量联系，中值定理的主要作用在于理论分析和证明；应用导数判断函数上升、下降、取极值、凹形、凸形和拐点等项的重要性态。此外，在极值问题中有重要的实际应用。微分中值定理是数学分析乃至整个高等数学的重要理论，它架起了利用微分研究函数的桥梁。微分中值定理从诞生到现在的近300年间，对它的研究时有出现。特别是近十年来，我国对中值定理的新证明进行了研究，仅在国内发表的文章就近60篇。

5 微分中值定理的发展过程

微分中值定理是微分学的核心定理之一[1]。微分中值定理是研究函数性态和函数性质的重要工具，它有着明显的物理意义和几何意义。以拉格朗日中值定理为例，它表明“一个表示事物运动函数的曲线段，必定有一点的切线要平行于曲线段两个端点连接的弦”。[2]所以人们十分重视微分中值定理及其应用的研究。

古希腊时代，人们就对微分中值定理的相关内容有了朦胧的认识。公元前古希腊人就知道如下结论：对于抛物线形成的弓形，过弓形顶点的切线一定平行于抛物线形成的弓形的底。古希腊的著名数学家阿基米德(Archimedes，公元前287——前221)也据此研究出：对于任意抛物线形成的弓形的面积都可以求出来。 意大利著名数学家卡瓦列里(Cavalieri，公元1598——公元1674，)在《不可分 量几何学》(1635年出版)中给出的引理3有如下几何观点：曲线段上必有一点的切线平行于曲线的弦[3]。

1637年，法国大数学家费马(Fermat，公元1601一公元1665)在《求最大值和最小值的方法》中推导出一个定理，在大多数高等数学教材中，人们通常将它作为微分中值定理的第一个定理——费马定理，常被用来证明罗尔定理，也被用来作为判断极值存在的必要条件。

作为微积分创立者之一的数学家费马在研究极小问题和极大问题的解法时， 研究出“虚拟等式法”[4]——费马定理原形。虚拟等式法的含义可以用以下例子来加以说明：有一个线段，设其长度，问如何把这样一个线段截成两个线段，使这两个线段长度乘积最大。

1691年，法国数学家罗尔(公元1652——公元1719)在其发表的《方程的

第2页（共19页）

.

解法》一文中给出多项式形式的费马定理的推广引申式——罗尔定理： “设a0xna1xn1an1x1a00为多项式，在多项式

[5]

a0xna1xn1an1x1a002

的两个相邻根中，方程

na0xn1n1a1xn2至少有一个实根。”

an10

这被称为原始的罗尔定理。当然也是现代罗尔定理“若函数f，在a,b上连续，在a,b内可导，且fafb则在a,b内至少存在一点，使得f0 ”在多项式中的具体应用。

从罗尔定理推导过程和具体内容来看，它和现在高等数学教材中的罗尔定理 是有所不同的，用纯代数方法证明的罗尔定理和微积分概念几乎没有什么联系。 我们现在看到的对一般函数的罗尔定理，是后人根据微积分理论重新表述和证明 的。1834年，德国数学家德罗比什首先提出“罗尔定理(Rolle定理)”这一名称， 并于1846年，由意大利数学家贝拉维蒂斯(Bellavifis)在发表的论文中正式使用。

由上可知，人们对微分中值定理的研究[6]大约经历了将近三百年时间， 从一 开始的直观到现在的抽象表达，从一开始的特殊形式到现在的一般形式，从一开 始，要求的强条件到现在的弱条件，人们逐渐认识到微中值定理的重要性。循序渐进是人们认识探索事物规律的一般过程，微分中值定理的发展形成也不例外，晦涩难懂的证明推理被一些新的更简单的方法所替代，应用范围逐步扩大，这是数学发展的必由之路。

6 微分中值定理的基本内容

中值定理揭示了函数在某区间的整体性质和区间内某一点导数之间的关系，是联系局部和整体的纽带，是微分学应用以及自身发展的理论基础，因此说中值定理是微分学的基本定理[7]。它在数学中占了很重要的位置，本文主要介绍它在解题中的一些应用。

中值定理有四个：罗尔(Rolle)中值定理，拉格朗日(Lagrange)中值定理，柯西（Cauchy）中值定理，泰勒（Taylor）定理。

6.1 罗尔(Rolle)中值定理

若函数f，在a,b上连续，在a,b内可导，且fafb,则在a,b内至

第3页（共19页）

.

少存在一点，使得f0

罗尔定理的几何意义是说：在每一点都可导的一段连续曲线上，如果曲线的两端点高度相等，则至少存在一条水平切线。注：定理中三个条件缺少任何一个，结论将不一定成立。

6.2 拉格朗日(Lagrange)中值定理

若函数f，在a,b上连续，在a,b内可导，则在a,b内至少存在一点，

使得ffbfa

ba拉格朗日中值定理的几何意义是：在满足定理条件的曲线上至少存在一点，该曲线在该点处的切线平行于曲线两点的连线。

拉格朗日公式有下面几种等价表示形式[8]：

fbfafba,abfbfafababa,01fahfafahh,01

值得注意的是，拉格朗日公式无论对于ab，还是ab都成立，而则是介于a与b之间的某一定数。另外，若取ax,bxx，则拉格朗日公式可变成

yfxxfxfx

最后要注意的是，拉格朗日定理和柯西定理中的条件只是充分条件，而不是必要条件[9]。

6.3 柯西（Cauchy）中值定理

假设函数fx和gx在a,b上连续，在a,b内可导，且gx0，则至少存在一点a,b，使

fbfaf bag柯西中值定理的几何意义是：满足定理条件的由ugx,vfx所确定的曲线上至少有一点，曲线的切线平行两端点连线。

6.4 泰勒（Taylor）定理

第4页（共19页）

.

若fx在包含fx的某开区间a,b内具有直到n1阶的导数，则当

xa,b时，有

fx0fx02fxfx0xx0xx01!2!fnx0nxx0Rnxn!其中Rnx是n阶泰勒公式的拉格朗日余项：

xx0Rnxfn1n1!n1，

x0,x

7 微分中值定理之间的联系

罗尔定理是拉格朗日中值定理的特例，拉格朗日中值定理又是柯西中值定理的特例。因为，在柯西中值定理中令gxx，得到拉格朗日中值定理；在拉格朗日中值定理中增加条件fafb，即得到罗尔定理。

罗尔(Rolle)中值定理，拉格朗日(Lagrange)中值定理，柯西中值定理，三个中值定理的几何意义有一个共同点：定理条件的函数曲线上至少有一点的切线平行曲线在区间上两端点的连线。

总的来说，这三个定理既单独存在，相互之间又存在着联系。我们从上面的讨论中可以总结得到，罗尔定理是这一块内容的基石，而拉格朗日定理则是这一块内容的核心，那么柯西定理是这一块内容的推广应用。

8 微分中值定理的应用

微分中值定理是微分学的理论基础，微分学的很多重要应用都建立在这个基础上。微分中值定理常用来解决下列问题：判断可导函数在给定区间内根的存在以及根的个数，求出与给定函数相应的中值公式，并证明可导函数的某些等式与不等式，证明可导函在区间上（内）的某些整体性质，如单调性、有界性、一致连续性、零点以及其他一些性质。

对于这些证明题，除了运用微分中值定理这些方法外，还有三种证明技巧：一是直接证明，这种情况不多见，一般在验证符合某定理条件后，即可定理得出结论；二是引入辅助函数，这种情况比较常见，一个般是将待为形（如拼凑重组、移项等），构成一个或两个新的辅助函数，验证它们符合某个中值定理，然后利用定理导出待证结论，这种方法需要一定的技巧，而技巧往往又要根据具体问题确定； 三是反证法，假设待证命题的逆例题成立，然后从推导过程中找出与已

第5页（共19页）

.

知结论（包括极限、连续、可微等级概念与法则、性质）的矛盾，从而证明原命题成立[10]。

8.1 根的存在性证明

【例1】 证明方程4ax33bx22cxabc在0,1内至少有一个实根，其中

a,b,c均为常数。

证 设Fx4ax33bx22cxabcx，上面的问题等价于Fx的导数

Fx在内至少有一个零点。

因为Fx在Fx上连续，在0,1内可导，且F0F10。 于是由罗尔定理知，至少存在一点0,1，使

Fx4a33b22cabc0，

即0,1是方程4ax33bx22cxabc的根。

n1dn2x1【例2】 函数Pnxn,n0,1,22n!dxn

称为n次勒让德多项式，证明：Pnx在1,1内恰有n个不同的实根[11]。

证 由高阶导数的莱布尼茨公式知，函数

mdQ2nmxmx21,m0,1,2,dx2n,n1

中都含有x21因式，故当mn时，都有实根-1和1。

考虑Q2nxx1，它仅有相异的两个实根-1和1，由罗尔定理知，

nx在1,1内至少有一个根x11。所以，Q2n1x在1,1上有三个Q2n1xQ2n1x在1,x11和x11,1内相异的根-1，x11，1，再由罗尔定理知，Q2n2xQ2至少各有一个根，所以，Q2n2x在1,1上有四个相异的根-1，x21，x22，1 反复应用罗尔定理，由数学归纳法可证：Q2nmx在1,1上至少有m2个相异的根1,xm1,xm2,,xmm和1（m0,1,2,,n1）

令mn1，则知Qn1x在1,1上至少有n1个相异的根，再应用一次罗尔定理，知Qnx在1,1内至少有n个根（不含1，-1）

由于Qnx是n次多项式，至多有n个根，所以Qnx在1,1内恰有n个相异的根。

因为Pnx与Qnx只相差一个系数，所以可以得出：Pnx在1,1内恰有n个不同的实根。

【例3】 fx在0,1可导，且对于任何x0,1，都有fx1，又0fx1，

第6页（共19页）

.

试证在0,1内，方程fxx0有唯一实根。

证 (存在性)令，Fxfxx，在0,1上利用零点定理易证。 (唯一性)反证法，假设有两个实根x1，x2，使得fx1x1，fx2x2，不妨设

x1x2，在x1,x20,1上对fx利用拉格朗日中值定理，有

ffx2fx1x2x11,x1,x2

x2x1x2x1这与fx1矛盾。故结论得证。

【例4】 若fx在a,b上连续，在a,b内可导a0，证明在a,b内方程

222xfbfabafx至少存在一根。

22分析：由于题目是要求方程2x所fbfabafx是否有根存在，

22以可以先对方程进行变形，把方程变为2xfbfabafx0。那么

方程

222xfbfabafx

有根的话，则原方程也有根。变形之后的方程有fx存在，所以可以利用不定分把方程

222xfbfabafx0

转变为

222fbfaxbafx0

现在我们返回来看题目，由题目中我们可以知道fx在区间a,b上连续，在区间a,b内可导a0，由函数的连续性和求导的概念，可以得到函数

222fbfaxbafx

在a,b上连续,在a,b内可导a0，那么我们不难想到利用罗尔中值定理就可以证明该题了。

证 令

222Fxfbfaxbafx 显然，Fx在a,b上连续,在a,b内可导， 而 Fafba2b2faFb

第7页（共19页）

.

根据Rolle定理, 至少存在一点，使

222fbfabafx. 【例5】 设fx在a,b上连续，在a,b可导0ab，证明：在a,b内存在一点，使bfbafbbaff成立。

分析：对于等式

bfbafbbaff

则可以两边同除以ba，即等式左端为，这个商式可看为函数xfx在a,b上的改变量与自变量的改变量之商，则会考虑利用Lagrange定理，那么可构造辅助函数Fxxfx。

证 设Fxxfx，则Fx在a,b上连续，在a,b可导，

由Lagrange定理，存在一点a,b，使

FFbFa，

babfbafa，

ba即 ffx即 bfbafbbaff

8.2 利用微分中值定理求极限

在求极限的题目里，有些题目如果运用通常的一些方法来求解的话，则会使我们在解题过程中出现很大的计算量，或者比较繁琐的解题过程[12]。但是应用中值定理的话，会为这一类题目提供一种简单有效的方法。而用中值定理来解题，最关键在于辅助函数的构造，然后在运用中值定理解题，即可求出极限。

11【例1】 求limnanan1，其中a0。

n2分析：由于题目中有a和a1n1n1，则可以试着构造辅助函数fxax，那么就

1111,连续，在,可导，即可以利用Lagrange定理可以得到fx在n1nn1n解题了。

第8页（共19页）

.

解 根据题意，由Lagrange定理，有

11nn1limnaa n2limn2ann11x nn1n2alna limnnn1lna

11, 其中，n1n【例2】 已知an解 令

1nn11nn21nnn，试求liman。

xnfx2x 则对于函数fx在nnk,nnk1上满足Lagrange定理可得：

2nnk12nnknnk1nnk1nnk121 ，nnk,nnk1

nk1nk12 nnnnk当k0,1,,n1时，把得到的上述n个不等式相加得：

1nn11nn211nnn2221n2n11n21nn1

nn2

即 an22211an n2n11故 0222an1 n2所以 liman222

n第9页（共19页）

.

8.3 利用微分中值定理证明函数的连续性

【例1】 若函数f在区间I上可导，且f'有界，则f在I上一致连续。

证明 对任意x1,x2I，则由拉格朗日中值定理可知：

fx1fx2f'x1x2,x1x2

又f'在I上有界，所以存在L0，对任意xI，有fxL。由此可得

fx1fx2

因此，对任意0，取L0，对任意x1,x2I，且x1x2，都有

fx1fx2Lx1x2L•L

这就证明了f在I上一致连续的。

8.4 利用微分中值定理解决含高阶导数的中值问题

一般原理是：若有x0x1...xn，使得F(x0)F(x1)...F(xn)，则相继 n次用罗尔中值定理得出x0,xn ，使得F0[13]。 【例4】 设f(1)0，则存在0,，使得

f''()2f'cotf.

证 首先变换待证中值公式为

d2'''Ffsin＝ fsin2ffsin＝0 2d''其中Fxfxsinx.显然F0=F1F，故用两次罗尔中值定理得所要证。

8.5 利用微分中值定理求近似值

【例1】 求0.97的近似值

解 0.97是f(x)x在x0.97处的值, 令x01,xx0x0.97 则x0.03,

由拉格朗日中值定理中值定理,存在一点(0.97,1)，使得

f()f(1)f(0.97)0.03

可取1近似计算,得0.971xx112(0.03)0.985

8.6 利用微分中值定理解决导数估值问题

第10页（共19页）

.

【例1】 设fx在0,1上具有二阶连续的导数，且满足条件

fxM,fxN，

其中M,N都是非负常数，c是0,1内任意一点，证明：

fc2M证：将fx在xc处展为一阶泰勒公式

N。 2fxc (1) fxfcfcxc2!2cxc,01

在(1)式中令x0，则有

f0cf0fcfc0c,01c1

2!在(1)式中令x1，则有

2f1cf1fcfc1c,0c21

2!上述两式相减，就有

2f1cf1fcfc1c,0c21

2!于是

fcf1f012f21cf1c22!112f21cf1c2222

f1f0MM2N21cc2 2fc2MN 2又因为c0,1，1cc21，故

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

对于数学体系来说不等式是一块很重要的内容。故不等式的证明对数学是很重要的。当我们学习了中值定理，知道了它在不等式的证明中起着巨大的作用。

第11页（共19页）

.

“我们可以根据不等式两边的代数式选取一个来构造辅助函数，再应用中值定理得出一个等式后，对这个等式根据自变量的取值范围的不同进行讨论，得到不等式”。下面我们来通过例子来说明定理在证明中的运用[14]。

1【例1】 证明：1xlnx1,0x1

x证 设fylny

显然函数fylny在x,1上连续，在x,1内可导，满足拉格朗日中值定理，即存在一点x,1，使得f1fxf1x 即

lnx1x11。从而有 x11,0x1 x1

因为x1，所以11xlnx【例2】 设x0，对01的情况，求证xx1。

分析：证明不等式最常用的方法有做差，做商，对于该题目如果直接应用做差或者做商的话显然是不行的。那我们是否能通过变形是，他们可以应用做差或是做商呢？我们来看下不等式，不难发现当x1时，等式两边就相等了，所以接下来排除x1，分两步讨论。在观察不等式两边的代数式，不难看出左边的代数式比较复杂，则是否可以把左边的代数式构造辅助函数，是题目可以运用中值定理解题呢[15]？不妨设fxx，Fxx。利用Cauchy定理即可证明。

证 当x1时结论显然成立，当x1时，取x,1或1,x，在该区间设 fxx，Fxx，由Cauchy定理得：

fxf1f x,1或1,x FxF1Fx111 即

x当x1时，x,1，11

第12页（共19页）

.

x11 即

x又

xx10

故 x1x， 即 x11 当x1时，1,x，11

则 xx10 故x1x，

即 x11 由此，不等式得证

【例3】 已知fx在0,a满足fxM，且在0,a内取最大值，试证：

f0faaM。

分析：若能找到点x00,a，使fx00，则要证的结论便转化为变量的形式：

fx0f0fafx0aM，

则根据 Lagrange 定理证之即可。然而对于x0的寻找，应该从题目中条件的fx在开区间0,a内取到最大值入手。

【例4】 证明当ba0时，成立不等式

babbaln. baa分析：一般步骤是：①规范不等式，构造f(x)

②建立辅助函数及定义的区间[a,b] ③验证f在[a,b]上满足拉格朗日中值定理 ④中值等式（不等式）

证 f(x)lnx, x[a,b]（ba0） 因为f(x)在[a,b]上可导，则由拉格朗日中值定理有

lnb1lnblnaba,ab.， a由于

111，且ba0,所以 ba第13页（共19页）

.

bababa ba从而

babbaln. baa【例5】 设函数fx在0,a上连续，在0,a内二阶可导，

且fxM (M为常数)，存在c0,a，使得fafbfc0。证明：

f02fcfaMa

证 因为f0fcfa，所以至少存在一点10,c，使得

f10；至少存在一点2c,a，使得f20。从而对fx分别在0,c和c,a使用拉格朗日中值定理得：

f0f0f1f111M1fcfcf1f12c1c1Mc1fcfcf2f132c2cM2cfafaf2f24a2a2Ma2其中011,021,031,041， 所以

f02fcfaM1Mc1M2cMa2

即

f02fcfaMa。

9 微分中值定理的推广

罗尔(Rolle)中值定理，拉格朗日(Lagrange)中值定理，柯西（Cauchy）中值定理，这三个定理都要求函数fx在a,b上是连续，在a,b内是可导。那么我们如果把定理中的闭区间a,b，把它推广到无限区间a,或,，再把开区间a,b推广到无限区间a,或,的话，则这些定理是否还能满足条件，或者我们能得出哪些相应的定理呢？

通过讨论研究我们知道，按照以上的想法把中值定理的区间，推广到无限区间上可以得到几个相应的定理，本文在此只提到其中的三个，下面给出定理以及证明[16]。

第14页（共19页）

.

9.1 微分中值定理的推广定理

定理1 若fx在a,上连续，在a,内可导，且limfxfa，则

x至少存在一点a,，使f0成立。

11证 令t，则xa1，

xa1t即可得到关于t参数函数

1ta1

t当xa,时，则t0,1

即1a，limt，再令fxftgt t0所以

limgtlimffxfaftxlim1g1 t0t0因为

g0limgt

t0所以

g0g1

所以gt在0,1上连续，在0,1内可导，且g0g1，由Rolle定理可得到至少存在一点0,1，使g0成立

令，有f0，而

120.

所以，至少存在一点a,，使f0成立。 定理2 若fx在,上连续，在,内可导，并且

xlimfxlimfx

x至少存在一点,，使f0成立。 定理2的证明可以参照定理1。

定理3 若fx在a,上连续，在a,内可导，并且limfxM，则

xMfa成立。 至少存在一点a,，使f21a第15页（共19页）

.

证 设t111，则xa1，即可得到关于t参数函数ta1

xa1tt当xa,时，则t0,1

即1a，limt，再令fxftgt t0所以

limgtlimtlimfxM

t0t0x因为

g0limgtM

t0所以gt在0,1上连续，在0,1内可导，由Lagrange定理得 至少存在一点0,1，使g即gfaM

令，有gf•，而1Mfa 成立. 至少存在一点a,，使f21ag1g0成立

1021a，

2定理4 设fx、gx、hx在a,b上连续，在a,b内可导，则至少存 在一点a,b，使

fagahafbgbhb0 fgh证：设

fagahaFxfbgbhb，

fxgxhx由行列式性质知FaFb0,利用罗尔定理可得证。 注：(1)若令gxx,hx1并代入上式即得拉格朗日中值定理

ffbfa

ba(2)若令而hx1,gx0，展开即得柯西中值定理

第16页（共19页）

.

ffbfa ggbga9.2 微分中值定理的推广定理的应用

对于中值定理推广到无限区间上，在于求解一些题目，如果应用了中值定理推广会比较方便的得到解题，下面我们来看一个例子：

【例1】 如果函数fxxex，求证：0,，使得f0。

分析：对于该题目我们通常会采用这样一种证法，令fx0，有

fxxex22ex

212x0x220,，即可得证。 2这种证明的方法，可以说是利用极限方法来证明的，我们现在考虑是否还可以运用其它的方法来证明。若要运用中值定理来证明是否可以呢？下面给出该方法。

证 由题得fx在0,连续，在0,可导，且可得

ex12x20limxex0f0

22x那么，由推广定理的定理1，得到：

0,，使得

f0

例 2 设fx在,上可得，且0fxf12x，证明：0，使得 1x2122。

证 问题相当于要找0，使

1x0 fx21x因函数Fxfx1x在,内可导，故 1x2x0lim0limfxlim0

xxx1x2第17页（共19页）

.

即limfx0

x又因为

0lim0limfxlimxxx0

x1x2即 limfx0

x所以

xlimfxlimfx0

x由定理2知0，使得F0，即题目得证。 结束语

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

参考文献

[1]陈纪修等.数学分析(上、下册)[M].高等教育出版社，2000。 [2]小堀宪.数学史[M].东京：朝仓书店，1956。

[3]卡瓦列里.不可分量几何学[M].卡伐列利出版社，1635。 [4]费马.求最大值和最小值的方法[M].图鲁斯出版社，1637。

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

[7]齐春玲，李晓培.关于罗尔中值定理条件的研究[J].河南科技大学学报：自然科学版.

2007，28（5）：96-97.

[8]辛健.拉格朗日中值定理在证明中的应用[N].大众科技. 2007，(97)：181-183. [9]宋秀英.关于微分中值定理的一点注记[J].宜春学院学报(自然性科学). 2007，

29(6):46-47.

[10]赵文祥.微分中值定理与不等式的证明[J].天津电大学报. 2007：25-27.

[11]张太忠，黄星，朱建国.微分中值定理应用的新研究[J].南京工业职业技术学院学报.

2007，7(4)：23-26.

[12]李，漫话微积分史[J]，邵阳师范高等专科学校学报，2000，6：90-91。

第18页（共19页）

.

[13]祁卫红，罗彩玲，微积分学的产生和发展[J]，山西广播电视大学学报，2003， [14]晏能中，微积分一数学发展的里程碑[J]，达县师范高等专科学校学报， [15]刘旭浩，微积分发展简史[J]，衡水学院学报，2005，1：19-20。

[16]李涛，漫谈微积分的产生与发展[J]，湖南教育(教育综合)，2006，6：67-68。．

致 谢

时光荏苒，在大学的学习生活也即将结束，感慨万千，可更多的就是感动。 首先，对于我的导师熊骏教授，在这里我要发自肺腑地说一声“谢谢!”。 在这几个月来，熊老师对于我的毕业论文花了很多时间进行耐心地指导，从论文题目选定，论文设计和修改，直到最后论文的定稿，都倾注了很多心血。更重要的是熊老师在心理上和生活上对我的关怀照顾，我将铭刻于心，使我有了积极奋进的信心。

其次，我要感谢信息与数学学院的各位领导，老师，感谢他们对我学习的关心和帮助。

最后，感谢我的家人，是他们给了我很大支持，使我能全身心的投入到学习 中去，并最终能顺利地完成学业。

第19页（共19页）