- 理解罗尔(Rolle)中值定理、拉格朗日(Lagrange)中值定理及它们的几何意义,理解柯西(Cauchy)中值定理、泰勒(Taylor)中值定理。会用罗尔中值定理证明 方程根的存在性。会用拉格朗日中值定理证明一些简单的不等式。
最值定理
闭区间上的连续函数必有最大值和最小值。
即f(x)在[a,b]连续 ⇒m≤f(x)≤M⇒有界
其中,m为f(x)的最小值,M为f(x)的最大值
反例:
y=\frac{1}{x}
f(x)=x1开区间在(0,1)连续,且有最小值1,无最大值(最大值为∞)。
f(x)=x1闭区间[0,1]不连续(因为x=0在f(x)无定义),只有最小值1,无最大值。
若f(x)在(a,b)连续,且{limx→a+f(x)存在limx→b−f(x)存在⇒f(x)在[a,b]有界
限制两个端点趋向于有界值。

零点定理
设f(x)在[a,b]连续,且f(a)⋅f(b)<0
则:至少存在一点ξ∈(a,b),使得f(ξ)=0

步骤:
- 构造函数
- 验证f(a)⋅f(b)<0
- 由零点定理可知,f(ξ)=0
- 即,抄题
证明根存在问题
证明:方程x3−4x2+1=0在区间(0,1)内至少有一个根。
令f(x)=x3−4x2+1∵f(x)为初等函数∴f(x)在[0,1]连续f(0)=1f(1)=1−4+1=−2f(0)⋅f(1)<0∴由零点定理得:至少存在一点ξ∈(0,1)满足ξ3−4ξ2+1=0(即:f(ξ)=0)
证明x=asinx+b至少有一个正根,且它不超过a+b,其中a>0,b>0。
翻译:证明x=asinx+b在区间(0,a+b)内至少有一个根。
令f(x)=x−asinx−bf(0)=0−asin0−b=−bb>0,则−b<0f(a+b)=a+b−asin(a+b)−b=a−asin(a+b)=a(1−sin(a+b))∵sin(a+b)∈[−1,1]∴a(1−sin(a+b))≥0
进行分类讨论:
当a(1−sin(a+b))=0,即f(a+b)=a(1−sin(a+b))=0
所以 a+b 是此方程的根。
当a(1−sin(a+b))>0,即f(a+b)=a(1−sin(a+b))>0
f(0)⋅f(a+b)<0由零点定理可知,至少存在一点ξ∈(0,a+b)满足f(ξ)=0
设f(x)在[a,b]连续,且a<f(x)<b证明至少存在一点ξ使得f(ξ)=ξ
整理得:f(ξ)−ξ=0
令F(x)=f(x)−xF(x) 在 (a,b) 连续F(a)=f(a)−a>0(由题干知 f(x)>a)F(b)=f(b)−b<0F(a)F(b)<0∴ 由零点定理,至少存在 ξ∈(a,b),使 F(ξ)=0即 f(ξ)=ξ
方程x4−x−1=0至少有一个根的区间为
A.(0,21)
B.(21,1)
C.(1,2)
D.(2,3)
方程x4−x−1=0的根即为x4−x−1=0的零点
令f(x)=x4−x−1=0
f(0)=−1f(21)=161−21−1=−1623f(1)=1−1−1=−1f(2)=16−2−1=13f(3)=77∵f(x)为初等函数,在(1,2)内连续又∵f(1)f(2)<0∴由零点定理可知,∃ξ∈(1,2)满足x4−x−1=0
跟定积分结合
设f(x)在[a,b]连续且无零点,又有F(x)=∫axf(t)dt+∫bxf(t)1dt,证明F(x)=0在(a,b)内恰有一个零点。
恰有一个零点
- 证明有零点(零点定理)
- F(x)为单调函数(不管单调增还是减)
草稿F′(x)=(f(x)⋅1−0)+(f(x)1⋅1−0)
开始做题
由提可知F(x)在[a,b]连续F(a)=∫aaf(t)dt+∫baf(t)1dt=−∫abf(t)1dtF(b)=∫abf(t)dt假设f(x)>0则F(a)<0,F(b)>0F(a)F(b)<0由零点定理可知至少存在一点ξ∈(a,b),使F(ξ)=0又∵F′(x)=f(x)+f(x)1>0故F(x)在[a,b]单调递增∴F(x)在(a,b)只有一个零点f(x)<0同样成立,原题得证

与导数结合
求方程根的个数

介值定理
f(x)在[a,b]连续,f(a)=f(b),对于f(a)与f(b)之间任一个数C,至少存在一点ξ∈(a,b),使得f(ξ)=C

⎩⎨⎧条件:m≤f(x)≤M,m≤C≤M结论:∃ξ∈(a,b),f(ξ)=C
已知f(x)在[a,b]连续,a<x1<x2<x3<b,证明:至少存在一点ξ∈(x1,x3)使得f(ξ)=3f(x1)+f(x2)+f(x3)
通过题干可知3f(x1)+f(x2)+f(x3)为一个常数C。
因为f(x)在[a,b]连续,由最值定理得,m≤f(x)≤M其中m为f(x)min,M为f(x)max⎩⎨⎧m≤f(x1)≤Mm≤f(x2)≤Mm≤f(x3)≤M3m≤f(x1)+f(x2)+f(x3)≤3M∴m≤3f(x1)+f(x2)+f(x3)≤M∴由介值定理得,至少存在一点ξ∈(a,b)使f(ξ)=3f(x1)+f(x2)+f(x3)
f(x)在[0,2]上连续,且f(1)+2f(2)=3,证明f(ξ)=1
因为f(x)在[a,b]连续,由最值定理得,m≤f(x)≤M其中m为f(x)min,M为f(x)max⎩⎨⎧m≤f(1)≤Mm≤f(2)≤Mm≤f(2)≤M∴3m≤f(1)+2f(2)≤3M∴m≤3f(1)+2f(2)≤M∴由介值定理得,至少存在一点ξ∈(0,2)使f(ξ)=1=3f(1)+2f(2)=33
若f(x)在[a,b]上连续,a<x1<x2<⋯<xn<b,则在(x1,xn)内至少有一点ξ,使得f(ξ)=nf(x1)+f(x2)+⋯+f(xn)
因为f(x)在[a,b]连续,由最值定理得,m≤f(x)≤M其中m为f(x)min,M为f(x)max⎩⎨⎧m≤f(x1)≤Mm≤f(x2)≤M⋯m≤f(xn)≤Mnm≤f(x1)+f(x2)+⋯+f(xn)≤nM∴n≤nf(x1)+f(x2)+⋯+f(xn)≤M∴由介值定理得,至少存在一点ξ∈(a,b)使f(ξ)=nf(x1)+f(x2)+⋯+f(xn)
若f(x)在[a,b]上连续,证明至少存在一点ξ∈(a,b)使f(ξ)=a1+a2+…+ana1f(x1)+a2f(x2)+…+anf(xn)
模板:
第一步:
因为f(x)在[a,b]连续,由最值定理得,m≤f(x)≤M其中m为f(x)min,M为f(x)max
第二步:
m≤f(x1)≤Mm≤f(x2)≤Mm≤f(x2)≤Ma1m⇒a2manm≤a1f(x1)≤a1M≤a2f(x2)≤a2M≤anf(x0)≤anM
a1m+a2m+⋯+anm≤a1f(x1)+a2f(x2)+⋯+anf(xn)≤a1M+a2M+⋯+anM(a1+a2+⋯an)m≤a1f(x1)+a2f(x2)+⋯+anf(xn)≤(a1+a2+⋯an)Mm≤a1+a2+…+ana1f(x1)+a2f(x2)+…+anf(xn)≤M
最后:
∴由介值定理得,至少存在一点ξ∈(a,b)使f(ξ)=a1+a2+…+ana1f(x1)+a2f(x2)+…+anf(xn)

费马引理
f(x)在x0的某领域∪(x0)内有定义(即函数在点x0以及x0的某个领域∪(x0)都是有定义的),且在x0处可导,如果f(x)≤f(x0),∀x∈∪(x0),则f′(x0)=0
left=0; right=10
top=30; bottom=0;
[[grids|grid]]=true;
---
y=-(x-5)^2+25
x=5|dashed|y<25
y=25|dashed|blue
(5, 25)|point|label:x_0|black
即若f(x)在可导点x0处取极值,则f′(x0)=0
证明(了解)
若x=x0为极大值点f(x0)≥f(x),由保号性f+′(x0)=x→x0+limx−x0f(x)−f(x0)f(x)−f(x0)≤0x−x0>0∴f+′(x0)=x→x0+limx−x0f(x)−f(x0)≤0f−′(x0)=x→x0−limx−x0f(x)−f(x0)f(x)−f(x0)≤0x−x0<0∴f−′(x0)=x→x0−limx−x0f(x)−f(x0)≥0又∵f′(x0)存在∴f′(x0)=0x=x0为极小值点,同理。
罗尔定理
设函数f(x)满足:
- 在
[a,b]上连续
- 在
(a,b)内可导
- f(a)=f(b)
那么至少存在一点ξ∈(a,b),使得f′(ξ)=0
注意是开区间内存在ξ

罗尔定理的证明对象是:f′(x)=0
即:题干要求我们去证明某函数的一阶导等于0且有解
- 通过待证明的结论,构造出原函数 → 即辅助函数 F(x)
- 证明 F(x)存在两端值相等 F(a)=F(b)
如何构造函数总结
公式法:
f′(x)+g(x)⋅f(x)=0构造F(x)=e∫g(x)dx⋅f(x)注意f′(x)前面不能有系数,是单身狗
u′v+uv′=0构造F(x)=uv
积分法:
直接对待证结论中的函数积分得F(x)
题目
直接套公式
已知f(x)在[1,2]上连续,在(1,2)处可导,f(1)=3,f(2)=3,证明:至少存在一点ξ∈(1,2)使f′(ξ)=0
∵f(x)在[1,2]上连续且可导又∵f(1)=f(2)∴由罗尔定理得,∃ξ∈(1,2)使得,f′(ξ)=0
微分方程公式法
标准形式:f′(x)+g(x)⋅f(x)=0构造F(x)=e∫g(x)dx⋅f(x)推广f′(x)+□⋅f(x)=0构造F(x)=e∫□dx⋅f(x)由罗尔定理得存在
设f(x)、g(x)在[a,b]上连续,在(a,b)内可导,且f(a)=f(b)=0,证明:存在ξ∈(a,b)使f′(ξ)+g′(ξ)⋅f(ξ)=0
f′(x)+g′(x)f(x)=0令F(x)=e∫g′(x)dx⋅f(x)F(x)=eg(x)⋅f(x)显然F(x)在[a,b]连续,(a,b)可导F(a)=eg(a)f(a)=0F(b)=eg(b)f(b)=0F(a)=F(b)由罗尔定理得存在ξ∈(a,b)使F′(ξ)=0F′(x)=eg(x)⋅g′(x)f(x)+eg(x)f′(x)F′(x)=eg(x)[f′(x)+g′(x)f(x)]=0
设f(x)在[a,b]上连续,在(a,b)内可导,且f(a)=f(b)=0。证明:存在ξ∈(a,b)使得f′(ξ)+2020⋅f(ξ)=0
令F(x)=e∫2020dx⋅f(x)=e2020xf(x)显然F(x)在[a,b]连续,(a,b)内可导F(a)=0=F(b)∴由罗尔定理得F′(ξ)=0即f′(ξ)+2020⋅f(ξ)=0
f(x)在[0,1]连续,在(0,1)内可导,且f(1)=0,证明:∃ξ∈(0,1)使得f(ξ)+ξ⋅f′(ξ)=0
化简式子凑公式f(x)+x⋅f′(x)=0x1f(x)+f′(x)=0f′(x)+x1f(x)=0
开始做题
令F(x)=e∫x1dx⋅f(x)=elnxf(x)=xf(x)显然F(x)在[0,1]连续,(0,1)内可导F(0)=0F(1)=0F(1)=F(0)由罗尔定理得∃ξ∈(0,1)使得F′(ξ)=0即f(ξ)+ξ⋅f′(ξ)=0
f(x)在[0,1]连续可导,f(0)=0,证明(0,1)内至少有一点ξ∈(0,1)使得f′(ξ)=1−ξ3f(ξ)
思考f′(x)−1−x3f(x)=0f′(x)+x−13f(x)=0令F(x)=e∫x−13dxf(x)F(x)=e3ln∣x−1∣f(x)F(x)=eln∣x−1∣3f(x)F(x)=∣x−1∣3f(x)只需要找到一个辅助函数F(x)=(x−1)3f(x)用另一个F(x),求导后也可以得到同样的结果F(x)=(1−x)3f(x)

令F(x)=(x−1)3f(x)显然F(x)在[0,1]连续,(0,1)可导F(0)=F(1)∴由罗尔定理,∃ξ∈(0,1)使F′(ξ)=0即f′(ξ)=1−ξ3f(ξ)
导数乘法
f(x)在[0,1]连续,在(0,1)内可导,且f(1)=0,证明:∃ξ∈(0,1)使得f(ξ)+ξ⋅f′(ξ)=0
思考过程f(x)+x⋅f′(x)=0u′v+uv′u=xv=f(x)x′⋅f(x)+x⋅f′(x)=0
令F(x)=xf(x)显然F(x)在[0,1]连续,(a,b)内可导F(0)=F(1)∴由罗尔定理得∃ξ∈(0,1)使得F′(ξ)=0即f(ξ)+ξ⋅f′(ξ)=0
设f(x)、g(x)在[a,b]上连续,(a,b)上可导,证明:至少存在一点ξ∈(a,b)使g(ξ)−g(b)f(a)−f(ξ)=g′(ξ)f′(ξ)
思考:(f(a)−f(ξ))g′(ξ)=(g(ξ)−g(b))f′(ξ)(f(a)−f(ξ))g′(ξ)−(g(ξ)−g(b))f′(ξ)=0g′(ξ)[f(a)−f(ξ)]−[g(ξ)−g(b)]f′(ξ)=0u=g(ξ)−g(b)v=[f(a)−f(ξ)]
令F(ξ)=[g(ξ)−g(b)][f(a)−f(ξ)]F(ξ)在[a,b]连续,(a,b)可导F(a)=F(b)=0∴由罗尔定理∃ξ∈(a,b)使F′(ξ)=0即g(ξ)−g(b)f(a)−f(ξ)=g′(ξ)f′(ξ)
设0<a<b,函数f(x)在[a,b]上连续,(a,b)上可导,且f(a)=b, f(b)=a,证明∃ξ∈(a,b),使得f′(ξ)=−ξf(ξ)
思考f′(x)+xf(x)=0xf′(x)+f(x)=0f′(x)x+f(x)⋅(x)′=0
令F(x)=xf(x),显然F(x)在[a,b]连续,(a,b)可导F(a)=abF(b)=baF(a)=F(b)∴由罗尔定理∃ξ∈(a,b),使F′(ξ)=0即f′(ξ)=−ξf(ξ)
设函数f(x)在[a,b]上连续,(a,b)上可导,证明:∃ξ∈(a,b),使b−ξf(ξ)−f(a)=f′(ξ)

硬凑
设函数f(x)在[a,b]上连续,(a,b)上可导,f(a)=f(b)=0,证明:对任意实数α,∃ξ∈(a,b),使得f′(ξ)=αf(ξ)
硬凑f′(x)−αf(x)=0□f′(x)+□⋅(−α)f(x)=0(□)′=−α□∴□=e−αx∴F(x)=f(x)⋅e−αx
直接积分
已知f(x)在[1,2]上连续,在(1,2)处可导,f(1)=2,f(2)=3,证明至少存在一点ξ,使f′(ξ)=1。
模板:
⎩⎨⎧等号右边全移到左边,使等式右边为0根据左边F′(x)找F(x)验证F(a)=F(b)由罗尔定理F′(ξ)=0,即答案
∵f(x)在[1,2]上连续且可导令F(x)=f(x)−x则F(1)=f(1)−1=2−1=1F(2)=f(2)−2=3−2=1又∵F(1)=F(2)由罗尔定理可得∃ξ∈(1,2)使得,F′(ξ)=0即F′(ξ)=f′(ξ)−1=0
设f(x)在[0,1]上连续,在(0,1)可导,且f(0)=0,f(1)=1,证明:存在一点ξ∈(0,1),使f′(ξ)=2ξ
有导数,优先用罗尔
F′(ξ)=f′(ξ)−2ξ即求F(ξ)=∫[f′(ξ)−2ξ]dξF(x)=f(x)−x2
现在可以证明
令F(x)=f(x)−x2∵f(x)在[0,1]连续,在(0,1)可导且F(1)=0=F(2)∴由罗尔定理可知至少存在一点ξ∈(0,1)使F′(x)=0即f′(ξ)−2ξ=0
若f(x)在[1,e]连续,(1,e)可导,且f(1)=0,f(e)=1,证明:∃ξ∈(1,e),使:ξf′(ξ)=1
思考xf′(x)−1=0f′(x)−x1=0∫[f′(x)−x1]dx
令F(x)=f(x)−lnxF(x)在[1,e]上连续,(1,e)可导F(1)=0=F(e)由罗尔定理得∃ξ∈(1,e)使F′(ξ)=0即ξf′(ξ)=1
端点值不好判断
设f(x)在[0,1]连续,(0,1)可导,且f(0)=f(1)=0,f(21)=1,证明:∃ξ∈(0,1)使f′(ξ)=1
令F(x)=f(x)−x显然F(x)在[0,1]连续,(0,1)可导F(0)=f(0)−0=0F(1)=f(1)−1=−1F(21)=f(21)−21=21F(1)F(21)<0由零点定理可知∃ξ1∈(0,1),使F(ξ1)=0又∵F(ξ1)=F(0)由罗尔定理得∃ξ∈(0,1),使F′(ξ)=0即f′(ξ)=1
设f(x)在[1,3]连续,(1,3)可导,且f(1)=-1,f(2)=3,f(3)=0,证明:∃ξ∈(1,3)使f′(ξ)=0
已知f(x)在[1,3]连续,(1,3)可导f(1)=−1f(2)=3f(1)f(2)<0由零点定理可知∃ξ1∈(1,3),使f(ξ1)=0又∵f(ξ1)=0=f(3)∴由罗尔定理可知∃ξ∈(1,3),使f′(ξ)=0得证
拉格朗日(Lagrange)中值定理
设函数f(x)满足:
- 在
[a,b]上连续
- 在
(a,b)内可导,则至少存在一点ξ∈(a,b),使得b−af(b)−f(a)=f′(ξ),或写为f(b)−f(a)=f′(ξ)(b−a)

函数f(x)=x(x-1)在[1,4]上满足拉格朗日中值定理的ξ=
f(x)f′(x)b−af(b)−f(a)=x2−x=2x−1=4−1f(4)−f(1)=312−0=4
f′(ξ)=4
2x−1=4,x=25
证明不等式
找到函数差
tanx=tanx−tan0lnx=lnx−ln1arctanx=arctanx−arctan0af(a)−bf(b)=F(a)−F(b)lnba=lna−lnb
双边不等式
对于任意0<x<2π,证明x<tanx<cos2xx成立
x<tanx−tan0<cos2xxxx<x−0tanx−tan0<cos2x⋅xx1<x−0tanx−tan0<cos2x1
令F(x)=tanx,x∈(0,2π)显然F(x)在(0,2π)可导连续即证:1<x−0tanx−tan0<cos2x1由拉氏定理得:x−0tanx−tan0=sec2ξ,ξ∈(0,x)
上面的式子忘了再复习:
2. 在(a,b)内可导,则至少存在一点ξ∈(a,b),使得b−af(b)−f(a)=f′(ξ),或写为f(b)−f(a)=f′(ξ)(b−a)
只需证1<sec2ξ<cos2x11<cos2ξ1<cos2x1,ξ∈(0,x),x∈(0,2π)∵0<ξ<x,0<x<2π即0<ξ<x<2πcosξ>cosxcos2ξ>cos2xcos2ξ1<cos2x1即原式成立
当0<a<b时,证明:nan−1(b−a)<bn−an<nbn−1(b−a)
移项得nan−1<b−abn−an<nbn−1
令F(x)=xnF′(x)=nxn−1欲证原式成立,即证:nan−1<b−abn−an<nbn−1由拉氏定理得:b−abn−an=nξn−1故只需nan−1<nξn−1<nbn−1,其中ξ∈(a,b)显然原式成立
证明:当x>0时,1+xx<ln(1+x)<x
1+xx<ln(1+x)<x1+xx<ln(1+x)−ln1<xx(1+xx)<(1+x)−1ln(1+x)−ln1<xx1+x1<(1+x)−1ln(1+x)−ln1<1由拉氏定理得(1+x)−1ln(1+x)−ln1=ξ1,其中ξ∈(1,1+x)∵1<ξ<1+x∴1+x1<ξ1<1所以原式成立
用另一个不等式
1+xx<ln(1+x)−ln1<x
套公式
f(1+x)−f(1)=f′(ξ)(1+x−1)=f′(ξ)x
由拉氏定理:ln(1+x)−ln1=ξ1x,ξ∈(1,1+x)即证1+xx<ξ1x<x1+x1<ξ1<1,ξ∈(1,1+x)显然成立∴1+xx<ln(1+x)−ln1<x
证明:7π>sin7π>73
7π>sin7π−sin0>731>7πsin7π−sin0>π3由拉氏定理得7πsin7π−sin0=cosξ,ξ∈(0,7π)即证:1>cosξ>π3,ξ∈(0,7π)
拉不出来
构造函数做:

已知a>b>0,证明:aa−b<lnba<ba−b
aa−b<lnba<ba−baa−b<lna−lnb<ba−ba1<a−blna−lnb<b1令f(x)=lnxf(x)在[b,a]上连续,在(b,a)内可导,由拉氏定理得存在一点a1<ξ1<b1,ξ∈(b,a)∵b<ξ<a∴a1<ξ1<b1,ξ∈(b,a)成立即证aa−b<lnba<ba−b
这道题也可以构造函数做
单边含绝对值的不等式
对于任意x1,x2∈[−1,1],证明:∣arcsinx1−arcsinx2∣≥∣x1−x2∣
思考: arcsinx1−arcsinx2为函数差,再构造变量差
当x1=x2,显然:∣arcsinx1−arcsinx2∣=∣x1−x2∣
不妨设x1>x2
因为arcsinx在[−1,1]单调递增
欲证原式成立,即证:(arcsinx1−arcsinx2)>x1−x2x1−x2arcsinx1−arcsinx2≥1由拉氏定理:x1−x2arcsinx1−arcsinx2=1−ξ21,ξ∈(x1,x2)即−1≤x1<ξ<x2≤1ξ∈(−1,1)显然1−ξ21≥1
构造函数
设f(x)在[a,b]上连续,(a,b)可导,证明:至少存在一点ξ∈(a,b)使得ξf′(ξ)+f(ξ)=b−abf(a)−af(a)
令F(x)=xf(x),显然F(x)在[a,b]连续,在(a,b)可导F′(x)=f(x)+xf′(x)由拉氏定理得b−abf(a)−af(a)=f(ξ)+ξf′(ξ),ξ∈(a,b)
求极限
求极限limx→∞x2(tanx1−tanx+11)
f(x1)−f(x+11)=f′(ξ)(x1−x+11)
设f(x)=tanx则f′(ξ)=sec2ξ
所以,由拉氏定理
原式=x→∞limx2⋅sec2ξ⋅(x1−x+11),其中ξ在x1与x+11之间
随着x→∞,x1∼0,x+11∼0,由夹逼定理可知ξ也趋于0
x→∞limx2⋅cos2ξ1⋅(x1−x+11)x→∞limx2⋅1⋅(x1−x+11)x→∞limx2x(x+1)1x→∞limx2+xx2=1
limx→0ln(1+x)ex−esinx
分母先用等价
limx→0xex−esinx
第一种解法,提因子,先提后者
ex−esinx=esinx(ex−sinx−1)
原式=x→0limesinx⋅xex−sinx−1x→0lim1⋅xx−sinxx→0limx61x3x→0lim61x2=0
第二种解法,洛必达
x→0limex−esinx⋅cosxx→0limex−x→0limesinxcosx1−1=0
第三种解法,拉格朗日
f(b)−f(a)=f′(ξ)(b−a)
(eξ)′=eξex−esinx=eξ(x−sinx)
原式=x→0limx(x−sinx)⋅eξξ∈(x,sinx)x→0,且sinx→0∴ξ→0原式=x→0limx(x−sinx)x→0limx61x3x→0lim61x2=0
证明题
已知f(x)在[0,1]上连续,在(0,1)内可导,f(0)=0,f(1)=1
- 证明:存在一点ξ∈(0,1)使f(ξ)=1−ξ
- 存在不同两点η1,ξ1∈(0,1)使f′(η1)⋅f′(ξ1)=1

柯西中值定理
真题
