中值定理三巨头：拉格朗日·柯西·泰勒公式

今日学习地图

本次费曼主题：中值定理四件套收尾——罗尔之后的三巨头。

中值定理三巨头
├── 拉格朗日中值定理
│   ├── 条件比罗尔少一条：去掉 f(a)=f(b)
│   ├── 结论：割线斜率 = 某点切线斜率
│   ├── 证明：构造 F = f − 斜率·x（把函数"掰直"）
│   └── 应用：ln 不等式（改写差 + 夹逼）
├── 柯西中值定理
│   ├── 两个函数版的拉格朗日
│   ├── g'(x) ≠ 0 的双重作用
│   └── 证明：构造 F = (g(b)−g(a))f − (f(b)−f(a))g
├── 泰勒公式（终极形态）
│   ├── 皮亚诺余项版：条件弱·局部·求极限
│   ├── 拉格朗日余项版：条件强·全局·估误差
│   └── 麦克劳林公式：x₀=0 + 六函数展开
└── 第三充分条件证明（皮亚诺余项实战）

本次需要重点关注的内容：

• 四件套是同一台机器：罗尔是引擎，拉格朗日/柯西/泰勒都是"构造辅助函数 → 用罗尔 → 翻译回原函数"的变奏
• 定理包含链：罗尔 ⊂ 拉格朗日 ⊂ 柯西（g(x)=x 时柯西退化成拉格朗日，f(a)=f(b) 时拉格朗日退化成罗尔）
• 皮亚诺 vs 拉格朗日余项：条件弱→应用窄（局部），条件强→应用宽（全局）——一分条件一分结论
• 构造辅助函数 = 通解/配平：延续 8/25 的方法层

一、拉格朗日中值定理

1.1 定理内容

Important

拉格朗日中值定理：设 $f(x)$ 在闭区间 $[a,b]$ 上连续、开区间 $(a,b)$ 内可导，则存在 $\xi\in(a,b)$，使

与罗尔的对比：罗尔三条件（闭连续 + 开可导 + $f(a)=f(b)$），拉格朗日砍掉 $f(a)=f(b)$，只留前两条就能推出结论。

几何意义：曲线上必有一点，切线斜率等于割线斜率——平均变化率等于某一点的瞬时变化率。

定理包含：若 $f(a)=f(b)$，则割线斜率 $=0$，拉格朗日退化成罗尔——罗尔是拉格朗日"斜率恰好为 0"的特例。

1.2 证明（构造"掰直"函数）

Note

表面矛盾：拉格朗日条件比罗尔少（不需要 $f(a)=f(b)$），却能用罗尔证明？——因为罗尔不是用在 $f$ 身上，而是用在人为构造的 $F$ 身上：$F$ 被设计成满足罗尔的条件（$F(a)=F(b)$），对 $F$ 用罗尔，再把结论翻译回 $f$。

证. 构造

代入端点验证 $F(a)=F(b)$：

所以 $F(a)=F(b)$。$F$ 在 $[a,b]$ 连续、$(a,b)$ 可导（$f$ 继承），罗尔定理给出 $\xi\in(a,b)$，$F'(\xi)=0$。

求导：

$\blacksquare$

Important

构造动机（为什么减"斜率 × x"）：$f$ 本来两端不一样高（差 $f(b)-f(a)$），减去"斜率 × x"这条直线后，把 $f$ 的整体倾斜去掉，两端被"拉平"到一样高——$F$ 是"把 $f$ 掰直"的结果，这才够格用罗尔。验证 $F(a)=F(b)$ 只是确认掰直成功，心里要清楚"为什么这么掰"。

二、拉格朗日应用：ln 不等式（改写差 + 夹逼）

Important

例 1 设 $x>0$，证明 $\dfrac{1}{1+x}\lt\ln\left(1+\dfrac1x\right)\lt\dfrac1x$。

证. 先改写：$\ln\left(1+\dfrac1x\right)=\ln\dfrac{x+1}{x}=\ln(x+1)-\ln x$——改写成同一个函数 $f(t)=\ln t$ 在两点的差。

对 $f(t)=\ln t$ 在 $[x,x+1]$ 用拉格朗日中值定理：存在 $\xi\in(x,x+1)$，

$\xi$ 被夹在 $x$ 和 $x+1$ 之间，取倒数方向反转：

即 $\dfrac{1}{1+x}\lt\ln\left(1+\dfrac1x\right)\lt\dfrac1x$。$\blacksquare$

Important

例 2 设 $x>0$，证明 $\dfrac{x}{1+x}\lt\ln(1+x)\lt x$。

证. 把 $\ln(1+x)$ 写成 $\ln(1+x)-\ln1$，对 $f(t)=\ln t$ 在 $[1,1+x]$ 用拉格朗日中值定理：存在 $\xi\in(1,1+x)$，

于是 $\dfrac{1}{1+x}\lt\dfrac1\xi\lt1$，两边乘 $x>0$：

$\blacksquare$

Important

套路总结：拉格朗日证不等式 = 改写差 + 夹逼。

1. 要证"某量介于两数之间"，先把某量改写成 $f(b)-f(a)$ 的形式
2. 拉格朗日把它变成 $f'(\xi)\cdot(b-a)$
3. 用 $\xi$ 的范围 + $f'$ 的单调性把 $f'(\xi)$ 夹住

选 $f(t)=\ln t$ 是因为 $\ln$ 的导数 $\dfrac1t$ 正好落在不等式中间，且 $\dfrac1t$ 单调递减，夹逼方向不会乱。

Warning

书写易错：例 2 的 $\ln(1+x)=\dfrac{x}{\xi}$（$\xi\in(1,1+x)$），不是 $\dfrac{x}{1+\xi}$。$\xi$ 本身已经大于 1 了，不要再加 1。

三、柯西中值定理

3.1 定理内容

Important

柯西中值定理：设 $f(x)$、$g(x)$ 都在闭区间 $[a,b]$ 上连续、开区间 $(a,b)$ 内可导，且 $g'(x)\neq0$（对一切 $x\in(a,b)$），则存在 $\xi\in(a,b)$，使

与拉格朗日的关系：取 $g(x)=x$，则 $g(b)-g(a)=b-a$、$g'(\xi)=1$，柯西退化成拉格朗日。链条：罗尔 ⊂ 拉格朗日 ⊂ 柯西。

3.2 g’(x) ≠ 0 条件的双重作用

Important

$g'(x)\neq0$ 管两件事：

1. 由拉格朗日，$g(b)-g(a)=g'(\eta)(b-a)\neq0$——保证左边分母 $g(b)-g(a)$ 不为 0
2. $g'(\xi)\neq0$——保证右边分母 $g'(\xi)$ 不为 0

若没有这个条件，结论两边都可能"除以 0"，没意义。

3.3 证明

Note

与拉格朗日证明同款构造，只是把"斜率 × x"换成"斜率 × g(x)"。

证. 构造

先验证 $F(a)=F(b)$：代入展开，交叉项 $f(a)g(b)$、$f(b)g(a)$ 抵消：

$F$ 满足罗尔条件，罗尔给出 $\xi\in(a,b)$，$F'(\xi)=0$。求导：

$F'(\xi)=0$ 得 $\big(g(b)-g(a)\big)f'(\xi)=\big(f(b)-f(a)\big)g'(\xi)$，两边除以 $g'(\xi)\big(g(b)-g(a)\big)$：

$\blacksquare$

分母不为 0 的论证（反证法）：假设 $g(a)=g(b)$，由罗尔定理存在 $c\in(a,b)$ 使 $g'(c)=0$——但这与条件 $g'(x)\neq0$ 矛盾。所以 $g(a)\neq g(b)$，即分母 $g(b)-g(a)\neq0$。除法有依据。

Warning

$g'(x)\neq0$ 不是摆设，它是给除法撑腰的——和例 240（$f(x)\neq0$ 给 $\dfrac{f'(\xi)}{f(\xi)}=k$ 撑腰）是同一个道理。证明里要写"除以 xx 的合法性靠条件 xx"，判卷老师才看到你确认过。

四、泰勒公式：两种形态

Caution

考点预警：泰勒公式是本章公认难点，核心不是背展开式，而是分清两种余项各自的条件和用途。

4.1 带皮亚诺余项的泰勒公式

Important

带皮亚诺余项的泰勒公式：设 $f$ 在 $x_0$ 处有 $n$ 阶导数，则当 $x\to x_0$ 时

条件：只要 $x_0$ 这一点 $n$ 阶可导——条件很弱，不要求邻域内 $n$ 阶连续。

余项：$o\big((x-x_0)^n\big)$ 是 $(x-x_0)^n$ 的高阶无穷小——只告诉你"误差比 $(x-x_0)^n$ 消失得快"，不告诉你误差具体多大。

应用：局部工具，只在 $x\to x_0$ 时有效——求极限、比阶、判断无穷小阶数。

4.2 带拉格朗日余项的泰勒公式

Important

带拉格朗日余项的泰勒公式：设 $f$ 在含有 $x_0$ 的区间 $I$ 内具有 $n+1$ 阶导数，则对任意 $x\in I$，

其中 $\xi$ 介于 $x_0$ 与 $x$ 之间。

条件：整个区间 $I$ 内 $n+1$ 阶可导——条件强。

余项：$f^{(n+1)}(\xi)$ 虽然不知道具体是谁，但 $\xi$ 被夹在 $x_0$ 和 $x$ 之间——能估计误差上界（若 $f^{(n+1)}$ 有界）。

应用：全局工具，整个区间都能用——证不等式、估计误差。

4.3 两种形态对比

Important

一分条件一分结论：条件越弱，能说的越少（只能管 $x_0$ 附近）；条件越强，能说的越多（整个区间都能管）。皮亚诺用 $n$ 阶导换局部逼近，拉格朗日用 $n+1$ 阶导换全局误差控制。

五、麦克劳林公式与六个基本展开

5.1 麦克劳林公式

取 $x_0=0$，泰勒公式变成麦克劳林公式。

带皮亚诺余项版（条件：$f$ 在 $0$ 处 $n$ 阶可导，$x\to0$ 时成立）：

带拉格朗日余项版（条件：$f$ 在含 $0$ 的区间内 $n+1$ 阶可导，$\xi$ 介于 $0$ 与 $x$ 之间，$x>0$ 则 $0\lt\xi\lt x$，$x<0$ 则 $x\lt\xi\lt0$）：

5.2 六个基本函数的皮亚诺麦克劳林展开（x→0）

• $e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots+\dfrac{x^n}{n!}+o(x^n)$

• $\sin x=x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\cdots+(-1)^k\dfrac{x^{2k+1}}{(2k+1)!}+o(x^{2k+1})$

• $\cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots+(-1)^k\dfrac{x^{2k}}{(2k)!}+o(x^{2k})$

• $\ln(1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\cdots+(-1)^{n-1}\dfrac{x^n}{n}+o(x^n)$

• $\dfrac{1}{1+x}=1-x+x^2-x^3+\cdots+(-1)^n x^n+o(x^n)$

• $\dfrac{1}{1-x}=1+x+x^2+x^3+\cdots+x^n+o(x^n)$

Note

记忆锚点：$e^x$ 全正号全阶；$\sin x$ 只有奇次项且符号交替；$\cos x$ 只有偶次项且符号交替；$\ln(1+x)$ 交错且分母是 $n$（不是 $n!$）；$\dfrac{1}{1+x}$ 交错等比；$\dfrac{1}{1-x}$ 全正等比。

Note

$\ln(1+x)$、$\dfrac{1}{1+x}$、$\dfrac{1}{1-x}$ 的展开其实有收敛半径限制（$|x|\lt1$ 才"真等于"）——但皮亚诺余项只管 $x\to0$，局部使用不用 care 收敛半径。这也是皮亚诺版"只管局部"的好处。

六、第三充分条件（n 阶导数判别法）

Important

第三充分条件：设 $f$ 在 $x_0$ 处具有 $n$ 阶导数，且 $f'(x_0)=f''(x_0)=\cdots=f^{(n-1)}(x_0)=0$，$f^{(n)}(x_0)\neq0$。则：

• $n$ 为偶数时：$f^{(n)}(x_0)>0$，$x_0$ 是极小值点；$f^{(n)}(x_0)<0$，$x_0$ 是极大值点
• $n$ 为奇数时：$x_0$ 不是极值点

证. 条件只给到 $x_0$ 处 $n$ 阶可导——恰好够皮亚诺余项（一点 $n$ 阶导），不够拉格朗日余项（区间 $n+1$ 阶导）。硬用拉格朗日版等于私自加条件。写 $n$ 阶带皮亚诺余项的泰勒展开：

前 $n-1$ 项因条件全部消失。把 $(x-x_0)^n$ 提出来：

方括号里：$\dfrac{f^{(n)}(x_0)}{n!}$ 是非零常数（条件 $f^{(n)}(x_0)\neq0$），$o(1)\to0$，所以当 $x$ 足够接近 $x_0$ 时，方括号的符号由 $f^{(n)}(x_0)$ 的符号决定（与 $x$ 从哪侧靠近无关）。于是 $f(x)-f(x_0)$ 的符号 $=$ $(x-x_0)^n$ 的符号 $\times$ $f^{(n)}(x_0)$ 的符号。

情形一：$n$ 为偶数。 $(x-x_0)^n\geqslant0$，在 $x_0$ 两侧不随方向变号。

• $f^{(n)}(x_0)>0$：$x_0$ 附近 $f(x)>f(x_0)$，$x_0$ 是极小值点
• $f^{(n)}(x_0)<0$：$f(x)\lt f(x_0)$，$x_0$ 是极大值点

情形二：$n$ 为奇数。 $(x-x_0)^n$ 在 $x_0$ 左侧为负、右侧为正（过 $x_0$ 变号），$f(x)-f(x_0)$ 两侧反号——$x_0$ 不是极值点（对应拐点型）。$\blacksquare$

Important

与第二充分条件的关系：第二充分条件（$f''(x_0)\neq0$ 判极值）就是本定理 $n=2$ 的特例。而 $f(x)=x^3$ 在 $0$ 处：$f'(0)=f''(0)=0$，$f'''(0)=6\neq0$，$n=3$ 为奇数 → 不是极值——正好解释了"驻点不一定是极值点"的经典反例（呼应 8/25 费马引理篇）。

七、方法层：四件套是同一台机器

罗尔是引擎：条件最苛刻（要 $f(a)=f(b)$），但它是整章的地基。

拉格朗日/柯西/泰勒都是"变速箱"：构造一个满足罗尔条件的辅助函数 $F$，对 $F$ 用罗尔（或中值定理），再把结论翻译回原函数。

• 拉格朗日证明：$F=f-\text{斜率}\cdot x$（把 $f$ 掰直）
• 柯西证明：$F=\big(g(b)-g(a)\big)f-\big(f(b)-f(a)\big)g$（同一构造，$x$ 换成 $g(x)$）
• 泰勒：对"带余项的误差函数"反复用罗尔/中值定理，把高阶导数的信息翻译出来

这与 8/25 的方法层（通解构造辅助函数）完全打通：做题时构造 $F$ 的目标永远是让它满足罗尔（或零点定理）的条件，然后用定理、翻译回 $f$。

八、费曼交锋实录

8.1 “拉格朗日条件更少，却用罗尔证明”——表面矛盾

我的原始直觉：条件更少的定理不该由条件更多的定理证出来。

追问打脸：罗尔不是用在 $f$ 身上的——$f$ 不满足罗尔（两端不等高），但可以构造 $F=f-\text{斜率}\cdot x$ 人为制造 $F(a)=F(b)$，对 $F$ 用罗尔，结论翻译回 $f$。

逻辑修正：构造辅助函数的本质 = 把不满足定理条件的对象，变成满足定理条件的对象。

理解锚点：罗尔是引擎，辅助函数是变速箱——不是 $f$ 满足罗尔，是"掰直后的 $F$“满足罗尔。

8.2 g’(x) ≠ 0 是给除法撑腰的

我的原始直觉：$g'(x)\neq0$ 只是柯西定理的一个技术条件。

追问打脸：它管两件事——保证 $g(b)\neq g(a)$（左分母）和 $g'(\xi)\neq0$（右分母）。

主动补刀（用户自己完成的论证）：反证法——若 $g(a)=g(b)$，罗尔给出 $g'(c)=0$，与 $g'(x)\neq0$ 矛盾，所以 $g(b)\neq g(a)$。除法有依据。

逻辑修正：凡是要"除以某个量”，先确认它不为 0——条件里的 $\neq0$ 都是给除法撑腰的。

8.3 皮亚诺 vs 拉格朗日：用哪个，看条件给到几阶

我的原始直觉：两种泰勒公式差不多，背一个就行。

追问打脸：第三充分条件只给"$x_0$ 处 $n$ 阶可导"——皮亚诺余项够用（一点 $n$ 阶导），拉格朗日余项要区间 $n+1$ 阶导，条件不够。用错余项等于私自加条件。

逻辑修正：条件弱 → 皮亚诺（局部、定性）；条件强 → 拉格朗日（全局、定量）。一分条件一分结论。

理解锚点：看到"一点处 n 阶可导"想皮亚诺；看到"区间内 n+1 阶可导"想拉格朗日。

8.4 语音乱码还原记录

• “可赛/可塞” = $\xi$；“行余项/行于象” = 余项；“探勒” = 泰勒；“终止定理” = 中值定理
• “一阶导等于 2，二阶导等于 3” = 一阶导到 $n-1$ 阶导都等于 0（语音把"一直到 n 减一"听成数字）
• “1 的 X” = $e^x$
• $F'(\xi)$ 说成等于割线斜率——实际 $F'(\xi)=0$，等于割线斜率的是 $f'(\xi)$（$F$ 与 $f$ 要分清）

九、漏洞表

Warning

🔴 死穴一：$F$ 与 $f$ 混淆

• 拉格朗日证明里 $F'(\xi)=0$，$F'$ 不是原函数的导数；结论 $f'(\xi)=\text{斜率}$ 里的 $f$ 才是原函数
• 涉及：拉格朗日证明、柯西证明
• 避免：写结论前问一句"我现在说的是辅助函数还是原函数？"

Warning

🔴 死穴二：皮亚诺/拉格朗日余项混用

• 皮亚诺没有 $\xi$（可赛）——要求"说出 $\xi$ 范围"时用的是拉格朗日余项版
• 条件只给"一点 $n$ 阶导"却用拉格朗日余项 = 私自加条件（第三充分条件反例）
• 涉及：泰勒公式两形态、第三充分条件
• 避免：看条件给到几阶——一点 $n$ 阶导 → 皮亚诺；区间 $n+1$ 阶导 → 拉格朗日

Important

🟡 注意：语音/书写易错点

• $\ln(1+x)=\dfrac{x}{\xi}$（$\xi\in(1,1+x)$），不要写成 $\dfrac{x}{1+\xi}$
• 反证 $g(b)\neq g(a)$ 要写出来（除法依据）
• 六个展开的符号规律：$e^x$ 全正、$\sin/\cos$ 交替、$\ln$ 分母是 $n$、$\dfrac{1}{1-x}$ 全正等比

Note

🟢 已掌握的正向资产

• 拉格朗日"改写差 + 夹逼"证不等式的套路已内化（ln 不等式独立完成）
• 柯西证明主动补上反证 $g(b)\neq g(a)$ 一步——理解 $\neq0$ 条件的作用
• 定理包含链（罗尔 ⊂ 拉格朗日 ⊂ 柯西）视角清晰