数学女孩前四卷学习地图

学习目标

• 能从作者目录核对前四卷各十章，并区分原书章节与站内跨卷导读页
• 能解释四卷分别在训练什么问题链，至少说出两条可以回查的先修桥
• 能为一个新问题选择顺序精读、证明专题或算法专题路线，并说明选择依据
• 能用一个公式、一个反例和一次练习留下可复查的学习证据，而不是只记主题标签

先把地图的边界钉住

这是一张 学习地图，不是第五卷，也不是把全书压成几个泛化标签的目录替代品。作者目录给出的权威范围是前四卷，每卷十章，共四十个原书章节；本页、专题导读和总复习都属于站内编辑页，不改变这个分母。

先预测：如果一张地图只剩下“数论、代数、图论、机器学习”等主题，它能告诉你下一步该回读哪一章、为什么要回读吗？不能。有效地图必须同时显示卷章边界、问题推进和回查理由。

目录边界的三次核对

第一遍只核对数量：四卷各十章。第二遍核对身份：卷号与章号来自原书目录，跨卷导读不冒充原书节点。第三遍核对用途：地图只负责连接、回查和练习验收，不能把“读过一张导读页”算成“读完一章”。作者目录入口见《数学女孩》系列前四卷目录。

四卷不是四个标签，而是四种提问方式

第1卷：从例子发现结构

第1卷先把局部规律写清楚，再问它能否被更好的 表示 统一。斐波那契递推

$$F_{n+2}=F_{n+1}+F_n,$$

可以逐项计算，也可以编码成生成函数。设 $F_0=0$、$F_1=1$，形式幂级数 $F(x)=\sum_{n\ge 0}F_nx^n$ 满足

$$F(x)=\frac{x}{1-x-x^2}.$$

回译时仍要取系数；这个分母不是“更神奇的答案”，而是把递推关系搬到了代数表示中。卷中的卷积、调和数和分拆数继续训练同一动作：先选表示，再检查表示是否保留了原问题的对象与条件。

第2卷：把工具汇入长证明

第2卷围绕费马大定理组织数论工具，而不是声称十章就重现现代完整证明。勾股数、互质、反证法、模运算和无穷递降分别承担不同职责：有的约束对象，有的制造矛盾，有的把无限问题压到有限剩余类，有的用最小反例推进不可能性。

卷末的陈述可以写成：当 $n$ 大于 $2$ 时，正整数中不存在 $x^n+y^n=z^n$ 的解。复习时要留下 证明骨架：假设是什么、构造对象仍属于哪一类、哪个量严格变小、矛盾在哪里。只写“不断下降”而不写同类性和严格性，证明仍是不完整的。

第3卷：追问形式语言的边界

第3卷把分析学与数理逻辑放在同一条严格化主线上。极限的量词顺序可以写成

$$\forall\varepsilon>0\;\exists\delta>0\;\forall x,\quad 0<|x-a|<\delta\Longrightarrow |f(x)-L|<\varepsilon.$$

这里先给误差，再选择依赖误差的范围，最后对所有满足条件的 $x$ 作保证。对角论证与哥德尔不完备性继续追问：一个有足够表达能力、保持一致且能有效公理化的 形式系统，能否在自身内部穷尽相关真理？结论是能力存在边界，不是“数学不可靠”。

第4卷：把不确定性变成可量化保证

第4卷要求把“随机”拆成随机源、样本、事件和结果。分析随机算法前，先写清 概率空间，再说明成功率、失败事件、重复次数和确定性验证各自负责什么。

随机快速排序中，固定输入，只在划分时随机选择枢纽。若 $X_{j,k}$ 表示排名为 $j$ 与 $k$ 的元素是否比较，则

$$X=\sum_{j<k}X_{j,k},\qquad \mathbb E[X]=\sum_{j<k}\mathbb E[X_{j,k}].$$

线性期望不要求比较事件相互独立；再结合最先成为枢纽的元素概率，才能得到 $\Theta(n\log n)$ 的期望界。公式最后一行不是保证的全部，随机源和求和证据必须一起保留。

四卷计数：把“40章”变成可检查的结构

学习地图最先服务的是导航，因此要让读者能够肉眼复核“哪一层算原书章节”。下图把每卷十个章节点画在独立轨道上；跨卷导读是轨道之间的连接，不会多出一个节点。

跨卷先修桥：不是单向楼梯

四卷之间不是读完一卷就永久离开的单向楼梯。卡住时先判断自己缺的是哪一种语言，再沿桥回查一个定义、一个例子和一个推导。

数列与算法分析

第1卷的递推、生成函数和调和数会在第4卷的复杂度分析中再次出现。遇到前缀和、增长阶或期望递推时，回查第1卷的表示选择；不要把公式当成没有来源的黑箱。

反证、递降与对角构造

第2卷训练从否定假设构造矛盾，第3卷把构造推进到无限集合与形式系统。两者都可能出现“假设—构造—矛盾”的外形，但反驳对象、量词层级和所需前提不同。

组合计数与概率

概率计算前常常必须先数清样本。第1卷的卷积、卡特兰数和分拆数训练“按大小拆分并求和”，第4卷再把事件计数除以样本总数，或把路径计数转成概率界。

代数表示与矩阵状态

生成函数把数列变成代数对象，矩阵把状态转移变成线性变换。两者共享“换表示以暴露结构”，但回译方式不同；迁移前要写清输入、状态、运算和输出。

三种阅读路线：入口可以变，证据不能少

下面的路线共享同一套四卷目录。选择路线不是跳过基础，而是改变回查顺序；完成一段后，都应留下预测、推导、练习和回顾。

⚡分步1 / 3

1. 1
2. 2
3. 3

重置

1. 顺序精读：保留问题如何生长

先按卷号与章号推进。每章开始先预测要解决的问题；遇到定义就造一个例子和反例；遇到推导就遮住下一行独立补全；章末用“对象—动作—结论”复述一次。这个路线最适合第一次阅读，因为人物对话和错误猜想本身就是问题发现的证据。

上一步播放下一步

让导航页留下学习证据

一张地图只有在能改变下一步行动时才有用。完成一次回查后，至少写下四件事：我卡住的对象是什么；应该回到哪一卷哪一章；哪条定义或例子修复了断点；回到当前章后我独立推导出了什么。这样“我看过地图”才会变成可检查的学习记录。

练习

问题 1：目录校验。 说明为什么本地图的原书章节数是四十，而不是把本页和其他编辑页继续加进去。

查看答案

作者目录按四卷组织，每卷十章，所以原书节点是 $4\times10=40$。学习地图、专题导读和总复习是站内编辑页，只提供连接与练习，不新增卷章，不能进入原书章节分母。

问题 2：先修回查。 你在随机快速排序中看到 $H_n$，请写出一个合理的回查动作，并说明回查后要带回什么证据。

查看答案

先回到第1卷复习调和数的定义、正项求和与对数阶界，再回到第4卷核对比较次数如何按指示器求和。带回的证据应包括 $H_n$ 的定义、使用的增长界，以及它在期望比较次数公式中的具体位置。

问题 3：证明骨架。 无穷递降为何不能只写“反例会越来越小”？请列出还必须核对的两项。

查看答案

必须证明构造出的对象仍属于同一类反例，并证明被选量在给定序下严格变小；前者保证递降没有换题，后者才与最小反例或良序性发生矛盾。少一项都不能完成递降论证。

问题 4：路线选择。 你想理解“随机算法的保证从哪里来”，请选择一条阅读路线，并写出四格证据。

查看答案

可选算法专题：对象是固定输入与随机枢纽选择，前提是随机源和输入模型已说明，动作是用指示器拆分比较事件并求期望，结论是期望复杂度及其适用边界。若目标改为理解为什么能证明“不可能”，则应换成证明专题并记录构造对象与矛盾位置。

本章回顾

• 前四卷每卷十章，共四十个原书章节；跨卷导读页不改变这个目录边界。
• 第1卷训练表示与结构发现，第2卷训练构造与长证明。
• 第3卷用量词和形式系统标出证明边界，第4卷用概率和期望量化不确定性。
• 四条先修桥分别连接数列与算法、反证与对角、计数与概率、表示与状态。
• 三种阅读路线只改变入口，不改变卷章身份；每条路线都要留下可复查证据。
• 地图完成的标志不是记住标签，而是能解释下一步回查、独立重做一道题并指出适用条件。

名词解释

本章出现的专业名词，用大白话再讲一遍。

学习地图

把真实卷章、概念关系和回查动作放在一起的导航页；它连接原书，但不冒充原书章节。

表示

对对象换一种编码方式，让运算、比较或证明更容易，同时保留必要信息以便回译。

证明骨架

证明中不可省略的对象、前提、构造动作和结论链条，便于另一位读者逐步复核。

形式系统

由符号、规则、公理和可机械检查的推导组成的系统；它能表达和证明的范围可能有边界。

概率空间

描述样本集合、事件和概率分配的模型，是讨论随机变量与成功率的共同起点。