第一篇:微分中值定理的证明题
微分中值定理的证明题
1.若f(x)在[a,b]上连续,在(a,b)上可导,f(a)f(b)0,证明:R,(a,b)使得:f()f()0。
证:构造函数F(x)f(x)ex,则F(x)在[a,b]上连续,在(a,b)内可导,(a,b),使F()0 且F(a)F(b)0,由罗尔中值定理知: 即:[f()f()]e0,而e0,故f()f()0。
2.设a,b0,证明:(a,b),使得aebbea(1)e(ab)。
1111 证:将上等式变形得:ee(1)e()
baba1x11b11a111111作辅助函数f(x)xe,则f(x)在[,]上连续,在(,)内可导,baba 由拉格朗日定理得:
11f()f()baf(1)1(1,1),11baba11b1a1ee1a(1)e
1(1,1),即 b11baba
即:
aebbea(1)e(ab)
(a,b)。
3.设f(x)在(0,1)内有二阶导数,且f(1)0,有F(x)x2f(x)证明:在(0,1)
内至少存在一点,使得:F()0。
证:显然F(x)在[0,1]上连续,在(0,1)内可导,又F(0)F(1)0,故由罗尔定理知:x0(0,1),使得F(x0)0
又F(x)2xf(x)x2f(x),故F(0)0,于是F(x)在[0,x0]上满足罗尔定理条件,故存在(0,x0),使得:F()0,而(0,x0)(0,1),即证 4.设函数f(x)在[0,1]上连续,在(0,1)上可导,f(0)0,f(1)1.证明:(1)在(0,1)内存在,使得f()1.
(2)在(0,1)内存在两个不同的点,使得f/()f/()1
【分析】 第一部分显然用闭区间上连续函数的介值定理;第二部分为双介值问题,可考虑用拉格朗日中值定理,但应注意利用第一部分已得结论.【证明】(I)
令F(x)f(x)1x,则F(x)在[0,1]上连续,且F(0)=-1<0, F(1)=1>0,于是由介值定理知,存在(0,1), 使得F()0,即f()1.(II)在[0,]和[,1]上对f(x)分别应用拉格朗日中值定理,存在两个不同的点(0,),(,1),使得f()于是,由问题(1)的结论有
f()f()f()1f()11.11f()f(0)f(1)f(),f()
015.设f(x)在[0,2a]上连续,f(0)f(2a),证明在[0,a]上存在使得
f(a)f().【分析】f(x)在[0,2a]上连续,条件中没有涉及导数或微分,用介值定理或根的存在性定理证明。辅助函数可如下得到
f(a)f()f(a)f()0f(ax)f(x)0
【证明】令G(x)f(ax)f(x),x[0,a].G(x)在[0,a]上连续,且
G(a)f(2a)f(a)f(0)f(a)
G(0)f(a)f(0)
当f(a)f(0)时,取0,即有f(a)f();
当f(a)f(0)时,G(0)G(a)0,由根的存在性定理知存在(0,a)使得,G()0,即f(a)f().
6.若f(x)在[0,1]上可导,且当x[0,1]时有0f(x)1,且f(x)1,证明:在(0,1)内有且仅有一个点使得f() 证明:存在性
构造辅助函数F(x)f(x)x
则F(x)在[0,1]上连续,且有F(0)f(0)00,F(1)f(1)10,由零点定理可知:F(x)在(0,1)内至少存在一点,使得F()0,即:f()
唯一性:(反证法)
假设有两个点1,2(0,1),且12,使得F(1)F(2)0
F(x)在[0,1]上连续且可导,且[1,2][0,1]
F(x)在[1,2]上满足Rolle定理条件
必存在一点(1,2),使得:F()f()10
即:f()1,这与已知中f(x)1矛盾
假设不成立,即:F(x)f(x)x在(0,1)内仅有一个根,综上所述:在(0,1)内有且仅有一个点,使得f()
17.设f(x)在[0,1]上连续,在(0,1)内可导,且f(0)=f(1)=0,f()=1。试
2(x)=1。证至少存在一个(0,1),使f¢分析:f'()=1f'(x)=1f(x)=xf(x)x=0 令 F(x)= f(x)x 证明: 令 F(x)= f(x)x
F(x)在[0,1]上连续,在(0,1)内可导,F(1)= f(1)110(f(1)0)F(11111)= f()0(f()1)222221由介值定理可知,一个(,1),使 F()=0 又 F(0)=f(0)0=0 对F(x)在[0,1]上用Rolle定理,一个(0,)(0,1)使
F'()=0 即 f'()=1 8.设f(x)在[0,1]上连续,在(0,1)内可导,且f(0)f(1)试证存在和.满足01,使f()f()0。
证 由拉格朗日中值定理知,1f()f(0)12f()(0,)
12021f(1)f()12f()(,1)
121211f()f(0)f(1)f()20 f()f()211229.设f(x)在[a,b]上连续,(a,b)内可导(0ab),f(a)f(b), 证明: ,(a,b)使得 f()abf().(1)2证:(用(ba)乘于(1)式两端,知)(1)式等价于
f()f()2(ba)(ba2).(2)12
为证此式,只要取F(x)f(x),取G(x)x和x在[a,b]上分别应用Cauchy中值定理,则知
2f()f()2(ba)(ba2), f(b)f(a)12其中,(a,b).10.已知函数f(x)在[0 ,1]上连续,在(0,1)内可导,0ab,证明存在,(a,b),使32f/()(a2abb2)f/()
f/()f(b)f(a)解:利用柯西中值定理 2333ba而f(b)f(a)f/()(ba)
则
f/()f(b)f(a)f/()(ba)f/()(后面略)22333323babaaabb/11.设f(x)在xa时连续,f(a)0,当xa时,f(x)k0,则在(a,af(a))k内f(x)0有唯一的实根
/解:因为f(x)k0,则f(x)在(a,af(a))上单调增加 kf(a)f(a)f/()/f(a)f(a)f()f(a)[1]0(中值定理)
kkk而f(a)0故在(a,af(a))内f(x)0有唯一的实根 k12t0tsin12.试问如下推论过程是否正确。对函数f(t)在[0,x]上应用拉tt00格朗日中值定理得:
1x2sin0f(x)f(0)111xxsinf()2sinc(0sx)
ox0x0x
即:cos12sin1xsin1)
(0x
x1xsin limx00,il2nsi0
因0x,故当x0时,由m010 x
得:limcosx0
10,即limcos010
解:我们已经知道,limcos010不存在,故以上推理过程错误。
首先应注意:上面应用拉格朗日中值的是个中值点,是由f和区间[0,x]的
端点而定的,具体地说,与x有关系,是依赖于x的,当x0时,不 一定连续地趋于零,它可以跳跃地取某些值趋于零,从而使limcosx010成
立,而limcos010中要求是连续地趋于零。故由limcosx010推不出
0limcos10
13.证明:0x2成立xtgxx。cos2x
证明:作辅助函数f(x)tgx,则f(x)在[0,x]上连续,在(0,x)内可导,由拉格朗日定理知:
f(x)f(0)tgx1(0,x)f()x0xcos2即:tgx1x(0,)(0,),因在内单调递减,故在cosx22cosx22cos111xxx即: cos20cos2cos2xcos2cos2x内单调递增,故
即:xtgx1。cos2x
注:利用拉格朗日中值定理证明不等式,首先由不等式出发,选择合适的函数f(x)及相应的区间[a,b],然后验证条件,利用定理得
f()(ba(a,b)
f(b)f(a),再根据f(x)在(a,b)内符号或单调
证明不等式。14.证明:当0x时,sinxtgx2x。
证明:作辅助函数(x)sinxtgx2x
则(x)cosxsec2x2
12 cos2x1cos2x2 2cosxcosxx(0,)
2
(cosx0
12)cosx
故(x)在(0,)上单调递减,又因(0)0,(x)在(0,)上连续,22
故 (x)(0)=0,即:sinxtgx2x0,即:sinxtgx2x。
注:利用单调性证明不等式是常用方法之一,欲证当xI时f(x)g(x),常用辅助函数(x)f(x)g(x),则将问题转化证(x)0,然后在I上
讨论(x)的单调性,进而完成证明。
15.证明:若f(x)二阶可导,且f(x)0,f(0)0,则F(x),内单调递增。)
(0
f(x)在 x证明:因F(x)xf(x)f(x),要证F(x)单调递增,只需证F(x)0,2x
即证xf(x)f(x)0。
设G(x)xf(x)f(x),则G(x)xf(x)f(x)f(x)xf(x),因为
f(x)0,x0,故G(x)是单调递增函数,而G(0)0f(x)00,因此G(x)G(0),即:xf(x)f(x)0,即:F(x)0,即F(x)当x0时单调递增。
第二篇:有关中值定理的证明题
中值定理证明题集锦
1、已知函数f(x)具有二阶导数,且limx0f(x)0,f(1)0,试证:在区间(0,1)内至少x存在一点,使得f()0.证:由limf(x),由此又得00,可得limf(x)0,由连续性得f(0)x0x0xf(x)f(0)f(x)f(0)limlim0,由f(0)f(1)0及题设条件知f(x)在[0,1]x0x0x0x上满足罗尔中值定理条件,因此至少存在一点 c(0,1),使得f(c)0,又因为f(0)f(c)0,并由题设条件知f(x)在[0,c]上满足拉格朗日中值定理的条件,由拉格朗日中值定理知,在区间(0,1)内至少存在一点,使得f()0.2、设f(x)在[0,a]上连续,在(0,a)内可导,且f(a)0,证明:存在一点(0,a),使得f()f()0.证:分析:要证结论即为:[xf(x)]x0.令F(x)xf(x),则F(x)在[0,a]上连续,在(0,a)内可导,且F(0)F(a)0,因此故存在一点(0,a),使得F()0,F(x)xf(x)在[0,a]上满足罗尔中值定理的条件,即f()f()0.注1:此题可改为:
设f(x)在[0,a]上连续,在(0,a)内可导,且f(a)0,证明:存在一点(0,a),使得
nf()f()0.)nf()(0给分析:要证结论nf()f()等价于nn1f(nn1n,而nf()f()0即为[xf(x)]x0.nf()f()两端同乘以n1)故令F(x)xf(x),则F(x)在[0,a]上满足罗尔中值定理的条件,由此可证结论.注2:此题与下面例题情况亦类似:
设f(x)在[0,1]上连续,在(0,1)内可导,且f(0)0,x(0,1),有f(x)0,证:nnN,(0,1),使得
nf()f(1)成立.f()f(1)分析:要证结论可变形为nf()f(1)f()f(1)0,它等价于nfn1()f()f(1)fn()f(1)0(给nf()f(1)f()f(1)0两端同乘以fn1()),而nfn1(f)f()(fn1f)(即)为(1)0[fn(x)fx1(x,用罗尔中值定理)]0.以上三题是同类型题.3、已知函数f(x)在[0,1]上连续,在(0,1)内可导,且f(0)f(1)0,f()1,证明:(1)存在一点(,1),使f().(2)存在一点(0,),使f()1.(3)存在一点x0(0,),使f(x0)1(f(x0)x0).证:(1)分析:要证结论即为:f()0.12121211111显然F(x)在[,1]上连续,且F()f()0,F(1)f(1)110,2222211因此F(x)在[,1]上满足零点定理的条件,由零点定理知,存在(,1),使F()0,22令F(x)f(x)x,则只需证明F(x)在(,1)内有零点即可。即f().(2)又因为F(0)f(0)00,由(1)知F()0,因此F(x)在[0,]上满足罗尔中值定理条件,故存在一点(0,),使F()0,即f()10,即f()1.(3)分析:结论f(x0)1(f(x0)x0)即就是F(x0)F(x0)或F(x0)F(x0)0,F(x0)F(x0)0ex0[F(x0)F(x0)]0,即[exF(x)]xx00.故令G(x)exF(x),则由题设条件知,G(x)在[0,]上连续,在(0,)内可导,且G(0)e0F(0)0,G()eF()0,则G(x)在[0,]上满足罗尔中值定理条件,命题得证.4、设f(x)在[0,x]上可导,且f(0)0,试证:至少存在一点(0,x),使得f(x)(1)ln(1x)f().证:分析:要证结论即为: f(x)f(0)(1)[ln(1x)ln1]f(),也就是f(x)f(0)f(),因此只需对函数f(t)和ln(1t)在区间[0,x]上应用柯西中值定理1ln(1x)ln11即可.5、设f(x)、g(x)在[a,b]上连续,在(a,b)内可导,f(a)f(b)0,且g(x)0,证明:至少存在一点(a,b),使得f()g()f()g().证:分析:要证结论即为: f()g()f()g()0,等价于
f()g()f()g()0,2g()即就是[即可.f(x)f(x)在区间[a,b]上应用罗尔中值定理]x0,因此只需验证函数F(x)g(x)g(x)
6、设f(x)在[x1,x2]上可导,且0x1x2,试证:至少存在一点(x1,x2),使得x1f(x2)x2f(x1)f()f().x1x2f(x2)f(x1)f(x)()xx2x1x证:分析:要证结论即为: ,因此只需对函f()f()111()xx2x1x数f(x)1和在区间[x1,x2]上应用柯西中值定理即可.xx此题亦可改为:
设f(x)在[a,b]上连续,(a,b)内可导,若0ab,试证:至少存在一点(a,b),使得af(b)bf(a)[f()f()](ab).7、设f(x)在[a,b]上连续,在(a,b)内可导,且f(a)f(b)0,试证:(1)(a,b),使得f()f()0;(2)(a,b),使得f()f()0.证:(1)令F(x)xf(x),利用罗尔中值定理即证结论.(2)分析:f()f()0e[f()f()]0[e22x22f(x)]x0,因此令F(x)ex22f(x),利用罗尔中值定理即证结论.8、设f(x)在[a,b]上连续,在(a,b)内可导,且f(a)f(b)1,试证:,(a,b),使得e[f()f()]1.[exf(x)]xe[f()f()]证:分析:要证结论即为1,即就是1.xe(e)x令F(x)ef(x),令G(x)e,则F(x)和G(x)在[a,b]上满足拉格朗日中值定理的条件,由拉格朗日中值定理知: xxebf(b)eaf(a)ebea,即就是e[f()f()].(a,b),使得F()babaebeaebea,即就是e.(a,b),使得F()babae[f()f()]因此,有1,即就是e[f()f()]1.e9、设f(x)、g(x)在[a,b]上连续,在(a,b)内具有二阶导数且存在相等的最大值,f(a)g(a),f(b)g(b),试证:(a,b),使得f()g().0.证:分析:要证结论即为[f(x)g(x)]x令F(x)f(x)g(x),(1)若f(x)、g(x)在(a,b)内的同一点处取得相同的最大值,不妨设都在c点处取得最大值,则F(a)F(c)F(b)0(acb),则F(x)分别在[a,c]、[c,b]上满足罗尔中值定理条件,故1(a,c),2(c,b)使得F(1)0,F(2)0.由题设又知,F(x)在[1,2]上满足洛尔定理条件,故存在(1,2),使得F()0,即就是f()g()].(2)若f(x)、g(x)在(a,b)内的不同的点处取得相同的最大值,不妨设f(x)在p点处、g(x)在q点处取得最大值,且pq,则F(p)f(p)g(p),F(q)f(q)g(q)0,由零点定理知,c(p,q)(0,1),使得F(c)0,由此得 F(a)F(c)F(b)0(acb),后面证明与(1)相同.10、设f(x)在[a,b]上连续,在(a,b)内可导,且f(x)0,若极限limxaf(2xa)存在,xa试证:(1)存在一点(a,b),使得
b2a2baf(x)dx22; f()22b(2)在(a,b)内存在异于的点,使得f()(ba)f(x)dx.;
aa证:(1)令F(x)xaf(t)dt,G(x)x2,则F(x)、G(x)在[a,b]上满足柯西中值定理
b2a2ba条件,故存在一点(a,b),使得
b2a2af(t)dtf(t)dta2成立,即就是f()bab222成立,即就是2f(x)dx(ba)f()成立.af(x)dxf()(2)由(1)知,2ba22因此要证f()(ba)f(x)dx(b2a2)f(),2bf(x)dx.,aa即要证f()(ba)221a(b2a2)f(,)即要证f()(a)f(,)由已知
xalimf(2xa)f(2xa)0,可得,lim从而得f(a)0,因此要证f()(a)f(),xaxa即要证f()(a)f()f(a),显然只需验证f(x)在[a,]上满足拉格朗日中值定理条件即可。
第三篇:2018考研数学 中值定理证明题技巧
为学生引路,为学员服务
2018考研数学 中值定理证明题技巧
在考研数学中,有关中值定理的证明题型是一个重要考点,也是一个让很多同学感到比较困惑的考点,不少同学在读完题目后不知从何下手,不会分析证明,找不到思路,之所以会出现这样的情况,主要是因为这些同学对中值定理证明题型的特点缺乏清晰的认识,对其分析和证明方法没有完全理解和掌握,为了协助这样的同学克服这方面的困难,下面本文对这类题的特点和证明方法做些分析总结,供各位考生参考。
一、中值定理证明题的特点
中值定理证明题主要有以下一些特点:
1.中值定理证明题常常需要作辅助函数;
2.中值定理证明题经常在一个题中需要结合运用三个知识点,分别是:连续函数在闭区间上的性质(包括最大值和最小值定理、零点定理和介质定理),微分中值定理和积分中值定理;
3.中值定理证明题可能需要在一个问题的证明中反复运用同一个微分中值定理两次甚至三次,比如罗尔中值定理或拉格朗日中值定理;
4.从历年考研数学真题变化规律来看,证明中用得最多的主要是罗尔中值定理和拉格朗日中值定理,而泰勒中值定理和柯西中值定理则用得很少。
二、中值定理证明题的常用方法
中值定理证明题有不同的类型,对不同的类型需要运用不同的方法,主要的和常用的方法包括以下几种:
1.如果题目条件中出现关于函数值的等式,而函数是连续的,则可能需要运用连续函数在闭区间上的性质进行证明;对导数是连续的情况也可以对导函数运用连续函数的性质;
2.如果题目条件中出现关于定积分的等式,则可能需要运用积分中值定理;
3.对于以下这类问题一般使用罗尔中值定理进行证明:
6、如果是要证明两函数差值比的中值等式,或证明两函数导数比的中值等式,则可能需要利用柯西中值定理进行证明。
对于上面总结介绍的各种证明方法,在实际问题中要根据具体情况灵活运用,另外,对于需要作辅助函数的证明题,常常通过还原法分析找出需要的辅助函数,对于含积分等式的证明题,常常需要作变积分限的函数作为辅助函数,这种方法也是证明积分等式或不等式的主要方法之一,这些分析总结希望对大家提高中值定理证明题的解题能力有所帮助。最后预祝各位考研成功、金榜题名!
第四篇:高等数学考研大总结之五 微分中值定理
第五章微分中值定理
一,罗尔(Rolle)中值定理费马(Fermat)引理:设fx在点x0取得极值,且f/x0存在则f/x0=0。解析:几何意义:曲线在极值点处的切线是平行于x轴的。
2罗尔(Rolle)中值定理:函数fx在闭区间a,b上连续,在开区间a,b内可导(每一点都具有导数)并且在闭区间a,b的端点函数值相等,即:fafb,那么在开区间a,b内至少有一点使得f/0。
解析:⑴该定理是奠定一系列中值定理的基础。
⑵此定理反映了由区间端点函数值的情况来表现区间内导函数值的变化情况,给出了点的具体位置和计算方法(与Lagrange中值定理的区别)。
⑶几何意义:若连接曲线两端点的弦是水平的,则曲线上至少有一点的切线是水平的。⑷两个推论:①推论1:如果函数fx在区间a,b内的导数恒等于零,那么函数fx在区间a,b内是一个常数。②推论2:如果函数fx在区间a,b内处处有
。f/xg/x,则在此区间内fxgxC(常数)
二,拉格朗日(Lagrange)中值定理
设函数fx在闭区间a,b上连续且在开区间a,b内可导(每一点都具有导数)那么在开区间a,b内至少有一点ab使等式fbfaf
该定理的其它几种表示形式:⑴f//ba成立。fbfa ba
AB解析:反映其几何意义:如果连接曲线yfx的弧上除端点外处处具有不垂直于x轴的切线,那么这弧上至少有一点,使曲线在处的切线平行于弦AB。
⑵令aba,01则fbfaf/ababa,01。解析:由于的特定取值范围,所以在证明不等式时较常用,若令ax0,bx0h那么有:fx0hfx0f/x0hh,01。
⑶有限增量公式:如果用x表示ba则函数增量yfbfa,这时该定理变成yf/x。
解析:⑴从理论上与微分的区别:该公式准确的表明了函数增量与自变量增量(不要求其趋第1页
于零或比较小而仅要求其为有限增量)的关系,而微分只能近似的表示这一关系,并且要求
x比较小,而且当x0时dy表示y的误差才趋于零。但在实际应用中仍常用微分去
近似表示函数值的改变量。⑵类比与上式,则还可表示为yf三,柯西(Cauchy)中值定理
设两个函数fx和gx在闭区间a,b上连续且在开区间a,b内可导(每一点都具有导数)且g/x在a,b内每一点均不为零,则在a,b内至少存在一点使得
/
xxx,01。
fbfaf/,ab成立。gbgag/解析:⑴要求分子与分母中的是同一个值。⑵
类
比
于
Lagrange
定
理,此
定
理
可
表
示
为
fx0hfx0f/x0h
,01。
gx0hgx0g/x0h四,Rolle,Lagrange,Cauchy中值定理间的关系
xxfafb
CauchygLagrangeRolle
五,泰勒(Taylor)中值定理定义:若fx在a,b上有直到n阶连续的导数,在开区间a,b上n1阶导数存在,则
对
于
任
意的x,x0a,b
有:
fxfx0
f
/
x0
1!
xx0
f
//
x0
2!
xx0
fnx0xx0nRnx其中
n!
fn1称为余项(与误差估计有关)。其中当x0xx0n1(介于x与x0之间)Rnx
n1!
取零时的泰勒(Taylor)公式称为麦克劳林(Maclaurin)公式。
解析:使复杂函数成为简单函数的有效方法。2 各种形式的泰勒(Taylor)公式
⑴带有皮亚诺(Peano)余项的泰勒
(Taylor)公式:
f/x0f//x0fnx02nn
Taylor:fxfxxxxxxxxx,xx000000
1!2!n!///n
Maclaurin:fxf0f0xf0x2f0xnxn,x01!2!n!
⑵带有Lagrange余项的泰勒(Taylor)公式:
f/x0f//x0fnx0fn12nn1
Taylor:fxfxxxxxxxxx00000
n11!2!n!
///nn1
xxn1,01Maclaurin:fxf0f0xf0x2f0xnf
n11!2!n!
⑶
带
有
Cauchy
余
项的泰
勒
(Taylor)
公
式
:
nfkx0
xx0kfxn1
xnm,xxm!fk!k0Taylor:0m
gkx0n!gn1k
xx0gx
k!k0
nxx0xnn1fkx0k
xx0fCauchy:令gxx,m0则fxk!n!k0
⑷带有积分余项的泰勒(Taylor)公式:
n
fkx01xn1kn
Taylor:fxxxftxtdt0x0
k!n!k0
kn1n1f0kxnn1Maclaurin:fxxfxt1tdt0k!n!k0常见函数的麦克劳林(Maclaurin)展式
⑴带有皮亚诺(Peano)余项的麦克劳林(Maclaurin)展式:
n
x3x5x2n1x2k1n1k12n
sinxx1x1x2n
2n12k13!5!!k1
2n2kn
x2x4nxkx2n
cosx11x1x2n
2n2k2!4!!k0
kn
xx2xnk1xn
e1x1xn
1!2!n!k!k0x
nkn
x2x3n1xk1xn
ln1xx1x1xn
23nkk1
1x
n
1212n1nnkk
1xxxx1Cxxn2!n!k1
⑵带有Langrange余项的麦克劳林(Maclaurin)展式:
sinx1
k1n
n
k1
x2k1ncosx
1x2n1,012k12n1!
x2kn1cosx
cosx11x2n2,01
2k2n2!k0
k
xkex
exn1,01
!k0k!n1x
n
ln1x1`
k1
n
k1
xkxn1n
1,x1,01n1kn11x
1x
kk
1Cx
k1
n
1n1xn1xn1,x1,01
n1!Taylor公式的应用
⑴求极限。⑵近似计算,误差估计。⑶与幂级数的关系。⑷不等式证明。六,罗比塔(L”Hospital)法则解决问题的情况:
00
。
解析:不是以上两种型的转化为以上型。例如:
“0”型,“”型,“00”型,“0”型,“1”型。需注意的问题:⑴只有未定式才能应用罗比塔(L”Hospital)法则,不是未定式,则不能用罗比塔(L”Hospital)法则,且分子与分母分别求导。
⑵只有
法则。
00
未定式才能直接应用罗比塔(L”Hospital)
00
未定
⑶求其他类型未定式的值时,就首先将其转化为
式,然后才能应用罗比塔(L”Hospital)法则。
⑷可以对未定式反复应用罗比塔(L”Hospital)法则,直到求出确定的极限值为止。⑸用对数方法求极限时还要将结果还原为指数形式。
⑹有些未定式若用罗比塔(L”Hospital)法则求不出它的值时,就改用其它方法计算。
第五篇:微分中值定理的证明与应用分析
本科生毕业论文(设计)
题
目
微分中值定理的证明与应用分析
姓
名
马华龙
学号
2009145154
院
系
电气与自动化学院
专
业
测控与仪器技术
指导教师
魏春玲
职称
教授
2012 年 5月 20日 曲阜师范大学教务处制
目录
摘要............................................................................................................................................1 Abstract.......................................................................................................................................1 1 引言........................................................................................................................................1 2 微分中值定理及其相关概念.............................................................................................1 3 微分中值定理的证明方法....................................................................................................2 3.1 费马定理............................................................................................................................2 3.2 罗尔定理............................................................................................................................3 3.3 柯西中值定理....................................................................................................................4 4 定理的推广............................................................................................................................5 5 定理的应用............................................................................................................................6 5.1 利用微分中值定理证明等式与恒等式............................................................................6 5.2 利用微分中值定理证明不等式........................................................................................7 5.3 讨论根的存在性................................................................................................................8 6 总结........................................................................................................................................9 致谢..........................................................................................................................................10 参考文献..................................................................................................................................10
微分中值定理的证明与应用分析
测控与仪器专业学生 马华龙
指导教师
魏春玲
摘要:本文首先介绍了微分中值定理的基本内容极其几何意义然后又分别介绍了三个微分中值定理,最后有介绍了中值定理的推广和应用。详细介绍了中值定理在证明等式和不等式以及性态等方面的应用。
关键词:微分中值定理 推广 应用
Differential Mean Value Theorem Proof and Application Analysis Student majoring in Measurement and control technology and instrument
Ma Hualong
Tutor
Wei Chunling
Abstract:This paper first introduces the basic content of the Differential Mean Value Theorem extremely geometric meaning, then introduced the three differential mean value theorem, and finally introduced the promotion and application of the mean value theorem.The detailed explained differential mean value theorem in proving the equality and inequality.Key Words : differential mean value theorem Promotion application.1引言
在数学研究与分析中,微分学占有极其重要的地位,它是组成数学分析的重要部分。而通过对微分学整体的学习,我们可以知道微分中值定理在它所有定理中是最基本的,而且是最重要的定理之一,微分中值定理是构成微分学的主要组成部分。因此学好微分中值定理,对我们以后的继续在数学方面的研究是非常重要的。
人们对微分中值定理的研究从微积分的建立之始就开始了,微分中值定理分为:罗尔中值定理、拉格朗日中值定理和柯西中值定理,它出现的过程聚集了众多数学家的研究成果。而且从费马引理到柯西中值定理使微积分不断发展,理论知识也不段的丰富和完善,是自从引进微积分来数学研究的重要工具之一,并且中值定理的应用也越来越广泛。本文将首先讨论微分中值定理的证明,然后讨论它的应用,并且主要是讨论微分中值定理在证明等式、不等式、函数为常数、函数的性态等方面的应用。微分中值定理及其相关概念
微分中值定理是一系列中值定理的总称,是研究函数的有力工具,其中最重要的内容是拉格朗日中值定理,可以说其他中值定理都是拉格朗日中值定理的特殊情况或者推广。也可以说微分中值定理就是包括罗尔定理、拉格朗日中值定理、以及柯西中值定理在内的定理的总称,而中值定理的证明会用到以下的概念。
limf(x)limg(x)xx0xx0极限的局部保号性: 若,则存在Δ≥0,任意x(x0,x0),使得f(x)g(x)。
函数的单调性: 函数f(x)在定义域内,当x1x2时,有f(x1)f(x2),则称f(x)单调递增。当x1x2时,有f(x1)f(x2),则称f(x)单调递减。
凹凸性: 若函数曲线位于其每一点处切线的上方(下方),则称函数曲线时下凸(上
'yf(x)f凸)的,或称函数向下凸(上凸).而若的一阶导数(x)在(a,b)上单调递增(或递减),则称f(x)在(a,b)是向上凹(下凹)的,或称函数曲线向上凹(下凹).最值:设f(x)在I上有定义,若存在x0I使任意xI,f(x0)f(x)(f(x0)f(x)),则称f(x0)为f(x)的最小值(最大值)。x0为最小值点(最大值点)。
极值:设f(x)在任意xI上有定义,若存在x0I,0,任意x(x0,x0)都有f(x)f(x0)(f(x0)f(x)),则称f(x0)为f(x)的一个极小值(极大值),x0成为极小值点(极大值点)。
除此之外,我们还应该看到罗尔定理、拉格朗日中值定理、柯西中值定理的联系。这三个定力的关系:层层递进,步步深入,前者是后者的特殊情况,后者是前者的推广。拉格朗日中值定理和柯西中值定理都是通过构造辅助函数,然后用罗尔定理加以证明的;拉格朗日中值定理是柯西中值定理的特例;而罗尔定理有是拉格朗日中值定理的直接推论。微分中值定理的证明方法
3.1 费马定理
费马引理是是实分析中的一个定理,以皮埃尔·德·费马命名。通过证明函数的每一个极值都是驻点(函数的导数在该点为零),该定理给出了一个求出可微函数的最大值和最小值的方法。因此,利用费马引理,求函数的极值的问题便化为解方程的问题。需要注意的是,费马引理仅仅给出了函数在某个点为极值的必要条件。也就是说,有些驻点不是极值,它们是拐点。要想知道一个驻点是不是极值,并进一步区分最大值和最小值,我们需要分析二阶导数(如果它存在)。当该点的二阶导数大于零时,该点为极小值点;当该点的二阶导数小于零时,该点为极大值点。若二阶导数为零,则无法用该法判断,需列表判断。
xx费马引理的内容:函数f(x)在点0的某邻域U(x0)内有定义,并且在0处可导,如
'xU(x)f(x)f(x)f(x)f(x)f(x0)=0。0,都有0或者0,那么果对于任意的费马定理的几何意义:若将函数f(x)的曲线置于平面直角坐标系XOY,则费马定
x(x,f(x0))理具有几何意义:对曲线yf(x)上,若有一点0存在切线,且0为f(x)极值点.则这一点处的切线平行于x轴.证明方法:x0x为f(x)的极值点.不妨设0为极小值点,则
0,x(x0,x0),有f(x0)f(x).f(x)f(x0)0xx0xx0若,则;f(x)f(x0)0xx0xx0若,则;取极限:xx0limf(x)f(x0)f(x)f(x0)lim-xxxx0xx0与0分别为T、S
limf(x)f(x0)xx0.xx0x由于f(x)在0处可导,则T=S=由极限的局部保号性有:T0, S0.故 T=S=0.f(x)f(x0)lim0xx0f(x0)0 xx0所以有 即3.2 罗尔定理
若f(x)在[a,b]上连续,在内(a,b)可导,且f(a)f(b),则至少存在一点a,b使f()0。
罗尔定理的几何意义:罗尔定理的三个已知条件的意义:
⒈f(x)在a,b上连续表明曲线连同端点在内是无缝隙的曲线;
⒉f(x)在a,b内可导表明曲线yf(x)在每一点处有切线存在; ⒊f(a)f(b)表明曲线的割线(直线AB)平行于x轴
'f 罗尔定理的结论的直几何意义是:在(a,b)内至少能找到一点,使()0,表明曲线上至少有一点的切线斜率为0,从而切线平行于割线AB,与x轴平行。
罗尔定理的证明:根据f是闭区间a,b上连续函数的性质,由极值定理得在
a,b 上有最大值(M)和最小值(m)。
1.如果Mm,此时f(x)在a,b上恒为常数,结论显然成立。
2.如果Mm,由条件f(a)f(b)知,两个数M,m中至少有一个不等于端点的函数值f(a)f(b),不妨设Mf(a)(如果设mf(a),证法完全类似),那么必定在开区间(a,b)内有一点使f()M。
'f(x)f()xa,bf法1:因此,有,由费马引理可知()0。
法2:由于f(x)在ξ处最大,故不论x是正或负,总有
f(x)f()0, 因此,当x0时,{f(x)f()}/x0,故由极限的保号性有
f'()lim{f(x)f()}/x0x0(1)
而当x0时,{f(x)f)}/x0,故
f_'()lim{f(x)f()}/x0x0(2)
''f()f由(1),(2)两式及存在知,必有()0。
拉格朗日中值定理
拉格朗日中值定理的内容: 若函数f(x)满足:(1)在闭区间a,b上连续;(2)在开区间a,b内可导;则至少存在一点(a,b)使得
f(b)f(a)ba.拉格朗日定理的几何意义:如图所示,过A(a,f(a)),B(b,f(b))两点的直线斜率
f()f(b)f(a)ba,而拉格朗日定理则表明了存在于曲线上的A,B两点某点的切线必定平行于直线AB.KAB拉格朗日中值定理的证明:
利用罗尔中值定理,构造辅助函数.f(b)f(a)F(x)f(x)f(a)(xa)ba.证明 作辅助函数
f(b)f(a)F(x)f(x)f(a)(xa)ba
显然,F(x)在a,b上连续, 在a,b内可导,且f(a)f(b)0,由罗尔定理可知,存
在一点(a,b)使得F()0 即
f(b)f(a)ba
推论 设f(x)、g(x)都在区间K上可导,且f(x)g(x),则
f(x)g(x)c f()3.3 柯西中值定理
柯西中值定理的内容: 设函数f(x)、g(x)满足:(1)在闭区间a,b上连续;
(2)在开区间a,b内可导,且g(x)0;则至少存在一点(a,b)使得
f()f(b)f(a)g()g(b)g(a).柯西中值定理的证明:由定理条件可知g(b)g(a),则存在(a,b)使得g(x)0,因此,只需证
f()g(b)g(a)g()f(b)f(a)0.为此,构造函数
F(x)f(x)g(b)g(a)g(x)f(b)f(a),xa,b 显然,F(x)在a,b上连续,在a,b内可导,且F(a)F(b)根据罗尔定理,存在(a,b)使得
F()0f()g(b)g(a)g()f(b)f(a)0
f()f(b)f(a)所以,g()g(b)g(a).即 定理的推广
前面我们已经讨论了定理之间的关系,接下来我们来看它们的推广。从前面的内容
a,b我们知道,这三个定理都要求函数fx在a,b上是连续,在内是可导。那么我们如果把定理中的闭区间a,b,把它推广到无限区间a,或,,再把开区间a,b推广到无限区间a,或,的话,则这些定理是否还能满足条件,或者我们能得出哪些相应的定理呢?
通过讨论研究我们知道,按照以上的想法把中值定理的区间,推广到无限区间上可以得到几个相应的定理,本文在此只提到其中的三个,下面给出定理以及证明。
limfxfafxa,a,x定理1 若在上连续,在内可导,且,则至少
f0a,存在一点,使成立。
证明:
111xa1tta1t令xa1,则t,即可得到关于t参数函数
t0,1当xa,时,则
limtfxftgt 即1a,t0,再令gtlimffxfaftxlim1g1limt0t0 g0limgtt0 g0g1 gt0,10,1在上连续,在内可导,且g0g1,由Rolle定理可得到,使g0成立 至少存在一点0,1令,使f0成立
证毕
limfxlimfx,,fxx定理2 若在上连续,在内可导,并且x,至
f0,少存在一点,使成立。
定理2的证明可以参照定理1。
limfxMa,a,定理3 若fx在上连续,在内可导,并且x,则至少存在,有至少存在一点a,f0,而
120.一点a,,使 成立。Mfaf21a证明:设t111xa1ta1xa1,则tt,即可得到关于t参数函数
当xa,时,则t0,1 limtfxftgt 即1a,t0,再令limgtlimtlimfxM t0t0xg0limgtMt0 gt在0,1上连续,在
0,1内可导,由Lagrange定理得
g1g010成立 至少存在一点0,1,使
g即gfaM
1令,有gf,而至少存在一点a,,使
Mfaf21a21a2,成立.证毕 定理的应用
5.1 利用微分中值定理证明等式与恒等式
在证明一些出现导数的等式时,进行适当的变形后,考虑应用微分中值定理加以证明.还有,就是我们在证明一些与中值定理有关的题目时,构造辅助函数是解决问题的关键。在证明题中巧妙选用和构造辅助函数,进行系统分析和阐述,从而证明相关结论。我们一下面一个例题来讲解。
1f(0)f(1)0,f12例:设函数f(x)在[0, 1]上连续,在(0, 1)内可导,且,1(,1)2,使f();
试证(1)存在(2)对任意实数λ,必存在(0,),使
得
f'()[f()]1
分析(1)欲证等式可写成 f()0
1(,1)则只需设(x)f(x)x在2上存在零点.(2)欲证等式可改写成 [f'()1][f()]0
''x(x)f(x)x,(x)f(x)1F(x)e(x),再对 由于,则只需取辅助函数
F(x)在[0,]上用罗尔定理.1110,(1)10[,1](x)f(x)x(x)证(1),因在2上连续,22,1(,1)2,使得 故由零点定理,存在()0,即f()
(2)令F(0)= 0 ,,因F(x)在[0,]上连续,在(0,)内可导,且,故由罗尔定理,存在,使得
由于,故得
f'()[f()]1
例:设0ab,f(x)在a,b连续可导,则存在a,b使得
f(b)f(a)f()ln证明 令
ba.g(x)lnx
则g(x)0,且f(x),g(x)在a,b上连续在a,b内可导
根据柯西定理,存在a,b使得
f()f(b)f(a)g()lnblna
f(b)f(a)f()ln即,5.2 利用微分中值定理证明不等式
微分中值定理在不等式的证明中同样起到重要的作用,因此在证明不等式的时候,可以考虑从中值定理入手,从而解决问题。首先我们给出利用中值定理证明不等式的步(1)构造辅助函数f(x);骤:(2);构造微分中值定理需要的区间[a,b];(3)利用(a,b),'对f()进行适当的收缩。下面我们给出几个证明不等式的例子。
ba.例1: 证明对任何正数a、b(ab)有
baabalnba.b证明 令f(x)lnx,xa,b.则f(x)在a,b上连续,在a,b内可导,根据拉格朗日中值定理,存在a,b使得
1lnblnaba
111由于a,b,所以ba,即有
baabalnba
b例2:设x0,对01的情况,求证xx1。
分析:证明不等式最常用的方法有做差,做商,对于该题目如果直接应用做差或者做商的话显然是不行的。那我们是否能通过变形是,他们可以应用做差或是做商呢?我们来看下不等式,不难发现当x1时,等式两边就相等了,所以接下来排除x1,分两步讨论。在观察不等式两边的代数式,不难看出左边的代数式比较复杂,则是否可以把
fxx左边的代数式构造辅助函数,是题目可以运用中值定理解题呢?不妨设,Fxx。利用Cauchy定理即可证明。
fxxx,11,xx1x1证明:当时结论显然成立,当时,取或,在该区间设,Fxx,由柯西定理得:
fxf1fx,11,xFxF1F 或
x111即x
当x1时,x,1,x11即x
11
又xx10
故x1x,即x11
1,x11当x1时,则xx10
故x1x,即x11 由此,不等式得证。5.3 讨论根的存在性
在证明根的存在性问题时,当遇到满足微分中值定理的相关条件时,就能够从中值定理的角度来解决问题。因此我们可以说,微分中值定理可以应用在解决根的存在性的问题上。我们从下面的例题来看中值定理在这方面的应用。
例1:设a1,a2,,an为任意n个实数,证明函数: 在(0,)必有零点.f(x)a1cosxa2cos2xancosnx 证法 利用罗尔定理,令F(x)f(x),只需F(x)在0,上满足罗尔定理条件.证明 作辅助函数
11a2cos2xancosnx,x0,2n ,则
F(x)a1cosxa2cos2xancosnxf(x)
容易验证F(x)在0,上连续,在(0,)可导,且 F(x)a1cosxF()F(0)0,所以存在(0,)使得 F()0,即f()0.所以,f(x)在(0,)必存在零点.例2: 设aiR且满足a0a1x1a2x2...anxn0在(0,1)内至少有一个实根.x2x3xn1F(x)a0xa1a2...an23n1, 证明: 引进辅助函数显然F(0)F(1)0,F(x)又是多项式函数在[0,1]上连续,在(0,1)可导,F(x)满足罗尔中值定理的条件,故存在(0,1)使
F()0 而
F(x)a0a1x1a2x2...anxn 故方程
a0a1x1a2x2...anxn0 在(0,1)内至少有一个实根.注:本题构造F(x)的依据是使F(x)得导数恰好是所证方程的左边.a0aa1a2...n023n1,证明方程 总结
本文是研究主要是通过在大学阶段对有关数学方面的知识的分析和学习得到的,并参考了一些图书资料。从整个世界来看,人们对中值定理的研究从微积分的建立之时就开始了,至今有关微分中值定理问题的研究非常活跃,且已有丰富的成果。本文通过与老师同学的讨论,介绍了微分中值定理的主要证明方法和在数学方面的应用分析,分析了费马引理、罗尔定理、拉格朗日中值定理、柯西中值定理的证明方法;在应用方面主要通过例题的形式讨论研究了中值定理在证明等式、不等式、恒等式以及在讨论方程根的存在性等方面的应用。
深入研究微分中值定理,有助于加深对这些定理的理解;清楚这些定理的证明,能促使我们掌握微分中值定理的具体应用。
致谢
完成本论文,我要特别感谢我的指导老师魏老师的热怀和指导。在我撰写论文的过程中,魏老师倾注了大量的心血和汗水,无论是在论文的选题、构思和资料的收集方面,还是在论文的研究方法以及成文定稿方面,我都得到了魏老师教诲和帮助在此表示真诚地感谢和深深的谢意。
最后,向在百忙中抽出时间对本文进行评审并提出宝贵意见的各位专家表示感谢!参考文献
[1] 张勇.微分中值定理的认识及推广[J].消费导刊·时空教育.2009(02)166
[2] 朱美玉。微分中值定理的进一步探讨[J].湖北广播电视大学学报.2009(08)158-159.[3] 邢建平;徐湘云.微分中值定理的解题应用[J].中小企业管理与科技(上旬刊).2010(08)158
[4] 邓乐斌编.数学分析的理论、方法与技巧[M].武汉:华中科技出版社,2005.[5] 王宝艳.微分中值定理的应用[J].雁北师范学院学报,2005,2:59~61.[6] 党艳霞.浅谈微分中值定理及其应用[J].廊坊师范学院学报(自然科学版),2010,1:28-31