微分中值定理及其应用Word文档格式.doc
《微分中值定理及其应用Word文档格式.doc》由会员分享,可在线阅读,更多相关《微分中值定理及其应用Word文档格式.doc(20页珍藏版)》请在冰点文库上搜索。
第一章微分中值定理历史 1
1.1引言 1
1.2微分中值定理产生的历史 2
第二章微分中值定理介绍 4
2.1罗尔定理 4
2.2拉格朗日中值定理 4
2.3柯西中值定理 6
第三章微分中值定理应用 7
3.1根的存在性的证明 7
3.2一些不等式的证明 8
3.3求不定式极限 10
3.3.1型不定式极限 10
3.3.2型不定式极限 11
3.4利用拉格朗日定理讨论函数的单调性 12
第四章结论 14
参考文献 15
致谢 16
学生:
XXX指导老师:
XXX
摘要微分中值定理是微分学的基本定理之一,在微分学有着重要的地位,其发展经历了几百年.费马作为微积分的创立者,提出了费马定理,罗尔在《方程的解法》中又有了罗尔定理的前身,拉格朗日在《解析函数论》一书中首次提出拉格朗日中值定理,柯西在《微分计算教程》中给出最初的柯西定理.在本论文第二章分别详细的介绍了微分中值定理的三大派别.微分中值定理的应用很广,在很多领域都可以看到其理论知识.在第三章微分中值定理的应用中分别从证明根的存在性问题、证明一些不等式、不定式极限三个方向简要说明其应用,并用一些经典的例题来诠释.
关键词:
罗尔定理;
拉格朗日中值定理;
柯西中值定理;
根的存在性;
不定式极限
DIFFERENTIALMEANVALUETHEOREMANDITSAPPLICATION
student:
HuZhanhongSupervisor:
HuRong
ABSTRACTMeanValueTheoremisoneofthefundamentaltheoremofdifferentialcalculus,thedifferentialcalculusplaysanimportantrole.Itsdevelopmentthroughthecenturies,FermatasthefounderofcalculusproposedFermat'
stheorem,Rollein"
EquationSolution"
intheformer,therehasbeenRolle'
stheorem,Lagrangeinthe"
theoryofanalyticfunctions"
thefirsttimeabookLagrangemeanvaluetheorem,Cauchyinthe"
differentialComputerCourse"
givenintheinitialCauchy'
stheorem.InthesecondchapterpresentedadetaileddescriptionoftheMeanValueTheoremofthethreemajorfactions.MeanValueTheoremisverybroad,canbeseeninmanyareasoftheirtheoreticalknowledge.ChapterIIIApplicationofMeanValueTheoremtoprovetheroot,respectively,fromtheexistenceoftheproblem,thatsomeofinequality,abriefdescriptionoftheinfinitivelimititsapplicationinthreedirections,andwithsomeclassicexamplestoexplain.
Keywords:
Rolle'
stheorem,Lagrangetheorem,Cauchymeanvaluetheorem,Rootof,InfinitiveLimit
16
第一章微分中值定理历史[1]
1.1引言
微分中值定理是微分学的基本定理之一,是研究函数的有力工具.微分中值定理有着明显的几何意义和运动学意义.以拉格朗日(Lagrange)中值定理为例,它的几何意义:
一个定义在区间上的可微(注:
连续且除端点外处处具有不垂直于轴的切线)的曲线弧,其上至少有一点,使曲线在这一点的切线平行于连接点与的割线.它的运动学意义:
设是质点的运动规律,质点在时间区间上走过的路程,代表质点在上的平均速度,在上至少存在某一时刻,使得质点在的瞬时速度恰好是它的平均速度.
人们对微分中值定理的认识可以追溯到公元前古希腊时代.古希腊数学家在几何研究中,得到如下结论:
“过抛物线弓形的顶点的切线必平行于抛物线弓形的底”,这正是拉格朗日定理的特殊情况.希腊著名数学家阿基米德(Archimedes)正是巧妙地利用这一结论,求出抛物弓形的面积.
意大利卡瓦列里(Cavalieri)在《不可分量几何学》(1635年)的卷一中给出处理平面和立体图形切线的有趣引理,其中引理3基于几何的观点也叙述了同样一个事实:
曲线段上必有一点的切线平行于曲线的弦.这是几何形式的微分中值定理,被人们称为卡瓦列里定理.
人们对微分中值定理的研究,从微积分建立之时就开始了.1637年,著名法国数学家费马(Fermat)在《求最大值和最小值的方法》中给出费马定理,在教科书中,人们通常将它称为费马引理.1691年,法国数学家罗尔(Rolle)在《方程的解法》一文中给出多项式形式的罗尔定理.1797年,法国数学家拉格朗日在《解析函数论》一书中给出拉格朗日定理,并给出最初的证明.对微分中值定理进行系统研究的是法国数学家柯西(Cauchy),他是数学分析严格化运动的推动者,他的三部巨著《分析教程》、《无穷小计算教程概论》(1823年)、《微分计算教程》(1829年)以严格化为其主要目标,对微积分理论进行了重构.他首先赋予中值定理以重要作用,使其成为微分学的核心定理.在《无穷小计算教程概论》中,柯西首先严格地证明了拉格朗日定理,又在《微分计算教程》中将其推广为广义中值定理—柯西定理.从而发现了最后一个微分中值定理.
1.2微分中值定理产生的历史
费马作为微积分的创立者,他在研究极大和极小问题的解法时,得到统一的解法“虚拟等式法”,从而得出原始形式的费马定理.所谓的虚拟等式法,费马的“虚拟等式法”基于一种非常直观的想法,如果为的极大值,那么从直观上来看,在附近值变化很小,当很小时,和相差很小.用现代语言来说,对于函数,让自变量从变化到,当为极值时,和的差近似为0,用e除虚拟等式,,然后让,就得到函数极值点的导数值为0,这就是费马定理:
函数在处取极值,并且可导,则.应该指出:
费马给出以上结论,微积分还处于初创阶段,并没有明确导数,极限连续的概念,用现代眼光来看,其论断也是不严格的.现在看到的费马定理是后人根据微积分理论和费马发现的实质重新给出的.
罗尔在论著《方程的解法》给出了“在多项式的两个相邻根中,方程至少有一个实根.”这是定理:
“在上连续,在上可导,并且,则必存在一点,使”的特例.也就是以上定理被称为罗尔定理的原因.最初罗尔定理和现代罗尔定理不仅内容有所不同,而且证明也大相径庭,它是罗尔利用纯代数方法加以证明的,和微积分并没有什么联系.现在看到的罗尔定理,是后人根据微积分理论重新证明,并把它推广为一般函数,“罗尔定理”这一名称是由德罗比什在1834年给出,并由意大利数学家贝拉维蒂斯在1846年发表的论文中正式使用的.
拉格朗日定理是微分中值定理中最主要的定理.它是指:
“在上连续,在上可导,则存在一点,,使.”这一定理是拉格朗日在《解析函数论》一书中首先给出的,它最初形式为:
“函数在和之间连续,的最大值为,最小值为,则必取中一个值.”
历史上拉格朗日定理证明有三个,最初的证明是拉格朗日在《解析函数论》中给出的.这个证明很大程度建立在直观基础上,所以并不是严格的.它依赖于这样一个事实:
当,在上单调增加.所用的条件也比现在强,现代中值定理只须在上可导,而拉格朗日最初的中值定理,却需在上可导,并存在连续导数.并且所用连续概念,也是直观的,“假设变量连续地变化,那么函数将会产生相应变化,但是如果不经过一切中间值,它就不会从一个值过渡到另一个值.”十九世纪初,在以柯西等为代表的微积分严格化运动中,人们给出了极限、连续、导数的严格定义,也给拉格朗日中值定理以新的严格证明,柯西在《无穷小计算概论》中证明了:
如果在为连续,则必有一个,使现代形式的拉格朗日定理,是由法国数学家博(O.Bonnet)在其著作《CoursdeCalculDifferentieletintegral》中给出的,他不是利用的连续性,而是罗尔定理对拉格朗日定理加以重新证明.
柯西定理被认为是拉格朗日定理的推广.它是指:
设和在上连续,在上可导,并且,则必有一个值,使
柯西在《微分计算教程》中给出最初的柯西定理:
和在上有连续的导数,并且在上不为零,这时对于某一点,有
柯西的证明与拉格朗日对拉格朗日中值定理很相似.
5
微分中值定理在柯西的微积分理论系统中占有重要的地位.例如他利用微分中值定理给洛必达法则以严格的证明,并研究泰勒公式的余项.从柯西起,微分中值定理就成为研究函数的重要工具和微分学的重要组成部分.
第二章微分中值定理介绍[2]
2.1罗尔定理
定理1(罗尔定理)若函数f满足下列条件:
(1)在闭区间连续;
(2)在开区间可导;
(3),
则在开区间内至少存在一点,使得
(注:
在罗尔定理中,三个条件有一个不成立,定理的结论就可能不成立.)
罗尔定理的几何意义是说:
在除端点外处处可导的一段连续曲线上,如果曲线的两端高度相等,则至少存在一条水平切线.
证明:
因为在上连续,所以有最大值和最小值,分别用和表示,现分两种情况来讨论:
(1)若,则在上必为常数,从而结论显然成立.
(2)若,则因,使得最大值和最小值至少有一个在内某点处取得,从而是的极值点.由条件
(2),在点处可导,故由费马定理推知
2.2拉格朗日中值定理
定理2(拉格朗日中值定理)若函数f满足如下条件:
(1)在闭区间连续;
(2)在开区间可导,
则在开区间内至少存在一点,使得
显然,特别当时,本定理的结论即为罗尔中值定理的结论.这表明罗尔中值定理是拉格朗日中值定理的一种特殊情形.
作辅助函数
显然,,且在上满足罗尔中值定理的另两个条件.
故存在,使
移项后既得到所要证明的式子.
拉格朗日中值定理的几何意义是:
在满足定理条件的曲线上至少存在一点
,该曲线在该点处的切线平行于曲线两端点的连线.我们在证明中引入的辅助函数,正是曲线与直线()之差.
此外,拉格朗日公式还有以下几种等价表示形式,供读者在不同场合适用:
,;
,;
,.
值得注意的是:
拉格朗日公式无论对于,还是都成立,而则是介于与之间的某一定数.而后两式的特点,在于把中值点表示成了,使得不论为何值,总可为小于1的某一正数.
2.3柯西中值定理
定理3(柯西中值定理)设函数和满足
(1)在闭区间上都连续;
(2)在开区间内都可导;
(3)和不同时为0;
(4),
易见在上满足罗尔中值定理条件,故存在,使得
因为(否则由上式也不为零),所以可把上式改写成结论.
柯西中值定理的几何意义:
把f,g这两个函数写作以x为参量方程
在平面上表示一段曲线,由于表示连接该曲线两端的弦AB的斜率,而则表示该曲线上相对应的一点处的切线的斜率.因此上述切线与弦互相平行.
第三章微分中值定理应用
3.1根的存在性的证明[3]
引理若实函数在开区间内可导,且,其中是内个互不相同的实数,则方程在内至少有个不同的实根.
设已按从小到大的顺序排列,以其作为分点可得个小区间,在每个区间上应用罗尔定理即可得到上述结论.
定理1若实函数在开区间内有阶导数,且,其中是内个互不相同的实数,则方程在内至少有个不同的实根.
由引理知方程在内至少有个根,不妨设这个根为.则,由引理可得方程在内至少有个根.以此类推,在内至少有个根.
推论若实函数在开区间内有阶导数,且方程在内只有个不同的实根,则方程在内至多有个不同的实根.
例1:
设为实数,求证方程在(0,1)内至少有一个根.
令
则.
易验证在上满足罗尔定理的三个条件,从而
存在,使得.
即.
例2:
设在[0,1]上可导,且,又对于(0,1)内的所有点有证明方程在(0,1)内有唯一的实根.
先证存在性
则在[0,1]上可导.
因为,所以,
由中值定理知在(0,1)内至少有一个零点
即方程在(0,1)内至少有一个实根.
再证唯一性
用反证法,设方程在(0,1)内有两个实根,
不妨设,有,.对在上由拉格朗日中值定理,有
使
这与假设矛盾,唯一性得证.
3.2一些不等式的证明
应用微分中值定理(含Taylor公式)及其导出的结论证明不等式内容十分丰富,在此仅举几例.
例1[5]:
设都是正数,有不等式≤
其中等号成立
取函数,它的定义域是区间(0,+∞)故,
不妨设≤≤≤
或
有≤≤
将函数在展开泰勒公式(到二阶导数)
有
其中于与之间,显然≤0
于是,有
当时,分别有
≤
……………………………………
≤
将上述n个不等式两端分别相加,有:
即:
≤
亦即:
因为
所以,不等式中等号成立
例4[4].设,证明.
对函数在上应用拉格朗日中值定理,得
,.
设,则
当时,,所以单调减少,从而,即
故
3.3求不定式极限
我们把两个无穷小量或无穷大量之比的极限统称为不定式极限,分别记为型或型的不定式极限.现在我们将以导数为工具研究不定式极限,这个方法通常称为洛必达法则.其中柯西中值定理是建立洛必达法则的理论依据.
3.3.1型不定式极限
定理1若函数和满足:
(1);
(2)在点的某空心邻域内两者都可导,且;
(3)(A可为实数,也可为或),
则
例1[6].求
解:
这是型不定式,故
=
3.3.2型不定式极限
定理2若函数和满足:
(2)在点的某右邻域内两者都可导,且;
(3)(可为实数,也可为或),
例2.求
这是型不定式,故
3.4利用拉格朗日定理讨论函数的单调性
利用拉格朗日中值定理能够很方便地判别出函数的单调性
定理1:
若函数在连续,在内可导,则有:
如果在内≥0则在上单调递增;
如果在内≤0则在单凋递减.
另外在内除有限个点外,仍有≥0(或≤0),则在仍然是单调递增(或单调递减的),即连续函数在个别点处无导数并不影响函数的单调性.
若为增函数,则对每一,当时,有
≥0
令,即得≥0.
反之,若在区间上恒有≥0,则对任意(设),应用拉格朗日定理,存在,使得
≥0
由此征得在上为增函数.
例6.求证当时,
因在[0,+∞)上连续,在(0,+∞)内可导,且
当时,有,所以当时,是单调增加的,
当时,,因此,从而
第四章结论
微分中值定理作为大学课程里的一个重要内容,是研究函数的有力工具.其地位是不容忽视的,微分中值定理的发展历史是非常悠久的,通过近三、四百年的发展数学科学家们得到了罗尔定理;
柯西中值定理.这三大定理可以说是其发展的一个里程碑,对以后的发展有着非常大的帮助.近些年来人们又开始着重去挖掘微分中值定理的一系列应用,并且得到了很多有用的定理.体现微分中值定理的一部分价值.
本论文在详细的介绍了微分中值定理的来源之后,又系统性的整理了微分中值定理的三种不同的形式,同时分别证明了这三种定理,并总结了它们之间的联系.从接下来的内容中我们可以充分了解微分中值定理的应用,通过四个大方向来诠释其应用,其实这是微不足道的,因为微分中值定理的应用还有很多,这里只是总结了它的经典应用及其例题.希望能够帮助大家对微分中值定理的学习.
参考文献
[1]卢玉峰.微分中值定理历史与发展.高等数学研究,2008;
11(5):
59-61
[2]华东师范大学.数学分析[M].北京:
高等教育出版社,2001:
119-128
[3]王宝艳.微分中值定理的应用.雁北师范学院学报,2005;
21
(2):
59-60
[4]张娅莉、吴炜.微分中值定理的应用.信阳农业高等专科学校学报,2007;
17
(1):
135
[5]霍玉珍.高数中微分中值定理的应用.河北建筑工程学院学报,2004;
22
(1):
153
[6]薛秋.微分中值定理的应用.无锡商业职业技术学院学报,2007;
7(6):
68
致谢
衷心感谢我的指导老师胡蓉讲师,她渊博的专业知识,严谨科学的治学态度,精益求精的工作作风,一丝不苟、锲而不舍的精神,和对数学研究的独到见解,对我产生了深远的影响,使我终身受益.
感谢他指引我进入一个崭新的研究方向,感谢他时刻关心着我的论文进度并认真耐心地指导毕业论文,使得本文能够顺利完成.在胡蓉老师的指引下,我对微分中值定理有了初步的了解,具有了一定的独立科研能力.能够成为胡蓉老师的学生,乃人生一大幸事.在此成文之际,谨向导师胡蓉讲师致以我最崇高的敬意和衷心的感谢,并祝胡蓉老师及家人身体健康,生活幸福.
感谢四川文理学院的老师和领导,感谢他们在我读书期间所给予的关心和帮助.
感谢同窗以及其他师兄妹,非常高兴能与他们一起学习讨论.
最后,感谢我的家人,感谢他们对我永远的支持与鼓励!