📖 本文说明
这是一篇费曼学习法互动笔记。我和学习搭档 Hermes 用「我讲→他复述→追问→补缺」的方式过了一遍考研数学第一章第六节——函数极限的计算。
文章把讲义原文（周洋鑫老师 2027 考研数学零基础提前学）和对话实录融合在一起。Hermes 理解错的地方、问出来的缺口，都是用 😅 标记的——我的漏洞就是你需要重点复习的地方。
📋 导航
1. 洛必达法则
1.1 定理内容与三个条件
📖 洛必达法则（L’Hôpital’s Rule）
设函数 $f(x)$, $g(x)$ 在点 $a$ 的某去心邻域 $\mathring{U}(a)$ 内满足：
- 趋势条件：$\displaystyle\lim_{x \to a} f(x) = 0$ 且 $\displaystyle\lim_{x \to a} g(x) = 0$（或 $\pm\infty$）
- 可导条件：$f’(x)$, $g’(x)$ 在 $\mathring{U}(a)$ 内都存在，且 $g’(x) \neq 0$
- 极限存在条件：$\displaystyle\lim_{x \to a} \frac{f’(x)}{g’(x)}$ 存在（等于常数 $A$）或为 $\infty$
结论：
$$ > \lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)} > $$
💡 注①：去心邻域可导就够了
洛必达处理的是趋近过程，跟 $a$ 点本身的值完全无关。因此不需要 $f(x)$, $g(x)$ 在 $a$ 点可导，只要求在 $a$ 的去心邻域内可导即可。
💡 注②：条件 3 的意义
这里说的"极限存在"，包含两种情况：
- 确定的存在：等于有限常数 $A$ ✅
- 确定的不存在：等于 $\infty$（也算"确定"） ✅
但不包括震荡不存在（见 1.3 节）。 ❌
1.2 0/0 与 ∞/∞ 的统一性
0/0 型和 ∞/∞ 型的洛必达法则在条件上几乎没有区别——除了第一个条件中分子分母的极限趋势不同，其他条件完全一样（可导、分母导不为零、导函数比极限存在）。
可以把它们合在一起记，做题时判断趋势类型即可。
1.3 ⚠️ 易错点①：震荡不存在 vs 无穷大
这是初学者最容易翻车的地方。
条件 3 要求 lim f'(x)/g'(x) 的极限必须是一个确定的值。如果它是震荡的不存在（即在有限区间内来回摆动，没有确定的极限值），洛必达法则失效。
经典反例：
求极限 $\displaystyle\lim_{x \to \infty} \frac{x + \sin x}{x}$。
错误做法（强行洛必达）：
$$ \lim_{x \to \infty} \frac{x + \sin x}{x} \xrightarrow{\text{洛必达}} \lim_{x \to \infty} \frac{1 + \cos x}{1} $$$1 + \cos x$ 在 $[0, 2]$ 之间震荡，极限不存在，也不是无穷大。条件 3 不满足，洛必达失效 ❌
正确做法（分子分母同除 $x$）：
$$ \lim_{x \to \infty} \frac{x + \sin x}{x} = \lim_{x \to \infty} \left(1 + \frac{\sin x}{x}\right) = 1 + 0 = 1 $$💡 注：
这个例子的教学意义在于：洛必达不是万能公式。 碰到
x+sinx这种结构，同除 $x$ 才是正路子。做题前先观察结构，不要条件反射式地求导。
1.4 ⚠️ 易错点②：洛必达的方向性
洛必达法则的推理方向是单向的：
条件① + 条件② + lim f'(x)/g'(x) 存在（确定）
⟹ lim f(x)/g(x) = lim f'(x)/g'(x)
绝对不可以反过来推理：
lim f(x)/g(x) = A
⇏ lim f'(x)/g'(x) = A
从原极限存在，完全无法确定导函数比的存在性。即使原极限存在，导函数比也可能震荡不存在。
以 (x+sin x)/x 为例：原极限 = 1 存在，但导函数比 (1+cos x)/1 震荡不存在。
1.5 🎙️ 互动实录：我的追问与你的纠正
😅 我第一次表述上的错误：
我：“X的导数不等于零” —— 我当时说的是"X的导数"，应该准确说是分母的导数 g’(x) ≠ 0。这是理解洛必达条件的关键细节：如果分母的导数在去心邻域内恒等于零，导函数的比就没有意义了。
😅 我追问"是否需要在 a 点可导"：
我：洛必达要求的是在 a 点的去心邻域内可导就够了对吧？不需要在 a 点本身可导？
你：没错，洛必达处理的是趋近过程，因此不需要在这个点可导。
📍 这里你需要复习： 洛必达涉及的是取极限，关心的是"靠近"的过程，和目标点本身的值无关。去心邻域可导就足够了。
😅 我们对"方向性"有过一段绕路：
你提到：如果原极限存在且等于 A，但导函数比可能 = A 也可能不唯一
我一开始没理解，以为在说从原极限反推导函数比的某种定理
你纠正后我明白：这不是一个定理推导，而是在说洛必达的使用流程—— 先检查前两个条件 → 再算导函数比 → 算出来了就用，算不出来就换方法。 一切从导函数比出发，不需要也从不能从原极限反推。
📍 这里你需要复习： 做题时洛必达的使用顺序应该是：看到 0/0 或 ∞/∞ → 检查可导条件 → 求导算极限 → 有结果就写结果。不是先猜原极限等于多少再去验证导函数的极限。
2. 拉格朗日中值定理求极限
2.1 定理回顾
📖 拉格朗日中值定理（Lagrange Mean Value Theorem）
若函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 内可导，则至少存在一点 $\xi \in (a, b)$，使得
$$ > f(b) - f(a) = f'(\xi)(b - a) > $$
2.2 使用场景与例题
什么时候想到用拉格朗日：
看到同一个函数在两个不同点处取值的差，即 $f(\square) - f(\triangle)$ 的结构，且 $\square$ 和 $\triangle$ 都是某个极限过程中的变量。此时拉格朗日可以"消去"函数形式，把差转化为导数乘以自变量的差。
✏️ 例题：求 $\displaystyle\lim_{x \to 0} \frac{e^{\tan x} - e^x}{x^3}$
解. 令 $f(t) = e^t$，则 $a = x$，$b = \tan x$。由拉格朗日中值定理，存在 $\xi$ 介于 $x$ 与 $\tan x$ 之间，使得：
$$ e^{\tan x} - e^x = e^{\xi}(\tan x - x) $$原极限化为：
$$ \lim_{x \to 0} \frac{e^{\xi}(\tan x - x)}{x^3} $$当 $x \to 0$ 时，$\tan x \sim x$，且 $\xi$ 夹在 $x$ 和 $\tan x$ 之间，所以 $\xi \to 0$，$e^{\xi} \to 1$。于是：
$$ \lim_{x \to 0} \frac{\tan x - x}{x^3} $$泰勒展开 $\tan x = x + \dfrac{x^3}{3} + \dfrac{2x^5}{15} + \cdots$，得 $\tan x - x \sim \dfrac{x^3}{3}$，所以：
$$ \lim_{x \to 0} \frac{e^{\tan x} - e^x}{x^3} = \frac{1}{3} $$验证（等价无穷小法）：
$$ e^{\tan x} - e^x = e^x(e^{\tan x - x} - 1) \sim 1 \cdot (\tan x - x) \sim \frac{x^3}{3} $$结果一致 ✅
💡 关键技巧：$\xi$ 的夹逼
拉格朗日中的 $\xi$ 我们不需要知道它的精确位置，只需要知道它被夹在 $a$ 和 $b$ 之间。如果 $a$ 和 $b$ 都趋向于同一个点，那么 $\xi$ 也被夹逼到那个点，从而 $f’(\xi)$ 的极限就知道了。
本例中 $x \to 0$ 且 $\tan x \to 0$，所以 $\xi \to 0$，$e^{\xi} \to 1$。
3. 七种未定式框架
3.1 总览表
| 类型 | 定义特征 | 核心方法 |
|---|---|---|
| ① 0/0 | 分子分母都 → 0 | 等价无穷小、泰勒、洛必达、拉格朗日 |
| ② ∞/∞ | 分子分母都 → ∞ | 抓大头（多项式）、洛必达 |
| ③ ∞−∞ | 两项都 → ∞，差不定 | 通分、倒代换、提出最大项 |
| ④ 1^∞ | 底数 → 1，指数 → ∞ | 幂指转换 → $e^{v\ln u}$ → $u\to 1$ 时 $\ln u \sim u-1$ |
| ⑤ 0·∞ | 一项 → 0，一项 → ∞ | 化成 ① 或 ② |
| ⑥ 0⁰ | 底数 → 0，指数 → 0 | 幂指转换，底数不 → 1，不能用等价替换 |
| ⑦ ∞⁰ | 底数 → ∞，指数 → 0 | 同 ⑥ |
3.2 0/0 型（重点）
工具链优先级：
观察结构 → 等价无穷小替换 → 泰勒展开 → 洛必达 → 拉格朗日 → 四则运算
常用等价无穷小（$x \to 0$ 时）：
$$ \begin{aligned} \sin x &\sim x, &\tan x &\sim x, &\arcsin x &\sim x, \\ \arctan x &\sim x, &\ln(1+x) &\sim x, &e^x - 1 &\sim x, \\ 1 - \cos x &\sim \frac{1}{2}x^2, &\sqrt{1+x} - 1 &\sim \frac{1}{2}x \end{aligned} $$3.3 ∞/∞ 型
两个方向：
- 多项式之比 → 抓大头（只看分子分母的最高次项）
- 非多项式 → 洛必达
3.4 ∞−∞ 型
三种套路：
- 通分（适合含有分式的 ∞−∞）
- 倒代换（令 $t = 1/x$，常转化为 0/0 型）
- 提出最大项（提出公共的"最大的无穷大"因子）
3.5 1^∞ 型
这是考研出现频率最高的类型之一。
标准做法：幂指转换
$$ \lim u(x)^{v(x)} = e^{\displaystyle\lim v(x) \cdot \ln u(x)} $$当 $u \to 1$ 时，$\ln u(x) \sim u(x) - 1$（等价无穷小），所以：
$$ \lim_{x \to 0} u^v = e^{\displaystyle\lim v \cdot (u - 1)} $$这是周洋鑫老师给的常用结论：
$$ \lim_{x \to 0} u^{v} = e^{\lim v(u - 1)} $$3.6 0·∞ 型
处理办法： 把 0 搬下去或把 ∞ 搬下去。
$$ \text{若 } \lim f(x) \cdot g(x) = 0 \cdot \infty \text{，则} \begin{cases} \displaystyle \lim \frac{f(x)}{1/g(x)} \to \frac{0}{0} \\[10pt] \displaystyle \lim \frac{g(x)}{1/f(x)} \to \frac{\infty}{\infty} \end{cases} $$选哪个？看哪个转化成 0/0 后求导更方便。
3.7 0⁰ 与 ∞⁰ 型
处理办法： 同样幂指转换。
$$ \lim u(x)^{v(x)} = e^{\displaystyle\lim v(x) \cdot \ln u(x)} $$关键区别： 这两种情况下底数 $u(x)$ 不趋近于 1（分别趋近于 0 和 ∞），所以不能用 $\ln u \sim u-1$ 来等价替换。需要老老实实处理 $\ln u$ 本身。
4. 常用技巧
4.1 非零因子淡化（😅 重点纠正过）
定义： 如果一个乘除结构中的因子，它的极限存在且为非零常数，那么它可以先提出来算掉，简化剩下的计算。
😅 我一开始表述不精确，被纠正了：
我（错误表述）：“把它拿出来的时候是与剩下的东西相乘的关系就可以”
你（纠正）：它跟剩下的整个式子必须是乘除关系。如果是加减法里的一项，就算极限是常数也不能提。
正确理解：
- ✅ 相乘关系：$\displaystyle\lim_{x \to 0} \frac{(1+x)\sin x}{x}$ → 因子 $(1+x)$ 极限为 $1$，且与整个分式乘除结构，可以先提：$= 1 \cdot \lim_{x \to 0} \frac{\sin x}{x} = 1$
- ❌ 加减关系：$\displaystyle\lim_{x \to 0} \frac{\sin x + 1}{x}$ → $1$ 虽然极限为 $1$，但在加法中，不能单独提
判断口诀： 非零因子是"乘"出来的，不是"加"出来的。
4.2 加减法拆分
极限的四则运算法则允许：如果 $\lim f(x) = A$ 且 $\lim g(x) = B$，则 $\lim (f \pm g) = A \pm B$。
💡 操作要点：
如果拆出来的其中一项极限存在，那么剩下部分的极限也一定存在。
如果拆出来的其中一项极限不存在（震荡），那这道题也就失去了计算意义——分母结果必然不存在。
4.3 幂指转换
核心公式：
$$ u(x)^{v(x)} = e^{\,v(x) \cdot \ln u(x)} $$适用于所有幂指函数情形的未定式（$1^\infty$, $0^0$, $\infty^0$）。
关键要判断：
- 如果 $u \to 1$（$1^\infty$ 型）→ $\ln u \sim u-1$，等价替换
- 如果 $u \to 0$ 或 $u \to \infty$（$0^0$ 或 $\infty^0$）→ 不能等价替换，老老实实算 $\ln u$
5. 讲义例题精选
以下例题出自**周洋鑫《2027考研数学零基础提前学》**讲义。
例 1.48：求解 $\displaystyle\lim_{x \to \infty} \frac{(1+\frac{1}{x})^{x^2}}{e^x}$
分析： 这是 $\displaystyle\lim_{x \to \infty} \left(1+\frac{1}{x}\right)^x = e$ 的变体，但幂次是 $x^2$，幂指函数。
解.
首先幂指转换：
$$ (1+\frac{1}{x})^{x^2} = e^{x^2 \ln(1+\frac{1}{x})} $$当 $x > 0$ 时，$\ln(1+\frac{1}{x}) \sim \frac{1}{x}$（等价无穷小）。所以：
$$ \lim_{x \to +\infty} \frac{e^{x^2 \cdot \frac{1}{x}}}{e^x} = \lim_{x \to +\infty} \frac{e^{x}}{e^{x}} = 1 $$💡 注：
本题容易犯的错误是先取极限再洛必达——在极限的四则运算中，不能对幂指函数先取部分极限（比如先取 $\lim (1+1/x)^x = e$），然后再对剩下的部分运算。这就是讲义里说的 $I \neq \frac{\lim (1+1/x)^{x^2}}{\lim e^x}$。必须先把幂指函数作为一个整体处理。
例 1.49：求解 $\displaystyle\lim_{x \to 0} x \ln |x|$
分析： $0 \cdot \infty$ 型。
解.
把 $x$ 放到分母去，转化为 $\infty/\infty$ 型：
$$ \lim_{x \to 0} x \ln |x| = \lim_{x \to 0} \frac{\ln |x|}{\frac{1}{x}} $$这是一个 $\displaystyle\frac{\infty}{\infty}$ 型的极限，用洛必达：
$$ \lim_{x \to 0} \frac{\ln |x|}{\frac{1}{x}} = \lim_{x \to 0} \frac{\frac{1}{x}}{-\frac{1}{x^2}} = \lim_{x \to 0} (-x) = 0 $$推广结论： 对任意 $p > 0$，$\displaystyle\lim_{x \to 0} x^p \ln |x| = 0$。
例 1.37：求解 $\displaystyle\lim_{x \to \infty} x \left(\frac{\pi}{4} - \arctan \frac{x}{x+1}\right)$
分析： $x \to \infty$ 时，$\frac{x}{x+1} \to 1$，$\arctan 1 = \frac{\pi}{4}$，所以括号内 $\to 0$，整体为 $\infty \cdot 0$ 型。
解法一（洛必达）：
转化为 $\frac{0}{0}$ 型。令 $t = \frac{1}{x}$，则 $t \to 0$：
$$ \lim_{x \to \infty} \frac{\frac{\pi}{4} - \arctan \frac{x}{x+1}}{\frac{1}{x}} \xrightarrow{\text{洛必达}} \cdots $$详细计算过程略，结果是 $\dfrac{1}{2}$。
解法二（拉格朗日中值定理）：
观察到 $\arctan a - \arctan b$ 的结构。令 $f(t) = \arctan t$，$a = 1$，$b = \frac{x}{x+1}$，由拉格朗日中值定理，存在 $\xi$ 介于 $\frac{x}{x+1}$ 和 $1$ 之间，使得：
$$ \arctan 1 - \arctan \frac{x}{x+1} = \frac{1}{1+\xi^2} \left(1 - \frac{x}{x+1}\right) $$$x \to \infty$ 时 $\frac{x}{x+1} \to 1$，所以 $\xi \to 1$，$\frac{1}{1+\xi^2} \to \frac{1}{2}$。
同时 $1 - \frac{x}{x+1} = \frac{1}{x+1}$。
所以原极限：
$$ \lim_{x \to \infty} x \cdot \frac{1}{2} \cdot \frac{1}{x+1} = \frac{1}{2} $$例 1.50：求解 $\displaystyle\lim_{x \to +\infty} \left(x + \sqrt{1 + x^2}\right)^{\frac{2}{x}}$
分析： $x \to +\infty$ 时，底数 $\to +\infty$，指数 $\to 0$，$\infty^0$ 型。
解.
幂指转换：
$$ \lim_{x \to +\infty} \left(x + \sqrt{x^2 + 1}\right)^{\frac{2}{x}} = e^{\displaystyle\lim_{x \to +\infty} \frac{2}{x} \cdot \ln (x + \sqrt{x^2 + 1})} $$注意指数中的 $\ln(x + \sqrt{x^2 + 1})$，当 $x \to +\infty$ 时，$\sqrt{x^2+1} \sim x$，所以 $x + \sqrt{x^2+1} \sim 2x$，$\ln(2x) \sim \ln x$。但这里需要精确计算：
$$ \lim_{x \to +\infty} \frac{\ln(x + \sqrt{x^2 + 1})}{x} = 0 $$因为对数函数的增长速度比任何幂函数都要慢。所以指数部分的极限为 $\frac{2}{x} \cdot \text{(有界量)} \to 0$。
另一种方法：洛必达。
$$ \lim_{x \to +\infty} \frac{\ln(x + \sqrt{x^2 + 1})}{x} = \lim_{x \to +\infty} \frac{\frac{1}{x + \sqrt{x^2+1}} \cdot (1 + \frac{x}{\sqrt{x^2+1}})}{1} = 0 $$故原极限 $= e^0 = 1$。
6. 总结与薄弱环节
核心要点
| 内容 | 一句话记住 |
|---|---|
| 洛必达条件 | 0/0 或 ∞/∞、可导且分母导≠0、导函数比极限确定 |
| 震荡 ≠ 无穷大 | 震荡时洛必达失效，换方法 |
| 方向性 | 只能从导函数比推原函数，不能反推 |
| 拉格朗日场景 | $f(b)-f(a)$ 结构，$\xi$ 夹逼求极限 |
| 幂指转换 | $u^v = e^{v\ln u}$，$u \to 1$ 才用等价替换 |
| 非零因子 | 必须是乘除结构的因子才能提出 |
📌 我的薄弱环节（根据互动记录）
以下是我在学习过程中理解不准确、需要你重点巩固的地方：
- 非零因子淡化的条件： 必须是乘除结构里的因子，不是加减结构。😅
- 洛必达反方向推理的陷阱： 不能从原极限存在的去推导函数比的情况。😅
- “去心邻域"的重要性： 洛必达和拉格朗日都只关心趋近过程，不关心那一点本身。😅
这些地方是 Hermes 理解出错的——我错了就是你没讲透，复习时多看看！
📝 下期预告：
考点 4 左右开弓法求极限 + 考点 5 已知极限反求参数 — 明天见！
