跨卷导读：质数、互质、同余与费马大定理

以第2卷十章为主线，串联质数分解、勾股数组、互质、反证法、代数结构、模运算、无穷递降和费马大定理，并用可执行算法检验整除关系与模逆元。

学习目标

能按作者目录复述第2卷十章的先后关系，并说明本导读与原书章节的边界
能用质因数分解、GCD、贝祖等式和模运算解释一条从整除到模逆元的证据链
能区分反证法、无穷递降法和代数结构各自承担的证明职责，而不是只记住术语
能运行或手算一个数论算法，检查不变量、输入前提和结果是否可复查

先把这张导读地图的边界钉住

这是一页跨卷导读，不是独立的“数论基础章”。作者目录把《数学女孩2：费马大定理》组织为十个原书章节；本页把它们连接起来，帮助读者决定回读顺序，但不把十章压缩成一个新章节，也不替代任何一章的叙事和练习。

先预测：如果只读质数、最大公约数和 RSA 三个标签，是否已经理解第2卷？还没有。第2卷真正训练的是一条逐渐变长的证明链：从观察整数的结构开始，经过构造、反证、抽象化和模运算，最后回到费马大定理所代表的历史问题。作者目录是本页核对卷章范围的入口。

数论从质数分解到欧几里得算法到 RSA，古老数学驱动现代密码学。GCD 的辗转相除、模逆元的求解、快速幂取模，都是数论在编程中的直接应用。

第2卷十章：一条逐步抽象的路线

下表先给出导航骨架。每一行都对应 manifest 中的一个原书单元；本页后面的解释会展开“这一章贡献了什么工具”和“下一章为什么需要它”。

章节	主要问题	带到下一步的工具
第1章将无限宇宙尽收掌心	如何从巡回、余数和互质观察无限结构	最大公约数与模运算直觉
第2章勾股定理	哪些整数能组成直角三角形	质因数分解、参数化和本原对象
第3章互质	共同因子如何改变乘法结构	GCD、LCM 与指数向量
第4章反证法	如何把“不可能”变成矛盾	命题否定、最简分数和奇偶性
第5章分裂的质数	质数在更大代数系统中会怎样	高斯整数、共轭和范数
第6章阿贝尔群的眼泪	抽象结构怎样保留运算规律	闭合、单位元、逆元和交换性
第7章以发型为模	无限整数怎样折叠成有限结构	同余、剩余类、环与域
第8章无穷递降法	最小反例怎样制造更小反例	良序性与严格下降
第9章最美的数学公式	复数表示如何连接指数和三角	欧拉公式与统一表示
第10章费马大定理	古典命题如何汇聚这些工具	证明范围、历史边界和复习

第1章：从巡回观察到互质

第一章从数星星、画星座和时钟巡回开始，把“走多少步能回到原点”变成可以计算的问题。步长为 $k$ 、位置数为 $n$ 时，轨道长度由 $n$ 与 $k$ 的最大公约数决定；当两者互质，巡回才会覆盖全部位置。这里的不是一个孤立标签，而是“无限运动能否完整遍历有限状态”的结构条件。

这一步还建立模运算的直觉：整数不必逐个保存，可以只记录它在一个周期中的位置。先从具体时钟观察，再把步长和位置一般化，读者就能理解为什么 GCD 会自然出现在循环长度里。

第2章：勾股数组与本原对象

勾股定理把几何关系写成整数方程 $A^2+B^2=C^2$ 。接着要问：哪些三元组只是同一个基本形状的倍数，哪些已经不能再约去共同因子？以最大公约数为 1 的本原勾股数组为中心，质因数分解和奇偶性约束会排除很多不可能的情形。

欧几里得参数化把一类整数解写成

A=r^2-s^2,\qquad B=2rs,\qquad C=r^2+s^2,

其中 $r$ 与 $s$ 互质且奇偶性相反时，可以得到本原解。重要的学习证据不是背下参数式，而是能说明为什么互质条件和奇偶性条件分别防止了什么重复或退化。

第3章：把互质写成指数结构

唯一分解让每个大于 1 的整数都能写成质数幂的乘积。若把质数的指数列成向量，那么乘法变成逐坐标相加，GCD 取逐坐标最小值，LCM 取逐坐标最大值。于是

ab=\gcd(a,b)\operatorname{lcm}(a,b)

不再只是一个要记忆的恒等式，而是同一组质数指数的分配关系。

这个表示也解释了为什么“互质乘积是平方”会产生强约束：如果两个因子没有共享质数支撑，平方的每个指数必须分别在两个因子中为偶数。第2卷后面的证明会不断调用这种从乘法转到指数结构的视角。

当 $\gcd(a,m)=1$ 时，扩展欧几里得算法还能给出 $ax+my=1$ 。它是从整除关系走向模逆元的桥：对模 $m$ 取同余后， $ax\equiv1\pmod m$ ，而系数 $x$ 就提供了一个可验证的逆元候选。

第4章：反证法把不可能变成可检查矛盾

的第一步不是急着写矛盾，而是把命题的对象、取值范围和否定形式写清楚。证明 $\sqrt {2}$ 不是有理数时，假设 $\sqrt{2}=a/b$ 且 $a,b$ 互质，再由 $a^2=2b^2$ 推出 $a$ 与 $b$ 都是偶数，正好违背最简分数条件。

这个模板和第一章的巡回观察不同：观察提供猜想，反证提供否定猜想的方向。读者需要留下“假设了什么、推出了什么、冲突依赖哪个已知定义”三份证据，才能把证明从叙事中复原出来。

第5章：分裂的质数与高斯整数

在整数中，质数的分解行为看似固定；换到高斯整数 $a+bi$ ，某些整数质数会出现新的分解方式。复数平面上的格点、共轭和范数把代数运算与几何移动连起来，说明“质数”这个词必须带着所在的数系一起理解。

例如范数

N(a+bi)=a^2+b^2

把乘法关系传递到非负整数。第2卷在这里不是要求读者马上掌握完整代数数论，而是训练一种边界意识：同一个符号在不同结构中可能拥有不同的可分解性，结论不能脱离运算系统搬运。

第6章：从运算规则抽象出阿贝尔群

第六章把自然数、整数、有理数、实数和复数放在集合与运算的视角下比较。闭合性、结合律、单位元、逆元和交换律分别回答“运算后还在不在集合里”“括号能否移动”“能否抵消”和“次序是否重要”。满足这些条件的结构称为阿贝尔群。

抽象化不是为了增加术语，而是为了保存可迁移的证明动作。例如模运算中的可逆剩余类、复数单位根和整数加法群，都可以用单位元与逆元重新描述。先明确运算和集合，再谈“像群”，避免只凭表面相似作类比。

第7章：同余把无限折叠成有限

记作 $a\equiv b\pmod m$ 。它不是把整数“粗略取余”这么简单，而是一个等价关系：可以在等价类上稳定地做加法、减法、乘法和非负整数次幂。

当 $\gcd(a,m)=1$ 时，才可能找到一个数 $x$ 满足 $ax\equiv1\pmod m$ 。这个 $x$ 叫。模数为素数时，非零剩余类都可逆，形成有限域；一般模数则必须先检查互质条件，不能把除法直接照搬到同余式中。

术语核对也要保留条件：带余除法规定余数范围，商和余数具有唯一性；整数的 mod 定义把时钟模 12 推广到任意模数；同余既等价于余数相同，也等价于差可被模数整除，并且同余是等价关系；剩余类可以做同余式的加减法、乘法和幂运算；两边同时做除法必须检查消去因子与模数互质；除法的本质是寻找逆元；既约剩余类组成既约剩余类群；环同时保留加法和乘法，域则要求非零元素都有乘法逆元。

第8章：无穷递降不是“继续变小”

把良序性变成证明发动机。它至少需要两份证据：构造出的对象仍属于同一个反例集合；被选的量在给定顺序下严格变小。缺少第一份，证明可能已经换了问题；缺少第二份，就没有与最小性冲突。

这条方法与反证法相连，却不等同于反证法。反证法只要求从假设推出冲突，无穷递降还要维护“同类”和“更小”这两个不变量，因此特别适合处理整数方程与最小反例。

第9章：欧拉公式的统一表示

第九章用复数表示把指数、旋转和三角函数放进同一条关系：

e^{i\theta}=\cos\theta+i\sin\theta.

取 $\theta=\pi$ 得到 $e^{i\pi}+1=0$ 。这里的价值不只在于公式优美，而在于它展示了“换表示”的力量：旋转可以用乘法表达，周期可以用单位根表达，代数和几何可以相互回译。

第10章：费马大定理与证明边界

费马大定理的陈述是：当 $n$ 大于 $2$ 时，正整数中不存在满足 $x^n+y^n=z^n$ 的解。第2卷前九章提供勾股数、互质、反证、代数结构、同余和递降等工具的练习，但本导读不把这些教学模型冒称为现代完整证明。

复习时要同时写下两列：本卷已经能解释的局部工具，以及仍然超出本页范围的现代证明背景。这样的边界声明不是削弱数学，而是避免把“理解证明方法”和“完成历史上的完整证明”混成同一件事。

三次动手复习：把概念变成证据

下面的 Stepper 是本页的主练习。每一步都要求先预测，再操作或手算，最后写下一个可以被另一位读者复查的结果。

分步1 / 3

1. 结构：从有限列表构造新质因数

先预测：若假设质数只有一个有限列表，构造所有质数乘积加一之后，必须检查什么才能得到矛盾？在图中逐格标出假设、构造、整除检查和矛盾对象。

反证的关键不是乘积加一像质数，而是旧列表无法覆盖新数的质因数。

可执行检查：让算法证明自己的不变量

数论代码的验收不能只看一个“看起来正确”的输出。GCD 循环需要保持“当前两数的公因数集合没有改变”，扩展欧几里得需要检查贝祖恒等式，快速模幂需要检查每轮结果都在模数范围内。

export function gcd(a: bigint, b: bigint): bigint {
  a = a < 0n ? -a : a;
  b = b < 0n ? -b : b;
 
  while (b !== 0n) {
    [a, b] = [b, a % b];
  }
 
  return a;
}
 
export function modPow(
  base: bigint,
  exponent: bigint,
  modulus: bigint,
): bigint {
  if (modulus <= 0n || exponent < 0n) {
    throw new RangeError("modulus must be positive and exponent non-negative");
  }
 
  let result = 1n % modulus;
  base %= modulus;
  while (exponent > 0n) {
    if (exponent % 2n === 1n) result = (result * base) % modulus;
    base = (base * base) % modulus;
    exponent /= 2n;
  }
  return result;
}

对于 gcd(48n, 18n)，结果应为 6n；若扩展算法返回 $x,y$ ，还要验证 $48x+18y=6$ 。对于模幂，则要测试指数为 0、模数为 1、底数大于模数和非法负指数等边界，避免只用一个顺利样例掩盖前提缺口。

本章练习

练习

问题 1：证明链。 说明质数无穷证明为什么不需要证明“乘积加一一定是质数”。

问题 2：GCD 与逆元。 用回代求出 48 与 18 的一组贝祖系数，并说明为什么它们不能直接给出 48 在模 18 下的逆元。

问题 3：方法辨析。 反证法和无穷递降法都从“假设存在反例”开始，它们还差什么区别？

问题 4：安全边界。 列出裸 RSA 教学模型不能替代的两项生产安全措施，并说明它们为什么不属于 $ed\equiv1\pmod{\varphi(n)}$ 这条代数关系。

本章回顾

第2卷十章从巡回与互质出发，经勾股数组、反证、代数结构、同余和递降，回到费马大定理。
质数分解提供乘法结构；GCD 和贝祖等式提供整除证据；同余把无限整数折叠为有限结构。
反证法、无穷递降法和抽象群都能组织证明，但它们的对象、前提和矛盾位置不同。
RSA 适合展示模逆元与模幂的代数关系，不等于完整的现代密码协议或费马大定理证明。
数论算法的发布级证据包括不变量、边界输入、可复查结果和明确的适用范围。

名词解释

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

质数: 大于 1 且只有 1 与自身两个正因数的整数；“质数”必须与所在的数系和运算结构一起理解。
互质: 两个整数的最大公约数为 1；它是模逆元存在、巡回覆盖完整和本原对象定义中的关键条件。
贝祖等式: 把两个整数的最大公约数写成它们的整数线性组合，是由扩展欧几里得算法得到模逆元的桥梁。
反证法: 先假设命题不成立，再从假设推出与定义、已知定理或逻辑一致性冲突的结论。
同余: 两个整数相差模数的整数倍，因此在该模数下属于同一个剩余类。
模逆元: 在模数 $m$ 下与 $a$ 相乘得到 1 的数；它存在的必要条件是 $a$ 与 $m$ 互质。
无穷递降法: 从最小反例出发构造严格更小的同类反例，以便与正整数的良序性产生矛盾。

正式目录节点：逐项释义

下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界；它们是第2卷第7章以发型为模的知识证据，不是把目录标题重复一遍。

同余把无限折叠成有限：“同余把无限折叠成有限”在第2卷第7章以发型为模中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
剩余类环：“剩余类环”在第2卷第7章以发型为模中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。