先讲一个我每年答疑都会遇到的场景有学生拿着 (\lim_{x\to 0}\frac{\sin 3x}{x}) 来问老师分子分母都是 0是不是 0 除以 0 就是 1答案选 1我说你试试等价无穷小把 (\sin 3x) 换成 (3x)答案是 3。他恍然大悟接着又问那 (\frac{\sin 3x}{x^2}) 呢不也是 0/0 型吗我说你继续算答案是无穷大。同一个0 除以 0的形态极限可以是 3可以是无穷大也可以是你想要的任何常数——这正是它被叫作未定式的原因极限结果不可能靠直接代入看出来必须再做一步运算才能定下来。这篇文章就把高等数学里的 7 种未定式——(0/0)、(\infty/\infty)、(0\cdot\infty)、(\infty-\infty)、(0^0)、(1^\infty)、(\infty^0)——逐个拆开讲透。每种类型从为什么未定解题主线是什么最容易翻车的地方在哪三个角度展开零基础的人能跟着走通有基础的人也能获得一套可复用的做题顺序。毕竟求极限是考研数学、期末考试的必考大题而 7 种未定式就是所有极限题的骨架。1. 为什么偏偏是这 7 种未定式的本质与分类逻辑1.1 未定到底是什么意思很多人刚学极限时有个根深蒂固的误解觉得未定式就是算不出来。其实未定式的准确定义是极限的四则运算法则失效了。回忆一下极限运算法则如果 (\lim f(x)A)(\lim g(x)B)且 (B\neq 0)那么 [ \lim\frac{f(x)}{g(x)}\frac{A}{B}. ] 但如果 (A0) 且 (B0)这条法则直接无效——因为 (0/0) 在算术里没有意义。注意这里说的 (0) 和无穷大都是极限过程不是真正的数。(\frac{\sin 3x}{x}) 在 (x0) 这一点根本没定义我们讨论的是 (x\to 0) 时这个式子的变化趋势。分子趋于 0分母也趋于 0两个过程互相竞争谁跑得快结果就偏向谁。(\sin 3x) 和 (3x) 在 0 附近几乎是同步趋于 0 的所以比值稳定在 3而 (x^2) 比 (\sin 3x) 跑得更快分母把分子碾压了结果就是无穷大。这就是未定的本质不是不能算而是不能直接套运算法则需要比较趋于 0 或趋于无穷大的速度。1.2 七种类型从哪里来从极限的四则运算结构来看能产生未定的地方刚好是四类商、积、差、幂。结构未定式类型典型示例直观感觉商(0/0)(x\to 0,\ \frac{\sin x}{x})两个都趋于 0谁快商(\infty/\infty)(x\to\infty,\ \frac{x^21}{2x^23})两个都趋于无穷谁快积(0\cdot\infty)(x\to0^,\ x\ln x)一个压向 0一个冲向无穷差(\infty-\infty)(x\to\infty,\ \sqrt{x^2x}-x)两个无穷互相抵消剩多少幂(0^0)(x\to0^,\ x^x)底数和指数都趋于 0幂(1^\infty)(x\to0,\ (1x)^{1/x})底数逼近 1指数爆炸幂(\infty^0)(x\to\infty,\ x^{1/x})底数无穷大指数压向 0对照这个表你会发现一个规律除了 (0/0) 和 (\infty/\infty) 是原生未定其他 5 种都是变形未定它们的解法核心就是把它们转化成 (0/0) 或 (\infty/\infty)。所以后面所有方法归根结底都在做一件事——朝 0/0 或 ∞/∞ 转化。这里还要澄清一个高频疑问为什么 (1/0) 不算未定式因为 (1/0) 的极限一定是无穷大结果是确定的不需要比速度。同样的道理(\infty1)、(00)、(\infty\cdot\infty) 这些结果也都是确定的。只有上面表格里的 7 种结果完全取决于具体形式才配叫未定式。2. 0/0 型和 ∞/∞ 型直球未定式的三种主流打法这两种类型是所有其他未定式的终点站也是最常考的类型。处理方法有三板斧等价无穷小替换、洛必达法则、泰勒展开。2.1 等价无穷小乘除法里最舒服的武器先记住这张表都是 (x\to 0) 时成立的核心结论等价无穷小阶数(\sin x\sim x)1(\tan x\sim x)1(\arcsin x\sim x)1(\arctan x\sim x)1(\ln(1x)\sim x)1(e^x-1\sim x)1(a^x-1\sim x\ln a)1((1x)^\alpha-1\sim \alpha x)1(1-\cos x\sim \frac{x^2}{2})2(x-\sin x\sim \frac{x^3}{6})3(\tan x-x\sim \frac{x^3}{3})3(\tan x-\sin x\sim \frac{x^3}{2})3这张表的本质是泰勒展开的一阶或高阶截断。(\sin x\sim x) 说的是 (\sin x x - \frac{x^3}{6}\cdots)当 (x) 很小时后面的项小到可以忽略。使用原则有一个核心铁律乘除法因子可以整体替换加减法里替换要非常谨慎。为什么看这个例子 [ \lim_{x\to 0}\frac{\sin x-\tan x}{x^3}. ] 如果图省事把 (\sin x) 换成 (x)把 (\tan x) 也换成 (x)分子变成 (x-x0)整个分式变成 (0/x^30)。但正确答案是 (-1/2)。错在哪儿因为 (\sin x) 和 (\tan x) 的一阶项都是 (x)它们的差完全依赖更高阶的项你把高阶项直接丢了当然算了个寂寞。那这道题怎么算才顺提取公因式 [ \sin x-\tan x\tan x(\cos x-1), ] 然后 (\tan x\sim x)(\cos x-1\sim -\frac{x^2}{2})乘起来等于 (-\frac{x^3}{2})除以 (x^3)答案 (-1/2)。这就是加减法里出现同阶相消时先做恒等变形再替换的典型操作。2.2 洛必达法则适用范围与一个经典陷阱洛必达法则的条件严格说有三条第一原极限必须是 (0/0) 或 (\infty/\infty) 型第二分子分母在去心邻域内可导且分母导数不为零第三(\lim\frac{f(x)}{g(x)}) 存在或为无穷大。第三条很多人记不住但它恰恰是最阴险的一条。有个经典例子 [ \lim_{x\to\infty}\frac{x\sin x}{x}. ] 这显然是 (\infty/\infty) 型满足前两条。有人顺手洛必达 [ \lim_{x\to\infty}\frac{1\cos x}{1}, ] 然后发现 (\cos x) 在 (-1) 和 (1) 之间振荡极限不存在于是得出结论原极限不存在——错了原极限明显是 [ \lim_{x\to\infty}\left(1\frac{\sin x}{x}\right)1. ] 问题就出在第三条(\lim\frac{f(x)}{g(x)}) 不存在所以洛必达法则在这里不适用而不是给出了错误答案。换句话说洛必达只能用来证明极限存在不能用来证明极限不存在。只要求导之后的极限不存在你就得换方法别硬刚。洛必达的另一个痛点是越求越复杂。比如 (\lim_{x\to 0}\frac{e^x\sin x - x}{x^3})连求三次导数中间任何一个环节算错就全盘皆输。所以我的建议是洛必达之前先看看能不能等价无穷小替换一部分先化简再求导。2.3 泰勒展开最后的兜底方案当等价无穷小不够用、洛必达又越算越复杂时泰勒展开是终极武器。做法很简单把分子分母里那些难缠的函数展开到和分母同阶然后相减、相除答案自然浮出来。以 (\lim_{x\to 0}\frac{\tan x-\sin x}{x^3}) 为例 [ \tan x x\frac{x^3}{3}o(x^3),\quad \sin x x-\frac{x^3}{6}o(x^3). ] 相减 [ \tan x-\sin x \frac{x^3}{3}\frac{x^3}{6}o(x^3)\frac{x^3}{2}o(x^3). ] 除以 (x^3)答案 (1/2)。整个过程不用动脑子只要记住几个常见展开式就行。注意展开的阶数要和分母对齐分母是 (x^3)分子展开到 (x^3) 就够(o(x^3)) 项统统不影响极限。3. 0·∞ 型和 ∞−∞ 型转化比硬算重要3.1 0·∞ 型到底让谁去分母(0\cdot\infty) 型的特点是一个因子压向 0另一个因子冲向无穷大两者在拔河。处理方式只有一个——把其中一个因子放到分母上变成 (0/0) 或 (\infty/\infty)。但问题来了到底让谁去分母看这个最经典的题 [ \lim_{x\to 0^}x\ln x. ] 如果把 (x) 留分子、(\ln x) 取倒数放分母 [ \lim_{x\to 0^}\frac{x}{1/\ln x}, ] 这是 (0/0) 型但 (1/\ln x) 求导是 (-\frac{1}{x(\ln x)^2})越搞越乱不是好路。反过来把 (\ln x) 留分子(x) 取倒数放分母 [ \lim_{x\to 0^}\frac{\ln x}{1/x}, ] 这才是 (\infty/\infty) 型洛必达一次 [ \frac{1/x}{-1/x^2}-x\to 0. ] 答案 0。为什么这样顺因为 (1/x) 求导后是 (-1/x^2)和分子 (\ln x) 的导数 (1/x) 放在一起刚好约掉一个 (x)一次搞定。经验法则我总结成一句话哪个因子取倒数之后求导更简单就把它放分母。多项式、幂函数取倒数后求导通常很简单对数函数取倒数后求导会多出 (\ln x)往往更复杂。所以见到 (x\ln x)把幂函数 (x) 放分母见到 (x e^{-x})当 (x\to\infty) 时是 (0\cdot\infty)把它写成 (\frac{x}{e^x})洛必达得 (\frac{1}{e^x}\to 0)。3.2 ∞−∞ 型通分、有理化与抓大头(\infty-\infty) 型的逻辑是两个无穷大量相减到底能抵消成什么核心手法有三种按优先级排列。第一种有分式结构先通分。比如 [ \lim_{x\to 0}\left(\frac{1}{x}-\frac{1}{\sin x}\right). ] 通分 [ \frac{\sin x-x}{x\sin x}. ] 分母 (x\sin x\sim x^2)分子 (\sin x-x\sim -\frac{x^3}{6})答案 0。注意这里分子又是减法同阶相消的场景不能直接 (\sin x\sim x) 然后分子得 0必须用高阶展开。第二种带根号先有理化。比如 [ \lim_{x\to\infty}(\sqrt{x^2x}-\sqrt{x^2-x}). ] 分子有理化 [ \frac{(\sqrt{x^2x})^2-(\sqrt{x^2-x})^2}{\sqrt{x^2x}\sqrt{x^2-x}} \frac{2x}{\sqrt{x^2x}\sqrt{x^2-x}}. ] 分子分母同除以 (x)注意 (x\to\infty) 时 (\sqrt{x^2\pm x}x\sqrt{1\pm 1/x}) [ \frac{2}{\sqrt{11/x}\sqrt{1-1/x}}\to 1. ]第三种多项式的无穷大之差用抓大头。比如 [ \lim_{x\to\infty}(\sqrt{x^2x}-x). ] 提一个 (x) 出来 [ x\left(\sqrt{1\frac{1}{x}}-1\right). ] 这里 (\sqrt{1t}-1\sim \frac{1}{2}t)当 (t\to 0)所以 (t1/x)上式 (\sim x\cdot\frac{1}{2x}\frac{1}{2})。本质上用了等价无穷小 ((1t)^\alpha-1\sim \alpha t)只不过此时 (t) 是趋于 0 的 (1/x)。4. 幂指型三兄弟0^0、1^∞、∞^04.1 对数恒等式是唯一主线遇到底数和指数都带变量的极限第一反应必须是 [ f(x)^{g(x)}e^{g(x)\ln f(x)}. ] 因为指数函数连续所以 [ \lim f(x)^{g(x)}e^{\lim g(x)\ln f(x)}. ] 这一步操作叫取对数它把所有幂指型未定式统一变成了 (0\cdot\infty) 型原类型条件(\ln f) 的极限转化后(0^0)(f\to0^,\ g\to0)(\ln f\to-\infty)(0\cdot\infty)(1^\infty)(f\to1,\ g\to\infty)(\ln f\to0)(\infty\cdot 0)(\infty^0)(f\to\infty,\ g\to0)(\ln f\to\infty)(0\cdot\infty)所以整个 7 种未定式的解题闭环是幂指型 → 0·∞ 型 → 0/0 或 ∞/∞ 型 → 洛必达/等价无穷小/泰勒。现在你回头看第 1 章的表格会发现所有路径都是通的。4.2 1^∞ 型的快捷公式与使用前提在三个幂指型里(1^\infty) 型考得最多因为它有一个非常顺手的快捷公式如果 (\lim f(x)1)(\lim g(x)\infty)且 (\lim g(x)(f(x)-1)) 存在那么 [ \lim f(x)^{g(x)}e^{\lim g(x)(f(x)-1)}. ] 推导只有一行(\ln f(x)\sim f(x)-1)因为 (f\to1)所以 [ \lim g(x)\ln f(x)\lim g(x)(f(x)-1). ] 这个公式的含金量在于你不需要真的去取对数而是直接算指数乘以底数减 1这个极限快得飞起。例 [ \lim_{x\to0}(12x)^{1/x}. ] 底数 (12x\to1)指数 (1/x\to\infty)是 (1^\infty)。按公式 [ g(x)(f(x)-1)\frac{1}{x}\cdot 2x2, ] 所以答案是 (e^2)。但要记住前提(f\to1) 且 (g\to\infty)两个条件缺一不可。如果底数是 (12x)指数是 (x)也就是 (g\to0)那就不是 (1^\infty)而是 (1^0)——极限确定等于 1根本不用算。4.3 三个实例一次性过手例一(0^0) 型。求 (\lim_{x\to0^}x^x)。设 (Lx^x)取对数 [ \ln Lx\ln x\to 0\quad(\text{这就是第 3 章那个经典结论}). ] 所以 (Le^01)。注意 (0^0) 在这里极限是 1但这不代表算术里 (0^01)只是这个特定极限过程的结果刚好是 1。例二(\infty^0) 型。求 (\lim_{x\to\infty}x^{1/x})。取对数 [ \ln L\frac{1}{x}\ln x\to 0, ] 所以 (L1)。你发现没有(\infty^0) 型很多答案都是 1但不能因为它经常等于 1就直接写 1有些题的指数略有变化结果就不是 1 了。老老实实取对数。例三(1^\infty) 型。求 (\lim_{x\to0}\left(\frac{\sin x}{x}\right)^{1/(1-\cos x)})。底数 (\frac{\sin x}{x}\to1)指数 (1/(1-\cos x)\to\infty)用快捷公式 [ \lim\frac{1}{1-\cos x}\left(\frac{\sin x}{x}-1\right). ] 先算括号 [ \frac{\sin x}{x}-1\frac{\sin x-x}{x}\sim\frac{-x^3/6}{x}-\frac{x^2}{6}. ] 分母 (1-\cos x\sim\frac{x^2}{2})比值为 (-1/3)。所以答案是 (e^{-1/3})。这道题从头到尾没有洛必达全部靠等价无穷小关键就在于你敢不敢把 (\frac{\sin x}{x}-1) 和 (1-\cos x) 分别用高阶等价无穷小替换。5. 两道综合题的完整破解链路很多人公式都会但一到综合题就卡壳。原因是缺一个完整的识别—决策—执行流程。我用两道题演示一遍完整链路。5.1 第一题(\lim_{x\to0}\frac{\sin x-\tan x}{x^3})第一步判断类型。代入 (x0)分子 (\sin0-\tan00)分母 (0)是 (0/0) 型。第二步看能不能化简。分子有公因式 (\tan x) [ \sin x-\tan x\tan x(\cos x-1). ]第三步选择工具。(0/0) 型优先等价无穷小。(\tan x\sim x)(\cos x-1\sim-\frac{x^2}{2})且它们是乘积关系可以整体替换 [ \frac{\tan x(\cos x-1)}{x^3}\sim\frac{x\cdot(-\frac{x^2}{2})}{x^3}-\frac{1}{2}. ] 答案 (-1/2)。对照错误路径。如果一开始就把 (\sin x\sim x)、(\tan x\sim x) 替换进减法分子得 0答案错到离谱。这再次验证了第 2 章的规则加减法里遇到同阶相消必须先用恒等变形拆开。5.2 第二题(\lim_{x\to0}\left(\frac{\tan x}{x}\right)^{\frac{1}{1-\cos x}})第一步判断类型。底数 (\frac{\tan x}{x}\to1)指数 (1/(1-\cos x)\to\infty)(1^\infty) 型。第二步选工具。(1^\infty) 直接上快捷公式 [ Le^{\lim\frac{1}{1-\cos x}\left(\frac{\tan x}{x}-1\right)}. ]第三步处理指数部分。先化简括号 [ \frac{\tan x}{x}-1\frac{\tan x-x}{x}. ] 这里又出现减法同阶相消用高阶等价无穷小(\tan x-x\sim\frac{x^3}{3})所以 [ \frac{\tan x-x}{x}\sim\frac{x^2}{3}. ] 分母 (1-\cos x\sim\frac{x^2}{2})。两者相除 [ \frac{x^2/3}{x^2/2}\frac{2}{3}. ] 所以 (Le^{2/3})。完整走一遍取对数路径做验证[ \ln L\lim\frac{\ln(\tan x/x)}{1-\cos x}. ] 因为 (\frac{\tan x}{x}\to1)(\ln u\sim u-1)所以分子等价于 (\frac{\tan x}{x}-1)后面过程和上面一模一样。两种路径结果一致说明答案可信。第二条路径适合忘了快捷公式时使用殊途同归。这两道题放在一起说明一个道理一道复杂的极限题往往是类型判断 多步等价无穷小 一次恒等变形的组合。不要指望一个方法走到底而是每一步都问自己现在是什么型能不能先化简6. 我踩过的坑与方法优先级6.1 洛必达使用的单向性陷阱前面提到 (\lim_{x\to\infty}\frac{x\sin x}{x}) 的例子这里再展开说一次因为它值得单独占一节。那次是我第一次给学弟讲洛必达他问了一句老师用洛必达算出极限不存在是不是原极限就不存在我当时差点点头幸亏多算了一步发现原极限明明等于 1。这件事给我留下一个深刻教训洛必达法则是充分条件而不是充要条件。严谨表述是如果 (\lim\frac{f(x)}{g(x)}) 存在或为无穷大那么 (\lim\frac{f(x)}{g(x)}\lim\frac{f(x)}{g(x)})。反过来不成立。所以做题时如果洛必达求导之后极限不存在不要立刻下结论先检查一下是不是洛必达失效再想想有没有更简单的化简路径。6.2 方法选择的优先级清单这些年批改作业和答疑我总结出一套做题顺序基本覆盖了 90% 的极限题先代值。把极限点代进去如果结果是普通数直接结束。这一步能筛掉一大批其实是确定极限的题目。判断未定式类型。是 7 种里的哪一种写下来。这一步是为了定方向。恒等变形优先。能通分先通分能提公因式先提能有理化先有理化。很多题走到这一步就已经不是未定式了。幂指型先取对数或直接用快捷公式。别留着最后处理幂指结构永远是第一优先级。0/0 和 ∞/∞ 型里先做等价无穷小替换注意只能在乘除因子中用加减法里出现同阶相消就先变形。洛必达当常规武器但每次求导前检查还是 0/0 或 ∞/∞ 吗求导后会更简单吗如果两个答案都是否果断换泰勒。泰勒展开兜底分子分母分别展开到与分母同阶。这个顺序不是一个死板的流程而是一种先化简、再替换、再求导、最后硬算的递进思想。6.3 考前十秒自查清单最后分享一个很实用的小习惯。我做极限题时会在草稿纸上写一个十秒自查清单每道题做完之后快速扫一遍未定式类型判断对了吗等价无穷小替换的位置是不是乘除因子的整体加减法里有没有出现同阶相消却没处理的情况洛必达用之前三个条件都满足吗求导后极限不存在能说明原极限不存在吗幂指型取对数后最后的 (e) 有没有漏掉答案能不能用代入小量的方式验证比如取 (x10^{-3})用计算器按一遍看是否接近理论值。尤其是最后一条我强烈建议养成习惯。考试时没计算器但在平时练习中用小数代入检验是一个非常强大的纠错手段。我见过太多人辛辛苦苦算出一个 (-2)结果是 (2)只用 (x0.001) 代一遍就能当场发现符号错了。极限求法的内容到这里就全部讲完了。回到开头那个学生的问题现在你再看 (\frac{\sin 3x}{x}) 和 (\frac{\sin 3x}{x^2})应该能一眼看出它们的区别前者是分子分母同阶趋于 0结果取决于系数之比后者是分母跑得更快结果必然发散。整个 7 种未定式的体系说到底就是在训练你看速度的能力——谁趋近得快谁趋近得慢以及它们之间如何互相转化。把这个能力练好极限这一章就算真正过关了。