首页 理论教育 微分中值定理及应用实例

微分中值定理及应用实例

时间:2023-10-19 理论教育 版权反馈
【摘要】:注意到要证的是f″(ξ)=0,若我们将f减去一个一次函数,即令F=f-“一次函数”,则两次求导后结果不会改变.而连结AB的直线方程y=[f-f]x+f就是一次函数.由题设,该直线与曲线y=f在[0,1]上有三个交点,因此,如果令F=f-[f-f]x-f,则F=F=F=0.这样,对F使用两次罗尔定理可得结论.利用本例的思路,下面的问题就不难解决了.例3.22设f在[0,4]

微分中值定理及应用实例

1.罗尔(Rolle)定理 设函数fx)在闭区间[ab]上连续,在开区间(ab)内可导,且fa=fb),则至少存在一点ξ∈(ab),使

f′ξ=0

罗尔定理多被用来讨论一个函数及其导数在某个范围内的零点问题,而费马(Fermat)引理也是讨论一个函数零点的重要工具.

推广的罗尔定理 设(ab)为有限或无限区间,fx)在(ab)内可微,且978-7-111-46233-0-Chapter03-133.jpgA可为有限也可为±∞),则至少存在一点ξ∈(ab),使f′ξ=0.

这个结论稍后将作为例题予以证明.

2.拉格朗日Lagrange定理 设函数fx)在闭区间[ab]上连续,在开区间(ab)内可导,则至少存在一点ξ∈(ab),使

在拉格朗日定理的条件下,∀x1x2∈[ab],则∃ηx1x2之间,使得

也就是说,曲线上任意两点的弦,必与两点之间曲线上的某点的切线平行.这也正是拉格朗日定理的几何解释.

3.柯西(Cauchy)定理 设函数fx),gx)在闭区间[ab]上连续,在开区间(ab)内可导,且∀x∈(ab),g′x)≠0,则至少存在一点ξ∈(ab),使得

许多教科书中,在证明柯西定理时,采用了与证明拉格朗日定理相仿的方法——构造辅助函数,利用罗尔定理.在陈纪修等主编的《数学分析》(上册)(高等教育出版社,1999年)中给出了完全不同的证明方法——利用反函数存在定理、反函数导数存在定理和拉格朗日定理,给人以耳目一新的感觉,有兴趣的同学不妨品味一下.

4.导数的两个重要性质

a.导数极限定理 设函数fx)在x0点的邻域Ux0)内连续,在U。(x0)内可导.若极限978-7-111-46233-0-Chapter03-137.jpg存在,则f′x0)也存在,且

这个定理告诉我们:在区间I上的导数f′x),对I上的每一点,要么是连续点,要么是第二类间断点.也就是说,导数不可出现第一类间断点.

3.3 1.所谓导数无第一类间断点,是对导数处处存在的前提而言的.例如,fx=x.x>0时,f′x=1;当x<0时,f′x=-1.x=0处便是第一类间断点,但这与我们的定理并不矛盾,因为fx)在x=0处不可导.

2.导数可以有第二类间断点.例如,函数

在R上连续,且

f′x)在R上不连续,x=0是f′x)的第二类间断点.

b.达布(Darboux)定理 设函数fx)在[ab]上可导,且f′a)≠f′b),k为介于f′a)与f′b)之间的任一实数,则至少存在一点ξ∈(ab),使得

f′ξ=k.

这个定理也称为导数的介值性定理它与连续函数的介值定理具有同样的意义,但这里不要求导f′x)在[ab]上连续.

3.18 证明推广的罗尔定理.

证明 1)设(ab)为有限区间.若A是有限值,令

容易验证Fx)在[ab]上满足罗尔定理的条件,故∃ξ∈(ab),使得F′ξ=f′ξ=0;

2)若A=+∞,则无论(ab)为有限区间或无限区间,由fx)在(ab)内的连续性知,当c>0且充分大时,直线y=c与曲线y=fx)至少有两个交点(x1fx1)),(x2fx2)),即fx1=fx2=cx1x2∈(ab.不妨设x1<x2,对fx)在[x1x2]⊂(ab)上应用罗尔定理,∃ξ∈(x1x2)⊂(ab),使得f′ξ=0;

A=-∞的情形可类似地证明;

3)若A为有限值,(ab)为无限区间.

fx)≡A,则结论显然成立.

fx)≢A,则∃x0∈(ab),使fx0)≠A.不妨设fx0>A,取ε>0充分小,使fx0>A+ε仍成立,则直线y=A+ε与曲线y=fx)至少有两个交点(x1fx1)),(x2fx2)),即fx1=fx2=A+ε,不妨设x1<x2,在[x1x2]⊂(ab)上对fx)应用罗尔定理即可.

3.19 设fx)在[0,+∞)内可微,且满足不等式

证明:存在一点ξ∈(0,+∞),使得

北大).

证明 由已知的不等式,f(0)=0,978-7-111-46233-0-Chapter03-144.jpg

由推广的罗尔定理,∃ξ∈(0,+∞),使得F′ξ=0,即

类题1f在[0,+∞)上可导,且978-7-111-46233-0-Chapter03-148.jpg,证明:∃ξ>0,使得

类题2fx)在[0,+∞)上可导,f(0)=1,且fx)≤e-x,∀x≥0.证明:∃ξ>0,使f′ξ+e=0.

3.20 设函数f在[ab]上可导,且f′a)=f′b),证明:存在ξ∈(ab),使得

证明 欲证结论成立,只需证明方程(x-af′x)-[fx)-fa)]=0在(ab)内有解.注意到

我们可以构造辅助函数

显然,gx)在[ab]上连续,在(ab)内可导,且978-7-111-46233-0-Chapter03-153.jpg

ga)=gb),由罗尔定理可得结论;

ga)≠gb),不妨设若ga)<gb),则有

进而可知,978-7-111-46233-0-Chapter03-155.jpg由极限的保号性,∃δ>0,当x∈(b-δb)时,有gx>gb>ga).由此可知,gx)在[ab]上的最大值必在内部达到,设在ξ点达到.由费马引理,g′ξ=0,这就完成了证明.

3.21fx)在[0,1]上连续,在(0,1)内二阶可导,过点A(0,f(0))与点B(1,f(1))的直线与曲线y=fx)相交于点Ccfc)),其中0<c<1.证明:∃ξ∈(0,1),使f″ξ=0 (数学Ⅳ).

分析 由要证的结论可以看出,如果我们能在[0,1]上找到三个点,使得fx)在这三个点处的值相等,然后再使用两次罗尔定理便可得结论.但可惜的是,题目没有提供这方面的信息!注意到要证的是f″ξ=0,若我们将fx)减去一个一次函数,即令Fx=fx-“一次函数”,则两次求导后结果不会改变.而连结AB的直线方程y=[f(1)-f(0)]x+f(0)就是一次函数.由题设,该直线与曲线y=fx)在[0,1]上有三个交点,因此,如果令

Fx=fx-[f(1)-f(0)]x-f(0),

F(0)=Fc=F(1)=0.这样,对Fx)使用两次罗尔定理可得结论.

利用本例的思路,下面的问题就不难解决了.

3.22 设fx)在[0,4]上二阶可导,且f(0)=0,f(1)=1,f(4)=2.证明:∃ξ∈(0,4),使

分析 乍一看,本例似乎与例3.20没有多大关系.实际上,它是上例中两点所确定的直线与曲线y=fx)有三个交点的情形推广为由三点所确定的抛物线与曲线y=fx)有三个交点的情形.容易求出过三点(0,0),(1,1),(4,2)的抛物线为978-7-111-46233-0-Chapter03-157.jpg

仿上例立即可得结论.

3.4 一般过三点(x1y1),(x2y2),(x3y3)的二次抛物线方程可直接写出来:

利用这个公式和上面的思想,可以证明如下命题:

3.23 设fx)在[ab]上连续,在(ab)内二阶可导,证明:∃ξ∈(ab)使

证明 记978-7-111-46233-0-Chapter03-161.jpg,则过三点(afa)),(cfc)),(bfb))的抛物线为

Fx=fx-yx),则Fa=Fc=Fb=0,故存在ξ∈(ab),使F″ξ=0.

注意到

F″ξ=0立即可得出结论.

本例亦可用泰勒展开式作.

事实上,仍记978-7-111-46233-0-Chapter03-165.jpg,则

978-7-111-46233-0-Chapter03-167.jpg,将上两式相加可得

由达布定理知,∃ξ∈(ξ1ξ2)⊂(ab),使

f″ξ)代入上式,移项即得结论.

3.24 若函数fx)在(0,+∞)内可微,且978-7-111-46233-0-Chapter03-170.jpg,则

证明 由978-7-111-46233-0-Chapter03-172.jpg可知,∀ε>0,∃X0>0,当x>X0时,有

f′x)∣<ε.

对∀x>X0,在[X0x]上对f应用拉格朗日中值定理,

fx=fX0+f′ξ)(x-X0),ξ∈(X0x.

于是,有

对固定的X0,因为978-7-111-46233-0-Chapter03-174.jpg,所以对上述ε>0,∃X>X0,当x>X时,有978-7-111-46233-0-Chapter03-175.jpg

3.5 (1)本例是在极限为零的情形下证明的,如果极限为不等于零的有限数,结论仍然成立;

(2)本例可作进一步的推广:若fx)在(a+∞)上二阶可导且978-7-111-46233-0-Chapter03-177.jpg978-7-111-46233-0-Chapter03-178.jpg,则有

一般地,若fx)在(a+∞)上n阶可导,且978-7-111-46233-0-Chapter03-180.jpg,则有

这里f(0)(x=fx.

3.25 设fx)在(1,+∞)上可微,且对x>1满足

证明:978-7-111-46233-0-Chapter03-183.jpg

证明 记gx=fx+x,则

因此,978-7-111-46233-0-Chapter03-185.jpg存在广义极限,记为L.

L<+∞,对gx)在[xx+1](x>1)上应用拉格朗日中值定理,存在ξx∈(xx+1)使得g′ξx=gx+1)-gx),则978-7-111-46233-0-Chapter03-186.jpg978-7-111-46233-0-Chapter03-187.jpg这表明在(1,+∞)上存在一个点列{ξx},使得

另一方面,由978-7-111-46233-0-Chapter03-189.jpg,令x+∞可得:978-7-111-46233-0-Chapter03-190.jpg这显然与刚才的结论矛盾,所以L=+.

3.26 证明:若函数fx)在[ab]上连续,在(ab)内可导,且a≥0,则在(ab)内存在三点x1x2x3,使得

(川大).

证明 应用柯西中值定理,分别取gx=xx2x3.注意到a≥0,故∀x∈(ab),均有g′x)≠0.具体如下:

gx=x,则∃x1∈(ab),使

gx=x2,则∃x2∈(ab),使

gx=x3,则∃x3∈(ab),使

由式(1)、式(2)、式(3)可知结论成立.

3.6 这个命题很容易推广到如下形式:

设函数fx)在[ab]上连续,在(ab)内可导,且a≥0,则∃x1x2,…,xn∈(ab),使得

类题1 若fx)在[ab]上连续,在(ab)内可微,a>0.证明:在[ab]上存在三个点x1x2x3,使

提示 取g1x=x2g2x=x4g3x=lnx.fx)和gix)(i=1,2,3)在[ab]上应用柯西中值定理即可.

类题2 设fx)在[ab]上有三阶导数,证明:∃ξ∈(ab),使得

郑州大学.

提示 令978-7-111-46233-0-Chapter03-200.jpgFx),Gx)连续使用两次柯西中值定理即可.

3.27 设函数fx)在闭区间[ab]上连续,在开区间(ab)内可导,且f′x>0.若极限978-7-111-46233-0-Chapter03-201.jpg存在,证明:

(1)在(ab)内fx>0;

(2)在(ab)内存在点ξ,使

(3)在(ab)内存在与(2)中ξ相异的点η,使

(数学Ⅱ).

证明 (1)由978-7-111-46233-0-Chapter03-204.jpg存在知,978-7-111-46233-0-Chapter03-205.jpg.fx)在[ab]上连续,可知fa=0.f′x>0,故

fx>fa=0, x∈(ab.

(2)取978-7-111-46233-0-Chapter03-206.jpgx∈[ab].Fx),gx)在[ab]上应用柯西中值定理即可.

(3)由fξ=fξ-fa),在[aξ]上应用拉格朗日中值定理知,∃η∈(aξ),使fξ=f′η)(ξ-a.fξ)代入(2)的结论中,整理即可.

3.28 设fx)在[ab]上连续,在(ab)内可导,且f′x)≠0.证明:

ξη∈(ab),使得

(数学Ⅲ).

分析 将结论变形为

进而写成

978-7-111-46233-0-Chapter03-210.jpg可以看出,首先应对fx)和ex在[ab]上应用柯西中值定理.这样就有η∈(ab),使(www.xing528.com)

在式(1)中,若978-7-111-46233-0-Chapter03-212.jpg

fb-fa=b-af′ξ. (3)

再结合式(2),问题就解决了.而对fx)在[ab]上应用拉格朗日中值定理即可知式(3)成立.

3.29 设fx)在[ab]上连续,在(ab)内可导,且fa=fb=1.试证明:∃ξη∈(ab),使

eη-ξ[fη+f′η)]=1.(数学Ⅳ).

分析 将结论变形为

eη[fη+f′η)]=eξ

[exfx)]x=η=eξ.

由上式左端可见,首先应对exfx)在[ab]上应用拉格朗日中值定理,即∃η∈(ab),使

注意到fb=fa=1,则式(1)变为

再对ex在[ab]上应用拉格朗日中值定理知,∃ξ∈(ab)使

由式(1)、式(2)、式(3)可知,结论成立.

3.30 设fx)在[0,1]上连续,在(0,1)内可导,且f(0)=f(1)=0,978-7-111-46233-0-Chapter03-216.jpg试证:(1)978-7-111-46233-0-Chapter03-217.jpg,使fη

(2)对任意实数λ,必存在ξ∈(0,η),使f′ξ[fξ]=1.

(数学Ⅲ).

分析 (1)令Fx=fx-x,对Fx)在978-7-111-46233-0-Chapter03-218.jpg上应用根的存在定理即可.

(2)将结论中ξ换成xf′x[fx-x]=1.

即 [f′x-1][fx-x]=0,

亦即 [fx-x]′-λ[fx-x]=0,

或 {e-λx[fx-x]}′=0.

由此可见,令Fx=e-λx[fx-x],对Fx)在[0,η]上应用罗尔定理即可.

下面看一个将罗尔定理和积分中值定理结合起来的题目.

3.31 设函数fx)在[0,1]上连续,在(0,1)内可导,且满足

证明:至少存在一点ξ∈(0,1),使f′ξ=(1-1fξ) (数学Ⅲ).

证明 令Fx=xe1-xfx),则Fx)在[0,1]上连续,在(0,1)内可导.由题设,利用积分中值定理知,978-7-111-46233-0-Chapter03-220.jpg,使得

因此,由罗尔定理可知,∃ξ∈(η,1)⊂(0,1),使得F′ξ=0.由于F′x=xe1-xf′x+(1-x)e1-xfx),

故有

f′ξ=(1-1fξ.

下面的几个题目均属于这种类型,同学们可仿照例3.31的方法证明之.

(1)设函数fx)在[0,1]上连续,在(0,1)内可导,且978-7-111-46233-0-Chapter03-222.jpg.证明:∃ξ∈(0,1),使f′ξ=0(数学Ⅰ,Ⅱ).

(2)设函数fx)在[0,1]上可微,且978-7-111-46233-0-Chapter03-223.jpg证明:∃ξ∈(0,1),使fξ+ξf′ξ=0(数学Ⅳ).

(3)设函数fx)在[0,1]上连续,在(0,1)内可导,且满足

证明:∃ξ∈(0,1),使f′ξ=2ξfξ)(数学Ⅳ).

3.32 设函数fx)在[ab]上连续,在(ab)内可微,又fx)不是线性函数.证明:∃c∈(ab),使

分析 设过点(afa))与(bfb))的直线方程为gx),必存在一点ξ∈(ab),使gξ)≠fξ)(因为fx)不是线性函数),则过点(afa))与(ξfξ))的直线斜率k1,和过点(ξfξ))与(bfb))的直线斜率k2中必有一个大于978-7-111-46233-0-Chapter03-226.jpg.再对k1k2应用拉格朗日中值定理,便可得结论.

证明 过点(afa))与(bfb))的直线方程为

显然,ga=fa),gb=fb.由于fx)不是线性函数,故存在点ξ∈(ab),使gξ)≠fξ.不妨设gξ<fξ),则有

由拉格朗日中值定理,∃c1∈(aξ)和c2∈(ξb),使

fa)≤fb)时,有978-7-111-46233-0-Chapter03-230.jpg,取c=c1

fa>fb)时,有978-7-111-46233-0-Chapter03-231.jpg,取c=c2.于是,总存在c∈(ab),使

推论 在例3.31的条件下,附加fb>fa),则∃c∈(ab),使

(上海交大).

3.33 设fx)定义在[0,c]上,f′x)存在且f′x)↓,f(0)=0.证明:对0≤aba+bc,有

fa+b)≤fa+fb.

证明 当a=0时,结论显然成立;

a>0时,在[0,a]上应用拉格朗日中值定理,有

在[ba+b]上应用拉格朗日中值定理,有

因为ξ21,所以f′ξ2)≤f′ξ1),从而有

fa)≥fa+b-fb.

类题 设在[0,a]上∣f″x)∣≤M,且fx)在(0,a)内取到最大值.证明:

f′(0)∣+f′a)∣≤Ma.

提示 设fx)在c∈(0,a)点取到最大值,则f′c=0.在[0,c]和[ca]上对f′x)分别应用拉格朗日中值定理即可.

3.34 设fx)在[0,1]上可导,且f(0)=0,f(1)=1.证明:(0,1)内存在两个不同点x1x2,使

分析 显然要使用两次拉格朗日中值定理.c∈(0,1),对fx)在区间[0,c]和[c,1]上分别应用拉格朗日中值定理可得

欲使

只要978-7-111-46233-0-Chapter03-239.jpg即可.f(0)=0,f(1)=1,由连续函数的介值定理,存在c∈(0,1),使978-7-111-46233-0-Chapter03-240.jpg.这样,问题便解决了!

例3.34的一般形式是下面的例题.

3.35 设fx)在[0,1]上可导,且f(0)=0,f(1)=1,k1k2,…,knn个正数.证明在区间[0,1]内存在一组互不相等的数x1x2,…,xn,使得

(中国科大).

证明 用上例的思路来证明之.

K=k1+k2++kny0=0以及

显然0=y0<y1<y2<<yn=1.t0=0,tn=1.在[0,1]上对fx)应用介值定理,可以求得一点t1∈(0,1)使ft1=y1.再在[t1,1]上对fx)应用介值定理,又可求得一点t2∈(t1,1),使ft2=y2.如此下去,可以求出t3<t4<<tn-1<1,使得fti=yii=3,4,…,n-1).总之,我们有fti=yii=0,1,…,n.

在每一个小区间[ti-1ti]上,对fx)应用拉格朗日中值定理,存在xi∈(ti-1ti),使得

yi-yi-1=fti-fti-1=f′xi)(ti-ti-1),

亦即

将上式对i从1到n求和,可得

3.36 如果函数fx)在[0,1]上可导,且f(0)=0,∀x∈[0,1],有∣f′x)∣≤∣fx)∣.证明:fx)≡0,x∈[0,1].

证法1 显然fx)在[0,1]上有界,即∃M>0,∀x∈[0,1]有∣fx)∣≤M.x∈(0,1],对fx)在[0,x]上应用拉格朗日中值定理,有

fx)∣=f′ξ1)(x-0)∣=f′ξ1)∣x≤∣fξ1)∣x, 01<x

fξ1)∣=fξ1-f(0)∣=f′ξ2)∣ξ1≤∣fξ2)∣x, 021<x.

如此下去,可得到

fx)∣≤∣fξn)∣xnMxn,0nn-1<1<x.

978-7-111-46233-0-Chapter03-246.jpg,可得fx=0.再由fx)在[0,1]上连续,有978-7-111-46233-0-Chapter03-247.jpg故∀x∈[0,1],均有fx=0.

证法2 ∀ε>0,设fx)在[0,1]上的最大值为M,且在点x0取到,即fx0=M.由拉格朗日中值定理,有

M=fx0-f(0∣)=f′ξx0∣≤∣fξ)∣x0M(1), 0<ξ<x0.

由此知M=0,即在[0,1]上fx)≡0.ε>0的任意性及fx)的连续性知,在[0,1]上fx)≡0.

下面的两个题目均属于这一类型,它们不难用本例的方法给予证明.

类题1 设fx)在[0,+∞)上可微,f(0)=0,并设有实数A>0,使得∣f′x)∣≤Afx)∣在[0,+∞)上成立.试证明:在[0,+∞)上fx)≡0 (广西大学).

提示 设fx)在978-7-111-46233-0-Chapter03-248.jpg上最大值为M,且在点x0取到,即fx0=M.由拉格朗日中值定理,有

由此可知,M=0,即在978-7-111-46233-0-Chapter03-250.jpgfx)≡0.

余下的用数学归纳法证明在一切978-7-111-46233-0-Chapter03-251.jpg上恒有fx)≡0.从而在[0,+∞)上,fx)≡0.

类题2 设fx),gx)在[ab]上连续,gx)在(ab)内可微,且ga=0.若有实数λ≠0,使得

gx)·fx+λg′x)∣≤∣gx)∣,x∈(ab

成立.试证明:在[ab]上gx)≡0 (浙江大学.

提示 由所给的不等式可知,

其中978-7-111-46233-0-Chapter03-253.jpg

3.7 在类题1的证明过程中,我们用了逐步延拓思想.这种思想在微分方程和解析函数论中会经常用到,希望同学们仔细领会它.

3.37 设fx)在[0,1]上连续,在(0,1)内可导,且f(0)=f′(0)=0,f(1)=1.证明:∀a∈[0,1],∃ξ∈[0,1],使f′ξ=a.

证明 在[0,1]上对fx)应用拉格朗日中值定理,∃η∈(0,1),使978-7-111-46233-0-Chapter03-254.jpg,即f′(0)<a<f′η),由达布定理知,∃ξ∈(0,1),使f′ξ=a.而当a=0和a=1时,结论显然成立.

类题 设

证明:不存在一个函数以fx)为其导函数(中科院).

提示 用反证法.假设Fx)以fx)为导函数,即F′x=fx),xR.978-7-111-46233-0-Chapter03-256.jpg,即fx)以x=0为第一类间断点.这与达布定理矛盾.

3.38 设函数fx)在区间(-∞,+∞)上二次可微,且有界.证明:∃x0∈(-∞,+∞),使得f″x0=0 (武大).

证明 若f″x)变号,由导数的介值性,∃x0∈(-∞,+∞),使得f″x0=0.

下证:在题目的条件下,f″x)必变号.

若不然,不妨设f″x>0,则f′x)严格↑.η∈(-∞,+∞)使f′η)≠0.

f′η>0,则当x>η,并令x+∞时,有

fx=fη+f′ξ)(x-η>fη+f′η)(x-η)→+∞;

f′η<0,则当x<η,并令x-∞时,有

fx=fη+f′ξ)(x-η>fη+f′η)(x-η)→+.

这与fx)有界性假设相矛盾.

f″x<0,可类似地证明.

3.39 设a>1,函数f:(0,+∞)→(0,+∞)可微.证明:存在趋向于无穷的正数列{xn},使得

f′xn<faxn),n=1,2,….

证明 用反证法.若结论不成立,则存在x0>0,使得当xx0时,有f′x)≥fax)>0.由此可知,当x>x0时,fx)严格递增.注意到a>1,由微分中值定理,有

fax-fx=f′ξ)(a-1)xf)(a-1)x>fax)(a-1)x.

但这对于978-7-111-46233-0-Chapter03-257.jpg是不可能成立的.

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈