4.5.1 Indeterminate Forms (不定式类型)

识别和分类七种不定式类型：0/0、∞/∞、0·∞、∞-∞、0^0、1^∞、∞^0

定义

不定式（Indeterminate Forms）是指在求极限时，直接代入会得到无法确定的表达式形式。当函数在某点的极限不能通过直接代入法则得出时，就会出现不定式。七种基本不定式类型分别为：

1. \(\frac{0}{0}\) 型：分子和分母都趋向于 0
2. \(\frac{\infty}{\infty}\) 型：分子和分母都趋向于无穷大
3. \(0 \cdot \infty\) 型：一个因子趋向于 0，另一个趋向于无穷大
4. \(\infty - \infty\) 型：两个无穷大相减
5. \(0^0\) 型：底数趋向于 0，指数也趋向于 0
6. \(1^{\infty}\) 型：底数趋向于 1，指数趋向于无穷大
7. \(\infty^0\) 型：底数趋向于无穷大，指数趋向于 0

这些形式之所以称为"不定式"，是因为它们的极限值不能仅从形式本身确定，需要通过进一步的分析（如洛必达法则、代数变换或其他技巧）来求解。

核心公式

• \(["\)\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{0}{0} \text{ 型（可用洛必达法则）}\(", "\)\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\infty}{\infty} \text{ 型（可用洛必达法则）}\(", "\)\lim_{x \to a} [f(x) \cdot g(x)] = 0 \cdot \infty \text{ 型（转化为 } \frac{f(x)}{1/g(x)} \text{ 或 } \frac{g(x)}{1/f(x)} \text{）}\(", "\)\lim_{x \to a} [f(x) - g(x)] = \infty - \infty \text{ 型（通过通分或有理化）}\(", "\)\lim_{x \to a} [f(x)]^{g(x)} = 1^{\infty}, 0^0, \infty^0 \text{ 型（取对数转化为 } e^{\lim g(x) \ln f(x)} \text{）}\("]\)

易错点

• ⚠️ ["误认为所有 \(\frac{0}{0}\) 型极限的答案都是 0 或 1，而不进行进一步计算。实际上 \(\frac{0}{0}\) 型的极限可以是任何有限值或无穷大，必须通过洛必达法则或其他方法求解。", "在处理 \(0 \cdot \infty\) 型时，直接相乘得到 0，忽视了这是不定式。应该将其改写为 \(\\frac{0}{1/\\infty}\) 或 \(\\frac{\\infty}{1/0}\) 的形式，再用洛必达法则。", "对于 \(\\infty - \\infty\) 型，直接得出答案为 0 或 \(\\infty\)。应该通过通分、有理化或提取公因子等代数方法先化简，再求极限。", "在处理指数形式的不定式（\(0^0, 1^{\\infty}, \\infty^0\)）时，忘记取对数。应该设 \(y = [f(x)]^{g(x)}\)，则 \(\\ln y = g(x) \\ln f(x)\)，先求 \(\\lim \\ln y\)，再得出 \(\\lim y = e^{\\lim \\ln y}\)。"]