数学分析（上）· 盈不足与逼近

本书怎么读：一章一个节奏

全书按「章」前进，一章 50 页。每章的节奏是：第 1 页导引（这个问题在人类文明里是怎么长出来的，本章路线），随后 18 页讲义（定义、定理与方法一条一条立起来，含历史注与现代接口旁注），12 页例题（带完整解答与逐步演算），12 页习题（由浅入深，末页复盘归档），2 页格物札记——一章一思：一页回到《九章算术》的对照传统，一页接通现代数学；末 6 页为综合站（章小结 · 思想卡 · 挑战一 · 挑战二 · 实验 · 章测试与评讲）。

本册三条线索，贯穿每一章：

① 明线——盈不足与逼近。从《九章算术》盈不足术、刘徽割圆注起手，把「以已知的离散，逼近未知的连续」这门古老手艺，一步步提升为极限、连续、导数与积分的语言。凡标〔盈不足〕处，都是这条线索的接续点。

② 现代接口——微积分的现代形态。每章札记与综合站把本章内容与现代数学对齐：实数完备性的等价命题群、可微性的现代表达（方向导数与 Fréchet 导数）、最优化与凸分析、拓扑连续、计算机代数与数值分析。理论在这里长出今天的枝叶。

③ 离散 ⇄ 连续接口——两个世界的握手。盈不足术是线性插值、开方术是不动点迭代、差分是导数的离散影子、梯形法是积分的离散影子。凡标〔离散〕处，都把连续命题翻译成可计算的离散版本，再翻译回来。

写法约定（TEX 标准）：分数写成上下两层的 12；极限的展示型写法是 limn→∞；微分号 d 与常数 π, e 用正体，变量用斜体 x, y, f；积分号 ∫；集合与数系符号 ∈ ⊂ ∪ ∩ ∅，ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ；向量用粗斜体 a；等价 ≅、蕴含 ⟹、当且仅当 ⟺、任意 ∀、存在 ∃。中括号写成 ［　］。凡方法步骤，一律配图，一步一图。

绪论 数学分析的两副面孔：离散与连续0.1 从《九章》盈不足说起：共买物、盈与不足

公元一世纪的某间学舍里，一位先生出了一道题：

《九章》的解法干净利落：把两种假设「人出八、盈三」与「人出七、不足四」的数字交叉相乘、相加、相除，几步筹算便得七人，物价五十三钱。这套操作被正式命名为「盈不足术」，是卷七的核心算法。

妙处在于：这个算法根本不需要知道「人数」与「物价」之间的真实关系是什么。无论这关系是直的、弯的、还是古怪的，只消做两次「假设—观察盈亏」的实验，盈不足术便能给出一个答案。它测量的不是问题本身，而是问题的局部变化——这正是两千多年后，人们称之为「线性插值」乃至「割线法」的思想。

本册把这道古题奉为开篇之题，因为「盈不足」三个字里藏着整门数学分析的态度：未知的东西先不硬碰，先用已知的东西逼近它。第二章我们将给这门手艺以严格的语言，那时可以看到，盈不足术就是线性插值，割圆术就是数列极限，而微积分，是从这里出发的一整座大厦。

绪论 数学分析的两副面孔：离散与连续0.2 两副面孔：离散的算术与连续的量

数，有两种长法。

第一种是一个接一个地数：一、二、三……每次至少挪一格，中间没有别的数。这是离散的面孔——算筹的面孔、算盘的面孔、今天计算机的面孔。离散世界的基本动作是递推：知道上一步，就能算出下一步。

第二种是不间断地流：时间从这一秒滑到下一秒，中间的每一瞬都被填满；水银柱从二十度升到三十度，中间的每一度都过得踏实。这是连续的面孔——长度、面积、速度、温度的面孔。连续世界的基本动作是取极限：无论指出多近的两点，中间总有更近的点。

古代文明两副面孔都要面对，于是留下了两套工具：巴比伦人和中国人擅长离散的递推与表格，希腊人执着于连续的长度与不可分量。两套工具各自辉煌，也各自卡壳——离散的一边遇到「无穷多步做不完」，连续的一边遇到「无穷小到底是什么」。

数学分析，就是让两副面孔互相翻译的学问：用离散的序列去逼近连续的量，再用连续的语言去理解离散的递推。这门翻译手艺的巅峰成果，就是微积分。

绪论 数学分析的两副面孔：离散与连续0.3 一尺之棰：庄子与极限的第一次照面

比《九章算术》更早两百多年，《庄子·天下》记下了一条奇诡的命题：

把这句话翻译成数字：第一天剩下 12，第二天剩 14，第 n 天剩 12ⁿ。截一万世，剩的木棒比任何指定的长度都短——可是按命题的说法，永远「不竭」。剩下的量一路萎缩，却始终大于零；它有一个奔向的目标——零，只是永远走不到。

这就是极限：一个变化过程奔向的目标。庄子的木棒是中国典籍里对极限过程最早的清晰表述之一；差不多同时代的希腊，芝诺用「阿基里斯追不上乌龟」讲出了同一件事的反面——把无限过程看死，就会得出荒谬。

一个细节：庄子说「不竭」，说的是过程没有终点站；而我们说「趋于零」，说的是过程有目标。把「没有终点的过程」和「过程的目标」区分开，并且给后者一个严格的定义——这正是两千二百年后柯西与魏尔斯特拉斯要做的事，也是本册第二章的全部内容。

绪论 数学分析的两副面孔：离散与连续0.4 严格化运动：从「无穷小是不是数」到 ε-δ

牛顿与莱布尼茨在十七世纪发明微积分时，用的语言是「无穷小」：一个「比任何正数都小、却不是零」的量。用它算切线、算面积，快得惊人——但这套语言天生带毒：无穷小如果是零，除法失效；如果不是零，又与「比任何正数都小」矛盾。哲学家贝克莱讥讽它是「已死量的幽灵」，这一记嘀咕，让整个数学界难堪了一百多年。

解开死结的是十九世纪的「严格化运动」。柯西与魏尔斯特拉斯的主意堪称天才的一跳：别再追问无穷小是什么数，把整个定义搬到不等式的世界。「f 在 x 趋于 a 时趋于 L」不再是一个动态的画面，而是一句可以逐字验证的话：

没有幽灵，没有流动的画面，只有 ∀、∃ 和不等式。任何人对「趋于」有异议，就他挑一个 ε——我总能给出 δ 应战。争论了两百年的形而上问题，被一段无声的攻防协议取代了。

方法论旁注：ε-δ 语言初见确实「劝退」——它把一个流畅的动态过程，写成了一句静态的、倒装的攻防话。两件事：一，它值得，因为它是唯一两千年争论后站得住的说法；二，它可学，因为它有固定的应对套路，本册第二章会带逐字写够十遍。

绪论 数学分析的两副面孔：离散与连续0.5 分析的地图：本册六章的路线

本册是数学分析三门之首（上册），负责把地基与前厅盖好。六章一条线：先立地基（实数），再立语言（极限），再谈性质（连续），再建核心运算（导数与微分），再上方法之桥（中值定理），最后打开逆问题（不定积分）——中册从定积分〔商功〕继续。

三根桩子记住：第一章的完备性（数轴不留缝）、第二章的极限语言（一切定义的砖石）、第四章的线性化（微分的灵魂）。这三根桩立稳，中册的定积分与级数、下册的多元分析，都是水到渠成。

绪论 数学分析的两副面孔：离散与连续0.6 连续与离散的握手：贯穿全册的第三条线索

除了「明线」与「现代接口」，本册还有一条自始至终的暗线：离散与连续的互相翻译。这不是点缀——分析学一半的实用价值，恰恰藏在这种互相翻译里。先把几对「握手」摆在这里，在各章遇到它们时，会有老友重逢之感：

这条线的最高纲领可以写成一句话：连续的命题，往往先有一个离散的雏形；离散的算法，往往以一个连续的定理为靠山。学分析而不通离散，是纸上谈兵；学离散而不通分析，是无源之水。

阅读约定：凡标题或正文带〔盈不足〕者，是明线的接续点；带〔离散〕者，是握手线索的接续点；带〔现代〕字样者，通向现代数学。三条线索交织成一张网——学完上册，这张网的第一层就织好了。

绪论 数学分析的两副面孔：离散与连续0.7 怎么读这本书：定义—定理—例题—习题的节奏

每章 50 页，一个节奏走到底：18 页讲义 → 12 页例题 → 12 页习题 → 2 页格物札记 → 6 页综合站。这是全书唯一需要说明的「章法」，一遍：

讲义——第 1 页是导引，讲这个问题的来历与本章路线；随后把定义、定理、方法一条一条立起来。证明大多完整给出，个别困难的只讲思路并注明去向。历史注与现代旁注穿插其间，用 浅底小框 标出，不算正文。

例题——12 道全解，逐步演算，不跳步。读法是「先盖住解答自己走一遍」。每道例题标题即题型，便于日后检索。

习题——12 页习题课，由浅入深，每页配有提示（小字）；第 12 页是复盘：错题归档与三问自测，三问是：这章新定义了什么？新证明了什么？新学会了什么方法？答不上来的，回讲义补课。

格物札记——一页《九章》对照，一页现代接口，一章一思，把古今两条线各缝一针。

综合站——小结图谱、思想卡、两道挑战题、一个动手实验、一次章测试。挑战题不设标准答案路线，实验鼓励用编程完成。

关于证明：数学分析的第一道坎，是接受「证明是数学的主体」这件事。本册的立场是——证明也是最好的例题：每个证明都在演示「已知的工具有多远、边界在哪里」。读证明时不妨常问：哪一步是点睛之笔？哪个条件少不得？

最后是计算的尊严：理论体系与计算训练在本册并重。ε-δ 写得再漂亮，两个重要极限用不熟，也只是半部分析。每章的例题与习题里都埋了足量的计算活儿，一题不落地亲手做完。

绪论 数学分析的两副面孔：离散与连续0.8 数系一览：ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ

第一章将从 Peano 公理出发，把右图中的整条数系长廊重走一遍。先在这里挂一张总览图，认识一下主角：

注意右端点红色的 ℝ：它是本册唯一的主角。前三步扩张（ℕ→ℤ→ℚ）是「代数式」的——补上运算的缺口即可；而 ℚ→ℝ 这最后一步是「分析式」的——要补的不是运算，而是完备性：让数轴不留一丝缝隙。这需要全新的思想工具（确界、分割、柯西列），是第一章的重头戏，也是整部分析学的拱心石。

考据注：「ℝ 上不留缝隙」并非一句空话——它是确界原理、单调有界原理、区间套定理、波尔查诺—魏尔斯特拉斯定理、柯西收敛准则等一串定理的共同名字。第三章将把这些等价命题排成一列纵队，一一验明正身。

万事俱备。下一页起，我们从五条 Peano 公理开始，把数的世界亲手立起来。

第一章 实数与函数：从 Peano 公理到完备的连续统1.1 导引：数从哪里来——三次数学危机的第一次

每个人都会数数。正因如此，「数是什么」这个问题的分量，常被熟练掩盖。试着回答一下：数过的那个「三」，究竟是什么？它是三根手指、三个苹果共同拥有的某种东西——抽象之后，它凭什么存在？凭什么可靠？

这样的追问不是抬杠。历史上，它引爆过三次数学危机：第一次，毕达哥拉斯学派发现 √2 不是两个整数之比，「万物皆数（整数比）」的信条崩塌；第二次，无穷小量自相矛盾，微积分的地基被质疑；第三次，罗素在集合论里翻出一个悖论。三次危机共同指向一个要害：数学的地基必须筑牢。

本册只与第一次危机短兵相接，但要打穿它：从「数数」这件事出发，一步一步把 ℕ、ℤ、ℚ 立起来，看见 ℚ 的裂缝，再用完备性补上它，得到 ℝ。这条路是十九世纪数学家们（戴德金、康托、魏尔斯特拉斯、佩亚诺）亲手走过的，我们沿原路重走，一步一图。

〔离散〕预告：本章立起的 ℕ 是彻底离散的世界——继任、归纳、递推，全是「上一步⟹下一步」的手艺。而本章的终点 ℝ 是彻底连续的世界。从离散走到连续，恰是全册主线在本章的预演。

第一章 实数与函数：从 Peano 公理到完备的连续统1.2 Peano 公理：五条公理立起自然数

1889 年，意大利数学家佩亚诺（Giuseppe Peano）提出：自然数系不必从哲学里请出来，只消五条公理，加上两个记号，就能把它整个立起来。五条公理如下：

五条公理分工明确：P1、P2 保证队伍不空、不断；P3 保证有头（不绕圈）；P4 保证不分叉；P5 最深刻——凡是「从 1 出发、传给继任」就具备的性质，全体自然数都具备。这就是数学归纳法的公理根基：归纳法不是经验技巧，而是 ℕ 的定义本身的一部分。

考据注：佩亚诺的原始公理从「1」出发；今天也常见从「0」出发的版本（内容等价）。戴德金在 1888 年已给出等价构造，归纳法思想则可上溯至帕斯卡与雅各布·伯努利。把归纳法升格为「公理」，正是佩亚诺的干净之处。

第一章 实数与函数：从 Peano 公理到完备的连续统1.3 递归与归纳：加法、乘法的合法性

有了继任链，还得在链上定义运算。加法用递归定义（这正是「离散世界的基本动作」）：

定义里藏着一个必须正视的问题：这样定义出来的 a+b，对每个 b 都存在且唯一吗？答案是肯定的，而证明的工具恰是归纳公理 P5（固定 a，对 b 归纳：命题「a+b 存在且唯一」先对 b=1 成立，再沿继任传播）。同样地，乘法递归定义为：

交换律、结合律、分配律，全部可以用归纳法逐一证明。这条「递归定义 ＋ 归纳证明」的组合拳，是离散数学最锋利的一件兵器，第四章讲数值计算、第六章讲瓦利斯递推时，它还会反复出场。

〔离散〕旁注：递归定义「自己定义自己」却不是循环——它把 a+b′ 归到 a+b，沿继任链步步归约到头（A1）。这与程序设计里的递归函数完全同构：基例（base case）＋递推式（recurrence）。

第一章 实数与函数：从 Peano 公理到完备的连续统1.4 从 ℕ 到 ℤ：减法逼出的第一次扩张

自然数的世界自洽而丰饶，只除了一件事：减法做不完全。3 − 5 在 ℕ 里没有着落——可「欠账」「温度」「海平面以下」这些真实需求，偏偏要它有着落。

《九章算术》的回答朴素而深刻：正负术。卷八方程章写道：「正负术曰：同名相除，异名相益……」——明确给出了正负数的加减法则，并解释：「两算得失相反，要令正负以名之。」（两种算筹得失相反，就用正、负来命名。）这是人类文明史上对负数最早、最系统的接纳。

十九世纪的严格化则更进一步：ℤ 不必「发明」，可以「构造」。把自然数对 (a, b) 想象成 a − b，并规定 (a, b) ~ (c, d) 当且仅当 a+d = b+c，再对这些「对」按等价类分堆——每一堆就是一个整数。3 − 5 有了合法的住址 (3, 5)，负数从此不再是「记号」而是「对象」。图 1-3 画的是它的度量版本：以 0 为原点，同一把单位尺向右量出 1, 2, 3, …，向左量出 −1, −2, −3, …——这套「量」的动作，就是下一节要反复使用的构造模式。

〔离散〕旁注：注意扩张的代价表——ℕ 有良序（任何非空子集有最小元），ℤ 没有。每一次扩张都是一次「交换」：拿一些旧性质，换一些新能力。这个「代价表」思维，在 1.5 与 1.6 还要再用两次。

第一章 实数与函数：从 Peano 公理到完备的连续统1.5 从 ℤ 到 ℚ：除法逼出的第二次扩张与稠密性

先把前提摆清楚。代数意义上，Peano 公理是自然数的约定（定义）——1.2 的五条公理不是「发现」而是「立约」。直观上，我们还有第二件前提：一条直线及其上的点（数线）。数线的实质是度量——点在哪里，是量出来的。

整数的构造模式：在直线上约定一点为原点（对应 0），再约定一个单位长度（对应 1）。拿这把「单位 1」的尺子向右量——量一次落得 1，量两次落得 2，……量 n 次落得 n，……；向左量，落得 −1, −2, −3, ……。整数，就是这样在直线上一步步「量」出来的。1.4 的代数构造（整数对＋等价类）与这幅度量图像，是同一对象的两种语言。

同一个模式，换一把尺子：把单位 1 均分成 m 段，取一段作新单位——它就是 1/m，于是在 0 与 1 之间量出 1/2, 1/3, …, 1/m。再用 1/m 替代 1，回到整数的构造模式：向右量出 2/m, 3/m, …, n/m, ……；对 m = 2, 3, 4, … 都做一遍，把整条直线量遍——落下的全部刻度 n/m，就是全部有理数 ℚ。代数上，这正对应整数对 (a, b) ~ (c, d) 当且仅当 ad = bc 的等价类（除数非零时四则完全自由，故 ℚ 是一个域）；直观上，这是一张可以无限换细的刻度网。

稠密性因此变得显然：单位 1/m 的网格间距是 1/m，m 越大网越细。任意两个有理点之间的缝隙无论多窄，只要换成足够细的尺子（m 大于缝宽的倒数），就有一整排刻度落进去——任意两点之间有无穷多有理数。「密不透风」不再是意外的礼物，而是构造模式的当然结论。代价表再次生效：ℤ 还有「相邻」（n 与 n+1 之间空无一数），ℚ 换来了稠密、交出了相邻——任何两个有理数之间永远还夹着别人。

稠密得密不透风——那么，数轴上还有 ℚ 的位置吗？换句话说：一个点，如果它把数轴切开了，它凭什么是「有理数」？下一页，一场审判即将开庭。

第一章 实数与函数：从 Peano 公理到完备的连续统1.6 ℚ 的裂缝：√2 的审判

传说公元前五世纪，毕达哥拉斯学派的门徒希帕索斯研究正方形的对角线：设边长为 1，对角线长为 d，则由勾股定理 d² = 2。他问：d 是几分之几？这一问，问出了数学史上第一次危机。

证毕的瞬间，裂缝现形：对角线的长度明明在数轴上（用圆规从原点把单位正方形的对角线转下来即可标出），却不是任何有理数。密不透风的 ℚ，居然处处是洞。

历史注：传说希帕索斯因泄密（一说因发现本身）被同门投入大海。传说的真伪难考，但危机是真的——此后希腊数学转向几何化处理（欧多克索斯的比例论，《几何原本》第十卷的不可公度量），代数的完整回答要等到两千年后。

第一章 实数与函数：从 Peano 公理到完备的连续统1.7 上确界与下确界：给「最贴近」一个名字

裂缝补法的关键一步，是给一种「最贴近的界线」命名。看两个数集：

（甲）A = {x ∈ ℚ : x² ≤ 2}——所有平方不超过 2 的有理数。（乙）B = {1, 1.4, 1.41, 1.414, …}——√2 的一串近似值。

两个集合都「上不封顶于自身」：甲里没有最大的元素（平方可以无限逼近 2 却不等于它——否则 1.6 就逮住了 √2），乙里也没有最大的元素。可是两者都「有上界」：甲、乙中任何数都不超过 2。「有上界而无最大」，这个似怪不怪的现象需要精确的语言——它正是完备性理论的入口。

条件（ii）是灵魂：「最小的上界」。sup S 可以属于 S（此时它就是最大值），也可以不属于 S（此时它悬在集合的「边上」，是集合无限逼近的目标）。

记号注：sup 是 supremum（拉丁语「最高的」）的缩写，inf 是 infimum（「最低的」）。这两个词随本册贯穿始终，即刻熟悉：第 27 页它们将迁居到函数身上。

第一章 实数与函数：从 Peano 公理到完备的连续统1.8 确界原理：完备性的第一张面孔

有了 sup 的定义，接下来那个要害问题自然浮出：上确界一定存在吗？在 ℚ 的世界里，答案是「不」——甲集 {x ∈ ℚ : x² ≤ 2} 在 ℚ 内有无数上界（如 1.42, 1.5, 2），却没有最小的上界：它的上确界应当是 √2，而 √2 ∉ ℚ。上确界悬在 ℚ 的一个洞上！

而在 ℝ 的世界里，我们把「上确界必存在」立为公理：

这一条公理，就是实数完备性的第一张面孔。它的直观说法是：实数轴没有缝——无论集合的元素怎么往上挤，挤压的极限目标总是一个实数。第三章将把完备性展开成一串等价定理（单调有界、区间套、柯西准则……），它们是同一个事实的不同侧面；而第二章的「单调有界数列必收敛」会立刻用上它。

方法旁注：等下一章例题里我们会看到确界原理的两次实战——由它推出阿基米德性质（例 6），由阿基米德性质推出任何实数都可用有理数任意逼近。公理不是摆设，它是发动机。

第一章 实数与函数：从 Peano 公理到完备的连续统1.9 戴德金分割：把数轴切开的想象实验

确界原理之外，还有一件更直观的工具：戴德金分割。1872 年，戴德金（Richard Dedekind）在苏黎世教微积分时意识到：有理数有一种天生的结构——切它一刀，它自己就分好类。

分割有三种命运：① 切口处有有理数（例如「L = 小于 1 的有理数，R = 其余」）；② 右组有最小数；③ 左组有最大数。而关键的第四种情形是：左组无最大、右组无最小——刀口正正落在 ℚ 的一个洞上！例如「L = {x : x² ＜ 2 或 x ≤ 0}，R = 其余」，切口正是 √2。

戴德金的天才一跃：别问切口上「住着谁」——切口本身就是数。每一个分割定义一个实数；有理数切口对应有理数，无主切口对应无理数。把所有分割收进一个集合，这就是 ℝ。注意这一构造的精髓：实数不是新造的点，而是「用全体有理数定义的切口」——连续的世界，被离散的 ℚ 完整地编码了。

〔离散〕旁注：欣赏这里的翻译方向——绪论说「用离散逼近连续」，戴德金则更进一步：用离散定义连续。第五章泰勒展开、第六章瓦利斯积，都是这一招的反复回响。

第一章 实数与函数：从 Peano 公理到完备的连续统1.10 十进小数与实数：每个实数都是无限小数

戴德金用「切口」定义实数，康托用「有理数列」定义实数，而最贴近日常经验的，是十进小数的说法：每个实数都是一个（可任意长的）无限小数。

把这句话说严格，靠的是十进区间套：给定一个正数 x，取整数部分 a₀，则 x 落在区间 [a₀, a₀+1) 内；再看它落在哪十分之一小格里，定出 a₁；如此步步细分，得到一列首尾相衔、长度十倍十倍缩短的区间：

第 n 层区间的长度是 10⁻ⁿ，要多短有多短；x 是这串嵌套区间的唯一公共点。反过来说，每个无限小数 0.a₁a₂a₃… 都通过这串区间套「套住」一个实数。有限小数是特例——它同时也是无限小数，只是会出现两种写法（如 0.5 = 0.4999…），第七章的思想卡将对这场「0.999… 之争」作最终裁决。

〔离散〕旁注：查小数位是一个离散的决策序列（每步从 0 到 9 十选一），而它逼近的对象是连续的实数。「离散过程，连续目标」的格局，在这里已经完全成形——第二章的 ε-N 定义，就是把「要多近有多近」写成不等式而已。

第一章 实数与函数：从 Peano 公理到完备的连续统1.11 总装：域公理＋序公理＋完备公理＝ℝ

三条线索到齐，可以总装了。完整的实数系 ℝ = 「域 ＋ 序 ＋ 完备」三层结构：

这个总装的深意在于各层分工：域公理管代数，序公理管不等式，完备公理管极限。前三层 ℚ 也都具备（ℚ 是有序域），唯独第三层是 ℚ 拿不出来的——所以 ℚ 上极限理论处处碰壁（第二章习题会验证：√2 的近似数列在 ℚ 中「该收敛却不收敛」），而 ℝ 上极限理论一通百通。

表 1-1　数系能力对照：ℚ 与 ℝ 之间隔着的，正是完备性——分析学的入场券。

地基落成。从下一页起，主角登场：在完备的舞台 ℝ 上，让函数开始起舞。

第一章 实数与函数：从 Peano 公理到完备的连续统1.12 函数：从《九章》比例到变量相依

地基之上，分析学真正的主角登场：函数。

古代数学家早已在大量使用「量的相依」：《九章算术》粟米章「粟率五十，粝米三十」——粟米之数一变，粝米之数随之而变，这是比例型的函数；历法家算晷影长随节气而变，乐师定律管长随音高而变。但把「相依关系」本身当作研究对象，则是十七世纪的事：函数（function）一词由莱布尼茨首用，狄利克雷给出今天通行的定义，而「对应法则不必有解析式」的革命性观念，正来自狄利克雷 1829 年那个著名的「取整函数」。

定义里的两个关键词须咬紧：「每个」——定义域内不许有漏网之鱼；「唯一」——一个输入只许一个输出（多值不算函数）。「唯一输出」并不意味着「一对一」：不同输入可以撞在同一个输出上（x² 里 ±2 都到 4），这在 1.16 讨论反函数时将成为焦点。

第一章 实数与函数：从 Peano 公理到完备的连续统1.13 函数的三种语言：解析式、图像与表格

同一个函数可以穿三件衣服：解析式（符号语言，精确可运算）、图像（几何语言，直观见形状）、表格（数据语言，是「离散影子」——只在采样点上有值）。三种语言各有所长，本册的口号是三语并进：讲义以符号立论，凡立论处以图像佐证，凡逼近处以表格实验。

图像的两个基本操作值得先行立规（以后到处要用）：

（1）平移与翻转：y = f(x+c) 的图像是 y = f(x) 向左（c＞0）平移；y = −f(x) 是关于 x 轴翻转；y = f(−x) 是关于 y 轴翻转。这四件小事将在第 24 页把十六个基本初等函数联成家族。

（2）奇偶性：f(−x) = f(x) 称偶函数（图像关于 y 轴对称），f(−x) = −f(x) 称奇函数（关于原点对称）。对称性是图像语言的「语法」，第五章作图六步法中它是第一检查项。

第一章 实数与函数：从 Peano 公理到完备的连续统1.14 初等函数巡礼（一）：幂、指、对

初等函数是分析的「常用字」。先认三位元老——幂、指、对，它们由同一个「乘方」概念长出：

幂函数 x^α：以 x 为底、常数 α 为指数。α 取正整数时是多项式的零件；取 1/2 时是根式 √x；取 −1 时是双曲线 1/x。定义域随 α 而变（α 为奇偶、正负有别），这是函数世界「定义域为王」的第一次演习。

指数函数 a^x（a ＞ 0，a ≠ 1）：以 x 为指数。a ＞ 1 时增长越来越快（爆炸型），0 ＜ a ＜ 1 时衰减越来越慢（冷却型）。它最重要的身份要在第二章揭晓：当底数取那个神奇的数 e = 2.71828… 时，e^x 成为唯一「导数等于自身」的函数——自然界的增长定律（复利、放射性、人口）都以它为母语。

对数函数 log_ax：指数函数的反函数，「化乘为加」的利器。《九章》没有对数，但对数思想的东方影子可找纳贝尔之前的历算家：把大数运算化为小数加减，正是「换一套坐标看问题」的元方法。

考据注：对数由纳贝尔（Napier）于 1614 年发表，拉普拉斯赞其「以缩短计算时间，在实效上让天文学家的寿命延长了一倍」。而 e 这个记号由欧拉立下——第二章 2.7，我们将亲手把 e 从极限中接生出来。

第一章 实数与函数：从 Peano 公理到完备的连续统1.15 初等函数巡礼（二）：三角与反三角

三角函数是「周期」的化身：单位圆上一点旋转，它的横、纵坐标周而复始——cos 与 sin 是圆周运动的坐标语言。这个几何出身决定了它们的全部禀赋：定义域是全 ℝ，值域是 [−1, 1]，周期 2π，sin 奇 cos 偶，且 sin² + cos² = 1（勾股定理的三角化身）。

弧度制是分析学的硬性约定：半径长度的弧所对的角为 1 弧度。全书角度一律用弧度，理由要到 1.16 后的导数表才彻底揭晓——在弧度制下，(x→0 时) x 与 sin x 才是「等价无穷小」，重要极限 sin x/x → 1 才有简洁的形式。度与弧度换算：π rad = 180°。

反三角函数是三角的「逆读」：已知纵坐标求角度。麻烦在于 sin 的周期性让它「多值」——不是函数！解决之道是截取单调支：把 sin 限制在 [−π/2, π/2] 上（此段严格增），反函数 arcsin 才合法，值域 [−π/2, π/2]。同理 arccos 取 [0, π]，arctan 取 (−π/2, π/2)。「反函数必须先裁剪定义域」——这句话在 1.16 是主角。

现代接口预告：三角函数将在第二章承担重要极限 sin x/x → 1 的主角，并在第四章的导数表里拿出 (sin x)′ = cos x——弧度制正是为这行公式而生。

第一章 实数与函数：从 Peano 公理到完备的连续统1.16 复合与反函数：函数的组装手艺

简单函数可以组装成复杂函数，两件手艺是全部初等函数的来源：

复合——串联。把 g 的输出接进 f 的入口：y = f(g(x))。定义域要层层设卡：x 必须先活在 g 的定义域里，且 g(x) 必须活在 f 的定义域里。例如 f(u) = √u 与 g(x) = 1−x² 复合，要求 1−x² ≥ 0，即 |x| ≤ 1——复合函数的定义域通常比内层函数的更小。

反函数——倒放。若 f 把不同的输入送到不同的输出（单射），则每个输出 y 都能唯一查回原输入 x，这个「查表法则」就是反函数 f⁻¹。单调函数必有反函数（本页末定理），且图像关于直线 y = x 对称——把机器倒着运转，输入输出互换座位。

第一章 实数与函数：从 Peano 公理到完备的连续统1.17 邻域与有界：给「附近」一个记号

分析学的日常用语里，「附近」「足够近」「充分远」出现得比任何术语都频繁。第二章起这些词全部要写成不等式，本页先把两件趁手的工具领来。

绝对值不等式是邻域语言的语法书，三条最常用：

第一条是「翻译法」（邻域 ⇄ 双向不等式），第二条是三角不等式（「绕道不比直路近」——第二章 ε-N 证明的主力工具），第三条是它的推论（「距离是下界」）。现在就把这三条在数轴上各画一遍：图形记得比文字牢。

第一章 实数与函数：从 Peano 公理到完备的连续统1.18 值域的确界：从数集到函数的第一次迁移

收官一页，把确界与函数接到一起——这是全书第一处「迁移」：数集的语言搬到函数身上。

给定 f 在 D 上，看它的值域 f(D)——这是一个数集，于是 sup 与 inf 立刻适用：

若 supD f 属于值域，即存在 x₀ 使 f(x₀) = supD f，则称 f 在 D 上取到最大值；否则「有上确界而无最大值」。第三章的最值定理将回答「何时必取到」（答案预告：定义域是闭区间且 f 连续——完备性与连续性的一次联袂）；本页先在例题与习题里练熟计算。

本章的工程到此收尾，回望一下走过的路：

〔现代〕预告：格物札记②将指出，本章的构造思想在二十世纪结出了两枚新果——「可计算实数」（图灵）与「构造主义数学」（毕晓普）：不是所有实数都能被算法枚举，完备性照样可以「程序化」地理解。下一章，带着完备的数轴，正式进入极限的语言。

第一章 实数与函数：从 Peano 公理到完备的连续统例1 归纳法的第一次完整演练：1+2+…+n = n(n+1)/2

用数学归纳法证明：对一切 n ∈ ℕ，1 + 2 + … + n = n(n+1)/2。

品味两个要点：①「传」这一步必须用到归纳假设（若用不上，「归纳」就是空转）；②写出「n = k+1 时等式的形状」再对照，是把目标钉在纸上的好习惯。本例的方法在 1.3 证明运算律、例 2 证明 n! 的性质时都会重现。

第一章 实数与函数：从 Peano 公理到完备的连续统例2 递归定义与归纳互证：n! 的性质

阶乘由递归定义：1! = 1，(n+1)! = (n+1)·n!。证明：n! ≥ 2ⁿ⁻¹（n ∈ ℕ）。

注记：递归给出「每一步怎么算」，归纳给出「每一步都对」——这对搭档在第六章瓦利斯积分（I_n 的递推）里将挑大梁。另外本例的界其实很松（n! 的真实增长远快于 2ⁿ），「够用的界」也是分析学的常用活法。

第一章 实数与函数：从 Peano 公理到完备的连续统例3 √2 ∉ ℚ：一个经典的反证法完整书写

1.6 已证过一遍，这次要求完整书写——反证法的格式本身就是训练目标。

格式四件套：假设反面 → 合法变形 → 导出矛盾 → 回收结论。「取最简分数」这一步看似顺手，实为整法之眼——没有互素，末步无从矛盾。同法可证 √3 ∉ ℚ；但 √4 ∈ ℚ（= 2）——想想差别在哪。

第一章 实数与函数：从 Peano 公理到完备的连续统例4 数集确界的计算：{n/(n+1)} 与 {1 − 1/n²}

求 A = {n/(n+1) : n ∈ ℕ} 的上、下确界，并判断是否取到最大、最小值。

两个关键词刻下来：「验证上界」＋「顶穿更小的」——这是求上确界的标准双步；而「顶穿」一步每次都要动用阿基米德性质（例 6 将把它从确界原理正式推出）。

第一章 实数与函数：从 Peano 公理到完备的连续统例5 确界与最大值：开区间 (0,1) 的教训

求 B = (0, 1) 的 sup 与 inf，并说明为何最大、最小值都不存在。

教训：确界未必属于集合。这是「边界上的数」与「集合成员」两件事的区别——1.8 的甲集合在 ℚ 里悬空，本例的 (0,1) 在 ℝ 里也不含端点。sup 回答「挤向哪里」，max 回答「谁摸到了」。第三章最值定理将给出「必摸到」的条件。

第一章 实数与函数：从 Peano 公理到完备的连续统例6 用确界原理推出阿基米德性质

证明阿基米德性质：对任意 x ∈ ℝ，存在 n ∈ ℕ 使 n ＞ x。

这是「公理变兵器」的第一次演示：整个证明只做了一件事——在 sup 身上按条件（ii）按下取数按钮。推论一：对任意 x ＞ 0、y ＞ 0，存在 n 使 nx ＞ y（把 x 当「尺子」去量 y，量得完）；推论二：1/n → 0 的雏形（例 4 已用过）。

第一章 实数与函数：从 Peano 公理到完备的连续统例7 0.999… = 1：严格说法与两种证明

辨析：0.999… ＜ 1 是错的，错在把「无限小数」当成了「一个写到一半的有限小数」。严格世界里，无限小数就是上确界（或区间套公共点），没有第三种身份。「循环 9」的两种写法（0.5 = 0.4999…）正是这一现象的另一面。

第一章 实数与函数：从 Peano 公理到完备的连续统例8 复合函数的定义域：层层设卡

求 F(x) = √(log_1/2(x − 1)) 的定义域。

要诀：从外向内逐层开卡，每层都写清依据（本例用到「底小于 1 时对数反向」）；最后取交集。「从外向内」的次序在第四章隐函数求导、第六章换元法中还会反复出现——复杂结构一律层层拆解。

第一章 实数与函数：从 Peano 公理到完备的连续统例9 分段函数与图像：三种语言互译

设 f(x) = |x² − 1|。出它的分段形式，指出定义域，并描述图像形态。

互译训练：解析式读出结构（绝对值 ⟹ 按符号分段），图像读出形态（翻折与尖角），表格只能读出采样点——三者的信息量在尖角处差异最大。这个「尖角」正是第四章「连续但不可导」的母题，第三章「间断点分类」也从这里起步。

第一章 实数与函数：从 Peano 公理到完备的连续统例10 单调函数的反函数存在性与求法

设 f(x) = x² 在 ℤ 上定义。它有反函数吗？若把定义域改为 [0, +∞) 呢？

结论与 1.15 呼应：可逆性不是函数的固有属性，而是「函数＋定义域」这一对的整体属性。arcsin 之所以要先裁 [−π/2, π/2]，本例给出完整的逻辑出处。

第一章 实数与函数：从 Peano 公理到完备的连续统例11 sin(arcsin x) 与 arcsin(sin x)：定义域为王

要义：复合机器倒放必须在原机器的裁剪支上进行。「sin(arcsin x) = x」与「arcsin(sin x) = x」一真一假，差别全在定义域与值域的匹配——「定义域为王」的活教材。

第一章 实数与函数：从 Peano 公理到完备的连续统例12 绝对值不等式与邻域的互相翻译

这三条都是第二章 ε-δ 证明的「基本笔画」：翻译法（1）、去心邻域的否定说法（2）、三角不等式家族（3）。合上书把（3）的证明默写一遍——它是三角不等式最常考也最常用的变形。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课一 Peano 公理与归纳法

1.1　用归纳法证明：1² + 2² + … + n² = n(n+1)(2n+1)/6。

「传」一步的关键是把 (k+1)² 拆进归纳假设。

1.2　证明：对一切 n ∈ ℕ，2ⁿ ＞ n。

k ≥ 1 时 2^k+1 = 2·2^k ≥ 2k = k+k ≥ k+1。

1.3　（思考题）某「证明」声称所有马颜色相同：单匹马成立；若 k 匹成立，则 k+1 化去掉一匹仍成立……指出漏洞。「去掉一匹仍成立」在 k = 1 → 2 时失效：两组无公共马，传播链断开。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课二 整数与有理数的运算律

2.1　用递归定义证明加法结合律：(a+b)+c = a+(b+c)。对 c 归纳；「传」一步用 A2 两次。

2.2　证明分配律 a(b+c) = ab+ac，再由它证明交换律 ab = ba。交换律：对 b 归纳，传一步用 a(b+1) = ab+a 与归纳假设。

2.3　在 ℚ 中解方程 3x − 5 = 0，并指出每步用到的域公理。两边加 5（加法封闭＋逆元），除以 3（倒数）。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课三 无理数的识别与反证

3.1　证明 √3 ∉ ℚ。仿例 3；用「3 整除 p² ⟹ 3 整除 p」。

3.2　证明 √2 + √3 是无理数。设它为有理数 r，则 √2 = r − √3；两边平方整理出 √3 = (r²−1)/(2r) 为有理数，与 3.1 矛盾。

3.3　（判断）「两个无理数的和是无理数」对吗？举反例或证明。(√2) + (−√2) = 0。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课四 确界的计算与估计

4.1　求 {1/2, 2/3, 3/4, …, n/(n+1)} 的 sup 与 inf（仿例 4 双步书写）。sup = 1 不取到；inf = 1/2 取到。

4.2　求 {1 − 1/n² : n ∈ ℕ, n ≥ 1} 的 sup 与 inf。单调增趋于 1；首项 0。

4.3　设 A、B 非空有界数集且 A ⊆ B。证明 sup A ≤ sup B。sup B 是 A 的上界；再由「最小上界」即得。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课五 确界原理的初步应用

5.1　设 A、B 为非空有界数集，令 A+B = {a+b : a ∈ A, b ∈ B}。证明 sup(A+B) = sup A + sup B。「≤」由上界直接得；「≥」对 sup A、sup B 各按条件（ii）取顶穿元素相加。

5.2　证明：若 β = sup S 且 β ∉ S，则对任意 ε ＞ 0，S 中有无穷多个元素大于 β − ε。反证：若只有有限个，取其中最小者为新的上界。

5.3　（思考）确界原理在 ℚ 中失效——写出 {x ∈ ℚ : x² ＜ 2} 在 ℚ 中没有上确界的完整论证。若 sup = r ∈ ℚ，分 r² ＜ 2、r² ＞ 2 两种情形各导矛盾（用例 4 的顶穿技术与 3.1）。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课六 阿基米德性质与稠密性

6.1　证明：对任意实数 x，存在唯一的 k ∈ ℤ 使 k ≤ x ＜ k+1（x 的整数部分）。存在性用阿基米德性质夹住；唯一性用整数间距为 1。

6.2　证明：任意两个不同实数之间必有有理数，也必有无理数。有理数：取 1/n ＜ |x−y| 后找 n 的倍数格点；无理数：平移 √2/n。

6.3　（判断）「有理数与无理数一样多」？ 6.2 的稠密性谈谈直觉，精确回答留在第二章（集合的对等）。本页只要求：两者在数轴上都「无处不在」。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课七 十进小数与进位制

7.1　把 1/7 写成循环小数，指出循环节长度。长除：1 ÷ 7 = 0.142857 循环——长度 6 恰是余数列循环的起点。

7.2　证明：有限小数（如 0.37）必可写成「循环 9」形式。0.37 = 0.36999…；一般用例 7 证法二。

7.3　二进制下的 0.101011 与十进制哪个数相等？由此谈谈「进位制只是记法，实数才是对象」。逐位加权求和，与例 7 的区间套定义互证。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课八 函数与定义域

8.1　求下列函数的定义域：(a) √(4−x²)；(b) ln(3−x) + √(x−1)；(c) x/(x²−1)。(a) [−2,2]；(b) [1,3)；(c) ℚ 除 ±1——注意 ℝ。

8.2　设 f(x) = x² − 1。求 f(f(x)) 并化简。(x²−1)²−1 = x⁴−2x²。

8.3　判断 f(x) = ln(x + √(1+x²)) 的奇偶性。括号内互为倒数的结构：f(−x) = −f(x)，奇函数。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课九 复合与分解

9.1　把 y = ln sin²(x/2) 拆成三个基本函数的复合链。u = x/2 → v = sin u → w = v² → y = ln w；定义域：sin(x/2) ≠ 0 且 w ＞ 0。

9.2　设 f(x) = 1/(1+x)。求 f(f(f(x)))，并观察「自我复合」的循环现象。f∘f = (1+x)/(2+x)；f∘f∘f = x 的变换？算到第三层看它是否回到 1/(1+x)。

9.3　设 g(x) = x + 1，h(x) = x²。能否凑出 F(x) = (x+1)² + 2(x+1) + 1 = g(?) 与 h(?) 的复合？写出复合链。F = h∘g：先 g 后 h；这正是「换元」的雏形。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课十 反函数与图像对称

10.1　求 f(x) = (2x+1)/(1−x)（x ≠ 1）的反函数，并指出各自的定义域、值域。解出 x = (y−1)/(y+2)；交换角色。

10.2　证明：若 f 严格增，则 f⁻¹ 严格增；举例说明「不单调但可逆」不存在于实数连续函数（直觉即可，严格版在第三章）。定理 1.5 的同向传递。

10.3　在同一坐标系画 e^x 与 ln x，标出对称轴 y = x 与交点。交点只有一处（自解 e^x = x 无解，(1,0) 类点检验）。

第一章 实数与函数：从 Peano 公理到完备的连续统习题课十一 邻域与有界综合训练

11.1　用邻域语言重述：「x₀ 的任何去心邻域内都有 S 的元素」。∀δ＞0，∃x ∈ S，0 ＜ |x−x₀| ＜ δ——这就是第二章「聚点」的定义。

11.2　证明 f(x) = x/(1+x²) 在 ℝ 上有界。|2x| ≤ 1+x² ⟹ |f| ≤ 1/2；或对 t ＞ 0 求 1/(t+1/t) ≤ 1/2。

11.3　证明：S 有界 ⟺ 存在 M 使 |x| ≤ M 对一切 x ∈ S 成立，与「既有上界又有下界」等价。取 M = max(sup S, −inf S)。

第一章 实数与函数：从 Peano 公理到完备的连续统复盘：错题归档与三问自测

三问自测（合上书回答，答不上回讲义对应小节）：

一问·新定义了什么？　继任与 Peano 公理、递归定义（加乘）、确界（sup/inf 及条件 ii）、分割、邻域（去心）、有界、函数与定义域。

二问·新证明了什么？　√2 ∉ ℚ（反证法范式）；确界原理与阿基米德性质的推导链；单调函数反函数存在定理；0.999… = 1 的两种说法。

三问·新学会了什么方法？　递归＋归纳的组合拳；反证法的四件套；求确界的「验证上界＋顶穿更小」双步；定义域「从外向内层层设卡」。

错题归档表——把本课 11 页习题的错题按下面三栏登记（这是本册贯穿的习惯，真的动笔）：

本章与《九章》之缘：正负术立 ℤ，粟米比例立函数，开方术将在格物札记①里逼近 √2。下一页起，两页札记、六页综合站，为第一章收官。

第一章 实数与函数：从 Peano 公理到完备的连续统格物札记① 《九章》少广·开方术：古代如何逼近 √2

《九章算术》少广章第十六题：已知正方形面积 55225（方），求边长。答案给出 235——它怎么算出来的？靠「开方术」：刘徽注把整段算法讲得清清楚楚，而且每一步都有几何解释。

术曰：「置积为实。借一算，步之，超一等」——从个位向左隔位试商，相当于先估出商的位数；「议所得，以一乘所借一算为法，而以除」——试第一位商（本题 2 百），用「商×借算」作除数去减面积；「除已，倍法为定法。其复除，折法而下……」——余数之后，把法数加倍、退位，再试第二位商（3 十），如此层层推进。

用今天的语言复述：求 √A，就是逐位确定十进制表示——先定百位、再定十位、再定个位、再定十分位……每定一位，用代数恒等式 (10a+b)² = 100a² + 20ab + b² 校核余量。这与 1.10 的十进区间套完全同构：开方术是把 √55225 = 235「套」出来的离散过程；而开不尽的数（√2），同一个过程可以永远进行下去——刘徽自己就说了：「不以面命之，加借算而命之」，即开不尽就用近似值表示，并明确指出「微数」可以「退之弥下，其分弥细」，想要多细有多细。

札记一得：本册明线是「用离散逼近连续」，开方术是它最古老的教材——比盈不足术更纯粹：盈不足还需要「实验」，开方术则自带递推公式。第三章 3.16 的不动点迭代 x_n+1 = ½(x_n + a/x_n) 将给出同一问题的另一条古代智慧（巴比伦）路线，两相对照，其味无穷。

第一章 实数与函数：从 Peano 公理到完备的连续统格物札记② 现代接口：从 Peano 到可计算实数与构造主义

本章把数系当「工程」来盖：公理是图纸，递归是工艺。这套思想在二十世纪计算机时代结出了三枚新果，逐一指展示：

其一：可计算实数。图灵 1936 年定义：一个实数是可计算的，若存在算法能在有限步内把它的十进（或二进）表示逐位吐出——误差要多小有多小。按此标准，π、e、√2 都可计算；而「大多数」实数（在测度意义上）不可计算——它们的数位没有任何算法可枚举。换言之：1.10 的「无限小数」在图灵那里被切成了两半——「能写出来的无限小数」只是一小部分。完备的 ℝ 依然全体存在（确界原理照用），但能被算法触及的，只是其中可数的先锋队。

其二：构造主义。毕晓普（Errett Bishop，1967）主张：存在性的证明应当给出构造方法——「存在 x」必须配得上「能算出 x」。在构造主义眼里，本章的定义与证明风格高度兼容：递归定义天然是算法，二分逼近天然是程序；但「纯存在性证明」（如中册将见的某些不动点定理）会被要求补上可计算的构造。这不是推翻分析学，而是给它加一道「可计算性」的审计。

其三：区间算术。本章区间套思想今天活在「区间分析」（interval analysis）里：计算机中每个实数用「包住它的区间 [下, 上]」表示，每步运算后区间随误差自动加宽，结果附带严格误差界。火箭控制、工业设计软件用它的地方，正是「1.10 区间套」的工业化转世。

札记一得：从 Peano 公理到图灵机，一以贯之的是「把数学对象还原为可操作的过程」。本章背下的每条定义，未来都可能变成一行代码；读过的每个证明，都可能被机器逐字验证（如 Lean 定理证明器已把本章级别的分析基础全部形式化）。数学的「严密」，正在从纸面约定变成可执行的工程。

第一章 实数与函数：从 Peano 公理到完备的连续统章小结：知识图谱与方法表

知识图谱（一条主线三站）：

方法表（本章六大件，各自适用场景）：

第一章 实数与函数：从 Peano 公理到完备的连续统思想卡：完备性——让数轴不留缝隙

如果本章只能带走一张卡片，带走这张：

三个延伸进笔记本：①完备性有多副面孔（确界原理只是第一张，第三章将集合等价命题排成纵队）；②完备性是公理，不是定理——它不能从域公理与序公理推出，这正是 ℚ 与 ℝ 分家的地方；③完备性是 ℝ 的「分析性格」，代数性格（四则自由）ℚ 也有——两数系之别，全在这第三层。

第一章 实数与函数：从 Peano 公理到完备的连续统挑战一 用戴德金分割构造 √2 并验证运算

任务：不引用「√2 已存在」，只用 ℚ 自己，把「那个平方等于 2 的数」造出来。

路线图：①定义 L = {x ∈ ℚ : x ≤ 0 或 x² ＜ 2}，R = ℚ \ L；验证 (L, R) 是分割（关键是：右组无最小——用习题 5.3 的顶穿技术）。②按戴德金的约定，分割 (L, R) 就是一个实数，命名为 α。③证明 α² = 2：对任意有理数 ε ＞ 0，证明存在 l ∈ L 使 l² ＞ 2 − ε、存在 r ∈ R 使 r² ＜ 2 + ε——即 α² 被 2 从两边任意逼近。

验收标准：第③步的「两边逼近」论证要写满——它是「用离散夹住连续」的一次实战预演，第二章 ε-δ 的语感就从中生长。

第③步的诀窍：取 r = 1.5、1.42、1.415… 这串数试算 r²，观察「差多少、该往哪调」；再把「调」的形式化写出来。

第一章 实数与函数：从 Peano 公理到完备的连续统挑战二 进位制表示的唯一性：0.999… 之争的裁决

任务：证明「循环 9」现象是唯一的歧义——任何实数若有两种十进表示，则一种是「循环 0」、另一种是「循环 9」，别无其他。

路线图：①设 x 有两个不同的无限小数表示，令 k 为第一个不同位。②证明：两串数都落在区间 [a + 10^−k·(共同前缀值), a + 10^−k·(共同前缀值+1)) 内，长度 10^−k；③分类讨论第 k 位的大小关系，证明一边必从此全 0、另一边必从此全 9，否则会套出两个不同的公共点，与区间套公共点的唯一性矛盾。

延伸一问：把 1/3 写成二进制小数（0.010101…？）——进位制换了，循环节怎么变？「歧义定理」在二进制里对应什么？

本挑战是例 7 与习题 7.2 的合成升级版；区间套公共点的唯一性引用 1.10 的构造（长度 → 0）。

第一章 实数与函数：从 Peano 公理到完备的连续统实验：二分法逼近 √2——离散迭代叩问连续对象

实验目的：亲手运行「离散逼近连续」的最简程序，为第三章零点定理预热。

实验设计：目标是夹住 √2。维护区间 [a_n, b_n]：初始 [1, 2]；每步取中点 m = (a+b)/2，若 m² ＜ 2 则 a ← m，否则 b ← m。记录前 12 步的区间端点与宽度。

观察与追问：①宽度按 2⁻ⁿ 缩小——要达到 10⁻⁶ 精度需要几步？（答：约 20 步，log₂10⁶ ≈ 20）②把 1.10 的区间套与本实验对照：区间套是「设计好的十进细分」，二分法是「自适应细分」，谁更省步数？③用任何语言把程序写出来，跑 30 步，把 a₃₀ 与 √2 的真值对照。

〔离散〕一得：这个实验里，连续的对象（√2）从未出场——出场的是一串离散的区间。第三章将证明：只要 f 连续且端点异号，这套程序必收口于零点（零点定理）。算法的合法性，靠定理背书。

第一章 实数与函数：从 Peano 公理到完备的连续统章测试与评讲

A 卷·基础（每题 10 分，限时 30 分钟）

A1　用归纳法证明：1·2 + 2·3 + … + n(n+1) = n(n+1)(n+2)/3。

A2　求 sup 与 inf：{ (−1)ⁿ + 1/n : n ∈ ℕ }。（分别考察奇偶项。）

A3　证明：若 sup A 存在，则 −inf A = sup(−A)，其中 −A = {−a : a ∈ A}。

A4　求 f(x) = √(3 − x) + 1/√(|x| − 1) 的定义域。

A5　用 δ 邻域语言写「x₀ ∈ ℝ 的某个邻域含于集合 S」，并把 S = (0, +∞)、x₀ = 1 时具体写出 δ 的一个取法。

B 卷·进阶（每题 25 分，限时 40 分钟）

B1　证明：非空有界数集 S 的上确界唯一。反证：设 β₁ ＜ β₂ 都是上确界，对 β₁ 用条件（ii）顶穿。

B2　设 f、g 均在 D 上有界。证明 f+g 与 fg 有界，并举反例说明「f/g 有界」不必然。

评讲要点：A2 的常见错漏是只验奇项或漏掉「顶穿」半步；A5 的要害是「存在 δ」的写法（δ 不唯一，给一个即可）；B1 是本章证明范式的集中检验——条件（ii）的方向千万别用反。错题按复盘页三栏归档。

第二章 极限：盈不足术的无限回声2.1 导引：割圆的时代——刘徽的极限先驱

公元 263 年，刘徽给《九章算术》作注。注到圆田术时，他写下了一段中国数学史上最了不起的话：「割之弥细，所失弥少。割之又割，以至于不可割，则与圆周合体而无所失矣。」正六边形的周长比圆周短一截；把边数加倍成十二边形，短得少了；再加倍成二十四边形……边数无限制地翻番，多边形的周长便无限制地逼近圆周。这里「逼近」二字，两千年后有了严格的名字——极限。

但：刘徽手里没有「极限」这个词，更没有严格定义。他有的只是过程——割了又割的动态图像。要把这个动态图像凝固成可以证明的数学对象，人类用了一千六百年。本章的任务就是走完这条路：先用 ε-N 语言把「越来越近」说清楚（2.2–2.9），再把它搬到函数上（2.10–2.14），最后回到两位古代老师——盈不足术与割圆术——看看这些现代语言如何照亮古代智慧（2.15–2.17）。

〔离散〕接续：数列是彻头彻尾的离散对象——一串排好队的实数。本册明线在此正式开场：用离散的队列逼近连续的目标。第一章打好的地基（完备性、确界、阿基米德性质），本章要一件件用起来。

第二章 极限：盈不足术的无限回声2.2 数列极限的 ε-N 定义：严格语言的第一课

「越来越近」有三种说法：「要多近有多近」（直觉）、「距离趋于零」（循环——趋于还得再解释）、「任给正数 ε，存在正整数 N，当 n > N 时，|a_n − a| < ε」（严格）。第三种是魏尔斯特拉斯在十九世纪中叶定型的语言，叫 ε-N 定义。

读定义要抓三个关键词：任意（ε 由对手出，必须通吃——这正是第一章 1.14「顶穿技术」里那个全称量词 ∀）；存在（N 由我方应答，只要求「有一个」，不要求最小）；恒有（N 之后每一项都合格，不许漏网）。整个定义是一场对弈：对手抛出精度要求 ε，我方交出「从第 N 项起全部达标」的回应。我方能永远接得住，就叫收敛。

注意两点：① ε-N 定义只说「逼近谁」，不问「怎么逼近」——数列可以在带外乱跳（如图前段），只要 N 后收敛即可；② 「n→∞」是记号，不是数：∞ 不参加运算，它只是「n 无限增大」这一过程的标签。极限值 a 是有限数——这一点在 2.12 区分极限与无穷大时至关重要。

第二章 极限：盈不足术的无限回声2.3 用定义证极限：三个范例逐字书写

定义会用才算懂。ε-N 证明的通用格式是：「任给 ε > 0」开头 → 倒推找 N（把 |a_n − a| 放大到只含 n 的简单式）→ 正叙验证收尾。看三个范例，逐字体会。

考据注：ε-N 语言并非一人一夜之功。柯西 1821 年《分析教程》用「无限接近」的动态说法推进了一大步，但「无限接近」仍靠图像；把 ∀ε ∃N 这对量词固定下来、让证明变成纯逻辑推演的，是魏尔斯特拉斯。学生常抱怨这套语言「繁琐」，可正是它把「多近算近」从感觉变成了可判定的命题——这是分析学成为严格科学的关键一步。

第二章 极限：盈不足术的无限回声2.4 收敛数列的性质：唯一、有界、保号

极限一旦收敛，就有一套纪律。三条基本性质，证明都不难，但「怎么用 ε-N 说理」的功夫全在里面。

三条性质各有一层深意：唯一性用「 ε 取一半」制造矛盾——ε 是我方自选的武器，选得巧是 ε-N 证明的趣味所在；有界性是「N 后有界＋有限段有界」的拼接，又见「有限与无限分工」；保号性把「极限为正」转化为「后面全为正」——严格版的第一章 1.14「顶穿技术」，第三章证介值定理时它是主角。注意保号性的反向不真：a_n > 0 只能推出极限 a ≥ 0（如 1/n > 0 而极限为 0），边界处等号会「漏」下去。

〔离散〕一句话：这三条性质说的都是「离散队列在极限点附近的行为纪律」。特别注意有界性只保证「有界」，不保证「收敛」——a_n = (−1)ⁿ 有界却发散。有界 ⟸ 收敛，反之不然；补上什么条件就能反向？这正是 2.7 的主角。

第二章 极限：盈不足术的无限回声2.5 极限的四则运算法则

有了定义就能证极限，但个个都从 ε-N 起步太累。运算法则让我们把复杂极限拆成简单零件——这是「化整为零」的标准套路。

以（2）为例看证明的骨架——「插项」技巧：

减一项加一项，把「积的误差」拆成两块：一块是「(a_n−a) 乘 b_n」——误差因子 b_n 由性质二保证有界（收敛 ⟹ 有界！），另一块是常数 |a| 乘小量 (b_n−b)。两块都能任意小，各分 ε/2 即可（有界 × 小 + 常数 × 小 < ε）。「收敛 ⟹ 有界」这条上一页的纪律，在这里第一次当了工具——性质之间会互相借力，这是理论数学的常态。

法则（3）的证明还要先证「1/b_n → 1/b」：|1/b_n − 1/b| = |b_n − b| / (|b_n|·|b|)，分母里的 |b_n| 用保号性（取 |b|/2 作下界）压住。看，「极限为 b ≠ 0」通过保号性变成「尾部 |b_n| ≥ |b|/2」——严格语言把直觉「b_n 靠近 b 所以跑不出 b 的近旁」翻译成了 inequalities，一字一句都有出处。

使用法则的前提是「各部分极限都存在（且分母极限非零）」——「∞ − ∞」「0 · ∞」都不能直接套。这不是烦人的规矩，而是防止「零件发散却硬拼整机」的保险丝。第八章讨论广义积分时这根保险丝还会跳闸救场。

第二章 极限：盈不足术的无限回声2.6 夹逼准则与重要极限（一）：sin x/x

有些数列不好直接算，却「被夹在两个容易算的数列中间」。夹逼准则说的正是这件事。

准则的价值在「逼」：x_n 自己一个字都没算，极限却是被迫交代的。它把「计算问题」化为「包围问题」——第一章确界原理的顶穿技术、本章 2.7 的聚点定理，走的都是同一思路：让目标无路可逃。

重要极限（一）：limx→0 sin x/x = 1（x 以弧度计）。这是函数极限，先看几何——单位圆里夹出三块面积：

考据注：刘徽正是用这张图算 π 的——「割六觚以为十二觚术」：在半径一尺的圆里，由六边形边长求十二边形边长，再翻倍求二十四边形……每一步用的都是勾股定理，最后「觚面之外犹有余径，以面乘余径，则幂出在表」，即给多边形面积补上外余量作误差界——上下夹逼的雏形。本页几何与例 2 的代数化，是同一思想的两代语言。

第二章 极限：盈不足术的无限回声2.7 单调有界原理与重要极限（二）：e 的诞生

2.4 留下的问题：有界数列补什么条件才收敛？答案是单调。

看清楚证明的分工：完备性负责「sup 存在」（实数没有洞），单调性负责「尾部全部贴上去」，顶穿负责找到入口。这是第一章拱心石第一次独立承重——没有完备性，本原理在 ℚ 上是假的（1.7 的平方根数列就是反例：它有上界却「收敛」到 ℚ 的洞里）。而且单调有界原理是构造性的：它不仅断言极限存在，还说明极限就是上确界——算都不用算，位置已经圈定。

重要极限（二）：数列 a_n = (1 + 1/n)ⁿ 收敛，其极限记作 e ≈ 2.71828…。用二项式展开可以证明 {a_n} 递增、且 a_n < 3（每项展开不超过 1 + 1 + ½ + ½² + … < 3 的等比放缩）——单调有上界，收敛！为了看它爬得多优雅，列表观察：

〔离散〕接续：(1+1/n)ⁿ 是「离散复利」——一年结 n 次息的本息率；e 是「连续复利」的极限。从离散到连续，不是比喻，是这条数列的本义。第六章讲完定积分后，我们还将给出 e 的积分表示，两条路在此汇合。

第二章 极限：盈不足术的无限回声2.8 子数列与聚点：布尔查诺—魏尔斯特拉斯定理

从数列 {a_n} 中按原序抽取无穷多项：a_n1, a_n2, a_n3, …（n₁ < n₂ < n₃ < …），得到子数列 {a_{n_k}}。子数列是原数列的「代表队」——原数列的任何收敛行为，代表队必须遵守。

子列定理是「离散 ⟹ 连续」的又一座桥：数列（离散对象）的行为，通过子列可以传递到极限点（连续统中的点）。B–W 定理在泛函分析里升级为「紧性」，是现代分析的地基性概念——第二章先见面，闭区间上连续函数的三大定理（第三章）要请它二度出场。

第二章 极限：盈不足术的无限回声2.9 柯西列：不必知道极限值也能说收敛

ε-N 定义有个实际困难：得先知道极限是哪个数才能验证。柯西问：能不能只看数列自己、不认识极限就判定收敛？他找到的判据是「内部抱团」。

注意 ⟸ 方向的证明动用了哪些家底：B–W 定理（其证明用了区间套定理，其证明用了完备性）。追根溯源，柯西收敛原理本质上是完备性的又一副面孔。事实上实数完备性有一整族等价刻画：确界原理、单调有界、区间套、有限覆盖、聚点原理、柯西收敛——六位一体，第一章和本章将集齐它们，第三章的综合站会挂出全家福。

〔现代接口〕柯西列的威力要到更广的空间里才显山露水：在有理数 ℚ 中，1, 1.4, 1.41, 1.414, … 是柯西列却「不收敛」（目标 √2 不在 ℚ 里）——ℚ 不完备。泛函分析把「所有柯西列都收敛」的空间称为完备空间，Banach 空间、Hilbert 空间理论全以此立基；数值分析判断迭代是否收敛，用的也是柯西判据（2.17 的不动点迭代会实演）。一条判据，贯通古今。

第二章 极限：盈不足术的无限回声2.10 函数极限的 ε-δ 定义

把 ε-N 的舞台从「n 无限增大」换到「x 无限接近 x₀」，就得到函数极限的 ε-δ 定义——同一思想，换个战场。

逐字对照 ε-N：任意 ε——对手出精度；存在 δ——我方交出 x₀ 的去心邻域半径；0 < |x − x₀|——去心！极限研究的是「靠近时 f 走向哪里」，f 在 x₀ 这一点本身的取值无关紧要，甚至可以没有定义（如 sin x/x 在 0 处无定义，极限却是 1）。这是初学者最常忽略、也最能体现极限精神的一点：极限是「趋势」的属性，不是「值」的属性。

单侧极限、x→∞ 的情形（ε-X 语言）都是本定义的换装：x → x₀⁺ 取右去心邻域；x → ∞ 把 δ 换成 X——「|x| > X 时 |f(x) − A| < ε」。一套语言，四个方向（x₀⁻, x₀⁺, −∞, +∞），定义全同。函数极限存在的充要条件是左右极限存在且相等——第三章判定间断点时它是第一道闸门。

第二章 极限：盈不足术的无限回声2.11 归结原则（海涅定理）：函数极限与数列极限互译

数列极限（2.2）与函数极限（2.10）是两套语言、同一个思想。它们能互译吗？海涅（Heine）给出的答案是：能，而且互译本身就是判据。

「任何」二字是灵魂：一条数列通过还不够，必须条条通过。这与 ε-N 定义里「任意 ε」是同一精神——全称量词撑起严格性。归结原则的证明方向（⟸）值得细品：反证，若函数极限不是 A，则存在某个 ε₀ 无论 δ 多小都有出带的 x——于是 δ = 1/n 逐层取点，拼出一条数列 x_n → x₀ 而 f(x_n) 不收于 A，矛盾。「用 ε-δ 的失败现场拼装出一条数列」——这种从连续 statement 反向榨取离散证人的手法，是分析学论证的经典桥段。

〔离散〕本节是全册「离散⇄连续」线索的中枢车站：数列极限 ⟷ 函数极限的双向渡轮在此通航。第四章定义导数（函数的差商极限）后，判「导数是否存在」常用归结原则取一条点列差分化；第九章广义积分收敛性的判别同样如此。两套语言自由切换之日，就是分析学左右开弓之时。

第二章 极限：盈不足术的无限回声2.12 无穷小与无穷大：阶的比较

极限为 0 的变量叫无穷小——注意，无穷小不是「很小的数」，而是趋于零的过程；极限为 ∞ 的过程叫无穷大（注意：∞ 不是数，记号 x→∞ 表示|x| 无限增大）。零散的两个概念，合在一起看才有结构——比一比，谁比谁趋于零更快？

用一张表看 x → 0 时的「速度榜」——各小犯人的归案速度：

为什么在乎速度？因为极限计算的本质就是速度的比较：lim f/g 型未定式，比的就是分子分母趋于各自目标的速度。「加法看最慢，乘除看比值」——高阶小量在加法里可以直接扔掉（2.13 的等价替换就是它的操作化）。这套「速度分级」的语言在第五章泰勒公式里将精细到任意阶：那时 f(x) 会被展开成「各速度分量的叠加＋余项 o(xⁿ)」，逼近主线迎来高光。

无穷大是镜像概念：lim α/β = 0（β 主 α 从）等语言照搬。「无穷大 ⟹ 倒数是无穷小」把两者接通——|f| 无限增大 ⟺ 1/f 为无穷小（f ≠ 0）。第八章广义积分、第九章反常敛散性，无穷大之间同样要论资排辈（p 与 q 的赛跑），此处先立规矩。

第二章 极限：盈不足术的无限回声2.13 等价无穷小替换：极限计算的快刀

等价无穷小（~）是极限计算里最快的一把刀。原理只有一句：乘除因子可以整体换成等价无穷小。

定理只放行乘除因子的替换——加减项之间的替换是禁区（「和差慎换」），因为加减会抵消主部、露出高阶项，届时被扔掉的部分可能恰恰是要害（例 9 将给出反面教材：tan x − sin x 若直接换成 x − x = 0 就全盘皆输——正确做法是提出公因子化为乘除结构）。x → 0 时的常用等价式（背熟，但须记场合）：

等价替换的深层身份：它是「用主部近似」——第三章 3.13 的微分将把这句话精确化：f(x₀ + Δx) ≈ f(x₀) + f′(x₀)Δx，一阶近似正是 sin x ≈ x 的原型。替换法算得快，是因为它提前用了「线性化」——快刀的刃口，是第四章的导数。

第二章 极限：盈不足术的无限回声2.14 渐近线：函数在无穷远的姿态

极限不只回答「x → x₀ 时 f 走向哪」，还能回答「x 走向无穷时，f 以什么姿态远去」——渐近线是函数在无穷远的剪影。

斜渐近线公式的来历值得一看：f(x) 与直线 y = kx + b 的「纵向距离」趋于零，就是渐近的全部含义。求 k 时把 f(x)/x 想象成「斜率的平均摊派」，k 之外剩下的是截距——两步极限各取所需。「除以 x 看斜率、减去 kx 看截距」，这个「逐层剥离」的手法和放大法（2.3）一样，是分析学的通用小技。

渐近线是「极限的工程应用」：绘制函数图像（第三章 3.15 综合运用）、估计增长量级（x → ∞ 时 f(x) ≈ kx + b 的一阶近似）、以及概率论里分布尾部的控制，全靠它。例 10 将把三型一次配齐。

第二章 极限：盈不足术的无限回声2.15 《九章》盈不足术：双假设法的数学结构〔盈不足〕

回到本册明线的源头。《九章算术》卷七「盈不足」开篇第一题：「今有共买物，人出八，盈三；人出七，不足四。问人数、物价各几何？」——每人出 8 钱则多 3 钱（盈），每人出 7 钱则少 4 钱（不足），求人数与物价。

盈不足术的解法（刘徽注称「双假设法」）：对未知人数 x 作两次假设试验——假设 x = 8，算出盈亏 x₁ = 3；假设 x = 7，算出 x₂ = −4（不足记负）。然后套公式：

即 7⅖ 人（「不可割之人」——题目的人为凑整掩盖了真答案），物价 53 钱。验算：人出 53/7 ≈ 7.571 钱，正好物尽其分。术文原话：「置所出率，盈、不足各居其下。副并盈不足……实如法而一」——用今天的算式翻译，就是上面的交叉乘除。

〔盈不足〕接续点之一。《九章》卷七的神奇之处在于：它把一批非线性问题（如「蒲莞并生」「良马弩马」）也塞进同一公式——用现代眼光看，这是自觉的线性近似，误差藏在「模型选直线」这一步。这步棋的棋谱，下一页展开。

第二章 极限：盈不足术的无限回声2.16 盈不足术就是线性插值：割线法的两千年前身

上一页末尾的问题：f 不是线性时，双假设法给出什么？答案是线性插值——在两个已知点之间架设直线，用直线值代替曲线值。这在数值分析里有正式的名字：割线法（secant method）求根，或「假位法」（regula falsi）。公元前一世纪的《九章》与二十世纪的数值分析教科书，写的是同一个公式。

把「盈不足」的术语摆进去对照：f(x₁)（盈）、f(x₂)（不足）一正一负，f(x₂) − f(x₁) = 「并盈不足」，x₂ − x₁ = 「所出率之差」，公式分毫不差地重合。误差多大？用差商的语言：若 f 二阶可导，割线法一次迭代的误差与 |x₂ − x₁|² 同阶（第五章泰勒公式后的标准结论）——也就是说，两个假设点靠得越近，内插值越准，而且是平方级变准。这正是 2.12「阶」的语言在数值计算里的第一次实战。

〔盈不足〕接续点之二：盈不足术 → 线性插值 → 割线法 → 迭代算法——古代术文与现代算法之间的四步桥，每一步都有明确的数学身份。本册明线「盈不足→逼近」在此完成第一次现役对接：离散的两次假设，通过极限语言获得了误差分析，再通过迭代获得了自动化的未来。

第二章 极限：盈不足术的无限回声2.17 迭代法初瞥：从盈不足到不动点思维

割线法用两次假设迭代一次，还能滚下去：x₃ 由 (x₂, f₂) 与 (x₁, f₁) 定出，x₄ 由 (x₃, f₃) 与 (x₂, f₂) 定出……离散的动作循环往复，逐步逼近真根——这就是迭代。迭代的一般框架是不动点：把求根 f(x) = 0 改写为 x = g(x)，从初值 x₀ 出发反复代入 x_n+1 = g(x_n)，若 x_n 收敛于 ξ，则由 g 连续（第三章）得 ξ = g(ξ)——ξ 是 g 的不动点，也就是 f 的根。

为什么这么快？看 g(x) − √2 = (x − √2)²/(2x)——误差被平方：若 x_n 离 √2 差 10⁻⁴，下一步只差约 10⁻⁸。这是二阶收敛，比割线法的「间距平方」还要快。1.14 的「逐层逼近 √2」与第三章 3.16 的严格收敛证明（单调有界原理实演），在此先立个路标。

〔离散〕迭代是「离散动作生成连续极限」的范本：每一步都是初等的算术，无穷多步的极限行为却需要分析学来把握。本章给了直觉与例子，严格理论（压缩映射、不动点存在唯一性）将在第三章 3.16 用单调有界原理与柯西判据补齐——两章咬合处，正是本册「离散⇄连续」线索最精彩的一节。

第二章 极限：盈不足术的无限回声2.18 极限思想史：庄子·芝诺·刘徽·柯西·魏尔斯特拉斯

极限概念经历了两千年的慢火。把主要人物排在一条线上：

四段历程各有要害。庄子「一尺之棰，日取其半，万世不竭」：离散分割的无穷过程，剩余量 1/2ⁿ → 0——物理上「不竭」，数学上「趋于零」，两条说法的分界恰是本章的语言。芝诺悖论逼问「无穷多个有限段之和可以是有限的吗」——等比级数求和（2.5 例）给出了肯定回答，但「求和」的合法性要到级数理论（本册后续）才彻底说清。刘徽的高明在「极限＋误差界」：他不只说「割之又割」，还给「所失弥少」定量——外余量是可估的，这才是算法而非口号。柯西—魏尔斯特拉斯的功劳是把一切动态直觉翻译成静态的量词逻辑：极限不再是「运动到」，而是「任给 ε 存在 N（δ）」——分析学由此告别模糊，史称分析算术化。

本页是第二章的思想总结，也是「现代接口」的入口：ε-δ 语言的下一步进化，是拓扑学（用开集重新定义极限与连续，见第三章札记②）与构造主义（要求极限过程可计算，见第一章札记②）。两千年的慢火熬成的一锅汤，接下来的三千年还要接着熬。

第二章 极限：盈不足术的无限回声例1 ε-N 证明：lim (3n−1)/(2n+1) = 3/2

用定义证明 limn→∞ (3n−1)/(2n+1) = 3/2。

格式复盘：先「放大」（把 4n+2 换成 4n，宁粗勿错），再「解出 N」（找充分条件即可，不必最优），最后「正叙收口」。三段式与 2.3 范例完全一致——ε-N 证明是格式化的手艺，练三题即上手。

第二章 极限：盈不足术的无限回声例2 夹逼准则：求 lim n·a^1/n 类

求 limn→∞ n·a^1/n（a > 1）与 limn→∞ n^1/n。

复盘两点：①先估方向，再选工具——夹逼准则好用，但套之前先用速度语言（2.12）判断目标是否收敛：对数增长压过常数除 n，方向立判；②n^1/n → 1 是重要结论：指数上的 1/n 压制了底数的 n——「二项式取前两项放缩 + 夹逼」是证明这类「1+小量」极限的定式。

第二章 极限：盈不足术的无限回声例3 重要极限（一）：含 sin 的极限三连

求三个极限：(1) limx→0 sin 3x/tan 5x；(2) limx→0 (1 − cos x)/x²；(3) limx→π sin x/(π − x)。

三个小题三种手筋：(1) 拆乘除因子各归各的重要极限；(2) 半角公式把二阶小量显形（1 − cos x ~ x²/2 的现场推导）；(3) 平移换元把「非零点极限」拉回原点——换元是化归的第一手段。注意 (1) 里若把 sin 3x 与 tan 5x 都换成 3x 与 5x，结果一样，但那是替换定理的合法使用（乘除因子）；例 9 将展示加减场合的翻车现场。

第二章 极限：盈不足术的无限回声例4 单调有界：递推数列 a_n+1=√(2+a_n) 的收敛与极限

设 a₁ = √2，a_n+1 = √(2 + a_n)。证明 {a_n} 收敛并求极限。

三步定式：定界 → 定单调 → 取极限解方程。递推数列是「离散动作」生成极限的标准场景，蛛网图（图 2-15）在这里就是 g(x) = √(2+x) 的那条曲线。注意最后一步「对递推式取极限」的合法性依赖极限存在——这就是为什么必须先证收敛再取极限；顺序颠倒就是循环论证（用极限存在证明极限存在）。

第二章 极限：盈不足术的无限回声例5 四则法则与幂指结构：lim (1+3/n)ⁿ

求 limn→∞ (1 + 3/n)ⁿ。

一般公式：lim (1 + k/n)ⁿ = e^k（k 为常数），本例 k = 3。再看「1^∞ 型」的通用手术：底数 → 1、指数 → ∞ 的幂，先取对数（或凑 (1+h)^1/h 结构），把幂指问题降为乘积问题。这套手术在第五章会与 e^x 的泰勒展开接轨，形成「1^∞ = e^{lim 指数×底数增量}」的机械结论——现在先用凑形法练手感，工具的来路要亲手摸过才算数。

顺带一题存照：limn→∞ (1 + 1/n)ⁿ² 与 (1 + 1/n)ⁿ² 的差别——前者 = [(1+1/n)ⁿ]ⁿ，指数 n 仍 → ∞，故发散到 ∞；后者是 (1+1/n)^(n²) 同前。括号与指数的每一个位置都性命攸关，幂指结构先抄清再动手。

第二章 极限：盈不足术的无限回声例6 柯西列的验证：等比与调和的部分和

用柯西判据判断：(1) 等比数列部分和 S_n = 1 + q + … + qⁿ（|q| < 1）；(2) 调和部分和 S_n = 1 + ½ + … + 1/n。

(2) 是柯西判据的教科书级演出：不需要知道 S_n 的公式，只需要抓住一个特定窗口 [n, 2n]，证明窗口内的增量赖着不走（≥ ½）。这个「取 m = 2n」的手法在级数理论（判别调和型级数、对数判别法）里是常备武器，此处先收下。

第二章 极限：盈不足术的无限回声例7 ε-δ 证明：lim x²=4 (x→2) 与 δ 的选取

用 ε-δ 定义证明 limx→2 x² = 4。

本题的新手筋：预限域——先牺牲一点 δ 的范围（|x−2| < 1）换取 |x+2| 的均匀上界，再在剩下的预算里精打细算，故 δ 取两者中较小者（min）。这与 ε-N 证明里「放大」同属一个思想：把变化的东西先钉死，再处理剩下的小量。第三章证「多项式连续」「极限四则」时，这个套路要大规模复制。

第二章 极限：盈不足术的无限回声例8 海涅定理判发散：sin(π n) 与不存在的极限

判断 limx→0 sin(1/x) 是否存在，并解释 sin(πn) 数列的极限。

振荡型发散（sin x, cos x 当 x → ∞）是发散的第三种方式：不趋于无穷、也不趋于有限值，而是永远摆动。「发散 = 没有极限」，三种面孔（趋于 ∞、振荡、多子列异向）在判别时各有武器——∞ 用速度比较，振荡用海涅取两条数列，多子列用子列定理。

第二章 极限：盈不足术的无限回声例9 无穷小阶的比较：等价替换求极限

求 limx→0 (tan x − sin x)/x³，并指出错误的「加减替换」错在哪里。

这个反面教材值得裱起来：等价替换是「主部近似」，减法里主部相消时，答案藏在替换中被丢弃的高阶项里。口诀：乘除放心换，加减先化形——提公因子、通分、半角化，把结构变成纯乘除再动刀。第五章泰勒展开将给出系统解法（展开到足够阶，逐项比较），替换法的适用边界届时一目了然。

第二章 极限：盈不足术的无限回声例10 渐近线三型：水平、竖直、斜

求 f(x) = (2x² + x − 1)/(x² − 4) 的全部渐近线。

再看一个有斜渐近线的对照组：g(x) = (x² + 1)/x = x + 1/x。x → ∞ 时 1/x → 0，故 y = x 是斜渐近线；同时 x = 0 是竖直渐近线，水平渐近线不存在。判断次序的口诀：先扫竖直（找分母零点、对数边界），再看水平或斜（同一侧居其一）。多项式除法（带余除法）是斜渐近线的机械求法：g(x) = x + 1/x 一步读出 k = 1, b = 0——「除出整部，余部归零」。

第二章 极限：盈不足术的无限回声例11 盈不足术原题今解：共买物「盈三不足四」〔盈不足〕

用现代方法复解《九章》卷七第一题：人出八盈三，人出七不足四，问人数、物价。

妙处在这道题里 f(x) = 物价 − 出价×人数 是严格线性的，所以双假设公式给出精确解——注意双假设公式给 x = 53/7 ≈ 7.57，而方程组给 x = 7！差异来自假设的对象不同：《九章》公式的 x 是「每人该出的钱」（以盈亏量内插），方程组的 x 是「人数」。两套坐标里直线不同，零点自然不同——盈不足术的「不可割之人」正是这个坐标系错位的痕迹，刘徽注里「以盈不足术求人数者，皆此类也」的困惑由此而来。数学史读到这里才见真味：古代术文是对的，只是变量语义要翻译。

推广：若题给「人出 a₁ 盈 b₁，人出 a₂ 不足 b₂」，则物 y = (a₁b₂ + a₂b₁)/(a₁ − a₂)，人 x = (b₁ + b₂)/(a₁ − a₂)——《九章》「并盈不足为法」的「法」正是分母 b₁ + b₂（不足取负号后即 a₁ − a₂ 方向）。原典术语与现代线性代数逐字对上了。

第二章 极限：盈不足术的无限回声例12 线性插值估算 √2 与误差分析

用线性插值（盈不足思想的现代装束）估算 √2，并以 2.16 的误差阶给出精度分析。

本例是「明线」的收官演练：盈不足术（2.15）→ 割线迭代（2.16）→ 收敛证明（本例，单调有界＋保号性）→ 误差阶（2.12 语言）。一套两千年前的方法，经过 ε-N / 单调有界 / 阶的语言武装，变成了有收敛保证、有误差估计的现代算法——极限语言让古代智慧升级换装。

第二章 极限：盈不足术的无限回声习题课一 ε-N 语言起步

本课收束：ε-N 证明的「放大—取 N—验证」三段式（例 1 定式）；子列判发散（题 1.4 是通用武器，例 8 同款）。

第二章 极限：盈不足术的无限回声习题课二 收敛性质与四则运算

本课收束：四则法则的正用（同除幂、有理化）与边界（发散的代数和可收敛）；算术平均题是「性质拼接」的练手局。

第二章 极限：盈不足术的无限回声习题课三 夹逼与重要极限

本课收束：夹逼的双臂怎么找（最大项、部分和公式）；重要极限的三种化形（拆因子、半角、约公因）。

第二章 极限：盈不足术的无限回声习题课四 单调有界与递推数列

本课收束：递推数列三步定式（例 4）的两次实演；黄金比与 √2 的迭代出场，为第三章 3.16 的严格收敛证明与第四章的不动点定理铺路。

第二章 极限：盈不足术的无限回声习题课五 柯西列与子列

本课收束：柯西判据的两个用法——正向验证抱团（题 5.1、5.2），反向制造矛盾（例 6 的 m = 2n 与本题的异见子列）。

第二章 极限：盈不足术的无限回声习题课六 ε-δ 与函数极限

本课收束：ε-δ 证明的两个新手筋（约分消零因子、共轭除法）；ε-X 与预限域（例 7 套路在无穷远的重演）；海涅定理判振荡发散。

第二章 极限：盈不足术的无限回声习题课七 海涅定理应用

本课收束：归结原则是「数列 ⟷ 函数」的双向渡轮——函数问题可挑数列代驾（题 7.1），发散判定靠数列作证（题 7.2、7.3）。渡轮班次：任何数列都要过，一条不过即否决。

第二章 极限：盈不足术的无限回声习题课八 无穷小比较与等价替换

本课收束：阶的语言三连用（定阶、替换、识陷阱）；主部相消时必须升级到更高阶的展开——第五章泰勒公式的预约单已经排上。

第二章 极限：盈不足术的无限回声习题课九 渐近线与图像姿态

本课收束：渐近线三型求法的机械化（扫零点、同除幂、带余除法）与两个误判区（对数的 x 轴、水平斜互斥）。

第二章 极限：盈不足术的无限回声习题课十 盈不足术应用题〔盈不足〕

本课收束：三道原题三重天——线性盈亏（精确）、线性追及（精确）、指数相遇（近似）。盈不足术的身份至此完全透明：线性问题的精确解法，非线性问题的一阶近似。

第二章 极限：盈不足术的无限回声习题课十一 极限综合训练

本课收束：综合题的「先分类、后选刀」流程——0/0 查主部相消、∞ 型比速度、递推查单调有界、振荡海涅。四刀齐备，第二章的计算题基本通吃。

第二章 极限：盈不足术的无限回声复盘：错题归档与三问自测

格物小语：本章从头到尾在练一件事——把「越来越近」这句人话翻译成无人称、无歧义、可检验的数学语言。翻译练熟之后，第二章的十二道例题、十一堂习题课，不过是同一句翻译在不同场合的变奏。

第二章 极限：盈不足术的无限回声格物札记① 《九章》盈不足与刘徽割圆：两条极限思路的古代源头

把本章两位古代主角并排摆开，会看到两条几乎独立的思路，各自通向极限——却走上了完全不同的技术路线。

盈不足路线：代数—算法线。双假设法的内核是「以直线代曲线」：两次实验、两点定线、内插求根。它的现代后裔是数值分析的一整族算法——割线法（2.16）、假位法、以及一切「线性化迭代」的鼻祖。这条线的精神是可执行的算法：不追问极限是什么，只保证下一步怎么算、误差有多大。「蒲莞并生」题（习题课十）暴露了它的边界——非线性问题给近似解——但「边界」恰是精确化的起点：知道了「以直代曲」有误差，才有后来「二阶收敛」「高阶展开」的刻度。

割圆路线：几何—逼近线。刘徽的「割之又割」内核是「以直代曲」的另一面：用多边形逼近圆。它的现代后裔是积分学——圆面积就是「内接多边形面积的极限」，本册第七章〔商功〕将把这句话严格化。刘徽的高明在于他同时给出了误差界（外余量可估），这正是 ε-N 语言「任给 ε 存在 N」的精神前身：逼近不是许愿，是带保证的合同。

札记一得：为什么两条思路都没能自己长出极限理论？共同瓶颈是「无限」的合法地位——刘徽的「不可割」、庄子的「万世不竭」都停留在过程性描述，缺乏「无限过程的结果」这一层抽象。补上这层的不是更聪明的算法，而是一套新语言（量词逻辑）。这提醒我们：数学的进步常常不是算得更快，而是说得清楚。

第二章 极限：盈不足术的无限回声格物札记② 现代接口：ε-δ 是机器可验证的语言与数值收敛判据

ε-δ 语言常被抱怨「繁琐」，换个角度看它是史上第一套机器可执行的极限定义——这正是它统治现代分析的原因。

接口一：数值算法的停机判据。2.17 的巴比伦法在计算机里不能「迭代到无穷」，必须在有限步停机。停机的依据是什么？柯西判据的离散化：当 |x_n+1 − x_n| < ε（连续两步的差足够小）即停。为什么合法？因为迭代尾部抱团（题 5.1 的框架）——「步长小 ⟹ 离极限近」的保证，来自收敛速度理论（误差平方律）。现代数值软件（MATLAB 的 fzero、scipy.optimize）内部的收敛判据，全是本章语言的直接后裔。

接口二：浮点数与「机器实数系」。计算机的浮点数集不是 ℝ——它是有限集，有洞！√2 在 double 类型里是 1.4142135623730951… 的截断。于是「浮点上的极限」天生是柯西意义下的：算法保证误差上界（ε），程序员保证步数（N）。ε-N 语言在机器世界里不是抽象训练，是日常工作的语法。

接口三：自动定理证明。量词结构的清晰（∀ε ∃N ∀n > N）让 ε-δ 证明可以半机械化——现代定理证明器（如 Lean、Isabelle）里，实分析的地基正是按「∀ε ∃δ」的句式逐字编码的。魏尔斯特拉斯1850年代的手笔，无意中为一百六十年后的形式化数学备好了接口。

〔现代接口〕一句话收束：ε-δ 是分析学的「汇编语言」——上层的泛函、拓扑、概率都是它的编译产物。读懂本章，就拿到了整个现代分析世界的机器码。

第二章 极限：盈不足术的无限回声章小结：知识图谱与方法表

知识图谱（一页收纳）：数列极限 ε-N（2.2 定义，2.3 放大法）→ 性质三连（唯一/有界/保号，2.4）→ 四则法则（2.5）→ 两大工具（夹逼 2.6、单调有界 2.7）→ 深化（子列与 B–W 2.8、柯西列 2.9）→ 函数极限 ε-δ（2.10）→ 互译渡轮海涅定理（2.11）→ 速度语言（无穷小阶 2.12、等价替换 2.13）→ 渐近线（2.14）→ 古代回声（盈不足 2.15、割线插值 2.16、不动点 2.17）→ 思想史（2.18）。

完备性六兄弟进度条：确界原理（1.8 ✓）— 单调有界（2.7 ✓）— 区间套（1.10 ✓）— 聚点定理 B–W（2.8 ✓）— 柯西收敛（2.9 ✓）— 有限覆盖（第三章报到）。六个等价刻画，五个已入手。

结构一览：本章立「语言」（ε-N / ε-δ）、练「工具」（夹逼、单调有界、柯西）、通「两界」（数列⇄函数、离散⇄连续）、认「祖宗」（盈不足与割圆）。第三章将把极限用在「函数的连续性」上——闭区间上连续函数的三大定理，是完备性六兄弟的集体亮相。

第二章 极限：盈不足术的无限回声思想卡：逼近——连续世界的离散握手

读法建议：把这张卡与第一章思想卡（完备性——连续世界的地基）并排贴着看：完备性回答「极限在哪里落脚」，逼近回答「怎么走到那里」。地基与道路齐备，第三章的「连续」就是路上跑的第一辆车。

第二章 极限：盈不足术的无限回声挑战一 用 ε-N 重写刘徽割圆注并给出误差界

题目：单位圆的内接正 3·2ⁿ 边形面积为 S_n。刘徽注说「割之又割……与圆周合体而无所失」。(1) 用 ε-N 语言把这句话写成命题并证明；(2) 复现刘徽的误差界：证明 π − S_n 的上界由「外余量」控制，并给出具体估计。

出题意图：把「直觉逼近」升级为「带合同的逼近」——刘徽的余径就是 2.6 夹逼的上臂。完成本题，就用现代语言替刘徽把话说满了：他当年承诺的「无所失」，如今有了精确的损失清单。

第二章 极限：盈不足术的无限回声挑战二 用单调有界原理自建 e 的理论

题目：不引用课本结论，仅用单调有界原理与二项式定理，完成：(1) 证明 a_n = (1+1/n)ⁿ 递增、b_n = (1+1/n)ⁿ⁺¹ 递减；(2) 证明 a_n < b_n 且 b_n − a_n → 0；(3) 推出 e = lim a_n 满足 2 < e ≤ 3，并证明 {a_n} 与 {b_n} 从两侧夹住 e。

出题意图：重演 1872 年亥曼（Hermann）与后人给出的 e 的经典逼近——双侧夹逼的误差随时可读。本题与挑战一共通的一课：极限值可以「围而不算」，这正是确界原理「顶穿」精神的余韵。

第二章 极限：盈不足术的无限回声实验：编程观察 (1+1/n)ⁿ 与 sin x/x 的收敛速度

实验目标：亲手执行两个重要极限的逼近过程，用数据回答「多快才算快」。

实验小结：三组数据把 2.12「阶」的抽象语言变成可摸的表——收敛速度不是玄学，是可测量的斜率。第五章学完泰勒公式，回到本页把三个「预期」全部从理论上推导出来，完成闭环。

第二章 极限：盈不足术的无限回声章测试与评讲

评分之后一件事：把错题按「复盘」页的五类病因归档（语言/工具/替换/结构/历史），写一句话病因。下一章开篇第一页，我们将从「连续」重新出发——带着本章的语言上路。

第三章 连续：一条不断的线3.1 导引：连笔书与断笔画——「不断」到底是什么

写字的人都知道，行书与楷书最大的分别在一个「连」字：行书一笔数字，笔意不断；楷书一字一笔，笔笔另起。现在一个思想实验：把一行字放大一万倍，逐段检查笔画——凭什么判断这是一次「连笔」写成的，还是许多「断笔」拼起来的？只看每一小段本身是不够的：断笔的接缝处再放大，两段笔画也可能几乎贴合。判断的关键在于接缝的行为：连笔处墨迹是「过渡」的，断笔处墨迹是「跳变」的。

函数图像也有同样的分野。sin x 的图像一笔画到底，而符号函数 sgn x 在 x = 0 处从 −1 「跳」到 1，中间凭空消失；1/x 在 x = 0 处干脆冲天而去。直觉说前者「不断」，后两者「断了」。但「不断」是个否定式直觉——数学的职责是把否定式直觉翻成正面的可验证陈述。本章全部工作可以浓缩成一句话：用极限语言给「不断」下一个可以证明的定义，然后追问：连续的函数到底好在哪里？

〔离散〕先按下一条线索：连续性是纯粹「连续侧」的概念吗？第二章的海涅定理说，函数极限可由数列极限探路——那么函数的连续性，同样可由数列的连续性刻画：「x_n → x₀ ⟹ f(x_n) → f(x₀)」。离散的数列又一次替连续的函数承担了全部验证工作，这条渡轮本章继续摆渡。

第三章 连续：一条不断的线3.2 函数在一点的连续性：ε-δ 语言再登场

第二章已经备好了全部工具：函数极限 lim_x→x0 f(x) = A 的 ε-δ 定义。现在只需动一个几乎看不见的手术——把 A 换成 f(x₀)：

定义虽短，分量千钧。它把「不断」拆成三个条件，缺一不可：

一个漂亮的结构：连续性的 ε-δ 定义比一般极限定义更整齐——一般极限里 δ 依赖于 ε 和 点 x₀；而连续性说的是「在 x₀ 这一个点上」，δ(x, ε) 每点各管各的。这个「各管各」正是 3.10 一致连续要拧紧的螺丝：把「每点各自有 δ」升级为「一个 δ 管整段」。数学的进步常常就是这样：把一个含糊的整体直觉，拆成可验证的逐点陈述，再把逐点陈述重新黏合成更强的整体陈述。

第三章 连续：一条不断的线3.3 单侧连续与间断点分类

「跳变」发生在接缝的两侧。要精确描述它，得先给「半支笔画」命名：

单侧连续不只是技术补充——它有真身：分段函数在接缝处天然只谈单侧。例如取整函数 f(x) = ［x］（不超过 x 的最大整数）在每个整数 n 处都右连续而不左连续：lim_x→n⁺［x］= n = f(n)，但 lim_x→n⁻［x］= n − 1。数轴上的「刻度」全是右连续的——这背后藏着离散（整数格点）与连续（实轴）的又一层握手。

有了单侧语言，间断点可以按「断裂的方式」分成四类，就像骨折可以按断裂方式分类：

前两类合称第一类（左右极限都存在——「断得规矩」），后两类称第二类（至少一侧极限不存在——「断得离奇」）。这个分类不是文字游戏：不同类型的间断点，处理手段完全不同（可去间断点能「补」、跳跃间断点能「接」在积分里、第二类只能绕开）。

第三章 连续：一条不断的线3.4 间断点画廊：可去、跳跃、无穷与振荡

上一页的分类表要靠实例养活。逐一走进四间展厅，每间放一件「标本」，并练一遍规范的判定书写。

标本一（可去）　f(x) = (x² − 1)/(x − 1)。x ≠ 1 时 f(x) = x + 1，故 lim_x→1 f(x) = 2，但 f(1) 无定义。三条件破了①和③——极限「打算」到 2，笔尖却没落纸。补定义 f(1) = 2 后函数连续：间断是「可去」的，像可擦掉的铅笔痕。

标本二（跳跃）　f(x) = sgn x。lim_x→0⁻ = −1，lim_x→0⁺ = 1，都存在但不等。无论怎么补定义 f(0)，总有一侧接不上——跳距 |1 − (−1)| = 2 是这个间断点的不变量，补不掉。Dirichlet 函数 D(x)（有理数处 1、无理数处 0）是极端版：处处间断，且处处是第二类——任一点的左右极限都不存在。

标本三（无穷）　f(x) = 1/x²。lim_x→0 = +∞，双侧同冲无穷（1/x 则一冲 +∞ 一沉 −∞，属第二类但两侧行为不同）。

标本四（振荡）　f(x) = sin(1/x)。x → 0 时自变量 1/x 扫过无穷多个周期，函数在 [−1, 1] 内无限抖动，左右极限均不存在。放大镜越靠近原点，抖动越密——这正是「振荡」的来历。

第三章 连续：一条不断的线3.5 连续函数的运算：四则与复合的连续性

知道 sin、cos、x² 处处连续还不够——用它们拼出的函数 (x² sin x)/(1 + cos x) 连续吗？连续性能否「遗传」给运算结果？答案是肯定的，而且证明几乎是白送的：极限的四则运算法则（2.6）逐字翻译过来就是连续性的四则定理。

证　以除法为例：lim_x→x0 f(x)/g(x) = lim f(x) / lim g(x) = f(x₀)/g(x₀)（分母极限 g(x₀) ≠ 0，四则法则的条件满足）。其余同理。∎

复合更妙——它正是「渡轮」的往返票：

证明只需把两条 ε-δ 链条首尾相接：外层 f 的 ε 界，对内层 g 是「g(x) 靠近 g(x₀)」的要求；而 g 的连续性恰好供应这个界。复合连续还有一个高频实用形式（极限的换元 lemma）：lim_x→x0 f(g(x)) = f(lim_x→x0 g(x))——「连续与极限交换次序」。求极限时把 lim 穿过 sin、ln、e^x 直接「穿」到内层的合法性，全部由这条定理担保。

第三章 连续：一条不断的线3.6 初等函数在定义域内的连续性

地基要一块块验。六类基本初等函数的连续性各有各的验法，验完便一劳永逸：

「定义区间内」四个字是精心措辞：初等函数 f(x) = √(cos x − 1) 的定义域是孤立点集 {2kπ}——在孤立点上「连续性」按邻域定义无从谈起（任何点都没有落在本域内的邻居）。所以教科书说「初等函数在其定义区间内连续」，不冒进到整个定义域。这种措辞的诚实，是严格化的美德：说得出边界的结论才配写进定理。

这条定理的实践价值极大：判断初等函数连续性从此不必回到定义，看定义域即可。求 lim_x→π/2 ln(sin x) = ln 1 = 0 时「直接代入」的合法性，全部由它担保——求初等函数在连续点的极限，就是求函数值。计算量最大的那一类极限，反而成了最省力的。

第三章 连续：一条不断的线3.7 闭区间连续函数（一）：有界性定理

前六节研究的是「一点处的连续」。从本页起换镜头：一整段闭区间 [a, b] 上的连续函数，作为整体有什么优良品性？答案是一组惊人的「免费午餐」——四个整体定理，一个比一个深。

为什么值得证？因为「逐点连续」表面上并不能自动给出整体界：每一点 x 各有自己的 δ_x 与局部界 M_x = |f(x)| + 1——无穷多个点，无穷多个局部界，谁也没保证其中有一个能当「总管」。闭区间的「闭」字在此发力，证明用的正是第二章的紧性武器：

看清证明的骨架：局部的连续（点 x₀ 处）+ 紧性（B–W 把无穷点收拢成一个极限点）= 整体的界。三个角色缺一不可——丢掉任何一个，定理立刻翻车：

〔现代接口〕「闭 + 有界」这个组合，现代分析给它起了名字：紧致（compact）。定理的真正内容是一句现代格言：「连续函数把紧集映成紧集」。有界性只是这句话在 ℝ 上的影子。

第三章 连续：一条不断的线3.8 闭区间连续函数（二）：最值定理与介值定理

有界只是「封了顶」，还不保证顶被摸到。数列 {1 − 1/n} 有上界 1，却永远差一口气。函数也一样——除非再借一次紧性：

证　由有界性，sup_[a,b] f = M 有限。取数列 f(x_n) → M（上确界的定义）。由 B–W，x_n 有收敛子列 → x* ∈ [a, b]；连续性给出 f(x*) = lim f(x_nk) = M——最大值真的被摸到。∎（最小值同法。）

最值定理的证明与有界性定理同出一门：又是「确界 + B–W + 连续性」三件套。这套三件套在本章会出场三次，值得把它当模板记住——它是「完备性如何兑换成整体定理」的标准动作。

接下来是本章最「接地气」的定理——它管的是「中间值必被取到」：

证明同样用三件套（构造辅助函数 g(x) = f(x) − μ，对 g 用「零点存在」的论证，细节见 3.9）。直觉上，「笔不离纸」四个字就是介值定理：连续曲线从高度 f(a) 走到高度 f(b)，想跳过某个中间高度，除非笔离纸——但连续性禁止离纸。

第三章 连续：一条不断的线3.9 零点定理：二分法的理论根基

介值定理最常用的特例，值得单独立传：

把它单独供起来，是因为它是一切方程数值求根法的理论根基。第一、二章已经用过它（√2 的存在性、e 的定义），现在给出正式证明——介值定理取 μ = 0 即得；或直接用二分构造：

注意这个证明一鱼两吃：它同时给出了逼近 ξ 的算法——每二分一次，误差减半。第一章的「实验：二分逼近 √2」当时只当游戏玩，现在知道那是定理的演示。零点定理与二分法的关系，就是「存在性」与「可计算性」的关系：先由定理保证根在那里，再由算法把它挖出来。这正是本册第三条线索（离散 ⇄ 连续）的样板：连续世界的存在性命题（零点在区间里），兑换成离散世界的可执行流程（二分序列）。

闭区间三定理（有界、最值、介值）至此到齐。它们共享同一个逻辑源头——实数完备性。下页的一致连续将添上第四个，随后 3.13 把全部线索收拢成「等价命题群」。

第三章 连续：一条不断的线3.10 一致连续（一）：从「逐点」到「整体」

ε-δ 定义里藏着一个可以拧紧的螺丝。逐点连续说：对每一点 x₀ 与每个 ε > 0，存在 δ(x₀, ε) > 0——δ 允许依赖点 x₀。请问：同一个 ε，不同点的 δ 必须一样大吗？不必。sin x 在 x = 100 附近与在 x = 0 附近「同样平缓」，但有些函数在有的地方「陡」，有的地方「缓」——陡的地方 δ 自然要取得小。把整段区间上「最陡处」的 δ 挑出来当公共 δ，行不行？这就是一致连续的全部内容：

逐点连续是「每户自管水电」；一致连续是「全小区统一供水」。后者蕴含前者（取 x″ = x₀ 即退回逐点定义），但反过来不成立。反差在哪？看典型例子：

规律浮现：出问题的都是「陡度无界」的场合——要么定义域无界（x² 在 ℝ），要么端点处函数狂飙（1/x 在 0 附近）。「一致连续 ≈ 逐点连续 + 陡度整体受控」，这直觉在第四章会精确化成「导数有界 ⟹ 一致连续」。

第三章 连续：一条不断的线3.11 一致连续（二）：康托定理与闭区间的恩惠

又是闭区间！又是 B–W！证明的三件套第四次出场：

证明的骨架值得品：「不一致连续」的反证假设供出两串点，B–W 把它们双双收拢到同一点 x₀，然后让逐点连续性收割矛盾。凡是「整体性质」的定理（有界、最值、介值、一致连续），几乎都是这个套路：反证假设供料，紧性收拢，连续性收割。

为什么「闭」是恩惠？开区间 (0, 1) 上 1/x 连续而不一致连续：x′, x″ 可以无限贴近 0，任何公共 δ 都会在 0 附近被击穿。闭区间把端点圈进来，端点处的连续性「焊死了」逃逸口。更准确地说：闭区间是紧的，紧性不允许任何数列逃逸到「域外」。

〔现代接口〕一致连续在现代分析里长成了「一致结构」（uniform structure）——把「多近算近」在空间上整体统一规定的数学结构。逐点连续升级为一致连续，与「数列收敛升级为一致收敛」是同构的思想动作（后者将在本册极限函数一章重演）：都是从「逐点、各自为政」到「整体、统一标准」。这个动作在 20 世纪泛函分析里成为主角——完备一致空间、拓扑群上的均匀连续性，全是它的后裔。

第三章 连续：一条不断的线3.12 反函数连续性定理

第一章留下的一笔账现在能清了：sin 在 [−π/2, π/2] 上连续、严格增，于是有反函数 arcsin——但 arcsin 连续吗？画图像看（把 y = sin x 的图沿对角线翻折）似乎显然，但「图像翻折」不是证明。真正的证明要用介值定理：

看清证明里的关键一步：「y₁ < y < y₂ 反推 x₀ − ε < f⁻¹(y) < x₀ + ε」用的是什么？正是介值定理（3.8）：f 是笔不离纸的，y 落在 f(x₀−ε) 与 f(x₀+ε) 之间，则 x = f⁻¹(y) 必落在 (x₀−ε, x₀+ε) 内。逐点连续的直觉证明里介值定理已经足够；整体的反函数定理（区间到区间）才需要一致连续（见习题课八）。

这条定理一次清完所有反三角、对数的连续性账单：arcsin、arccos、arctan、ln、log、以及 n 次根函数 x^1/n（由 xⁿ 反推）——全部连续。加上 3.5 的运算封闭性，初等函数的连续性版图到此完整：3.6 的定理表里三行「反函数连续性（3.12）」的欠条，现在兑现。

第三章 连续：一条不断的线3.13 完备性的连锁：等价命题群鸟瞰（确界·单调有界·区间套·柯西）

本册至今动用过的「重型武器」，其实都是同一块拱心石的侧影。把它们到一盏灯下，并列验收：

这六条在「实数完备性」的意义下两两等价：从任何一条出发可以推出其余任何一条。第一章已证 ①⟹②、①⟹③；②⟹④、④⟹③、③⟹①、④⟹⑤、①⟹⑥ 的循环证明补全在习题课九——那里将亲手把闭环焊死。等价性的价值不在「多」而在「自由」：六种语言，任选一种表达完备性，选对语言问题就easy了一半。介值定理用区间套最顺，康托定理用 B–W 最顺，紧性的一般理论用有限覆盖最顺。

第三章 连续：一条不断的线3.14 现代表达：连续映射即「开集原像」——拓扑语言预告

ε-δ 定义已经够严格了，为什么还要「现代表达」？因为在 ℝ 上顺手的定义，搬到一般空间会散架：两点之间的「距离 |x − y|」在没有距离的概念里无从谈起——比如球面上、函数空间里、数据构成的抽象空间中。20 世纪的拓扑学找到了距离的替身：开集。开集是「不含边界的区域」，它把「附近」这个概念形式化了。

这个定义在 ℝ 上与 ε-δ 等价（挑战一自己焊）：f 在 x₀ 连续 ⟺ 对 f(x₀) 的每个 ε-邻域（开集！），其原像包含 x₀ 的某个 δ-邻域（开集！）。「开集原像」定义的惊人之处：

① 无需距离——只要说清哪些子集算「开」，连续性就有意义。球面、矩阵空间、概率分布的空间，统统适用。

② 复合自动封闭——f 连续、g 连续 ⟹ g∘f 连续，证明只有一行：开集的原像在连续映射下还是开集，接两次就完。3.5 那页需要 ε-δ 链条拼接的证明，这里是一行代数。

③ 方向感——连续性管「原像」不管「像」：开集的原像必开，但开集的像可以不开（把 ℝ 压成一点）。这个不对称是初学者最易栽的坑，也是拓扑学最深的结构之一。

〔现代接口〕本章四个整体定理在拓扑语言下统一成一句：紧致空间上的连续实值函数必有最大最小值（最值定理）；「紧集的连续像是紧集」「连通集的连续像连通」（介值定理的现代形态）。第一章的完备性 + 本章的连续性，合流为现代分析的地基：紧性 + 连续 = 一切整体定理的发动机。

第三章 连续：一条不断的线3.15 《九章》少广·开方术重访：迭代逼近的东方源头

第一章札记①对照过《九章算术》少广章的开方术：求 √N，就是「议一所，再借一算，步之超一等」——试商、平方检核、调整、进位。当时我们只把「借一算」读出了代数意味。现在装备了连续与迭代的全部武器，可以重访古注，看清它的另一半真容：开方术是一个不动点迭代。

刘徽在开方注里写道：「不以面命之，加借算而定之，虽粗相近，不可用也。」——开不尽的方根，借算凑整只是「粗相近」，不能当真值用。怎么办？刘徽给出两条出路：其一，「微数」——继续退位开下去，得十进小数（这比西方系统使用十进小数早一千多年）；其二，「不以面命，惟以上下相命」——用上下夹逼框住真值。两条出路的精神完全一致：接受不可公度，用无限的近似过程钉住它。这正是极限概念的本土源头之一。

开方术的现代转译：求 √N 等价于解方程 x² = N，即求 f(x) = x² − N 的零点。开方术每一步「试商 + 检核 + 调整」，对应一次区间收缩——它本质上是逐位二分（逐位在 0–9 之间定位）的十进制版。而本章 3.9 的零点定理 + 区间套，恰好从理论上担保：只要变号，逐位逼近必收敛到真根。古代算法的每一步，都被现代定理重新背书。

这张对照表的深层讯息：东方数学的「术」传统不是没有理论，而是把理论压缩进步骤。刘徽注里的「微数」「上下相命」是理论自觉的明证——他知道自己在逼近一个「不可用面命之」的对象，并且知道逼近过程有误差控制。把这套直觉用 ε-δ 重新说出，就是本章的全部工作。

第三章 连续：一条不断的线3.16 不动点迭代：x_n+1 = ½(x_n + a/x_n) 为何收敛

开方还有一条更快的迭代路，巴比伦人就会用：求 √a，任取 x₀ > 0，反复执行

为什么收敛？现代答案是「不动点」三个字。求 √a ⟺ 解 x = ½(x + a/x) ⟺ 找映射 φ(x) = ½(x + a/x) 的不动点（满足 φ(x) = x 的点）。迭代的动力学三步全部可以用本章定理严格化：

第一步（下降）：x_n+1² − a = (x_n + a/x_n)²/4 − a = (x_n − a/x_n)²/4 ≥ 0，故 x_n+1 ≥ √a（n ≥ 1 后恒在 √a 上方）；又 x_n+1 = ½(x_n + a/x_n) ≤ ½(x_n + x_n) = x_n（因 x_n ≥ √a ⟹ a/x_n ≤ x_n，均值不等式）。于是 {x_n}_n≥1 单调递减有下界 √a。

第二步（收敛）：由单调有界原理（②），x_n → L ≥ √a。

第三步（锁定）：对迭代式两边取极限（四则运算法则 ②），L = ½(L + a/L)，解得 L² = a，故 L = √a。∎

三步分别动用了「不等式 + 单调有界」「完备性②」「极限四则 + 连续性」——一个看似朴素的算法，把第三章的定理库用了个遍。更妙的是速度：数值实验（例 12、综合站实验）将显示误差大约每步平方——x_n+1 − √a ≈ (x_n − √a)²/(2√a)，这叫二阶收敛（牛顿法的近亲）。对比二分法每步误差减半的线性收敛，速度快出量级：10 位精度二分要约 34 步，巴比伦迭代只要 5 步。

〔离散〕蛛网图是本章「离散 ⇄ 连续」的绝妙展品：连续对象（√a、不动点、曲线 y = φ(x)）与离散过程（x₀ → x₁ → x₂ → …）互相成就——离散序列由连续曲线生成，连续结论由离散序列（单调有界）证明。第一章札记②的「可计算实数」哲学在这里具体落地：一个无理数，就是一段收敛的迭代代码。

第三章 连续：一条不断的线3.17 历史注：波尔查诺与柯西——严格化运动的推进者

第二章年表停在 1821 年柯西的《分析教程》。本章补齐两位主角的列传。

波尔查诺（Bernard Bolzano, 1781–1848，布拉格）。教士出身、被大学开除的异端神学家，却在数学史上留下三块碑：1817 年的论文给出介值定理的第一个严格证明——为此他必须先造出「连续性」的定义，比柯西早四年；他构造了处处连续却处处不可导的函数（1830 年代手稿，比魏尔斯特拉斯的著名反例早三十年）——当时学界普遍相信连续函数除个别点外必可导，波尔查诺用一只「病态函数」宣判了这个信念的死刑；他还是「Bolzano–Weierstrass 定理」事实上的发现者（证明里用了 B–W 的关键思想）。他的一生提示：严格化运动不是柏林学派的专利，边缘处的孤独思考同样能推动中心。

柯西（Augustin-Louis Cauchy, 1789–1857，巴黎）。多产的工程师出身数学家（论文 789 篇，产量仅次于欧拉）。1821 年《分析教程》开篇立宪：「至于方法，我必须避免……利用代数概括式（代数连续性公理）的一切推理。」他给出极限、连续、导数、积分的系列定义——今天的 ε-δ 骨架是他的（δ-语言的形式化则由魏尔斯特拉斯完成）。他证明了本章的中值形式与积分中值定理、建立了复分析的奠基理论。但柯西也有历史的局限：他相信「连续函数列的极限仍连续」——直到 1847 年左右才被 Seidel 与他自己（在复函数情形）察觉要加「一致」二字。「一致连续」「一致收敛」的「一致」，正是修补柯西这个盲区诞生的概念。

两位主角的合像值得凝视：波尔查诺提供了反例的警觉（连续未必可导、逼近未必一致），柯西提供了定义的纪律。警觉 + 纪律，正是本章训练的全部人格目标——先怀疑「显然」，再定义「确实」。

第三章 连续：一条不断的线3.18 本章总结与方法表

十八页讲义走完，把家底盘一遍。本章的知识结构是一棵三层树：

方法表（做题前速查）：

〔离散〕再看一眼本章的离散线索：取整函数的右连续刻度（3.3）、B–W 把离散点列收拢成极限点（3.7–3.11 四次出场）、区间套与二分（3.9）、蛛网迭代（3.16）。连续性的每一个整体定理，背面都是一次离散操作——紧性就是「离散能收拢」的正式名字。第四章将换一台发动机：不再问「函数连不连续」，改问「函数变得多快」。

第三章 连续：一条不断的线例1 用定义验证连续：多项式与 1/x 的差异

（1）用 ε-δ 定义验证 f(x) = x² 在 x₀ = 2 连续；（2）验证 g(x) = 1/x 在 x₀ = 3 连续。

两题同法同构：先圈地（限制 δ ≤ 1 把「坏因子」变成常数），再把 |x − x₀| 挤过 ε。圈地这一步是 ε-δ 证明的灵魂——它把未知的 |x + 2|、3x 用局部常数上界锁死。这里 δ = min{1, …} 的「1」毫无神圣性，取 0.5、取 2 都行——它是「足够的圈」而非「最佳的圈」。

第三章 连续：一条不断的线例2 间断点分类四连：扫一遍函数画廊

指出下列函数的间断点并分类：（1）f(x) = x·sin(1/x) 在 x=0 处补充定义 f(0)=0 之前的原式；（2）f(x) = (1 − e^1/x)/(1 + e^1/x)；（3）f(x) = e^1/x；（4）f(x) = tan(x/2)。

一题四型，恰好把 3.4 的流程走全。注意（2）的解题细节：左右极限要分开算——e^1/x 在 0 两侧行为截然不同，这是「指数复合」函数的标志性陷阱。

第三章 连续：一条不断的线例3 复合连续性：lim f(g(x)) 的规范书写

求极限 lim_x→0 ln( (sin x)/x )。

书写规范三要素：①指认内外函数与各自连续点（f 在 1 连续、内层极限为 1）；②核对复合条件（内层在去心邻域有定义、极限值落在外层定义域内）；③交换次序一句点题。这个极限的深层读法：ln 是连续的，所以「先除后取对数」与「先取极限再取对数」等价——ln(1) = 0 立刻给出一阶信息：(sin x)/x = 1 − x²/6 + …（第五章泰勒展开后还能精确算出 ln((sin x)/x) ≈ −x²/6）。连续性是「极限次序交换」的通行证，本册后面每一次交换次序，都要检查这张票。

第三章 连续：一条不断的线例4 介值定理：证明方程 x³−4x+1=0 有三个实根

两段论结构是标准件：零点定理管「有」（存在性），单调性 / 导数符号管「至多」（唯一性）。「有且仅有」类方程问题几乎都用这个双拼。此处「至多三个」提前用了第五章的罗尔定理——可以用初等办法替代（三次多项式因式分解后至多两根差的结构），第五章回来再看会更清爽。另外注意解题中的诚实：第一次取样 [−2, 0] 两端同号，零点定理不适用，必须换样——取样失败不是解题失败，是取样信息。

第三章 连续：一条不断的线例5 零点定理＋二分法：数值求根的完整流程

求 x³ − 4x + 1 = 0 在 (0, 1) 内的根，精确到 10⁻²。