第9讲 洛必达法则——它什么时候骗你

洛必达法则你大概用得比我还熟：

$$\lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f'(x)}{g'(x)}$$

$\dfrac{0}{0}$ 型、$\dfrac{\infty}{\infty}$ 型，上下一起求导，干净利落。

但它是定理，不是恒等式。它有前提，而且前提一条都不能少。这一讲讲清三个前提各防什么，然后给你四个真的会翻车的场景。

三个前提，一条都不能少

定理（洛必达）：设 $f$、$g$ 在 $a$ 的某去心邻域内可导，且

1. $\lim\limits_{x\to a} f(x) = 0$、$\lim\limits_{x\to a} g(x) = 0$（或都为 $\infty$）
2. $g'(x) \ne 0$ 在该去心邻域内成立
3. $\lim\limits_{x\to a}\dfrac{f'(x)}{g'(x)}$ 存在（或为 $\infty$）

则

$$\lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f'(x)}{g'(x)}$$

三个前提，逐条说它防什么：

条件一（0/0 或 ∞/∞）：防的是"不是未定式也去求导"。比如 $\dfrac{1}{x}$ 在 $x\to 0$ 时已经是 $\infty$，结论明确，不需要洛必达。硬套会得到 $\dfrac{-1/x^2}{1} = -\infty$——方向都反了。

条件二（$g' \ne 0$）：这个最容易被忽略。它保证分母不会在你求导的过程中突然归零，让新的比式失去意义。柯西中值定理的证明里要用到它。

条件三（右边的极限存在）：这是最深的一条。

右边的极限存在，才能推出左边等于右边。

右边不存在，不代表左边不存在——只代表"这个方法失败了"。

这一条是洛必达被用错的根源。大部分人以为"右边算不出来 = 原极限不存在"，错。右边算不出来，只说明洛必达这条路走不通。

翻车场景一：右边是无穷振荡

$$\lim_{x\to\infty}\frac{x + \sin x}{x}$$

分子分母都趋于 $\infty$，是 $\dfrac{\infty}{\infty}$ 型。套洛必达：

$$\lim_{x\to\infty}\frac{1 + \cos x}{1} = \lim_{x\to\infty}(1 + \cos x)$$

右边在 0 和 2 之间振荡，极限不存在。

按"右边不存在所以左边不存在"？错。直接算：

$$\frac{x + \sin x}{x} = 1 + \frac{\sin x}{x} \to 1 + 0 = 1$$

极限是 1。

这就是条件三的意思：右边不存在时，你什么结论都得不出来，得换方法。

翻车场景二：越用越复杂

有些题洛必达能用，但会陷入死循环。

$$\lim_{x\to 0^+} x\ln x$$

这个是 $0\cdot\infty$ 型，先变形成 $\dfrac{\ln x}{1/x}$（$\dfrac{\infty}{\infty}$ 型）。套洛必达：

$$\lim_{x\to 0^+}\frac{1/x}{-1/x^2} = \lim_{x\to 0^+}(-x) = 0$$

这次右边算出来了，答案是 0。

但看一个更麻烦的：

$$\lim_{x\to 0^+}\frac{e^{-1/x}}{x}$$

套洛必达：

$$\frac{\frac{d}{dx}e^{-1/x}}{1} = \frac{e^{-1/x}\cdot \frac{1}{x^2}}{1} = \frac{e^{-1/x}}{x^2}$$

分子还是那个指数，分母从 $x$ 变成 $x^2$。再来一次：

$$\frac{e^{-1/x}\cdot\frac{1}{x^4}}{2x} = \frac{e^{-1/x}}{2x^5}$$

越导越复杂，永远算不完。

正确做法：令 $t = 1/x$，则 $x \to 0^+$ 等价于 $t \to \infty$：

$$\frac{e^{-1/x}}{x} = t e^{-t} \to 0$$

因为指数衰减压死多项式增长。

洛必达不是万能的。当右边比左边更复杂时，就该停下换工具。

翻车场景三：加减项不能乱换

这个坑第四讲刚讲过，这里从洛必达角度看一遍。

$$\lim_{x\to 0}\frac{\tan x - \sin x}{x^3}$$

有人图快，先把 $\tan x \sim x$、$\sin x \sim x$ 代入，得分子为 0，答案是 0。

用洛必达：三次之后能算出来。第一次：

$$\frac{\sec^2 x - \cos x}{3x^2}$$

代入 $x=0$ 得 $0/0$，继续。第二次：

$$\frac{2\sec^2 x\tan x + \sin x}{6x}$$

还是 $0/0$。第三次：

$$\frac{4\sec^2 x\tan^2 x + 2\sec^4 x + \cos x}{6} \to \frac{0 + 2 + 1}{6} = \frac{1}{2}$$

正确答案是 $\dfrac{1}{2}$，不是 0。

而这个题最漂亮的做法是第四讲教的：

$$\tan x - \sin x = \frac{\sin x}{\cos x} - \sin x = \sin x\cdot\frac{1-\cos x}{\cos x}$$

再用 $\sin x \sim x$、$1 - \cos x \sim \dfrac{x^2}{2}$：

$$\sim x\cdot\frac{x^2/2}{1} = \frac{x^3}{2}$$

所以极限是 $\dfrac{1}{2}$。代数变形 + 等价无穷小，比洛三次必达干净得多。

翻车场景四：用了三次还不知道停

经典例子：

$$\lim_{x\to 0}\frac{x^2\sin(1/x)}{\sin x}$$

一次洛必达之后分子会出现 $\cos(1/x)$，越来越乱。实际上直接看出 $\sin(1/x)$ 有界，$x^2\sin(1/x) \to 0$，分母 $\sin x \sim x$，整体趋于 0。

判断信号：求导一次之后形式没有简化，就该停。

洛必达的证明（为什么右边存在才够用）

定理的证明走柯西中值定理。设 $\lim\limits_{x\to a}f = \lim\limits_{x\to a}g = 0$。

任取 $x$ 靠近 $a$，在区间 $[x, a]$（或 $[a,x]$）上对 $f$、$g$ 用柯西中值定理，存在 $\xi$ 在 $x$ 与 $a$ 之间使

$$\frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f'(\xi)}{g'(\xi)}$$

$x \ne a$ 时 $f(a)=g(a)=0$，所以

$$\frac{f(x)}{g(x)} = \frac{f'(\xi)}{g'(\xi)}$$

当 $x \to a$ 时 $\xi \to a$（因为 $\xi$ 夹在 $x$ 和 $a$ 之间），于是

$$\lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f'(\xi)}{g'(\xi)} = \lim_{\xi\to a}\frac{f'(\xi)}{g'(\xi)}$$

最后一步"等于"成立，靠的正是条件三：右边的极限存在。

而 $\dfrac{\infty}{\infty}$ 型证明类似，只是柯西中值定理的端点要取在一个特定的有限点，技术上更琐碎，思路一样。

一个可操作的判断流程

把上面的经验收成一张决策图。拿到一个极限题，按顺序问：

具体说：

现象	该用什么
分子分母都是多项式	直接因式分解或抓阶数
有 $\sin x$、$\tan x$、$1-\cos x$	先等价无穷小
加减项抵消后留下高阶	泰勒展开到对应阶
幂指函数 $f^g$	取对数化成乘积
$e^{-1/x}$ 这类指数衰减	变量替换 $t = 1/x$
洛必达一次没简化	停，换方法

"先试等价无穷小，再考虑洛必达" 这个顺序，能省掉大部分麻烦。

讲给学生听时，讲什么

第一，把条件三说透。 "右边不存在" ≠ "左边不存在"，这是整讲最重要的一句。学生用错洛必达，九成栽在这。

第二，给判断信号。 求导一次没变简单就停。这个是立即可用的经验法则。

第三，工具排序。 等价无穷小 → 代数变形 → 洛必达 → 泰勒。洛必达排在第三位，不是第一位。

第四，翻车场景一看就懂。 $\dfrac{x+\sin x}{x}$ 那个例子，三十秒讲完，比讲三分钟定理都管用。

思考与拓展

1. 用洛必达算 $\lim\limits_{x\to 0}\dfrac{e^x - 1}{x}$，然后改用 $e^x = 1 + x + o(x)$ 重做，对比两次的工作量。
2. 计算 $\lim\limits_{x\to 0^+}\dfrac{\sqrt{x}}{\ln x}$。注意这是 $\dfrac{0}{\infty}$ 型——不是未定式，严格说不满足洛必达的条件一。直接判断它：分子趋于 0，分母趋于 $-\infty$，整体从负侧趋于 0。
3. 计算 $\lim\limits_{x\to \infty}\dfrac{x - \sin x}{x + \sin x}$，并说明为什么洛必达在这里帮不上忙。
4. 计算 $\lim\limits_{x\to 0}\dfrac{\ln(1+x) - x}{x^2}$，并用两种方法对比（洛必达 vs 泰勒展开）。
5. 为什么洛必达法则要求 $g'(x) \ne 0$？构造一个反例说明：如果 $g'$ 在某些点为 0，结论会怎样？

一句话总结

洛必达是定理不是恒等式；右边不存在不代表左边不存在，只代表这个方法失败了——求导一次没变简单就该停，先想等价无穷小再想洛必达。

附：本文涉及的史实出处

• 洛必达法则：出自洛必达（L'Hôpital）1696 年的教科书，内容实际购自约翰·伯努利
• 定理的严格化证明依赖柯西中值定理（见第八讲）
• $\lim x\ln x = 0$、$\lim\frac{e^{-1/x}}{x}=0$、$\lim\frac{x+\sin x}{x}=1$、$\lim\frac{\tan x-\sin x}{x^3}=\frac12$ 均为标准教学例，本文数值验证