跳到主要内容

微分中值定理及其应用:从局部导数洞察整体趋势

微分中值定理建立了导数(局部信息)与函数增量(整体信息)之间的桥梁,是极值、不等式、误差估计与极限法则的核心工具。


一、 三大微分中值定理

1. 罗尔定理

ff[a,b][a,b] 上连续,在 (a,b)(a,b) 内可导,且 f(a)=f(b)f(a)=f(b),则存在 ξ(a,b)\xi\in(a,b) 使

f(ξ)=0. f'(\xi)=0.

2. 拉格朗日中值定理

ff[a,b][a,b] 上连续,在 (a,b)(a,b) 内可导,则存在 ξ(a,b)\xi\in(a,b) 使

f(b)f(a)=f(ξ)(ba). f(b)-f(a)=f'(\xi)(b-a).

3. 柯西中值定理

f,gf,g[a,b][a,b] 上连续,在 (a,b)(a,b) 内可导,且 g(x)0g'(x)\neq 0,则存在 ξ(a,b)\xi\in(a,b) 使

f(b)f(a)g(b)g(a)=f(ξ)g(ξ). \frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(\xi)}{g'(\xi)}.

二、 L'Hopital 法则与常见未定式

00\frac00\frac{\infty}{\infty} 型,若满足可导与分母导数不为零等条件,且导数比极限存在(或为无穷),则

limf(x)g(x)=limf(x)g(x). \lim\frac{f(x)}{g(x)}=\lim\frac{f'(x)}{g'(x)}.

其余类型可转化:

  • 00\cdot\infty 转化为分式;
  • \infty-\infty 通过通分或有理化;
  • 1,00,01^\infty,0^0,\infty^0fg=eglnff^g=e^{g\ln f} 转化。

三、 泰勒公式与余项

ffx0x_0 邻域内有足够阶导数,则

f(x)=k=0nf(k)(x0)k!(xx0)k+Rn(x). f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k+R_n(x).

常见余项:Peano、Lagrange、Cauchy、积分型。实际应用中,Peano 常用于极限主项比较,Lagrange 常用于不等式与误差上界。


四、 典型例题(多方法联动)

例题 1:L'Hopital 基础题

limx0xsinxx3. \lim_{x\to0}\frac{x-\sin x}{x^3}.
点击查看解析与答案

连续三次使用 L'Hopital:

limx0xsinxx3=limx01cosx3x2=limx0sinx6x=16. \lim_{x\to0}\frac{x-\sin x}{x^3}=\lim_{x\to0}\frac{1-\cos x}{3x^2}=\lim_{x\to0}\frac{\sin x}{6x}=\frac16.

例题 2:中值定理证明单调性

f(x)m>0f'(x)\ge m>0x[a,b]x\in[a,b]),证明 ff[a,b][a,b] 上严格增。

点击查看解析与答案

任取 x1<x2x_1<x_2,由拉格朗日中值定理

f(x2)f(x1)=f(ξ)(x2x1),ξ(x1,x2). f(x_2)-f(x_1)=f'(\xi)(x_2-x_1),\quad \xi\in(x_1,x_2).

f(ξ)m>0f'(\xi)\ge m>0x2x1>0x_2-x_1>0,得 f(x2)f(x1)>0f(x_2)-f(x_1)>0

ff 严格递增。

例题 3:泰勒展开求极限

limx0cosxex2/2x4. \lim_{x\to0}\frac{\cos x-e^{-x^2/2}}{x^4}.
点击查看解析与答案

展开至 x4x^4

cosx=1x22+x424+o(x4),ex2/2=1x22+x48+o(x4). \cos x=1-\frac{x^2}{2}+\frac{x^4}{24}+o(x^4), \quad e^{-x^2/2}=1-\frac{x^2}{2}+\frac{x^4}{8}+o(x^4).

差为 (12418)x4+o(x4)=112x4+o(x4)\left(\frac1{24}-\frac18\right)x^4+o(x^4)=-\frac1{12}x^4+o(x^4)

极限为 112-\frac1{12}

例题 4:余项证明不等式

证明对 x>0x>0,有

ex>1+x+x22. e^x>1+x+\frac{x^2}{2}.
点击查看解析与答案

00 点二阶展开:

ex=1+x+x22+eξ6x3,ξ(0,x). e^x=1+x+\frac{x^2}{2}+\frac{e^{\xi}}{6}x^3,\quad \xi\in(0,x).

x>0x>0eξ>0e^{\xi}>0,余项大于 00,结论成立。


五、 配套练习(折叠答案)

练习 1:L'Hopital 陷阱辨析

limxx+sinxx\lim_{x\to\infty}\frac{x+\sin x}{x}

点击查看过程与答案

拆分:x+sinxx=1+sinxx\frac{x+\sin x}{x}=1+\frac{\sin x}{x},后项趋于 00,极限为 11

不建议直接套 L'Hopital,因为反复求导会引入振荡项,不如先代数化简。

练习 2:拉格朗日中值定理应用

证明对任意 x>0x>0,有

ln(1+x)<x. \ln(1+x)<x.
点击查看过程与答案

f(t)=lntf(t)=\ln t,在区间 [1,1+x][1,1+x] 用拉格朗日中值定理:

ln(1+x)ln1=f(ξ)x=xξ,ξ(1,1+x). \ln(1+x)-\ln1=f'(\xi)x=\frac{x}{\xi},\quad \xi\in(1,1+x).

ξ>1\xi>1,故 xξ<x\frac{x}{\xi}<x,即 ln(1+x)<x\ln(1+x)<x

练习 3:泰勒主项比较

比较 1+2x(1+x)\sqrt{1+2x}-(1+x)x2x^2x0x\to0 时的等价关系。

点击查看过程与答案
1+2x=1+xx22+o(x2). \sqrt{1+2x}=1+x-\frac{x^2}{2}+o(x^2).

所以

1+2x(1+x)=x22+o(x2), \sqrt{1+2x}-(1+x)=-\frac{x^2}{2}+o(x^2),

x2x^2 同阶,且比值趋于 12-\frac12

练习 4:二阶导数存在性结论

fC2[0,1]f\in C^2[0,1]f(0)=f(1)=0f(0)=f(1)=0,且在某点取到最小值 1-1。证明存在 ξ(0,1)\xi\in(0,1) 使 f(ξ)8f''(\xi)\ge 8

点击查看过程与答案

设最小值点为 x0(0,1)x_0\in(0,1),则 f(x0)=1f(x_0)=-1

[0,x0][0,x_0][x0,1][x_0,1] 分别用拉格朗日中值定理,得点 ξ1(0,x0),ξ2(x0,1)\xi_1\in(0,x_0),\xi_2\in(x_0,1) 使

f(ξ1)=10x0=1x0,f(ξ2)=0(1)1x0=11x0. f'(\xi_1)=\frac{-1-0}{x_0}=-\frac1{x_0},\quad f'(\xi_2)=\frac{0-(-1)}{1-x_0}=\frac1{1-x_0}.

再在 [ξ1,ξ2][\xi_1,\xi_2]ff' 用拉格朗日中值定理,存在 ξ\xi 使

f(ξ)=f(ξ2)f(ξ1)ξ2ξ1>f(ξ2)f(ξ1)=11x0+1x0=1x0(1x0)4. f''(\xi)=\frac{f'(\xi_2)-f'(\xi_1)}{\xi_2-\xi_1} >f'(\xi_2)-f'(\xi_1)=\frac1{1-x_0}+\frac1{x_0} =\frac{1}{x_0(1-x_0)}\ge 4.

若进一步在端点与极小值点构造二次插值函数并比较,可强化得到教材常见结论 f(ξ)8f''(\xi)\ge 8


六、 章节联动练习入口


编者注:中值定理真正的力量,在于把“定性结论”转化为“定量估计”。