从这一章起，我们把七件工具拉到真正的战场上。第一个战场是数论——研究整数的学问。
整数看着简单，脾气却倔。它不像实数那样想取多少取多少，它只肯落在 \(\dots,-2,-1,0,1,2,\dots\) 这些点上，多一分少一分都不行。数论题的难与趣，全来自这个"只能踩整点"的硬脾气。 你要做的，是摸清这脾气，顺着它来。
一、质数是整数的原子
整数世界有一条压舱石般的事实，叫算术基本定理，名字唬人，意思朴素：
每个大于 1 的整数，都能唯一地拆成一串质数相乘。
\(12=2\times2\times3\)，\(100=2\times2\times5\times5\)，\(2024=2\times2\times2\times11\times23\)。拆法只有一种（不计先后顺序）。
这就是说，质数是整数的"原子"，别的整数都是用质数搭起来的分子。 想了解一个整数的脾气——它有几个因数、能不能被谁整除、和别的数有没有公因数——最根本的办法，就是先把它拆成原子看一看。
拆成原子后，很多事一目了然：
- 公约数（gcd）：两个数共有的原子，取较少的方次相乘。\(12=2^2\cdot3\)，\(18=2\cdot3^2\)，公共原子是一个 2 和一个 3，最大公约数 \(=2\cdot3=6\)。
- 公倍数（lcm）：把所有出现过的原子，各取较多的方次相乘。上例 \(\text{lcm}=2^2\cdot3^2=36\)。
- 因数个数：\(2^2\cdot3\) 的因数，是"2 取 0/1/2 个"配"3 取 0/1 个"，\(3\times2=6\) 个因数。
记住这条原子观，数论题就有了统一的下手处：看不清，就拆成质因数。
二、整除的脾气：盯住余数
第 8 章的同余，本质就是研究整除的脾气。这里再强调整除最常用的两条手感：
- 相邻整数互质。 \(k\) 和 \(k+1\) 没有大于 1 的公因数（公因数得整除它俩的差 1）。第 4 章用过，数论里反复用。
- 若 \(d\mid a\) 且 \(d\mid b\)，则 \(d\) 整除它们的任何"整系数组合" \(ma+nb\)。比如 \(d\) 同时整除 \(a\) 和 \(b\)，那它也整除 \(a-b\)、\(a+b\)、\(3a-2b\)。这条是"凑因子"的万能扳手——证明里想说"某个数能被 \(d\) 整除"，常常就是把它拼成几个已知能被 \(d\) 整除的数的组合。
三、不定方程：让整数的硬脾气替你干活
不定方程（也叫丢番图方程）是数论的招牌题型：一个方程，未知数好几个，但要求解必须是整数。光看方程，未知数比方程多，本该有无穷多组实数解；可一旦摁死"必须是整数"，解往往就剩下有限几组，甚至唯一。
对付它最锋利的一招，叫因式分解凑整：把方程倒腾成"两个整式相乘 = 一个固定整数"的样子，再利用"整数的因数只有有限个"把答案逼出来。
例 11.1（☼☼，经典） 求所有正整数对 \((x,y)\)，使 \(\dfrac1x+\dfrac1y=\dfrac12\)。
通分去分母：\(2(x+y)=xy\)，移项得 \(xy-2x-2y=0\)。这副样子还不好用，凑成乘积——两边加 4：
$$xy-2x-2y+4=4\ \Longrightarrow\ (x-2)(y-2)=4.$$现在好办了。\(x,y\) 是正整数，\(x-2\) 和 \(y-2\) 是两个整数，乘积为 4。4 的因数分解只有有限种，逐个列（这里 \(x,y\) 必大于 2，所以两个因子都为正）：
| \(x-2\) | \(y-2\) | \((x,y)\) |
|---|---|---|
| 1 | 4 | \((3,6)\) |
| 2 | 2 | \((4,4)\) |
| 4 | 1 | \((6,3)\) |
所以全部正整数解是 \((3,6),(4,4),(6,3)\)。就这样。
回味这套路：本来 \(x,y\) 能取无穷多实数，但"必须是正整数"这条硬脾气，配上"\(4\) 只有有限个因数"，把无穷压成了三组。凡是不定方程，先想能不能凑成"乘积 = 定数"，再枚举那个定数的因数。 这招江湖人称"配凑因式"，是数论解题的看家本领。
四、七件工具在数论里怎么配合
数论题往往不是单用一件工具，而是几件接力。给你看清这条暗线：
- 同余（第 8 章） 管余数、末位、整除判断，以及证"无解"——目标余数在某个模下不存在。
- 极端/无穷递降（第 5 章） 证"无整数解"或"\(\sqrt n\) 无理"——盯最小解，造更小的，撞矛盾。
- 抽屉（第 4 章）+ 构造（第 9 章） 证"必存在某种整数"——余数当笼子，逼出重复再取差。
- 因式分解凑整（本章） 解不定方程——凑成乘积 = 定数，枚举因数。
- 质因数分解（本章） 是这一切的底座——看不清就拆成原子。
上手清单（数论题）
- 题目关心整除/余数/末位？→ 搬进同余（第 8 章）。
- 看不清一个数的结构？→ 拆成质因数看。
- 不定方程？→ 想办法凑成"乘积 = 定数"，再枚举因数。
- 要证"无解 / 无理 / 不可能"？→ 同余找现原形的模，或无穷递降。
- 要证"某种整数一定存在"？→ 余数当笼子用抽屉，或直接构造。
这一章要带走的东西：
- 质数是整数的原子，看不清就拆成质因数（算术基本定理）。
- 整除两手感：相邻整数互质；\(d\) 整除 \(a,b\) 就整除它们的整系数组合。
- 不定方程的看家本领：凑成"乘积 = 定数"，枚举那个定数的因数。
- 数论题常是同余 + 极端 + 抽屉 + 构造接力打，质因数分解是底座。
就这样。