无穷小的阶与等价替换：极限的速算法
本文基于模型知识整理（生成时未联网核对），替换规则的适用边界建议对照 Stewart §4.4 复核。
一句话定义
比较两个趋于零的量谁"更快归零"：$\lim\frac{\alpha}{\beta}=0$ 称 α 是 β 的高阶无穷小（o(β)）、=c≠0 称同阶、=1 称等价（α~β）；等价无穷小替换（乘除因子中可整体互换）能把 0/0 型极限秒算——但加减项中盲目替换是头号错误源。
为什么重要
极限计算的 80% 实战就是"识别阶数+安全替换"：$\sin x\sim x$、$e^x-1\sim x$、$\ln(1+x)\sim x$、$(1+x)^\alpha-1\sim\alpha x$ 这五条是微积分的"乘法口诀"；泰勒展开（kp-008）本质是"把等价无穷小做到任意阶"的系统化版本。
前置知识
kp-002（极限运算）。
核心概念
- 高阶/同阶/等价：$\lim\frac{\alpha}{\beta}=0$（高阶 o(β)）、=c≠0（同阶）、=1（等价 α~β）、=∞（低阶）。
- 五条黄金等价（x→0）：
- $\sin x \sim x$ - $1-\cos x \sim \frac{x^2}{2}$ - $e^x-1 \sim x$ - $\ln(1+x) \sim x$ - $(1+x)^\alpha-1 \sim \alpha x$
- 替换规则：等价替换可用于乘除因子（整体替换安全）；加减中不可盲目替换——除非替换后不产生 0（精确判据：α±β 替换需余项不消）。
- 阶的记号：$o(x)$（比 x 高阶）、$O(x)$（同阶或更高）——泰勒展开的余项语言（kp-008）。
原理与机制
为什么乘除可替换：$\lim\frac{\alpha f}{\beta f}$ 中把 α 换成等价的 β，比值变为 $\frac{\beta}{\beta}\cdot\lim f$——等价无穷小之比极限为 1，替换不改变乘积结构。
为什么加减不可盲换：反例 $\lim_{x\to0}\frac{\tan x-\sin x}{x^3}$——若把 tan x、sin x 都换成 x，分子变 0 得 0；正确答案 $\frac12$。原因：x 与 x 相减把主导项消掉了，真正的信息藏在更高阶项（$\tan x-\sin x\sim\frac{x^3}{2}$）——替换必须保留"未消尽的最低阶"，这正是泰勒展开到足够阶数的安全版本。
与导数的血缘：$f(x)-f(a)\sim f'(a)(x-a)$——"可微=与切线等价无穷小"（kp-006）；阶比较因此成为"导数定义"的另一副面孔。
图示
α~β ⟺ lim α/β = 1
安全: 乘除因子整体替换 lim α·f / (β·g) → 换成 β·f/(β·g)
危险: 加减盲目替换
反例: lim(tanx−sinx)/x³ → 错换得 0 ; 真值 1/2 (三阶才见真容)
口诀五条: sinx~x | 1−cosx~x²/2 | eˣ−1~x | ln(1+x)~x | (1+x)^α−1~αx直观类比
无穷小的阶像"归零速度等级"：x 是散步回家、x² 是骑车回家、x³ 是开车回家——同向出发但 x² "先到零"。等价替换=让同速选手互换（不影响比较结果）；加减消项像两队手拉手抵消，剩下的才是真实差距，换人（替换）会掩盖真相。
实例或案例
- $\lim_{x\to0}\frac{e^{3x}-1}{\ln(1+2x)}$：分子~3x、分母~2x → 3/2。
- 弦长近似：$\sin\theta\approx\theta$（小角度）——等价无穷小在物理中的日常形态。
- 复利/指数增长：$(1+\frac{1}{n})^n\to e$ 的推导用 $(1+x)^\alpha-1$ 型处理（kp-005）。
常见误区
- 误区一："等价替换任何位置都行"。只在乘除因子安全；加减中必须用泰勒展到足够阶（kp-008 的正解）。
- 误区二："等价无穷小唯一"。等价不唯一（x 与 x+x² 等价），但"好用的代表"取最低阶。
- 误区三："o(·) 可以当数参与运算"。o(x) 是"某高阶量"的符号，方向与运算要按小量规则处理。
与其他知识点的关系
自测题
- 求 $\lim_{x\to0}\frac{\ln(1+3x)}{\sin 2x}$。
答：分子~3x、分母~2x → 3/2（乘除替换安全）。
- 为什么 $\lim_{x\to0}\frac{\tan x-\sin x}{x^3}$ 不能把两个都换成 x？
答：相减使一阶项相消，主导项在三阶（tan x−sin x ~ x³/2）；盲换把有效信息替换没了——正确答案 1/2。
- $1-\cos x$ 的等价无穷小？由何而来？
答：$\frac{x^2}{2}$——由 $\cos x$ 的泰勒展开（或半角公式 $1-\cos x=2\sin^2\frac x2\sim 2(\frac x2)^2$）。
延伸阅读
- Stewart《Calculus》§3.10、§4.4。
- 3Blue1Brown《Essence of Calculus》泰勒级数两集（阶的视觉化）。
- Spivak《Calculus》第 20 章（泰勒展开的严格处理）。