微分中值定理推广及其应用目录一、引言 (2)二、微分中值定理及其证明 (2)2.1罗尔定理 (3)2.2拉格朗日中值定理 (3)三、微分中值定理的应用 (4)3.1证明方程根的存在性 (4)3.2证明不等式 (5)3.3 利用微分中值定理求极限及证明相关问题 (6)3.4求极限 (7)3.5用来证明函数恒为常数 (7)3.6中值点存在性的应用 (8)3.6.1一个中值点的情形 (8)3.6.2.2 泰勒公式法 (10)四小结： (11)致谢 (12)参考文献： (12)微分中值定理推广及其应用【摘要】微分中值定理是数学分析中非常重要的基本定理, 它是沟通函数与其导数之间关系的桥梁. 本文主要对罗尔中值定理的条件做一些适当的改变，能得出如下一些结论，从而扩大罗尔定理的应用范围。

从拉格朗日中值定理的几何意义出发，通过几何直观，把数学分析空间解析几何知识有机的结合起来，改变传统的构造函数差的方法，通过构造行列式函数得出定理的新方法。

通过对这两个定理进行分析，并加以推广，结合几个常见的实例论述了罗尔中值定理、拉格朗日中值定理。

在证明不等式，求函数极限等方面的应用，从而加深对两个定理的理解。

【关键词】罗尔定理拉格朗日中值定理推广应用一、引言微分中值定理是微分学的基本定理，在数学分析中占有重要的地位，是研究函数在某个区间的整体性质的有力工具。

其中，拉格朗日定理是核心，罗尔定理是其特殊情况，柯西定理是其推广。

通过查阅大量资料文献和网上查阅，我找到了很多相关资料。

本文以案例形式介绍了微分中值定理在数学分析中的应用，论述了微分中值定理在求极限、证明不等式以及泰勒公式和中值点存在性等几个方面的应用研究比较细致和深入。

其中证明某区间上满足一定条件的中值点的存在性是微分中值定理非常重要的应用，也是在历年考研试题中经常出现的题型之一。

利用中值定理证明中值点的存在性，要兼顾条件与结论，综合分析，寻求证明思路。

充分理解微分学的相关知识，掌握微分中值定理的内容，并会熟练的应用。

使用微分中值定理证题，方法多种多样，技巧性强。

本文对这一部分的典型例题进行整理归纳总结，总结出一套符合初学者认知规律的解题方法是非常必要的，这也是进一步学习数学分析的基础。

二、微分中值定理及其证明为了应用导数的概念和运算来研究函数与实际问题，需要一个联系局部与整体的工具，这就是微分中值定理.微分学是数学分析的重要组成部分, 微分中值定理作为微分学的核心, 是沟通导数和函数值之间的桥梁.罗尔中值定理、拉格朗日中值定理、柯西中值定理、泰勒公式是微分学的基本定理, 统称为微分学的中值定理, 这四个定理作为微分学的基本定理, 是研究函数形态的有力工具.2.1罗尔定理若函数f 满足如下条件：（ⅰ）f 在闭区间[]b a ,上连续；（ⅱ）f 在开区间()b a ,内可导；（ⅲ）()()b f a f =,则在()b a ,内至少存在一点ξ使得()0'=ξf罗尔定理的几何意义是说：在每一点可导的一段连续曲线上，如果曲线的两端点高度相等，则至少存在一条切线.证明：因为f 在[]b a ,上连续，所以有最大值M 与m 表示，现分两种情况来讨论：（1）若M m =,则f 在[]b a ,上必为常数，从而结论显然成立.（2）若M m <,则因()()b f a f =使得最大值M 与最小值m 至少有一个在()b a ,内某点ξ处取得，从而ξ是f 的极值点，由条件f 在开区间()b a ,内可导，f 在点ξ处可导，故由费马定理推知()0'=ξf注：定理中的三个条件缺少任何一个，结论将不一定成立.先讲罗尔定理,并由此推出微分学的两个基本定理—拉格朗日中值定理和柯西中值定理.2.2拉格朗日中值定理若函数f 满足如下条件：（ⅰ）f 在闭区间[]b a ,上连续；（ⅱ）f 在开区间()b a ,内可导； 则在()b a ,内至少存在一点ξ使得()()()ab a f b f f --=ξ' （1） 显然，特别当()()b f a f =时为罗尔定理。

这表明罗尔定理是拉格朗日的定理的一个特殊情形.证明：做辅助函数()()()()()()a x ab a f b f b f x f x F -----=显然，()()b F a F =(=0),且F 在[]b a ,上满足罗尔定理的另两个条件，故存在),(b a ∈ξ使()()-=ξξ''f F ()()0=--ab a f b f ，移项既得到所要证明的（1）式.拉格朗日中值定理的几何意义是：在满足定理条件的曲线()x f y =上至少存在一点()()ξξf p ,，该曲线在该点处的切线平行于曲线两端点的连线AB ,我们在证明中引入辅助函数()x F ，正是曲线()x f y =与直线()()()()⎪⎭⎫ ⎝⎛---+=a x a b a f b f a f y AB . 三、微分中值定理的应用3.1证明方程根的存在性把要证明的方程转化为()0=x f 的形式.对方程()0=x f 用下述方法：（1） 根的存在定理若函数()x f 在区间[]b a ,上连续，且()()0<⋅b f a f ，则至少存在一点()b a ,∈ξ，()0=ξf .（2） 若函数()x f 的原函数()x F 在[]b a ,上满足罗尔定理的条件，则()x f 在()b a ,内至少有一个零值点.（3） 若函数()x f 的原函数()x F 在0x 处导数也存在，由费马定理知()00'=x F 即()00=x f . （4） 若函数()x f 的原函数()x F 在0x 处导数也存在，由费马定理知()00'=x F 即()00=x f .（5） 在证明方程根的存在性的过程中，经常用到拉格朗日定理，积分中值定理，有时也用到柯西中值定理来证明满足方程的存在性所需的条件，然后利用上的方法来证明方程根的存在性.例 若()f x 在[],a b 上连续，在(),a b 内可导()0a >，证明在(),a b 内方程()()()()222x f b f a b a f x '-=-⎡⎤⎣⎦至少存在一根。

分析：由于题目是要求方程()()()()222x f b f a b a f x '-=-⎡⎤⎣⎦是否有根存在，所以可以先对方程进行变形，把方程变为()()()()2220x f b f a b a f x '---=⎡⎤⎣⎦。

那么方程()()()()222x f b f a b a f x '-=-⎡⎤⎣⎦有根的话，则原方程也有根。

变形之后的方程有()f x '存在，所以可以利用不定积分把方程()()()()2220x f b f a b a f x '---=⎡⎤⎣⎦，转变为()()()()2220f b f a x b a f x ---=⎡⎤⎣⎦。

现在我们返回来看题目，由题目中我们可以知道()f x 在区间[],a b 上连续，在区间(),a b 内可导()0a >，由函数的连续性和求导的概念，可以得到函数()()()()222f b f a x b a f x ---⎡⎤⎣⎦在[],a b 上连续,在(),a b 内可导()0a >，那么我们不难想到利用罗尔中值定理就可以证明该题了。

证明:令()()()()()222F x f b f a x b a f x =---⎡⎤⎣⎦，显然()F x 在[],a b 上连续,在(),a b 内可导，而()()()()22F a f b a b f a F b =-=.根据Rolled 定理, 至少存在一点ξ，使()()()()222f b f a b a f x ξ'-=-⎡⎤⎣⎦.证毕本文主要在于辅助函数()()()()()222F x f b f a x b a f x =---⎡⎤⎣⎦的构造，我们从结论出发，构造辅助函数，使得该题可以利用中值定理来证明，接下来是考虑利用微分中值定理中的哪一个即可。

对于构造辅助函数我们可以得到()()F a F b =，所以选在利用罗尔定理证明。

这是对解该类问题的总结，也是自己对该类问题解题提出的一个解题思路模式，大家可以借鉴。

3.2证明不等式在证明不等式时,可以考虑从微分中值定理入手,找出切入点,灵活运用相关微分中值定理,进行系统的分析,从而得以巧妙解决.例 设0b a <≤,证明ln a b a a b a b b--≤≤. 证明 显然等式当且仅当0a b =>时成立.下证 当0b a <<时,有ln a b a a b a b b--<< ① 作辅助函数()ln f x x =,则()f x 在[,]b a 上满足拉格朗日中值定理,则(,)b a ξ∃∈使ln ln 1a b a b ξ-=- ② 由于0b a ξ<<<,所以111a bξ<< ③由②③有1ln ln 1a b a a b b-<<-,即 ln a b a a b a b b--<<. 小结 一般证明方法有两种 ①利用泰勒定理把函数()f x 在特殊点展开,结论即可得证.②利用拉格朗日中值定理证明不等式,其步骤为：第一步 根据待证不等式构造一个合适的函数()f x ,使不等式的一边是这个函数在区间[,]a b 上的增量()()f b f a -；第二步 验证()f x 在[,]a b 上满足拉格朗日中值定理的条件,并运用定理,使得等式的另一边转化为()()f b a ξ'-；第三步 把()f ξ'适当放大或缩小.3.3 利用微分中值定理求极限及证明相关问题例 若()f x 在(,)a +∞内可导,且lim[()()]0x f x f x →∞'+=,求lim ()x f x →∞. 分析 由式[()()][()]x x f x f x e f x e ''+=,引进辅助函数()(),()x x F x f x e g x e ==,显然()0g x '≠.解 由lim[()()]0x f x f x →∞'+=,知0ε∀>,0X ∃>当x X >时()()f x f x ε'+<, 令()()x F x f x e =,()x g x e =对x X >,在[,]X x 上利用柯西中值定理有()()()()()()F x F X F g x g X g ξξ'-='-,(,)X x ξ∈ 即()()[()()]x X x X f x e f X e f f e e e eξξξξ'-+=-, 亦有[()()]()()1X xX x f x f X e f f eξξ---'=+-, 或|()||()||()()|(1)X x X x f x f X e f f e ξξ--'≤+++由于lim 0X x x e -→+∞=,所以1,x X ∃>当1x x >时有 X x e ε-<和1X x e -<,于是1x x ∀>,使|()||()|2f x f X εε≤+即lim ()x f x →∞0=. 小结方法 1 选择适当的函数和区间利用拉格朗日中值定理并结合导函数的特点及极限的迫敛性求的最终结果.方法2 选择适当的函数和区间利用柯西中值定理结合具体题意求的最终结果.3.4求极限对于有些求极限的题， 如果使用洛必达法则,则求导数的计算量很大.微分中值定理为求这样一些较难的极限提供了一种简单而有效的方法.其方法是对极限题中的某些部分构造辅助函数,使用微分中值定理,然后求出极.例 求⎪⎪⎭⎫ ⎝⎛-+∞→1112lim n n n a a n ,其中0>a . 解：对()x a x f =应用拉格朗日中值定理,有⎪⎪⎭⎫ ⎝⎛-+∞→1112lim n n n a a n =()⎥⎦⎤⎢⎣⎡+-⨯=∞→111lim ;2n n a n x x n ξ =()1ln lim 2+∞→n n a a n n ξ =a ln 其中⎥⎦⎤⎢⎣⎡+∈n n 1,11ξ 3.5用来证明函数恒为常数导数是研究函数性态的重要工具, 但用导数研究函数性态的着眼点在局部范围. 而在整体上或比较大的范围运用导数这一工具来研究函数性态, 主要工具还是微分中值定理,它是应用导数研究整体性问题的重要工具. 证明函数恒为常数这是函数的整体性质,在这个应用中微分中值定理很实用.例9 设()x f '在[]1,0上连续, ()0'=c f ,()1,0∈c 且在()1,0内恒有()()x f k x f '''≤. 其中k 为小于1 的常数,试证:()x f 为常数函数.证明：[]1,0∈∀x ,不妨设x c <,则1<-c x ,而()0'=c f ,所以有()()()c f x f x f '''-==()()c x f -1''ξ()1'ξf k ≤, 其中x c <<1ξ.同理 ()()()c f f k k k -=+ξξξ1'''()1'+≤k f k ξ, k k c ξξ<<+1, 其中n k ,,2,1 =所以()()()2'21''ξξf k f k x f ≤≤()n n f k ξ'≤≤ ,其中1<<n c ξ.又()x f '在[]1,0上连续, 从而()x f '有界.故()0lim '=∞→n n n f k ξ ()()0lim ''==∞→x f x f n . 即()0'=x f (当x c >时同样成立) , 从而, ()0'=x f ，()1,0∈x .故在[]1,0上()x f 为常数函数.3.6中值点存在性的应用3.6.1一个中值点的情形3.6.1.1原函数法在利用微分中值定理证明中值点的存在性问题时，关键是根据所证明的结论构造辅助函数，构造辅助函数最基本最重要的思想就是寻求原函数，而寻求原函数的方法又因所证结论不同而不同.（1）直接法这种方法的解题思路主要是根据题目所证结论中常数项的特点直接得到辅助函数.例 函数()x f 在[]b a ,上连续，在()b a ,内可导，证明:在()b a ,内至少存在一点ξ，使得()()()()ξξξf f ab a af b bf +=--'. 分析：结论等号左侧显然是函数()x xf 在区间[]b a ,两端点函数值的差与区间长度()a b -之商,于是联想到对函数()xf x 使用拉格朗日中值定理.证明：令()()x xf x F =，显然()x F 在[]b a ,上满足拉格朗日中值定理条件.于是知：在()b a ,内至少存在一点ξ，使 得()()()F b F a F b aξ-'=-，而()[()()]x F xf x f x ξξ=''=+()()f f ξξξ'=+，即得结论 ()()()()bf b af a f f b aξξξ-'=+-. （2） 积分法这种方法的基本思想是利用不定积分寻求辅助函数，具体做法如下：将结论中的ξ换成x ，通过恒等变形将结论化成()|0x F x ξ='=的形式，然后用观察或直接积分（如果不易通过观察得到）求得原函数()F x ，积分常数取为0. 例 设函数()f x ，()g x 在[,]a b 上连续，在(,)a b 内可导，且()()0f a f b ==， 证明：至少存在一点(,)a b ξ∈，使()()()0f f g ξξξ''+=.分析：结论即要证明函数()()()f x f x g x ''+在(0,1)内有零点，因结论中含有函数导数，故考虑利用罗尔定理，而此函数的原函数通过观察可能感到有点困难.将()()()0f f g ξξξ''+=变形为 ()()0()f g f ξξξ''+=，即要证明函数()()()f x g x f x ''+在(0,1)内有零点.而()[()]d ()f xg x x f x ''+⎰()ln[()e ]g x f x c =+，显然()ln[()e ]g x f x 与()()e g x f x 的导数有相同的零点，于是可取原函数为()()e g x f x .证明：令()()()e g x F x f x =,显然()F x 在[,]a b 上连续，在(,)a b 内可导，且()()0F a F b ==，于是由罗尔定理知至少存在一点(0,1)ξ∈，使()0F ξ'=，而()()[()()()]e g x F x f x f x g x '''=+，故()[()()()]e 0g f f g ξξξξ''+=，又()e 0g ξ≠，于是()()()0f f g ξξξ''+=.当所证明的结论中出现二阶导数时通常可考虑两次使用中值定理证明.3.6.2.2 泰勒公式法当题设中出现高阶导数（三阶或三阶以上的导数）时，通常可考虑使用泰勒公式证明中值点的存在性.例 设函数()f x 在闭区间[1,1]-上具有三阶连续导数，且(1)0f -=，(1)1f =，(0)0f '=.试证：在开区间(1,1)-内至少存在一点ξ，使()3f '''=ξ.证明：由(0)0f '=，得()f x 在0x =处的二阶泰勒公式为23(0)()()(0)2!3!f f f x f x x '''''=++η （η介于0与x 之间，[1,1]x ∈-）. 由题设知1()(0)(1)(0)026f f f f η'''''-=+-= 1(10)η-<<， 2()(0)(1)(0)126f f f f η'''''=++= 2(01)η<<， 两式相减，可得12()()6f f ''''''+=ηη.又()f x '''在区间[1,1]-连续，从而在12[,]ηη上也连续，故()f x '''在区间12[,]ηη上有最大值M 和最小值m .从而有121[()()]32m f f M ''''''≤+=≤ηη， 由介值定理知，至少存在一点ξ12[,][1,1]ηη∈⊂-，使得()3f '''=ξ.3.6.2 两个中值点的情形在证明两个中值点存在性的命题时，通常可考虑使用两次中值定理. 例 函数()f x 在[,]a b 上连续，在(,)a b 可导，0a b <<，试证:存在,(,)a b ∈ξη，使得()()2a b f f +''=ξηη. 分析：结论中两点只要存在即可，不要求一定不同，故可在同一区间上使用两次中值定理.同时结论中的()2f ηη'部分可看作函数()f x 与2x 2x 在点η处的导数之商，故联想到柯西中值定理.再对()f x 使用拉格朗日中值定理，然后寻求两个结论之间的关系.证明：令2()g x x =，易知()f x 与()g x 在[,]a b 上连续，在(,)a b 可导，且()0g x '≠.由柯西中值定理知,存在(,)a b ∈η，使得()()()()()()f b f a fg b g a g '-='-ηη 即 22()()()2f b f a f b a '-=-ηη， 22()()()()2f f b f a b a '-=-ηη. 而由拉格朗日中值定理知，存在(,)a b ∈ξ，使得()()f b f a -()()b a f '=-ξ .由以上两式得:存在()b a ,,∈ηξ，使22()()()(),2f b a f b a ηξη''-=- 即()()2a b f f +''=ξηη. 微分中值定理应用非常广泛(在使用时应特别注意验证定理的条件) ,以上只介绍了几种常见的应用. 通过对微分中值定理的研究,加深了对微分中值定理的理解,有助于更好掌握该定理的解题应用.四小结：微分中值定理是微分学的基本定理，而且它也是微分学的理论核心，有着广泛的应用。