室内场景实例分割数据集实战：849张图6类目标YOLO训练全流程
2026/10/1 17:31:57
先讲一个我每年答疑都会遇到的场景：有学生拿着 (\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}. ] 但如果 (A=0) 且 (B=0)，这条法则直接无效——因为 (0/0) 在算术里没有意义。注意，这里说的 (0) 和无穷大都是"极限过程"，不是真正的数。(\frac{\sin 3x}{x}) 在 (x=0) 这一点根本没定义，我们讨论的是 (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^2+1}{2x^2+3}) | 两个都趋于无穷，谁快？ |
| 积 | (0\cdot\infty) | (x\to0^+,\ x\ln x) | 一个压向 0，一个冲向无穷 |
| 差 | (\infty-\infty) | (x\to\infty,\ \sqrt{x^2+x}-x) | 两个无穷互相抵消，剩多少？ |
| 幂 | (0^0) | (x\to0^+,\ x^x) | 底数和指数都趋于 0 |
| 幂 | (1^\infty) | (x\to0,\ (1+x)^{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) 的极限一定是无穷大，结果是"确定"的，不需要比速度。同样的道理，(\infty+1)、(0+0)、(\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(1+x)\sim x) | 1 |
| (e^x-1\sim x) | 1 |
| (a^x-1\sim x\ln a) | 1 |
| ((1+x)^\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-x=0)，整个分式变成 (0/x^3=0)。但正确答案是 (-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^2+x}-\sqrt{x^2-x}). ] 分子有理化： [ \frac{(\sqrt{x^2+x})^2-(\sqrt{x^2-x})^2}{\sqrt{x^2+x}+\sqrt{x^2-x}} =\frac{2x}{\sqrt{x^2+x}+\sqrt{x^2-x}}. ] 分子分母同除以 (x)，注意 (x\to+\infty) 时 (\sqrt{x^2\pm x}=x\sqrt{1\pm 1/x})： [ \frac{2}{\sqrt{1+1/x}+\sqrt{1-1/x}}\to 1. ]
第三种，多项式的无穷大之差用"抓大头"。比如： [ \lim_{x\to\infty}(\sqrt{x^2+x}-x). ] 提一个 (x) 出来： [ x\left(\sqrt{1+\frac{1}{x}}-1\right). ] 这里 (\sqrt{1+t}-1\sim \frac{1}{2}t)（当 (t\to 0)），所以 (t=1/x)，上式 (\sim x\cdot\frac{1}{2x}=\frac{1}{2})。本质上用了等价无穷小 ((1+t)^\alpha-1\sim \alpha t)，只不过此时 (t) 是趋于 0 的 (1/x)。
4. 幂指型三兄弟：0^0、1^∞、∞^0
4.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}(1+2x)^{1/x}. ] 底数 (1+2x\to1)，指数 (1/x\to\infty)，是 (1^\infty)。按公式： [ g(x)(f(x)-1)=\frac{1}{x}\cdot 2x=2, ] 所以答案是 (e^2)。
但要记住前提：(f\to1) 且 (g\to\infty)，两个条件缺一不可。如果底数是 (1+2x)，指数是 (x)（也就是 (g\to0)），那就不是 (1^\infty)，而是 (1^0)——极限确定等于 1，根本不用算。
4.3 三个实例一次性过手
例一：(0^0) 型。求 (\lim_{x\to0^+}x^x)。
设 (L=x^x)，取对数： [ \ln L=x\ln x\to 0\quad(\text{这就是第 3 章那个经典结论}). ] 所以 (L=e^0=1)。注意 (0^0) 在这里极限是 1，但这不代表算术里 (0^0=1)，只是这个特定极限过程的结果刚好是 1。
例二：(\infty^0) 型。求 (\lim_{x\to\infty}x^{1/x})。
取对数： [ \ln L=\frac{1}{x}\ln x\to 0, ] 所以 (L=1)。你发现没有，(\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})
第一步，判断类型。代入 (x=0)：分子 (\sin0-\tan0=0)，分母 (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) 直接上快捷公式： [ L=e^{\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}. ] 所以 (L=e^{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) 有没有漏掉？
- 答案能不能用代入小量的方式验证？比如取 (x=10^{-3})，用计算器按一遍，看是否接近理论值。
尤其是最后一条，我强烈建议养成习惯。考试时没计算器，但在平时练习中，用小数代入检验是一个非常强大的纠错手段。我见过太多人辛辛苦苦算出一个 (-2)，结果是 (2)，只用 (x=0.001) 代一遍就能当场发现符号错了。
极限求法的内容到这里就全部讲完了。回到开头那个学生的问题，现在你再看 (\frac{\sin 3x}{x}) 和 (\frac{\sin 3x}{x^2})，应该能一眼看出它们的区别：前者是分子分母同阶趋于 0，结果取决于系数之比；后者是分母跑得更快，结果必然发散。整个 7 种未定式的体系，说到底就是在训练你"看速度"的能力——谁趋近得快，谁趋近得慢，以及它们之间如何互相转化。把这个能力练好，极限这一章就算真正过关了。