微积分 1 第 4 章:等价无穷小与洛必达法则——求极限的两把刀
到这一章,求极限的工具箱要补齐最后两件。等价无穷小替换负责"把复杂结构换成最简单的等价物",速度快但使用范围有硬约束;洛必达法则负责"上下同时求导降阶",适用面宽但有条件、会失效。学生失分几乎都集中在这两处:要么在加减法里单独替换某一项,得出一个漂亮但错误的 0;要么在导数之比的极限不存在时,草率宣布原极限不存在。这一章的目标不是多背几个等价式,而是建立一条判断链:先定型,再看能不能替换,不能替换再考虑洛必达,两者都不行就回到泰勒或夹逼。
一、无穷小的比较与等价替换
第 2 章已经给出分阶的定义。设 α、β 是同一过程中的无穷小,若 lim β/α = 1,则称 α 与 β 等价,记作 α ~ β。等价的含义不是"近似相等",而是"比值趋于 1",也就是两者只差一个趋于 0 的相对误差。
x → 0 时常用的等价关系(必须背到条件反射):
| 原式 | 等价于 | 备注 |
|---|---|---|
| sin x、tan x、arcsin x、arctan x | x | 一阶,四个一起记 |
| 1 − cos x | x²/2 | 二阶,系数 1/2 不能丢 |
| ln(1 + x) | x | 一阶 |
| eˣ − 1 | x | 一阶 |
| (1 + x)^α − 1 | αx | 一阶,α 任意实数 |
| aˣ − 1 | x ln a | 一阶,a > 0 |
| x − sin x | x³/6 | 三阶,做减法时才用 |
| tan x − x | x³/3 | 三阶 |
结论一句话:这些等价式的本质是泰勒展开保留第一个非零项,所以阶数越高,越只能在"高阶差"的题里用。
替换定理:若 α ~ α′、β ~ β′,且 lim β′/α′ 存在(或为 ∞),则 lim β/α = lim β′/α′。
适用条件(这一节最关键):等价替换只能作用于整个乘积因子,或整个商式的分子与分母,不能对加减法中的某一项单独替换。原因很直白:等价只保证比值趋于 1,不保证两者之差也小到可以忽略。在乘积里,误差被整体乘性吸收;在加减里,两项的主部可能恰好抵消,剩下的正是被丢掉的那个高阶项。
一个必须记住的反例:
lim(x→0) (tan x − sin x)/x³
若把 tan x 和 sin x 各自换成 x,分子得 x − x = 0,答案 0。但正确结果是 1/2。原因:tan x − sin x = sin x(1 − cos x)/cos x ~ x · (x²/2) = x³/2,主部是三阶的。正确的处理是先提取公因子,把减法变成乘法再替换。这也说明了另一条经验:遇到减法,先看能不能因式分解或提公因式;提不出来,就上泰勒。
二、洛必达法则
对 0/0 型或 ∞/∞ 型,若
- 在 x₀ 的某去心邻域内 f′(x)、g′(x) 都存在且 g′(x) ≠ 0;
- lim f(x)/g(x) 属于 0/0 或 ∞/∞;
- lim f′(x)/g′(x) 存在(或为 ∞),
则 lim f(x)/g(x) = lim f′(x)/g′(x)。三个条件缺一不可,第 3 条尤其容易被当成结论而不是前提。
使用时的四条经验:
- 先化简再求导。能用等价无穷小把乘积因子换掉的先换掉,再用洛必达,求导次数能少一半。比如 lim(x→0) (eˣ − 1)/x,直接看出等价于 x/x = 1,无需洛必达。
- 可以重复使用,但每次用完都要重新检查是否仍是 0/0 或 ∞/∞,不是就立刻停。
- 失效不等于原极限不存在。经典例子 lim(x→∞) (x + sin x)/x:导数之比是 (1 + cos x)/1,极限不存在(在 0 与 2 之间振荡),但原式 = 1 + sin x/x → 1。条件是充分而非必要,所以洛必达算不出来时不能反推"极限不存在"。
- 数列极限不能直接洛必达。数列是离散的,不可导。正确做法是先令 x 为连续变量,求 lim(x→+∞) 的极限,再由"函数极限存在则数列极限相同"回到数列。
三、两种武器怎么配合:一个必须会算的例子
lim(x→0) (eˣ − 1 − x) / x²
这是 0/0 型。若把 eˣ − 1 替换成 x,分子变成 x − x = 0,得答案 0,但正确结果是 1/2。错误原因和前面 tan x − sin x 的反例完全一样:分母是二阶无穷小,分子真正的主部也是二阶,而等价替换只保留了一阶项,把主部整个丢掉了。
两条正确路径:
- 洛必达两次。(eˣ − 1 − x)/x² → (eˣ − 1)/(2x) → eˣ/2 → 1/2。每次求导后都要重新定型,第一次之后仍是 0/0,所以可以继续。
- 泰勒展开。eˣ = 1 + x + x²/2 + o(x²),分子即 x²/2 + o(x²),除以 x² 得 1/2 + o(1) → 1/2。
这个例子给出了两者的分工判据:分母是几阶,分子就要展开到几阶。等价无穷小表里的一阶式只能应付"分子分母同阶且都是一阶"的情形;一旦分母是 x²、x³,就必须用洛必达把阶数降下来,或者直接上泰勒。反过来,如果分子分母都是一阶(如 sin x / x),用等价替换一秒出结果,用洛必达反而绕远。
四、常见题型归纳
| 形态 | 识别特征 | 首选方法 | 备选 |
|---|---|---|---|
| 0/0 有理式 | 多项式比多项式 | 因式分解约分 | 洛必达 |
| 0/0 含根式 | 出现 √ | 有理化 | 等价替换 |
| 0/0 含三角 | sin、tan、1 − cos | 等价无穷小 | 洛必达 |
| 0/0 含 ln、eˣ | 超越函数混合 | 等价替换化简 + 洛必达 | 泰勒展开 |
| ∞/∞ 有理式 | 多项式比多项式 | 同除最高次幂 | 洛必达 |
| ∞/∞ 含 ln | ln x 与 xⁿ | 洛必达 | 背增长阶 |
| 0·∞ | x ln x、x·sin(1/x) | 化为 0/(1/x) 或 ∞/(1/x) | 有界乘无穷小 |
| ∞ − ∞ | 根式差、分式差 | 有理化或通分 | 泰勒 |
| 1^∞ | (1 + 1/x)ˣ 型 | 第二重要极限 e^(lim αβ) | 取对数 |
| 0⁰、∞⁰ | xˣ、x^(1/x) | 取对数化为 0·∞ | —— |
最后一行的方法值得单独强调:0⁰ 与 ∞⁰ 型没有直接工具,标准动作是设 y = f^g,取自然对数得 ln y = g·ln f,把指数型降级成乘积型(必然是 0·∞),求出 ln y 的极限 L 后再取指数得 e^L。
判断 ∞/∞ 时还有一条底层依据——增长速度的阶梯:
ln x ≪ x^a (a > 0) ≪ aˣ (a > 1) ≪ x! (x → +∞)
分子落在阶梯下方、分母在上方,极限必为 0;反过来则发散。这条阶梯能秒杀一大类选择题,比如 lim(x→∞) (ln x)/x = 0、lim(x→∞) x¹⁰⁰/eˣ = 0,都不需要动笔求导。
易错点
- 在加减法中对某一项单独做等价替换。判断标准:被替换的部分是不是一个完整的乘积因子。
- 把 1 − cos x 换成 x² 而不是 x²/2,或者换成 x。
- 对非不定式使用洛必达。lim(x→0) (x + 1)/x 不是 0/0,用洛必达得 1/0,与原式发散一致纯属巧合。
- 由"lim f′/g′ 不存在"推出"lim f/g 不存在"。
- 反复求导却不做任何化简,越求越复杂,最后卡死。
- 对数列直接用洛必达,或对含绝对值的函数在不可导点求导。
这一章在整门课里的位置
本章是第 3 章的升级版:第 3 章的四则法则处理"定式",本章处理"不定式",两者合起来覆盖了初等函数极限的绝大多数情形。等价无穷小的思想在第 5 章讲微分时会以"Δy ≈ dy"的形式再出现一次,洛必达法则则是导数应用的直接产物。微积分 1 到此收束,接下来进入导数与微分,那里每一个求导公式的推导,本质上都是一次 0/0 型极限的计算。
本文是《微积分 1:函数与极限》第 4 章的知识点摘要。完整板书与例题见 课程页;上一章 极限的运算法则。下一步建议看 微积分 2:导数与微分。
相关课程
这篇笔记涉及的主题,我录过对应的视频课程:
- 微积分 1:函数与极限 11 讲
- 微积分 2:导数与微分 8 讲
- 微积分 3:积分学 8 讲