UFUG1102 Classwork 4：连续性判别与渐近线求法的八道题
这份专题围绕 UFUG1102 微积分 I 的第 4 次课堂作业展开。作业的主题是「连续性」与「渐近线」两个工具，形式是八道题（Q1–Q8）：四幅图按不连续类型分类（Q1）、两个极限（Q2）、三个判断题（Q3）、三个用介值定理证明「方程有解」（Q4–Q6）、三个连续延拓（Q7）、三个求所有渐近线（Q8）。八道题看起来各不相干，背后只共享一套核心工具：连续性的三条件判别、四类不连续、可去不连续可补洞、介值定理、有理函数渐近线流程。专题把这套工具讲透，再用 Q1–Q8 逐题演示「拿同一把工具能解出八道题」。
读者画像：已学过极限章节与基本初等函数（多项式、三角、指数、对数）的大一微积分学生；接受直观极限定义，尚未接触 ε-δ 分析。预设你会做左右极限、四则运算与基本因式分解，对「连续」与「不连续」只有图像上的模糊直觉。
「连续」到底是什么：三条必须同时满足的判别条件
先用一张图把直觉立住
我们想判定「连续」两个字到底意味着什么。最直观的回答是「画出来没有断点」。下面这张图来自 Ximera/OSU 的 Calculus One §1.8，它给出了一条光滑曲线在 $x = 2$ 处没有任何「断裂」的样子：
图注：光滑蓝色曲线在 $x = 2$ 处无任何断点、跳跃或孤立点，这就是「连续」的视觉直觉锚点。注意图中没有显式标出 $\lim_{x\to 2^-} f(x)$、$\lim_{x\to 2^+} f(x)$、$f(2)$ 的具体数值，标题写着「$f(x)$ is continuous at $x = 2$」。Ximera
但「画出来没有断点」不是一个可验证的判别——同一张图你也可以说「看着没断」，老师也可以说「我觉得有一点」。要把「连续」从感觉变成事实，必须给出三条同时满足的条件。
三条件判别
按 classwork4.pdf 第 1 节给的标准与 Ximera §1.8 的教科书表述，函数 $f$ 在 $x = c$ 处连续，当且仅当下面三条同时满足Ximera:
- $f(c)$ 有定义（即 $c$ 在 $f$ 的定义域里）；
- $\lim_{x \to c} f(x)$ 存在（左右两侧极限都有限且相等）；
- $\lim_{x \to c} f(x) = f(c)$。
这三条缺一不可。如果 $f(c)$ 没定义，那是一个 hole 而不是函数在 $c$ 处连续；如果极限不存在（左右不等、振荡、发散），那是另一类不连续；如果极限存在但不等于 $f(c)$，那是可去不连续（$f(c)$ 写错了）。课堂作业第 7 题正是要你补上这种「写错的值」，把洞补上。
复合函数的连续性：能直接把极限代入函数
Ximera §1.8 §4 与 classwork4 §3 同时给出一条很实用的结论：若 $f$ 在 $c$ 处连续、$g$ 在 $f(c)$ 处连续，则 $g \circ f$ 也在 $c$ 处连续。这条性质对应 classwork4 §5 的「复合函数极限定理」：
$$\lim_{x \to c} g(f(x)) = g!\left(\lim_{x \to c} f(x)\right) = g(b)$$
只要外层 $g$ 在 $b$ 处连续、且内层极限 $\lim_{x\to c} f(x) = b$，就可以直接把 $b$ 代入 $g$。Q2(a) 是这条性质最直接的演练。
Q2(a)：$\displaystyle\lim_{x \to \pi/2} \cos!\left(2x + \sin!\left(\dfrac{3\pi}{2} + x\right)\right)$.
先算内层：当 $x \to \pi/2$，$3\pi/2 + x \to 2\pi$；$\sin(2\pi) = 0$；所以内层极限是 $\pi/2 \cdot 2 + 0 = \pi$。外层 $\cos$ 在 $\pi$ 处连续，所以整个极限就是 $\cos(\pi) = -1$。
代数封闭性：四则运算、幂、根都保持连续
classwork4 §3 给了清单：若 $f, g$ 在 $c$ 处连续，则 $f \pm g$、$k \cdot f$、$f \cdot g$、$f / g$（$g(c) \ne 0$ 时）、$f^n$（$n \in \mathbb{Z}^+$）、$\sqrt[n]{f}$（$n \in \mathbb{Z}^+$）在 $c$ 处都连续Ximera。这条性质对 Q2(b) 至关重要。
Q2(b)：$\displaystyle\lim_{x \to 0^+} \dfrac{x f(x)}{g(x)^2 + 1}$，其中 $f, g$ 在 $x = 0$ 处连续。
分子 $x f(x)$：$x \to 0$，$f(x) \to f(0)$（$f$ 连续），所以分子极限是 $0 \cdot f(0) = 0$。 分母 $g(x)^2 + 1$：$g(x) \to g(0)$，所以分母极限是 $g(0)^2 + 1 \ge 1 > 0$。 整体极限就是 $0 / (g(0)^2 + 1) = 0$。
到这里我们看到，连续性带来的「代入便利」是真实的：只要你能保证每一因子都连续，就能把极限直接代入函数值，省去一切花式的极限技巧。Q2 两个小题就是这一章工具的活学活用。
四类不连续长什么样：用左右极限一眼分辨
拿到一张陌生图，先问三个问题
「不连续」不是一个东西，它至少分成四类。怎么分？看左右极限的行为：
- 两边极限都是有限数且相等 → 要么是连续的，要么是可去不连续（看 $f(c)$ 等不等于这个共同极限）；
- 两边极限都是有限数但不等 → 跳跃不连续；
- 至少一边极限是 $\pm\infty$ → 无穷不连续；
- 至少一边极限不存在（典型：振荡）→ 振荡不连续。
classwork4 §2 用 4-bucket（removable / jump / infinite / oscillating），Ximera §1.8 §2 的四类分类与 classwork4 类似但第四类名为 essential，按 Ximera 原文 essential 是「不属于前三类的不连续」的 catch-all 名（主要吸纳 oscillatory 与其他怪异情形，infinite 在 Ximera 中是独立列出的第三类）；Wikipedia 的不连续分类把 infinite 与 oscillatory 合在一起统称「essential」，未单独列 infiniteWikipedia。教学面以 classwork4 的 4-bucket 为准；三家在 infinite 是否单列上粒度不同。
用三张 Wikipedia 标准图建立视觉词典
Wikipedia 的「Classification of discontinuities」给了三张经典示例图，是这套分类的事实标准视觉锚点。
第一张，removable：曲线升至 $x = 1$ 处峰 $y = 1$，但 $x = 1$ 处独立画了一个点 $(1,0)$ 表示 $f(1) = 0 \ne 1$，即极限存在但函数值偏离了曲线。
图注：曲线整体趋近 $y = 1$，但 $x = 1$ 处的函数值 $(1,0)$ 偏离曲线——「lim 存在但 $\ne f(c)$」就是可去不连续的几何本质。补洞只需把那个孤立点抬到 $(1,1)$。Wikipedia
第二张，jump：左右从不同高度出发形成跳跃。
图注：左侧曲线升至 $(1,1)$，右侧曲线从 $(1,2)$ 开始下降（peak）；$x=1$ 处独立画了一个点 $(1,0)$ 表示 $f(1)=0$——左右极限分别为 $1$ 和 $2$，均为有限数但不相等，典型 jump。Wikipedia
第三张，essential：Wikipedia 把 infinite 与 oscillating 合在这一张里——左侧 $\sin(5/(x-1))$ 在 $x \to 1^-$ 时振荡、右侧 $1/(x-1)$ 在 $x \to 1^+$ 时发散；同一张图同时承载两种「essential」子情形。
图注：左侧振荡 = oscillating、右侧发散 = infinite；这是 Wikipedia 把 infinite+oscillatory 合并到 essential 大类的视觉原因。教学面按 classwork4 的 4-bucket 单列。Wikipedia
把课堂作业 Q1 的四幅图分到四类里
classwork4 Q1 给了四幅并排的坐标系，让你判断不连续类型。把它们一张一张分类：
图注：课堂作业 Q1 的四幅函数图，自左至右分别为：$y = 1/x^2$、$y = \sin(1/x)$、一条正斜率直线、一条含 $x = 0$ 空心圆的分段函数。图中无任何标注，按四类不连续框架与曲线行为来分类。
分类如下：
| 面板 | 函数（由图读出） | 极限行为 | 类型 |
|---|---|---|---|
| 1 | $y = 1/x^2$ | 两侧 $\to +\infty$ | infinite |
| 2 | $y = \sin(1/x)$ | 两侧都在 $[-1,1]$ 间剧烈振荡，极限不存在 | oscillating |
| 3 | 正斜率直线（$x=0$ 处独立点偏离） | $\lim_{x \to 0}$ 存在但 $f(0) \ne$ 极限值 | removable |
| 4 | 分段 $0/1$（$x = 0$ 处空心圆） | $\lim^- = 0$，$\lim^+ = 1$，两侧有限但不等 | jump |
Q1 的四幅图正好覆盖了 infinite / oscillating / removable / jump 四类不连续，与本章 4-bucket 分类一一对应；连续延拓（removable 的「补洞」步骤）则在 Q7(a)(b)(c) 通过代数（公共因子 / 极限存在性）进一步展开。
拿这张图做练习：盯每一幅图的 $x = 0$ 附近两侧曲线在做什么——是「跑向同一个高度」（可能是连续或可去）、「从两个不同高度出发」（jump）、「朝天上飞或朝地下钻」（infinite）、「来回抖」（oscillating）？这套动作比记定义更直观。
反例：与 Wikipedia 分类粒度协调
MathWorld 的 Discontinuity 词条显式说明这四类「是有用的描述而非穷尽分类」MathWorld。课堂作业的 4-bucket 与 Wikipedia 的 3-bucket 在粒度上有差异，但落在 Q1–Q8 这八道题里，4-bucket 已经完全够用。Wikipedia essential 作为合集写法仅在引用 Wikipedia 图说时提及，教学面分类保持 4-bucket。
可去不连续能补洞吗：用因式分解区分 hole 与 vertical asymptote
延拓公式：补洞的唯一办法
classwork4 §2 写得很清楚：可去不连续的本质是「极限存在但函数值不在曲线上」。定义延拓
$$\tilde f(c) := \lim_{x \to c} f(x)$$
就把洞补上了。Q7 三个函数的任务就是这个——找补洞所需的值。
Q7(a)：$f(x) = \sin x / x$。已知 $\lim_{x \to 0} \sin x / x = 1$（夹逼或 Taylor 展开），所以延拓是 $\tilde f(0) := 1$。
Q7(b)：$f(x) = x \cos(1/x)$。已知 $|x \cos(1/x)| \le |x| \to 0$，所以延拓是 $\tilde f(0) := 0$。
这两题告诉你一件事：补洞的关键是先算出那个极限。
因式分解：hole 和 VA 长在同一根函数上
Q7(c) 是这一章的核心：(x²-4)/(x²+x-6) 这类有理函数里，hole（可去不连续）和 vertical asymptote（VA）常常同时出现。区分它们的工具是因式分解的三步法（OpenStax Precalculus §3.7 Example 6 OpenStax）：
- 分子分母做因式分解；
- 约掉公共因子；
- 约分后分母为 0 的点 → VA（不可延拓）；被约分排除但约分后分母非 0 的点 → removable hole（可延拓）。
Q7(c)：$f(x) = \dfrac{x^2 - 4}{x^2 + x - 6}$.
分子分解为 $(x-2)(x+2)$，分母分解为 $(x+3)(x-2)$。约掉公共因子 $(x-2)$，剩 $(x+2)/(x+3)$。
- $x = 2$：原分母为 0、被公共因子 $(x-2)$ 排除 → removable hole。延拓值 $\tilde f(2) = (2+2)/(2+3) = 4/5$。
- $x = -3$：约分后分母仍为 0 → VA，不可延拓。
下图来自 OpenStax §3.7 Figure 10（同样的因式分解机制：OpenStax）：
图注：蓝色曲线在 $x = -1$ 处挖了一个洞（removable discontinuity），同坐标系 $x = 3$ 处有一条红色虚线（vertical asymptote）。hole 与 VA 同图并存是因式分解机制的标准呈现：约掉公共因子产生 hole，剩下的分母因子产生 VA。OpenStax
配对图 OpenStax Figure 11 把 hole 和 VA 在 x 轴左右对调：
图注：红色虚线 $x = -2$ 是 VA，蓝色双曲线在 $x = 2$ 处挖洞。同一类机制：约分后剩下的分母因子给出 VA，被约掉的公共因子给出 hole。OpenStax
两图合并告诉你：hole 与 VA 不是两种「不连续」的区别，它们是同一个因式分解问题的两种产物——被约掉的因子留下 hole，剩下的因子留下 VA。Q7(c) 的 $x = 2$ 与 $x = -3$ 完全同款。
Ximera Example 11 的工作模式：Ximera/OSU, Calculus One, §1.8 给了一道分段函数连续性工作例，列出方程 $4 + a = 7 \Rightarrow a = 3$（页面里的方程形式）。这条思路对 Q7 的「解出补洞值」是同款做法Ximera。
怎么证「至少有一个解」：介值定理与存在性证明的三种写法
介值定理的现代陈述
介值定理（Intermediate Value Theorem, IVT）是这一章的主定理。classwork4 §6 给的版本与 Wikipedia IVT 条目 Version I 是同一件事Wikipedia:
IVT Version I：若 $f$ 在 $[a, b]$ 上连续，且 $\min(f(a), f(b)) < u < \max(f(a), f(b))$，则存在 $c \in (a, b)$ 使 $f(c) = u$。
直观上就是「连续曲线必然穿越每一条夹在两端函数值之间的水平线」。下面是这张经典示意图：
图注：蓝色曲线 $y = f(x)$ 在 $[a, b]$ 上先升后降，橙色竖线标 $a$、$b$，绿色虚线水平标 $f(a)$、$f(b)$，红色实线 $y = u$ 夹在两者之间，红色虚线从曲线落到 $x$ 轴上的 $c$。这就是 IVT Version I 的标准几何图：连续曲线必然穿越夹在端点函数值之间的水平线。Wikipedia
更一般的 Version II 是：连续函数在闭区间上的像集本身是一个闭区间，且包含 $[\min(f(a), f(b)), \max(f(a), f(b))]$。Version I 是 Version II 的特例；做 Q4、Q5 时用 Version I 就够。
把「证有根」拆成三步走
证明「$f$ 在某区间上有根」不需要把根算出来。标准做法是：
- 造辅助函数：令 $h(x) := f(x) - u$（或类似变形），把「找使 $f(c) = u$ 的 $c$」变成「找使 $h(c) = 0$ 的 $c$」；
- 验连续性：$h$ 在 $[a, b]$ 上连续（由 $f$ 连续、四则运算或复合得到）；
- 验端点异号：$h(a)$ 与 $h(b)$ 异号（一个正一个负）。由 IVT，必存在 $c \in [a, b]$ 使 $h(c) = 0$。
这套三步法直接对应 Gamage 2026 的 Scaffold/Write/Debug 三阶段教学法Gamage。Gamage 在课程上观察到：「Scaffold gives you somewhere meaningful to start with any proof even if you don't really know where you're going」（即使不知道要到哪里去，Scaffold 也能给你一个有意义的起点）——这正是 Q4 这种存在性证明最缺的。
Q4：证 $f(x) = x^3 - x + 3$ 有一个根。
- $f$ 是多项式 → 处处连续；选 $[a, b] = [-2, 0]$。
- $f(-2) = -8 + 2 + 3 = -3 < 0$；$f(0) = 3 > 0$。
- 由 IVT，存在 $c \in (-2, 0)$ 使 $f(c) = 0$。
这是课堂作业给的 scaffold stage：连续 + 端点异号 + IVT 三件套已经摆好，学生要做的只是「验端点数值」。
Q5：证 $\sqrt{2x+5} = 4 - x^2$ 有一个解。
这是 write stage：学生得自己构造辅助函数。定义
$$h(x) = (4 - x^2) - \sqrt{2x + 5}$$
$h$ 在定义域 $x \ge -5/2$ 上连续（$4 - x^2$ 是多项式，$\sqrt{2x+5}$ 是连续函数的复合）。取 $[a, b] = [0, 2]$：
- $h(0) = 4 - 0 - \sqrt{5} = 4 - \sqrt{5} \approx 1.76 > 0$；
- $h(2) = 0 - \sqrt{9} = -3 < 0$。
由 IVT，存在 $c \in [0, 2]$ 使 $h(c) = 0$，即 $\sqrt{2c+5} = 4 - c^2$。
注意：IVT 的存在性结论保证「至少有一个」解，不必算出具体值；具体根的数值与位置需要另外求（IVT 本身并不保证唯一性）。
Q6：设 $f(a) < g(a)$、$f(b) > g(b)$。证存在 $c \in [a, b]$ 使 $f(c) = g(c)$。
这是 Bolzano 1817 的原始两函数形式。Bolzano 在 Rein analytischer Beweis 中写道：「设 $f, \varphi$ 在 $[\alpha, \beta]$ 上连续，且 $f(\alpha) < \varphi(\alpha)$、$f(\beta) > \varphi(\beta)$，则在 $(\alpha, \beta)$ 中存在 $x$ 使 $f(x) = \varphi(x)$。」Wikipedia
注意：原题没有显式声明 $f, g$ 在 $[a, b]$ 上连续——这是 IVT 结论需要的假设。在做这道题时必须补上：「假设 $f, g$ 在 $[a, b]$ 上连续」是这条结论能用 IVT 的前提。
证明：
- 令 $h(x) := f(x) - g(x)$。由 $f, g$ 连续，$h$ 在 $[a, b]$ 上连续；
- $h(a) = f(a) - g(a) < 0$；$h(b) = f(b) - g(b) > 0$；
- 由 IVT，存在 $c \in [a, b]$ 使 $h(c) = 0$，即 $f(c) = g(c)$。
这是 debug stage：Q6 形式与 Q4/Q5 不一样（两个函数、不是单函数零根），但本质是同一个 IVT——只要把 IVT 的「单函数零根」翻译成「两个连续函数值异号 ⇒ 交点」就行。
把三阶段法映射到 Q4/Q5/Q6
按 Gamage 2026 的三阶段设计Gamage：
| 阶段 | 含义 | 课堂题对应 |
|---|---|---|
| Scaffold（给骨架、补步骤） | 工具与结构已摆好，学生补中间步骤 | Q4（多项式端点值已点名） |
| Write（独立写） | 学生自选辅助函数、自找区间 | Q5（要构造 $h(x) = 4 - x^2 - \sqrt{2x+5}$） |
| Debug（识别结构并迁移） | 看错证明并改写；或识别同款结构 | Q6（单函数 IVT → 两函数 IVT 的迁移） |
注意 Gamage 自己 disclaim：「这些调查数据只用于描述性目的，不应被解读为三阶段法单独导致了所观察到的改进」。它提供的是「如何把存在性证明一步步写出来」的教学法框架，不是「三阶段法已被证明最优」的实验证据。
连续函数在无穷远处长成什么样：求所有渐近线的统一流程
三种渐近线：垂直 / 水平 / 斜
classwork4 §7 把三种渐近线统一在一个流程里：
- 垂直渐近线（VA）：有限点 $c$ 使 $\lim_{x \to c^-} f(x) = \pm\infty$ 或 $\lim_{x \to c^+} f(x) = \pm\infty$。
- 水平渐近线（HA）：$\lim_{x \to \pm\infty} f(x) = b$（$b$ 有限）。
- 斜渐近线（slant）：$\lim_{x \to \pm\infty} \bigl[f(x) - (ax+b)\bigr] = 0$（$a \ne 0$）。
求渐近线的统一步骤（classwork4 §7 verbatim）：
- (a) 对每一个不连续点 $c$，检查是否有 VA；
- (b) 算 $a := \lim_{x \to \pm\infty} f(x)/x$；
- 若 $a$ 不存在（DNE），则无其它渐近线；
- 若 $a = 0$，算 $b := \lim_{x \to \pm\infty} f(x)$，$b$ 存在则 HA = $y = b$，否则无 HA；
- 若 $a \ne 0$，算 $b := \lim_{x \to \pm\infty} \bigl[f(x) - ax\bigr]$，$b$ 存在则斜渐近线 $y = ax+b$。
分子分母次数差决定渐近线类型
OpenStax Precalculus §3.7 把判别做得更直接：设 $f(x) = p(x)/q(x)$，$\deg p = m$，$\deg q = n$，无公共因子OpenStax：
| 次数差 | 渐近线类型 |
|---|---|
| $m < n$ | 水平渐近线 $y = 0$ |
| $m = n + 1$ | 斜渐近线（用长除法） |
| $m = n$ | 水平渐近线 $y = a_n/b_n$（leading coefficient 之比） |
| $m \ge n + 2$ | 无水平 / 斜渐近线 |
把这张判定表与三步流程结合：先找所有 VA（分母为 0 的有限点），再用分子分母次数差决定 HA/slant 的存在性。
长除法求斜渐近线
OpenStax §2 Example 7 ⓑ 给了标准长除法工作例：$(3x^2 - 2x + 1) / (x - 1)$ 长除法得 $3x + 1 + 2/(x - 1)$，斜渐近线 $y = 3x + 1$。
图注：OpenStax Figure 13 演示了斜渐近线与曲线的视觉关系。蓝色曲线在 $x = 1$ 处分为两支（左下、右上），均沿绿色虚线 $y = 3x + 1$ 渐近；红色虚线 $x = 1$ 是 VA。注意曲线可以与斜渐近线相交——渐近线不是「永不接触」的边界。OpenStax
Q8(c)：$f(x) = (x^2 - 3)/(2x - 4)$。
- 分子 $\deg = 2$，分母 $\deg = 1$，$m = n + 1$ → 存在斜渐近线；
- 分母 $2x - 4 = 2(x - 2)$，在 $x = 2$ 处为 0 → VA $x = 2$；
- 长除法：$(x/2 + 1)(2x - 4) = x^2 - 4$；余 $(x^2 - 3) - (x^2 - 4) = 1$。所以 $f(x) = x/2 + 1 + 1/(2x - 4)$；
- 当 $x \to \pm\infty$，$1/(2x-4) \to 0$；
- 斜渐近线 $y = x/2 + 1$。
这是 OpenStax Figure 13 同款做法：长除法 → 商式 → 余项极限。
两道特殊情况：绝对值与振荡
Q8(a)：$f(x) = (x^3 - 2)/(|x|^3 + 1)$。
分母 $|x|^3 + 1 \ge 1 > 0$，永不为 0 → 无 VA。
两侧无穷远处的行为不同：
- $x \to +\infty$：$|x|^3 = x^3$，所以 $f(x) \to (x^3 - 2)/(x^3 + 1) \to 1$。右侧水平渐近线 $y = 1$。
- $x \to -\infty$：$|x|^3 = -x^3$，所以 $f(x) \to (x^3 - 2)/(-x^3 + 1) \to -1$。左侧水平渐近线 $y = -1$。
这种「两侧水平渐近线不同」是绝对值 $|x|^3$ 带来的特殊情形，不能直接套 $m = n$ 得 $y = a_n/b_n = 1$。两侧要分别算。
Q8(b)：$f(x) = x \sin(1/x)$。
$|f(x)| = |x \sin(1/x)| \le |x|$。
- $x \to 0$：$|f(x)| \le |x| \to 0$，所以 $f(x) \to 0$。$x = 0$ 不是 VA（函数值被压向 0 而非发散到 $\pm\infty$），是可去不连续（removable）：定义 $\tilde f(0) = 0$ 即连续。
- $x \to \pm\infty$：$|f(x)| = |x \sin(1/x)|$，令 $u = 1/x$，则 $f(x) = \sin(u)/u \to 1$。两侧水平渐近线 $y = 1$。
这是 OpenStax §3.7 关于 $1/x$ vs $1/x^2$ 在 VA 两侧行为对比的延伸：$|x|$ 在 0 附近把函数「压住」而非「拉飞」OpenStax。
把三种渐近线收成一张表
按 Q8 三题把判别结果合在一起：
| 题 | 函数 | VA | HA / slant |
|---|---|---|---|
| Q8(a) | $(x^3-2)/(\lvert x \rvert^3+1)$ | 无（分母 $\ge 1$） | 右侧 $y = 1$，左侧 $y = -1$ |
| Q8(b) | $x \sin(1/x)$ | 无（$\lvert f(x)\rvert \le \lvert x\rvert \to 0$） | 两侧水平渐近线 $y = 1$ |
| Q8(c) | $(x^2-3)/(2x-4)$ | $x = 2$ | 斜渐近线 $y = x/2 + 1$ |
「先垂直、后斜/水平」的统一流程在 Q8(a)(b)(c) 三种特殊情形上都能跑通——Q8(a) 的绝对值两侧分算、Q8(b) 的振荡非 VA、Q8(c) 的常规长除法，每一种都没有破坏这套流程。
一套工具解完八道题：复盘与 Q3 三个判断题
八道题共享的工具清单
把前五章的工具与八道题一一挂上钩：
| 工具 | 工具箱位置 | 用到的课堂题 |
|---|---|---|
| 三条件判别（定义 + 极限 + 等值） | 第 1 章 | Q2（连续性直接代入） |
| 四类不连续 | 第 2 章 | Q1（按四类分类四幅图） |
| 连续延拓 + 因式分解 | 第 3 章 | Q7(a)(b)(c) |
| 介值定理（IVT） | 第 4 章 | Q3(a)、Q4、Q5、Q6 |
| 渐近线统一流程 | 第 5 章 | Q8(a)(b)(c) |
| 单点连续函数存在性 + 反例 | 第 6 章 | Q3(b)(c) |
Q3 的三个判断题正好处在主线工具的交叉点上，是把整套工具在 true/false 题上再过一次。
Q3(a)：IVT 推出根
若 $f$ 在 $[1, 7]$ 上连续，且 $f(1) = 3$、$f(7) = -3$，则 $f$ 在 1 与 7 之间有一个零点。
True。由 IVT Version I：$\min(3, -3) = -3 < 0 < 3 = \max(3, -3)$，$0$ 在 $f(1)$ 与 $f(7)$ 之间，存在 $c \in (1, 7)$ 使 $f(c) = 0$。
这是 Bolzano 推论（Bolzano's root theorem）的最小工作例：连续 + 端点异号 ⇒ 零点。
Q3(b)：取遍区间上每个值就蕴含连续？
若 $f(1) = 3$、$f(7) = -3$，且 $f$ 取遍 $-3$ 到 $3$ 之间的每一个值，则 $f$ 连续。
False。IVT 的结论「$f$ 取遍端点之间的每个值」是连续函数必然满足的性质；但反过来，「$f$ 取遍每个值」不能推出连续——「取遍每个值」只是连续的必要条件之外的一条独立性质，不是充分条件本身。Q3(b) 让你看清：连续性是一组三条件的同时满足，单凭「取遍端点之间每个值」并不能替代其余条件。
Q3(c)：函数可以只在单独一个点连续吗？
一个函数只在单独一个点连续是可能的。
True。经典构造：$f(x) = x$ 对 $x \in \mathbb{Q}$，$f(x) = -x$ 对 $x \notin \mathbb{Q}$。在 $x = 0$ 处 $|f(x)| = |x| \to 0 = f(0)$，所以 $f$ 在 $0$ 处连续；对任何 $c \ne 0$，有理数侧逼近到 $c$、无理数侧逼近到 $-c$，两侧不等 → $c$ 处极限不存在 → 不连续。所以 $f$ 恰在 $x = 0$ 处单点连续MathWorld。
Q3(c) 让你看清：连续性是一个非常「局部」的概念，可以集中在一个点上而其他地方全乱。
工具复盘表
把 Q1–Q8 八道题与所用工具并列：
| 题号 | 题面核心 | 工具 |
|---|---|---|
| Q1 | 四幅图分类 | 四类不连续（infinite / oscillating / removable / jump） |
| Q2(a) | 复合极限 | 复合极限定理 + 代入 |
| Q2(b) | 0/有限型极限 | 代数封闭性 + 直接代入 |
| Q3(a) | f 端点异号 ⇒ 根 | IVT |
| Q3(b) | 取遍每个值 ⇒ 连续 | 取遍每个值不是充分条件 |
| Q3(c) | 单点连续函数 | 构造性反例 |
| Q4 | $x^3 - x + 3$ 有根 | IVT + 端点异号 |
| Q5 | $\sqrt{2x+5} = 4 - x^2$ 有解 | IVT + 构造辅助函数 |
| Q6 | $f(a)<g(a), f(b)>g(b)$ ⇒ 交点 | Bolzano 1817 两函数 IVT |
| Q7(a) | $\sin x / x$ 延拓 | 求极限得延拓值 |
| Q7(b) | $x \cos(1/x)$ 延拓 | 夹逼定理 + 延拓 |
| Q7(c) | $(x^2-4)/(x^2+x-6)$ 延拓 | 因式分解 + 判 hole vs VA |
| Q8(a) | $(x^3-2)/(\lvert x \rvert^3+1)$ 渐近线 | 分侧水平渐近线 |
| Q8(b) | $x \sin(1/x)$ 渐近线 | 振荡型非 VA + 无穷远无界 |
| Q8(c) | $(x^2-3)/(2x-4)$ 渐近线 | VA + 长除法斜渐近线 |
八道题不是八种问题，是同一套「连续性 + 极限 + 函数行为」工具穿了不同衣服。做下一份作业时，先问「这道题要我用哪种工具」，再去搬对应章节的判别流程。
参考文献
本专题引用的核心资料如下，建议深入学习时阅读原文：
- UFUG1102 Calculus I Classwork 4: Continuity and Asymptotes（用户上传 PDF，3 页课堂作业，Concepts 页 + Problems 页）— 原始上传文件，非公开链接
- Classification of discontinuities — Wikipedia
- Intermediate value theorem — Wikipedia
- 1.8 Continuity — Ximera/OSU Calculus One — Ximera
- 3.7 Rational Functions — OpenStax Precalculus — OpenStax
- Discontinuity — Wolfram MathWorld — MathWorld
- Scaffold Write Debug: A Three-Stage Approach to Proof Writing in Introductory Real Analysis — Gamage 2026, arXiv:2609.18957