微分中值定理建立了导数(局部信息)与函数增量(整体信息)之间的桥梁,是极值、不等式、误差估计与极限法则的核心工具。
若 f 在 [a,b] 上连续,在 (a,b) 内可导,且 f(a)=f(b),则存在 ξ∈(a,b) 使
f′(ξ)=0.
若 f 在 [a,b] 上连续,在 (a,b) 内可导,则存在 ξ∈(a,b) 使
f(b)−f(a)=f′(ξ)(b−a).
若 f,g 在 [a,b] 上连续,在 (a,b) 内可导,且 g′(x)=0,则存在 ξ∈(a,b) 使
g(b)−g(a)f(b)−f(a)=g′(ξ)f′(ξ).
对 00 与 ∞∞ 型,若满足可导与分母导数不为零等条件,且导数比极限存在(或为无穷),则
limg(x)f(x)=limg′(x)f′(x).
其余类型可转化:
- 0⋅∞ 转化为分式;
- ∞−∞ 通过通分或有理化;
- 1∞,00,∞0 用 fg=eglnf 转化。
设 f 在 x0 邻域内有足够阶导数,则
f(x)=k=0∑nk!f(k)(x0)(x−x0)k+Rn(x).
常见余项:Peano、Lagrange、Cauchy、积分型。实际应用中,Peano 常用于极限主项比较,Lagrange 常用于不等式与误差上界。
求
x→0limx3x−sinx.
点击查看解析与答案
连续三次使用 L'Hopital:
x→0limx3x−sinx=x→0lim3x21−cosx=x→0lim6xsinx=61.
设 f′(x)≥m>0(x∈[a,b]),证明 f 在 [a,b] 上严格增。
点击查看解析与答案
任取 x1<x2,由拉格朗日中值定理
f(x2)−f(x1)=f′(ξ)(x2−x1),ξ∈(x1,x2).因 f′(ξ)≥m>0 且 x2−x1>0,得 f(x2)−f(x1)>0。
故 f 严格递增。
求
x→0limx4cosx−e−x2/2.
点击查看解析与答案
展开至 x4:
cosx=1−2x2+24x4+o(x4),e−x2/2=1−2x2+8x4+o(x4).差为 (241−81)x4+o(x4)=−121x4+o(x4)。
极限为 −121。
证明对 x>0,有
ex>1+x+2x2.
点击查看解析与答案
在 0 点二阶展开:
ex=1+x+2x2+6eξx3,ξ∈(0,x).因 x>0 且 eξ>0,余项大于 0,结论成立。
求 limx→∞xx+sinx。
点击查看过程与答案
拆分:xx+sinx=1+xsinx,后项趋于 0,极限为 1。
不建议直接套 L'Hopital,因为反复求导会引入振荡项,不如先代数化简。
证明对任意 x>0,有
ln(1+x)<x.
点击查看过程与答案
设 f(t)=lnt,在区间 [1,1+x] 用拉格朗日中值定理:
ln(1+x)−ln1=f′(ξ)x=ξx,ξ∈(1,1+x).因 ξ>1,故 ξx<x,即 ln(1+x)<x。
比较 1+2x−(1+x) 与 x2 在 x→0 时的等价关系。
点击查看过程与答案
1+2x=1+x−2x2+o(x2).所以
1+2x−(1+x)=−2x2+o(x2),与 x2 同阶,且比值趋于 −21。
设 f∈C2[0,1],f(0)=f(1)=0,且在某点取到最小值 −1。证明存在 ξ∈(0,1) 使 f′′(ξ)≥8。
点击查看过程与答案
设最小值点为 x0∈(0,1),则 f(x0)=−1。
在 [0,x0] 与 [x0,1] 分别用拉格朗日中值定理,得点 ξ1∈(0,x0),ξ2∈(x0,1) 使
f′(ξ1)=x0−1−0=−x01,f′(ξ2)=1−x00−(−1)=1−x01.再在 [ξ1,ξ2] 对 f′ 用拉格朗日中值定理,存在 ξ 使
f′′(ξ)=ξ2−ξ1f′(ξ2)−f′(ξ1)>f′(ξ2)−f′(ξ1)=1−x01+x01=x0(1−x0)1≥4.若进一步在端点与极小值点构造二次插值函数并比较,可强化得到教材常见结论 f′′(ξ)≥8。
编者注:中值定理真正的力量,在于把“定性结论”转化为“定量估计”。