中值定理与洛必达法则
本文基于模型知识整理（生成时未联网核对），定理链与条件建议对照 Stewart §4.2、§4.4 复核。
一句话定义
中值定理家族是"导数与函数值之间的桥梁"：Rolle（两端等高必有水平切线）→ Lagrange（$f(b)-f(a)=f'(\xi)(b-a)$，平均速度必在瞬间出现过）→ Cauchy（参数版）；洛必达法则则是用导数之比求 0/0 与 ∞/∞ 型极限的工具——两者合起来把"只知道导数"变成"能推断函数行为"。
为什么重要
中值定理是微分学的理论脊梁：单调性判据、凸性推论、误差估计（kp-008 的 Lagrange 余项）、牛顿法收敛分析全部以它为地基。洛必达则是处理 $\frac00$、$\frac\infty\infty$ 的实战重炮——但它有严格适用条件，误用清单长到值得单列（kp-033）。
前置知识
核心概念
- Rolle 定理：[a,b] 连续、(a,b) 可微、f(a)=f(b) ⇒ 存在 $\xi$ 使 $f'(\xi)=0$。
- Lagrange 中值定理（MVT）：去掉等高条件，$\exists\xi:\ f'(\xi)=\frac{f(b)-f(a)}{b-a}$——平均变化率被某瞬时变化率取到。
- Cauchy 中值定理：$\frac{f'(\xi)}{g'(\xi)}=\frac{f(b)-f(a)}{g(b)-g(a)}$——洛必达的证明引擎。
- 洛必达法则：0/0 或 ∞/∞ 型且导数比极限存在（或为∞）时，$\lim\frac{f}{g}=\lim\frac{f'}{g'}$。
- 其他不定型的转化：$0\cdot\infty$、$\infty-\infty$ 化为分式；$1^\infty,0^0,\infty^0$ 取对数处理（与 kp-005 的第二重要极限接轨）。
原理与机制
MVT 为什么成立（Rolle 的滑动思想）：把 f 的图像向上/下平移使其两端等高（构造 $g=f-kx$ 满足 Rolle 条件），Rolle 给出的水平切点就是原函数的"斜率=平均斜率"点。MVT 是"平均必有瞬时"的严格化：全程平均 60 km/h，途中必有某瞬间时速表读数恰为 60。
中值定理能推什么：
- 单调判据：区间上 $f'>0$ ⇒ 严格递增（对任意两点用 MVT：$f(b)-f(a)=f'(\xi)(b-a)>0$）——kp-010 的地基；
- 导数相同 ⇒ 函数只差常数（推论，积分常数的合法性来源，kp-013）；
- 误差上界：$|f(b)-f(a)|\le M|b-a|$（M 为 |f'| 上界）——kp-008 余项、kp-029 数值微分的误差分析骨架。
洛必达的机制与边界：$\frac{f}{g}$ 在 0/0 处比值无定义，但两函数"消失速度"之比（导数比）有意义——它比较的是"归零速率"（与 kp-004 的阶比较同源）。三大前提：① 确为 0/0 或 ∞/∞；② 分母导数非零邻域内；③ 导数比极限存在（或∞）。逐次使用需每次重新验证。
图示
Rolle: f(a)=f(b) ⇒ ∃ξ, f'(ξ)=0 (最高/最低点的水平切线)
MVT: f(b)−f(a) = f'(ξ)(b−a) (平均速度=某瞬时速度)
洛必达: lim f/g (0/0 或 ∞/∞) = lim f'/g' (比消失速度)
前提: 每次使用前重新验证不定型!
7 种不定型: 0/0, ∞/∞, 0·∞, ∞−∞, 1^∞, 0⁰, ∞⁰直观类比
MVT：一次长途旅行的平均速度，必然有一瞬间车速表恰好指着这个平均数（否则你永远比平均快或慢，不可能首尾吻合）。洛必达：比较两辆同时熄火的赛车谁"坚持得更久"，看它们的减速梯度（导数）之比即可。
实例或案例
- 估计误差：$\sqrt{x+0.1}-\sqrt{x}\approx\frac{0.1}{2\sqrt x}$（MVT，ξ≈x）——"0.1 的差异对大数 x 的平方根几乎无影响"。
- $\lim_{x\to0}\frac{e^x-1-x}{x^2}$：洛必达两次得 1/2（或泰勒一次到位，kp-008 对照）。
- 单调性证明：$x>\ln(1+x)$——令 $f=x-\ln(1+x)$，$f'=1-\frac1{1+x}>0$ 且 f(0)=0。
常见误区
- 误区一："不是 0/0 也用洛必达"。$\lim_{x\to\infty}\frac{x+1}{x+2}$ 是 ∞/∞ 可以用；但 $\lim_{x\to0}\frac{x+1}{x+2}\to1/2$ 用洛必达得 1——不是不定型就与导数比无关。
- 误区二："洛必达越用越顺手导致循环"。$\lim\frac{e^x+e^{-x}}{e^x-e^{-x}}$（∞/∞）求导后倒转循环——洛必达死路，改用恒等变形。
- 误区三："MVT 的 ξ 能求出来"。它只保证存在，通常不给出具体值——其价值是理论桥梁而非计算器。
与其他知识点的关系
自测题
- 叙述 Lagrange 中值定理及其三个前提。
答：[a,b] 连续、(a,b) 可微 ⇒ ∃ξ∈(a,b)：$f'(\xi)=\frac{f(b)-f(a)}{b-a}$。
- $\lim_{x\to0^+}x\ln x$ 是什么型？求值。
答：0·∞ 型；改写 $\frac{\ln x}{1/x}$（∞/∞）洛必达 → $\frac{1/x}{-1/x^2}=-x\to0$。
- 证明：若区间上 $f'=g'$，则 f=g+C。
答：令 h=f−g，h'≡0；对任意两点用 MVT：$h(b)-h(a)=h'(\xi)(b-a)=0$ ⇒ h 恒常。
延伸阅读
- 3Blue1Brown《Essence of Calculus》洛必达一集（速率比较的直觉）。
- Stewart《Calculus》§4.2、§4.4。
- Spivak《Calculus》第 11 章（中值定理族的严格链）。