初等数论定理、命题与证明训练总目录

资料来源与补全依据：
这不是单纯“看结论”的页面，而是给孩子拿来自己证明、自己补链条、自己做专题笔记的页面。 每条尽量包含：定理陈述 / 前置依赖 / 常见用途 / 可先尝试证明的命题。
这个版本重点补了什么：

总目录

  1. 零、证明训练区与命题引导
  2. 一、整数、整除、gcd 与线性组合
  3. 二、唯一分解、约数函数与基础算术函数
  4. 三、同余、剩余系与模运算基础
  5. 四、线性同余、中国剩余定理与逆元
  6. 五、Fermat、Euler、Wilson 及常见推论
  7. 六、阶、原根、循环结构与指数同余
  8. 七、\(p\)-进赋值、Legendre、Kummer、LTE
  9. 八、二项式系数、Lucas 型定理与组合数整除
  10. 九、平方剩余、Legendre/Jacobi 与二次互反律
  11. 十、高次剩余、圆分多项式与原始素因子
  12. 十一、不定方程、Pell 方程与参数化
  13. 十二、更多小定理、小命题与拓展条目
  14. 十三、更多小众定理、小命题与拓展条目（续）
  15. 十四、素性判别、特殊素数与高阶同余补全
  16. 十五、表示定理、二次型与格点方法补全
  17. 十六、逼近论、连分数与均匀分布补全
  18. 十七、算术函数、卷积、筛法与解析数论入口补全
  19. 十八、有限域、多项式方法与组合数论补全
  20. 十九、递推、Fibonacci/Lucas 序列与原始因子补全
  21. 二十、代数数论入口补全
  22. 二十一、素数分布与加法素数定理补全
  23. 二十二、分拆、q-级数与特殊同余补全
  24. 二十三、深层丢番图定理与曲线视野补全

零、证明训练区与命题引导

推荐第一条证明链：
除法算法 \(\rightarrow\) gcd 基本性质 \(\rightarrow\) 辗转相除法 \(\rightarrow\) Bézout \(\rightarrow\) Euclid 引理 \(\rightarrow\) 唯一分解定理

这是最基础、也最核心的一条整除链。很多后面的内容，比如线性不定方程、互素、素数整除积、唯一分解、指数估值，实际上都要反复回到这一条链上。
推荐第二条证明链：
同余定义 \(\rightarrow\) 同余基本性质 \(\rightarrow\) 线性同余 \(\rightarrow\) 逆元 \(\rightarrow\) CRT \(\rightarrow\) Fermat / Euler

这是模运算的主线。学到这里以后，孩子会开始真正接触“模意义下做运算”的思想，很多余数题、周期题、整除题、指数同余题都从这里展开。
推荐第三条证明链：
\(\varphi(n)\) \(\rightarrow\) Euler 定理 \(\rightarrow\) order \(\rightarrow\) 原根 \(\rightarrow\) 指数同余 \(\rightarrow\) 二次剩余

这条链进入的是更“竞赛味”的数论内容。它把“一个数在模 \(m\) 下反复幂乘会发生什么”这件事系统化了，是很多高阶同余题的核心路线。
推荐第四条证明链：
唯一分解定理 \(\rightarrow\) \(v_p(n)\) \(\rightarrow\) 阶乘中素因子次数 \(\rightarrow\) 组合数整除性 \(\rightarrow\) LTE \(\rightarrow\) 指数型整除问题

这条链主要处理“一个式子到底能被某个素数整除多少次”。很多竞赛题看上去是在做整除，实际上真正关键的是在比较指数，也就是比较 \(v_p\)。
推荐第五条证明链：
连分数基础 \(\rightarrow\) 收敛分数 \(\rightarrow\) \(\sqrt D\) 的周期连分数 \(\rightarrow\) Pell 方程基本解 \(\rightarrow\) Pell 方程全体正解生成

这条链对应的是 Pell 方程与逼近论方向。它很适合做专题训练，也很适合让孩子体会：有些整数方程的结构，居然和无理数的连分数展开直接相关。
推荐第六条证明链：
积性函数概念 \(\rightarrow\) \(\varphi(n)\)、\(\mu(n)\)、\(\tau(n)\)、\(\sigma(n)\) \(\rightarrow\) Dirichlet 卷积直观理解 \(\rightarrow\) Mobius 反演

这一条更偏专题与进阶。很多计数、约数求和、互素计数、反演型题目都能归到这里。即使不正式学卷积，先理解“函数之间能通过约数求和相互转换”也很有帮助。
常用符号、记号与函数说明
数论里最容易劝退孩子的，往往不是题本身，而是符号太多。所以下面这块建议单独放出来，让孩子查记号时不用到处翻。

1. 最常见的整除与同余符号

  1. \(a\mid b\)：表示 \(a\) 整除 \(b\)，也就是存在整数 \(k\) 使 \(b=ak\)。
  2. \(a\nmid b\)：表示 \(a\) 不整除 \(b\)。
  3. \(a\equiv b\pmod m\)：表示 \(m\mid(a-b)\)，也就是 \(a,b\) 除以 \(m\) 的余数相同。
  4. \(\not\equiv\)：表示不同余。
  5. \(\lfloor x\rfloor\)：下取整，表示不超过 \(x\) 的最大整数。
  6. \(\lceil x\rceil\)：上取整，表示不小于 \(x\) 的最小整数。
  7. \(\{x\}\)：小数部分，定义为 \(x-\lfloor x\rfloor\)。
  8. \(\pm\)：表示正负两种可能。

2. 最常见的数论函数

  1. \(\gcd(a,b)\)：最大公因数，也叫最大公约数。
  2. \(\operatorname{lcm}(a,b)\)：最小公倍数。
  3. \(\varphi(n)\)：Euler 函数，表示 \(1,2,\dots,n\) 中与 \(n\) 互素的正整数个数。
  4. \(\mu(n)\)：Mobius 函数，是反演公式里最核心的函数之一。
  5. \(\tau(n)\) 或 \(d(n)\)：正因子个数函数。
  6. \(\sigma(n)\)：正因子和函数。
  7. \(\pi(x)\)：不超过 \(x\) 的素数个数。
  8. \(P(n)\)：有时表示 \(n\) 的最大素因子；不同资料记号可能不同，使用时要看上下文。

3. 竞赛里非常常见的特殊记号

  1. \(v_p(n)\)：素数 \(p\) 在 \(n\) 的分解中出现的次数，也叫 \(p\)-进赋值。
  2. \(\operatorname{ord}_m(a)\)：\(a\) 模 \(m\) 的阶，表示满足 \(a^k\equiv1\pmod m\) 的最小正整数 \(k\)。
  3. \((a,m)=1\)：常用来表示 \(\gcd(a,m)=1\)。
  4. \(\left(\frac ap\right)\)：Legendre 符号，表示 \(a\) 是否是模奇素数 \(p\) 的二次剩余。
  5. \(\left(\frac an\right)\)：Jacobi 符号，是 Legendre 符号的推广。
  6. \(\binom{n}{k}\)：组合数，也会频繁出现在数论整除题里。
  7. \([x]\)：有些书里也表示下取整，但现在更建议用 \(\lfloor x\rfloor\)，避免歧义。
  8. \(\overline{a}\)：有时表示模意义下的剩余类，具体含义要看上下文。

4. 这些符号到底该怎么理解

  1. \(\gcd\) 关心的是“共同能提出多少”。
  2. \(\operatorname{lcm}\) 关心的是“最少乘到多大能同时整除”。
  3. \(\varphi(n)\) 关心的是“模 \(n\) 下有多少个可逆元素”。
  4. \(v_p(n)\) 关心的是“素数 \(p\) 在这个数里藏了多少层”。
  5. \(\operatorname{ord}_m(a)\) 关心的是“幂乘循环什么时候第一次回到 1”。
  6. Legendre 符号关心的是“这个数是不是一个平方”。
  7. \(\mu(n)\) 往往可以理解为“带符号的平方因子筛子”。
  8. \(\tau(n),\sigma(n)\) 都是在研究一个数的因子结构有多丰富。
记号补充 1. \(\gcd(a,b)\)
记号解释：\(\gcd(a,b)\) 表示 \(a,b\) 的最大公因数，也就是同时整除 \(a\) 和 \(b\) 的最大正整数。

它是整除理论里最基础的对象之一。很多结论其实本质上都在研究“两个数有没有公共素因子”“公共部分有多大”。
示例：例如 \(\gcd(18,30)=6\)。
示例解释：因为 18 的因子有 \(1,2,3,6,9,18\)，30 的因子有 \(1,2,3,5,6,10,15,30\)，共同的最大者是 6。
记号补充 2. \(\operatorname{lcm}(a,b)\)
记号解释：\(\operatorname{lcm}(a,b)\) 表示 \(a,b\) 的最小公倍数，也就是同时被 \(a,b\) 整除的最小正整数。

它和 \(\gcd\) 是一对非常常见的搭档，经常一起出现。
示例：例如 \(\operatorname{lcm}(6,15)=30\)。
示例解释：30 同时是 6 和 15 的倍数，而且是最小的那个。还常有公式 \[ \gcd(a,b)\cdot \operatorname{lcm}(a,b)=ab \] （对正整数 \(a,b\) 成立）。
记号补充 3. \(v_p(n)\)
前置：唯一分解定理。
记号解释：\(v_p(n)\) 表示素数 \(p\) 在 \(n\) 的素因子分解中出现的次数。也就是说，若 \[ n=p^k\cdot m,\qquad p\nmid m, \] 则 \[ v_p(n)=k. \] 它也叫作 \(p\)-进赋值。

这个记号在竞赛数论中极其重要，因为很多“整除多少次”的问题，用普通整除语言写起来很麻烦，但用 \(v_p\) 会立刻清楚很多。
示例：例如 \[ 360=2^3\cdot 3^2\cdot 5, \] 所以 \[ v_2(360)=3,\quad v_3(360)=2,\quad v_5(360)=1. \]
示例解释：它可以理解成：这个数里包含了多少个 \(p\) 因子。比如 \(v_2(360)=3\)，就是因为 360 能被 \(2^3\) 整除，但不能被 \(2^4\) 整除。
记号补充 4. \(\operatorname{ord}_m(a)\)
前置：\(\gcd(a,m)=1\)；模运算与 Euler 定理。
记号解释：\(\operatorname{ord}_m(a)\) 表示 \(a\) 在模 \(m\) 意义下的阶，即满足 \[ a^k\equiv1\pmod m \] 的最小正整数 \(k\)。

它描述的是：\(a,a^2,a^3,\dots\) 在模 \(m\) 下循环时，第一次回到 1 要走多少步。

这个概念是指数同余、原根、周期问题里的核心概念。
示例：例如在模 7 下， \[ 3^1\equiv3,\quad 3^2\equiv2,\quad 3^3\equiv6,\quad 3^4\equiv4,\quad 3^5\equiv5,\quad 3^6\equiv1. \] 所以 \[ \operatorname{ord}_7(3)=6. \]
示例解释：这表示 3 在模 7 下的幂循环长度是 6。因为它已经等于 \(\varphi(7)=6\)，所以 3 其实还是模 7 的一个原根。
记号补充 5. \(\varphi(n)\)
记号解释：\(\varphi(n)\) 是 Euler 函数，表示 \(1\) 到 \(n\) 中与 \(n\) 互素的正整数个数。

它既可以被看作一个计数函数，也可以被看作“模 \(n\) 下可逆元素的个数”。在竞赛里，这两种理解都非常重要。
示例：例如 \[ \varphi(10)=4, \] 因为 \(1,3,7,9\) 与 10 互素。
示例解释：也就是说，模 10 下恰好有 4 个可逆剩余类。这正是 Euler 定理与逆元理论的基础。
记号补充 6. \(\mu(n)\)
记号解释：\(\mu(n)\) 是 Mobius 函数。它的定义分三种情况：
若 \(n=1\)，则 \(\mu(1)=1\)；
若 \(n\) 含有平方因子，则 \(\mu(n)=0\)；
若 \(n\) 是 \(k\) 个不同素数的乘积，则 \(\mu(n)=(-1)^k\)。

这个函数看上去有点奇怪，但它在“反演公式”“约数求和”“容斥型数论”里非常重要。
示例：\[ \mu(1)=1,\quad \mu(6)=1,\quad \mu(30)=-1,\quad \mu(12)=0. \]
示例解释：因为 6 有两个不同素因子，所以 \(\mu(6)=(-1)^2=1\)；30 有三个不同素因子，所以 \(\mu(30)=(-1)^3=-1\)；12 含有平方因子 \(2^2\)，所以 \(\mu(12)=0\)。
记号补充 7. \(\left(\frac ap\right)\)
前置：二次剩余概念。
记号解释：\(\left(\frac ap\right)\) 叫作 Legendre 符号，其中 \(p\) 是奇素数。它表示 \(a\) 是否是模 \(p\) 的二次剩余。定义为： \[ \left(\frac ap\right)= \begin{cases} 1,& a\not\equiv0\pmod p \text{ 且 } a \text{ 是模 }p\text{ 的二次剩余},\\ -1,& a \text{ 是模 }p\text{ 的二次非剩余},\\ 0,& p\mid a. \end{cases} \]
它是二次剩余理论里最常见的记号之一。
示例：例如模 7 下，4 是二次剩余，因为 \[ 2^2\equiv4\pmod7, \] 所以 \[ \left(\frac47\right)=1. \] 而 3 不是模 7 的平方，所以 \[ \left(\frac37\right)=-1. \]
示例解释：这个记号的好处是：原本一句很长的话“a 是不是模 p 的平方”现在可以用一个小符号表达，并且它还有很多乘法性质可以用。
记号补充 8. \(\tau(n)\) 与 \(\sigma(n)\)
记号解释：\(\tau(n)\) 或 \(d(n)\) 表示 \(n\) 的正因子个数，\(\sigma(n)\) 表示 \(n\) 的正因子和。

这两个函数在约数问题、完全数、积性函数、同余与构造题里都常出现。
示例：例如 12 的正因子是 \[ 1,2,3,4,6,12, \] 所以 \[ \tau(12)=6,\qquad \sigma(12)=1+2+3+4+6+12=28. \]
示例解释：\(\tau\) 关心“有多少个因子”，\(\sigma\) 关心“这些因子加起来是多少”。它们都能通过素因子分解写出公式。

一、整数、整除、gcd 与线性组合

这是整个初等数论最根部的部分。这里不牢，后面很多证明都会飘。
1. 除法算法 入门核心
对任意整数 \(a\) 与正整数 \(b\)，存在唯一整数 \(q,r\)，使得
\[ a=bq+r,\qquad 0\le r< b. \]
前置：自然数良序性。
用途：Euclid 算法、同余、整除分类讨论的起点。
定理解释：就是把一个整数按“整除部分 + 余数部分”拆开，而且余数范围被严格限定住。后面的模运算，本质上就是在看这个余数。
示例：例如 \(17=5\times 3+2\)。
示例解释：这表示 17 除以 5 的商是 3、余数是 2；余数必须满足 \(0\le 2<5\)，所以这是标准形式。
可先尝试证明
  • 为什么 \(r\) 一定能取到 \(0\le r< b\)？
  • 为什么这样的 \(q,r\) 不能有两组不同答案？
2. gcd 的基本性质
前置：整除定义。
定理解释：这些性质说明 gcd 在交换、加减倍数、同时提公因子时怎样变化。它们让 gcd 计算可以不断化简。
示例：例如 \(\gcd(84,30)=\gcd(84,30+84)=\gcd(84,114)=6\)。
示例解释：因为公约数集合在这种变形下不变，所以最大公约数也不变。
推荐孩子先证的小命题
  • 证明：\(d\) 同时整除 \(a,b\)，当且仅当 \(d\) 同时整除 \(a,b-ka\)。
  • 证明：\(\gcd(a,b)=\gcd(a,b+a)\)。
3. Euclid 算法（辗转相除法）
\[ \gcd(a,b)=\gcd(b,a\bmod b). \]
前置：除法算法、gcd 基本性质。
用途：算 gcd、证明后续的 Bézout 定理。
定理解释：辗转相除法的思想是：较大的数对较小的数取余，gcd 不变，但数字会迅速变小。
示例：例如 \(\gcd(56,20)=\gcd(20,16)=\gcd(16,4)=4\)。
示例解释：每一步都把前一个问题化成更小的同类问题，直到余数为 0；最后一个非零余数就是 gcd。
4. Bézout 定理 基础核心
若 \(d=\gcd(a,b)\)，则存在整数 \(x,y\)，使得
\[ ax+by=d. \]
前置：Euclid 算法，或最小正线性组合思想。
定理解释：Bézout 定理说明 gcd 不只是“最大公约数”，还能写成两个数的整数线性组合。
示例：例如 \(\gcd(12,18)=6\)，且 \(6=18-12\)。
示例解释：这里取 \(x=-1,y=1\)，就得到了 \(12x+18y=6\)，这正是 Bézout 形式。
证明入口
  • 先考虑集合 \(\{ax+by>0:x,y\in\mathbb Z\}\) 中最小正数 \(d\)。
  • 先证这个最小正数同时整除 \(a,b\)。
  • 再证任意公约数都整除它。
5. Euclid 引理
若素数 \(p\mid ab\)，则
\[ p\mid a \quad \text{或} \quad p\mid b. \]
前置：Bézout 定理、素数定义。
用途：唯一分解定理的核心一步。
定理解释：这是素数最核心的整除性质：素数整除一个乘积时，必须整除其中至少一个因子。
示例：例如若 5 整除 \(ab\)，那么必有 \(5\mid a\) 或 \(5\mid b\)。
示例解释：比如 \(5\mid 30=5\times 6\)；若两边都不被 5 整除，就不可能凑出 5 这个素因子。
6. 互素乘法定理
若 \(\gcd(a,b)=1\) 且 \(a\mid bc\)，则
\[ a\mid c. \]
前置：Bézout 定理。
定理解释：这是 Euclid 引理的推广形式。只要 \(a\) 和 \(b\) 互素，\(a\) 整除 \(bc\) 就能把 \(b\)“约掉”。
示例：例如 \(6\mid 15c\) 且 \(\gcd(6,15)=3\) 时不能直接推出 \(6\mid c\)；但若换成 \(7\mid 15c\)，因 \(\gcd(7,15)=1\)，就能推出 \(7\mid c\)。
示例解释：关键在互素。互素保证 \(a\) 的所有素因子都不在 \(b\) 里，只能全部进到 \(c\) 里。
7. 线性组合整除性质 适合孩子先证
若 \(d\mid a\) 且 \(d\mid b\)，则对任意整数 \(x,y\)，都有
\[ d\mid (ax+by). \]
前置：整除定义。
定理解释：公约数会整除任意整数线性组合，这是整除里最常用的封闭性质。
示例：例如 4 同时整除 12 和 20，所以也整除 \(3\cdot 12-20=16\)。
示例解释：因为 \(12=4\cdot3,20=4\cdot5\)，代入后线性组合仍可提出 4。
8. 若 \(a\mid b\) 且 \(b\mid a\)，则 \(|a|=|b|\)
前置：整除定义。
用途：唯一性证明里很常见。
定理解释：这说明整除关系在两个方向都成立时，这两个数只能差一个符号。
示例：例如 6 整除 -6，-6 也整除 6，所以 \(|6|=|-6|\)。
示例解释：若 \(a\mid b\) 且 \(b\mid a\)，就有 \(b=ak,a=bl\)，相乘得到 \(ab=abkl\)，从而 \(kl=1\)。
9. gcd 与 lcm 关系
\[ \gcd(a,b)\cdot \operatorname{lcm}(a,b)=|ab|. \]
前置：唯一分解定理，或分解成互素部分。
定理解释：gcd 与 lcm 一起把两个数的“公共部分”和“总体部分”分开计数。
示例：例如 \(\gcd(12,18)=6\)，\(\operatorname{lcm}(12,18)=36\)，于是 \(6\cdot36=12\cdot18\)。
示例解释：在素因子分解里，gcd 取较小指数，lcm 取较大指数，所以乘起来刚好还原。
10. 互素分解
若 \(d=\gcd(a,b)\)，则可写 \(a=da_1,b=db_1\)，且 \(\gcd(a_1,b_1)=1\)。
前置：gcd 定义。
定理解释：把两个数的公因子全部提出去，剩下的部分一定互素。这个分解非常常用。
示例：例如 18 和 24 的 gcd 是 6，所以可写成 \(18=6\cdot3,24=6\cdot4\)。
示例解释：提出公共的 6 以后，剩下的 3 和 4 已经没有公因子了。
11. 两两互素推广
若 \(\gcd(a_i,a_j)=1\) 对 \(i\ne j\) 成立，且 \(a_i\mid n\) 对所有 \(i\) 成立，则
\[ a_1a_2\cdots a_k \mid n. \]
前置：互素乘法定理。
定理解释：若一批数两两互素，并且都整除同一个数，那么它们的乘积也整除这个数。
示例：例如 4、9、25 两两互素，且都整除 \(900\)，于是 \(4\cdot9\cdot25=900\mid900\)。
示例解释：因为它们的素因子互不重叠，可以把整除信息直接合并。
12. 若 \(a\mid b\) 且 \(b\mid c\)，则 \(a\mid c\)
前置：整除定义。
定理解释：整除关系具有传递性。能整除“中间层”，当然也能整除“终点”。
示例：例如 \(3\mid 12\) 且 \(12\mid 60\)，所以 \(3\mid 60\)。
示例解释：把 \(12=3u,60=12v\) 代回去，就得到 \(60=3(uv)\)。

二、唯一分解、约数函数与基础算术函数

13. 算术基本定理（唯一分解定理） 绝对核心
每个大于 \(1\) 的整数都能唯一地写成素数幂乘积：
\[ n=\prod_{i=1}^r p_i^{\alpha_i}. \]
前置：Euclid 引理、素数存在性。
定理解释：每个大于 1 的整数都能唯一分解成素数幂乘积。这是整数世界的“坐标系”。
示例：例如 \(360=2^3\cdot3^2\cdot5\)。
示例解释：以后判断整除、求 gcd、lcm、算约数个数，都会直接读这些指数。
建议拆成两步证
  • 先证存在性：每个 \(n>1\) 都能分解成素数乘积。
  • 再证唯一性：一旦有两种分解，利用 Euclid 引理逐个消掉。
14. 素数指数判别整除
若
\[ a=\prod p_i^{\alpha_i},\qquad b=\prod p_i^{\beta_i}, \]
则
\[ a\mid b \iff \alpha_i\le \beta_i \text{ 对所有 }i. \]
前置：唯一分解定理。
定理解释：两个数做素因子分解后，整除只需要逐个比较对应素数的指数大小。
示例：例如 \(2^2\cdot3\mid2^5\cdot3^4\cdot7\)。
示例解释：因为左边涉及的每个素数指数都不超过右边对应指数。
15. \(v_p(\gcd)\) 与 \(v_p(\operatorname{lcm})\) 公式
\[ v_p(\gcd(a,b))=\min(v_p(a),v_p(b)), \]
\[ v_p(\operatorname{lcm}(a,b))=\max(v_p(a),v_p(b)). \]
前置：唯一分解定理。
定理解释：gcd 取指数的较小值，lcm 取指数的较大值。
示例：例如对 \(a=2^3\cdot3^2\), \(b=2\cdot3^5\)，有 \(v_2(\gcd)=1\)，\(v_3(\operatorname{lcm})=5\)。
示例解释：看同一个素数在两个数里出现几次，取 min 或 max 即可。
16. 约数个数函数 \(\tau(n)\)
若 \(n=\prod p_i^{\alpha_i}\)，则
\[ \tau(n)=\prod (\alpha_i+1). \]
前置：唯一分解。
定理解释：约数个数就是每个素数指数各有多少种选法，彼此独立相乘。
示例：例如 \(72=2^3\cdot3^2\)，所以 \(\tau(72)=(3+1)(2+1)=12\)。
示例解释：一个约数的 2 指数可选 0 到 3，3 指数可选 0 到 2，一共 4×3 种。
证明入口
约数的每个素数指数都可以独立地在 \(0,1,\dots,\alpha_i\) 中选。
17. 约数和函数 \(\sigma(n)\)
\[ \sigma(n)=\prod_{i=1}^r \frac{p_i^{\alpha_i+1}-1}{p_i-1}. \]
前置：唯一分解、等比数列求和。
定理解释：约数和函数把每个素数幂的所有可能贡献乘起来。
示例：例如 \(\sigma(12)=1+2+3+4+6+12=28\)。
示例解释：因为 \(12=2^2\cdot3\)，故 \(\sigma(12)=(1+2+4)(1+3)=7\cdot4=28\)。
18. \(\varphi(n)\) 公式
\[ \varphi(n)=n\prod_{p\mid n}\left(1-\frac1p\right). \]
前置：容斥原理、唯一分解。
用途：Euler 定理、缩系大小、单位群大小。
定理解释：\(\varphi(n)\) 表示 1 到 n 中与 n 互素的整数个数。
示例：例如 \(\varphi(12)=4\)。
示例解释：12 的正整数剩余类里，与 12 互素的是 1,5,7,11，一共 4 个。
19. \(\sum_{d\mid n}\varphi(d)=n\)
前置：\(\varphi\) 的含义、按阶分类计数。
提示：可按“分母恰好为 \(d\) 的既约分数个数”来理解。
定理解释：这条恒等式表示：把分母恰为 n 的所有循环长度按约数分类，数量加起来正好是 n。
示例：例如 \(n=6\) 时，\(\varphi(1)+\varphi(2)+\varphi(3)+\varphi(6)=1+1+2+2=6\)。
示例解释：每个 1 到 6 的位置都可以按“生成它的最小周期”归入某个约数类。
20. Möbius 函数 \(\mu(n)\)
\[ \mu(n)= \begin{cases} 1,& n=1,\\ (-1)^k,& n \text{ 为 }k\text{ 个不同素数的乘积},\\ 0,& p^2\mid n \text{ 对某个素数 }p. \end{cases} \]
前置：唯一分解。
定理解释：Möbius 函数用来区分一个数是否含平方因子，以及有几个不同素因子。
示例：例如 \(\mu(30)=(-1)^3=-1\)，\(\mu(12)=0\)。
示例解释：30 是三个不同素数的乘积；12 含有 \(2^2\)，所以值为 0。
21. \(\mu * 1 = \varepsilon\)
\[ \sum_{d\mid n}\mu(d)= \begin{cases} 1,& n=1,\\ 0,& n>1. \end{cases} \]
前置：Möbius 函数。
定理解释：这是 Möbius 反演最核心的起点：所有约数上的 \(\mu\) 值加总，除了 1 以外都会抵消。
示例：例如 \(n=6\) 时，\(\mu(1)+\mu(2)+\mu(3)+\mu(6)=1-1-1+1=0\)。
示例解释：不同素因子组合带来的正负号会刚好相互抵消。
22. Jordan 函数
\[ J_k(n)=n^k\prod_{p\mid n}\left(1-\frac1{p^k}\right). \]
前置：\(\varphi\) 公式的推广。
定理解释：Jordan 函数是 \(\varphi\) 的高维版，统计 k 维向量里与 n 共同互素的个数。
示例：例如 \(J_2(p)=p^2-1\) 对素数 \(p\) 成立。
示例解释：因为在模 p 的二维向量里，只有 \((0,0)\) 与 p 不互素，其余都行。

三、同余、剩余系与模运算基础

23. 同余定义
\[ a\equiv b\pmod m \iff m\mid (a-b). \]
前置：整除定义。
定理解释：同余就是“除以 m 后余数相同”。它是模运算的定义。
示例：例如 \(17\equiv2\pmod 5\)。
示例解释：因为 \(17-2=15\) 能被 5 整除，所以二者模 5 同余。
24. 同余的基本性质
前置：同余定义。
定理解释：同余和等式很像：可加、可减、可乘，还能代入多项式。
示例：例如若 \(x\equiv3\pmod5\)，则 \(x^2+1\equiv3^2+1\equiv0\pmod5\)。
示例解释：先把 x 替换成同余的 3，再做运算，结果保持同余。
孩子可自己练
  • 证明：若 \(a\equiv b\pmod m\)，则 \(a^n\equiv b^n\pmod m\)。
  • 证明：若 \(a\equiv b, c\equiv d\pmod m\)，则 \(ac\equiv bd\pmod m\)。
25. 约去定理
若 \(ac\equiv bc\pmod m\)，则
\[ a\equiv b\pmod{\frac{m}{\gcd(m,c)}}. \]
特别地，若 \(\gcd(c,m)=1\)，则可直接约去 \(c\)。
前置：gcd，整除定义。
定理解释：模方程里不是总能直接约去同一个因子，只有满足互素或修正模数后才行。
示例：例如 \(2x\equiv2\pmod6\) 不能推出 \(x\equiv1\pmod6\)，但能推出 \(x\equiv1\pmod3\)。
示例解释：因为 2 和 6 不互素，直接约去会丢信息；正确做法是把模数除以 \(\gcd(2,6)=2\)。
26. 完全剩余系
模 \(m\) 的完全剩余系包含每个剩余类恰好一次。
用途：换元、重排、证明 Fermat / Euler。
定理解释：完全剩余系就是把模 m 的每一种余数情况各取一次。
示例：例如模 5 的 \(\{0,1,2,3,4\}\) 和 \(\{7,8,9,10,11\}\) 都是完全剩余系。
示例解释：第二组数模 5 后恰好得到 2,3,4,0,1，也正好各出现一次。
27. 缩系（既约剩余系）
模 \(m\) 下与 \(m\) 互素的剩余类构成缩系，共 \(\varphi(m)\) 个。
前置：\(\varphi(n)\) 定义。
定理解释：缩系只保留那些与模数互素的剩余类。它们正是模 m 下可逆的元素。
示例：例如模 10 的缩系可取 \(\{1,3,7,9\}\)。
示例解释：因为只有这四个数与 10 互素，所以 \(\varphi(10)=4\)。
28. 若 \(\gcd(a,m)=1\)，则乘以 \(a\) 会重排模 \(m\) 的缩系
前置：缩系、约去定理。
用途：Fermat / Euler 的标准证明。
定理解释：若 a 与 m 互素，那么把缩系中每个元素都乘以 a，只是顺序打乱，不会重复也不会漏。
示例：例如模 7 的缩系是 \(1,2,3,4,5,6\)，乘以 3 后得到 \(3,6,2,5,1,4\)。
示例解释：乘前乘后仍然正好覆盖全部非零剩余类，这就是重排。
29. 单位群大小
模 \(m\) 下可逆元个数恰为 \(\varphi(m)\)。
前置：逆元定义、缩系。
定理解释：单位群就是模 m 下所有可逆元组成的集合，其大小就是 \(\varphi(m)\)。
示例：例如模 8 下可逆元是 \(1,3,5,7\)。
示例解释：这些数都和 8 互素，所以一共有 4 个可逆元。
30. 幂模周期性雏形 适合先练
对固定整数 \(a,m\)，数列 \(a,a^2,a^3,\dots\) 在模 \(m\) 意义下最终会周期化。
前置：抽屉原理。
定理解释：幂模序列只有有限种余数，所以最终必会重复，一重复就进入周期。
示例：例如 \(2^n\pmod7\) 的结果依次为 2,4,1,2,4,1,...
示例解释：因为余数只有 0 到 6 七种，抽屉原理保证某两项相同，从那以后就循环。

四、线性同余、中国剩余定理与逆元

31. 逆元存在定理
\(a\) 在模 \(m\) 下存在逆元，当且仅当
\[ \gcd(a,m)=1. \]
前置：Bézout 定理。
定理解释：逆元就是模意义下的“倒数”。存在逆元当且仅当与模数互素。
示例：例如 3 在模 7 下的逆元是 5，因为 \(3\cdot5\equiv1\pmod7\)。
示例解释：求逆元其实就是求解 \(3x\equiv1\pmod7\)。
32. 线性同余方程可解条件
\(ax\equiv b\pmod m\) 有解当且仅当
\[ \gcd(a,m)\mid b. \]
前置：逆元、Bézout 定理。
定理解释：线性同余是否可解，完全由 \(\gcd(a,m)\) 是否整除右边 b 决定。
示例：例如 \(4x\equiv2\pmod6\) 有解，但 \(4x\equiv3\pmod6\) 无解。
示例解释：因为 \(\gcd(4,6)=2\)，2 整除 2，却不整除 3。
33. 线性同余解的个数
若 \(d=\gcd(a,m)\) 且 \(d\mid b\)，则 \(ax\equiv b\pmod m\) 模 \(m\) 恰有 \(d\) 个解。
前置：线性同余可解条件。
定理解释：一旦可解，线性同余的不同解个数正好等于 \(\gcd(a,m)\)。
示例：例如 \(4x\equiv2\pmod6\) 有 2 个解：\(x\equiv2,5\pmod6\)。
示例解释：因为 gcd 是 2，所以模 6 下会出现 2 个互不同余的解。
34. 中国剩余定理（CRT） 核心
若 \(m_1,\dots,m_k\) 两两互素，则方程组
\[ x\equiv a_i\pmod{m_i}\qquad (1\le i\le k) \]
有唯一模 \(M=\prod m_i\) 的解。
前置：Bézout 定理、互素。
定理解释：CRT 说：若几个模数两两互素，那么各模下的条件可以无冲突地拼成一个总条件。
示例：例如 \(x\equiv1\pmod2,\ x\equiv2\pmod3\) 的解是 \(x\equiv5\pmod6\)。
示例解释：满足这两个条件的整数恰好是一类，且模 \(2\cdot3=6\) 唯一。
先从两模情形开始
  • 先证模 \(m,n\) 且 \(\gcd(m,n)=1\) 的情形。
  • 先找 \(u,v\) 使 \(um+vn=1\)。
  • 再构造解：\(x=avn+bmu\) 的形式。
35. 广义 CRT
方程组
\[ x\equiv a_i\pmod{m_i} \]
有解当且仅当
\[ a_i\equiv a_j\pmod{\gcd(m_i,m_j)}\qquad \forall i,j. \]
前置：普通 CRT、线性同余可解条件。
定理解释：广义 CRT 允许模数不互素，但要求公共部分上的条件彼此兼容。
示例：例如 \(x\equiv1\pmod4\), \(x\equiv3\pmod6\) 有解。
示例解释：因为两个余数在模 \(\gcd(4,6)=2\) 下同余，故系统相容。
36. 同余方程组解的唯一性模 \(\operatorname{lcm}\)
前置：广义 CRT。
定理解释：CRT 求出的解不是绝对唯一，而是在某个总模下唯一；这个总模是各模数的 lcm。
示例：例如同时满足 \(x\equiv1\pmod4\), \(x\equiv1\pmod6\) 的解是 \(x\equiv1\pmod{12}\)。
示例解释：因为 12 是 4 和 6 的最小公倍数，所有解正好相差 12 的倍数。

五、Fermat、Euler、Wilson 及常见推论

37. Fermat 小定理
若 \(p\) 为素数且 \(p\nmid a\)，则
\[ a^{p-1}\equiv 1\pmod p. \]
等价地，
\[ a^p\equiv a\pmod p. \]
前置：模 \(p\) 缩系重排。
定理解释：Fermat 小定理给出模素数下的幂循环核心规律。
示例：例如对素数 7，\(3^6\equiv1\pmod7\)。
示例解释：因为 3 与 7 互素，而 \(7-1=6\)，所以满足 \(a^{p-1}\equiv1\pmod p\)。
38. Euler 定理 高频核心
若 \(\gcd(a,n)=1\)，则
\[ a^{\varphi(n)}\equiv 1\pmod n. \]
前置：缩系、\(\varphi(n)\)。
定理解释：Euler 定理是 Fermat 小定理对一般模数的推广。
示例：例如 \(3^{\varphi(10)}=3^4\equiv1\pmod{10}\)。
示例解释：因为 \(\gcd(3,10)=1\)，且 \(\varphi(10)=4\)。
证明入口
把模 \(n\) 的缩系整体乘以 \(a\)，它还是缩系；再把所有元素相乘并约去。
39. Wilson 定理
\(p\) 为素数当且仅当
\[ (p-1)!\equiv -1\pmod p. \]
前置：逆元配对。
定理解释：Wilson 定理把“素数”与阶乘同余联系起来。
示例：例如当 \(p=5\) 时，\((5-1)!=24\equiv-1\pmod5\)。
示例解释：把模 5 下的非零元素按逆元配对，只剩下 1 和 -1 两个自逆元。
40. 模素数下多项式根个数定理
模素数 \(p\) 下，次数为 \(d\) 的非常数多项式至多有 \(d\) 个根。
前置：域上的多项式基本性质。
用途：很多“解数不超过多少”的题都靠它。
定理解释：模素数下，一个次数为 d 的非零多项式最多只有 d 个根。
示例：例如 \(x^2-1\equiv0\pmod7\) 最多只有 2 个根，实际是 1 和 6。
示例解释：这和实数域里“二次方程最多两个根”很像，但这里是在有限域里。
41. 若 \(a^2\equiv 1\pmod p\)，则 \(a\equiv \pm1\pmod p\)
前置：模素数可约分、多项式根个数。
定理解释：这是上一条对 \(x^2-1\) 的直接应用。
示例：例如模 11 下若 \(a^2\equiv1\)，则 \(a\equiv1\) 或 \(10\)。
示例解释：因为 \(a^2-1=(a-1)(a+1)\equiv0\)，模素数下只能让一个因子为 0。
42. Carmichael 函数 \(\lambda(n)\)
对所有 \(\gcd(a,n)=1\)，都有
\[ a^{\lambda(n)}\equiv1\pmod n. \]
且 \(\lambda(n)\) 是满足此性质的最小正整数。
前置：Euler 定理、CRT。
定理解释：Carmichael 函数给出单位群里所有元素共同满足的最小指数。
示例：例如 \(\lambda(8)=2\)，因为任意奇数平方都 \(\equiv1\pmod8\)。
示例解释：它往往比 \(\varphi(n)\) 更小，是更精细的指数周期。
43. 费马伪素数与 Carmichael 数基础命题
存在合数 \(n\)，却仍对某些底数 \(a\) 满足 \(a^{n-1}\equiv1\pmod n\)。
前置：Fermat 小定理。
定理解释：伪素数和 Carmichael 数提醒我们：满足费马同余不一定真是素数。
示例：例如 561 是 Carmichael 数。
示例解释：对所有与 561 互素的 a，都有 \(a^{560}\equiv1\pmod{561}\)，但 561 其实是合数。

六、阶、原根、循环结构与指数同余

44. 阶（order）的定义 中档核心
若 \(\gcd(a,m)=1\)，则 \(\operatorname{ord}_m(a)\) 是满足
\[ a^k\equiv1\pmod m \]
的最小正整数 \(k\)。
前置：Euler 定理。
定理解释：阶 \(\operatorname{ord}_m(a)\) 是最小的正整数 d，使得 \(a^d\equiv1\pmod m\)。
示例：例如 \(\operatorname{ord}_7(3)=6\)。
示例解释：因为 \(3^1,3^2,3^3,3^4,3^5\) 都不等于 1，而 \(3^6\equiv1\)。
45. 阶整除指数定理
\[ a^n\equiv1\pmod m \iff \operatorname{ord}_m(a)\mid n. \]
前置：阶定义。
定理解释：只要 \(a^n\equiv1\)，那么阶一定整除 n。阶是所有这类指数里的最小周期。
示例：例如若 \(\operatorname{ord}_7(3)=6\)，则 6 整除任意使 \(3^n\equiv1\pmod7\) 的 n。
示例解释：因为 n 可写成 \(n=qd+r\)，若 r 不为 0 就与最小性矛盾。
46. 阶整除 \(\varphi(m)\)
\[ \operatorname{ord}_m(a)\mid \varphi(m). \]
前置：Euler 定理、阶整除指数定理。
定理解释：在模 m 的单位群中，任何元素的阶都整除群大小 \(\varphi(m)\)。
示例：例如模 9 下 \(\varphi(9)=6\)，所以任何与 9 互素元素的阶都整除 6。
示例解释：这是 Lagrange 定理在初等数论中的直接体现。
47. 若 \(a^r\equiv1\) 且 \(a^s\equiv1\pmod m\)，则 \(a^{\gcd(r,s)}\equiv1\pmod m\)
前置：Bézout 定理、阶定义。
定理解释：若两个指数都让 \(a\) 回到 1，那么它们的最大公约数也会让 \(a\) 回到 1。
示例：例如若 \(a^6\equiv1\) 且 \(a^{10}\equiv1\)，则 \(a^2\equiv1\)。
示例解释：因为 2 是 6 和 10 的 gcd，可由 Bézout 线性组合指数得到。
这是非常适合孩子单独证明的命题
它几乎就是“order 为什么存在且好用”的核心小工具。
48. 原根定义
若某个 \(g\) 满足
\[ \operatorname{ord}_m(g)=\varphi(m), \]
则称 \(g\) 为模 \(m\) 的原根。
前置：阶、\(\varphi(m)\)。
定理解释：原根就是阶达到最大值 \(\varphi(m)\) 的元素。它能生成整个单位群。
示例：例如模 7 下 3 是原根。
示例解释：因为 \(\operatorname{ord}_7(3)=6=\varphi(7)\)，所以 3 的幂能跑遍全部非零剩余类。
49. 模奇素数有原根
前置：有限乘法群结构、阶、根个数控制。
定理解释：这是原根理论的起点：每个奇素数模下都能找到一个“全生成元”。
示例：例如模 5 有原根 2。
示例解释：因为 \(2,2^2,2^3,2^4\equiv2,4,3,1\pmod5\)，正好跑遍全部非零类。
建议不要一上来证明完全分类
先只做“模 \(p\)（奇素数）有原根”，这是竞赛里最常用的版本。
50. 原根存在完全分类
模 \(m\) 存在原根，当且仅当
\[ m=1,2,4,p^k,2p^k \]
其中 \(p\) 为奇素数。
前置：原根、素数幂模结构。
定理解释：原根并非对所有模数都存在，完整分类是 \(1,2,4,p^k,2p^k\)（p 为奇素数）。
示例：例如模 8 没有原根。
示例解释：因为模 8 的单位群不是循环群，任何元素的阶都达不到 \(\varphi(8)=4\)。
51. 原根个数定理
若模 \(m\) 存在原根，则原根个数为
\[ \varphi(\varphi(m)). \]
前置：循环群基本性质。
定理解释：若模 m 有原根，那么原根个数等于 \(\varphi(\varphi(m))\)。
示例：例如模 7 有 \(\varphi(6)=2\) 个原根，即 3 和 5。
示例解释：原根恰对应于生成循环群的那些指数互素幂。
52. 指数同余可解条件
在模素数 \(p\) 下，方程
\[ x^n\equiv a\pmod p \]
有解当且仅当
\[ a^{(p-1)/d}\equiv1\pmod p,\qquad d=\gcd(n,p-1). \]
前置：原根、线性同余。
定理解释：指数同余 \(x^n\equiv a\pmod p\) 是否可解，可由原根把它化成一次同余。
示例：例如解 \(x^2\equiv4\pmod7\) 是可行的。
示例解释：把 x 写成原根的幂以后，问题变成关于指数的线性同余。
53. 解数恰为 \(\gcd(n,p-1)\)
前置：原根、循环群观点。
定理解释：在模素数下，方程 \(x^n\equiv a\) 一旦有解，解的个数正好是 \(\gcd(n,p-1)\)。
示例：例如 \(x^2\equiv1\pmod7\) 有 2 个解。
示例解释：因为 \(\gcd(2,6)=2\)，所以对应两个指数类。

七、\(p\)-进赋值、Legendre、Kummer、LTE

54. \(p\)-进赋值定义
\[ v_p(n)=\max\{k:p^k\mid n\}. \]
前置：唯一分解。
定理解释：\(v_p(n)\) 表示素数 p 在 n 的分解中出现了几次。
示例：例如 \(v_2(40)=3\)。
示例解释：因为 \(40=2^3\cdot5\)，其中 2 的指数是 3。
55. \(v_p\) 的基本性质
\[ v_p(ab)=v_p(a)+v_p(b), \]
\[ v_p(a+b)\ge \min(v_p(a),v_p(b)), \]
且当 \(v_p(a)\ne v_p(b)\) 时等号成立。
前置：唯一分解。
定理解释：\(v_p\) 对乘法会相加，对 gcd 取最小，对整除特别好用。
示例：例如 \(v_3(18\cdot45)=v_3(18)+v_3(45)=2+2=4\)。
示例解释：因为乘起来后 3 的指数就是各自指数相加。
56. Legendre 公式
\[ v_p(n!)=\sum_{k\ge1}\left\lfloor \frac{n}{p^k}\right\rfloor. \]
前置：\(v_p\) 性质、计数。
定理解释：Legendre 公式用来求 \(n!\) 里含有多少个 p。
示例：例如 \(v_2(10!)=\lfloor10/2\rfloor+\lfloor10/4\rfloor+\lfloor10/8\rfloor=8\)。
示例解释：10! 中每个偶数贡献至少一个 2，4 的倍数再多一个，8 的倍数再多一个。
证明入口
数一数 \(1,2,\dots,n\) 里有多少个数至少贡献一个 \(p\)、至少贡献两个 \(p\)、至少贡献三个 \(p\)。
57. \(v_p\!\binom{n}{m}\) 公式
\[ v_p\!\binom{n}{m}=v_p(n!)-v_p(m!)-v_p((n-m)!). \]
前置：Legendre 公式。
定理解释：组合数里的 p 次数可以用阶乘次数相减得到。
示例：例如 \(v_2\binom{10}{3}=v_2(10!)-v_2(3!)-v_2(7!)=8-1-4=3\)。
示例解释：所以 \(\binom{10}{3}=120\) 的确含有 \(2^3\)。
58. Kummer 定理 偏难
\(v_p\!\binom{n}{m}\) 等于 \(m\) 与 \(n-m\) 在 \(p\) 进制相加时产生的进位次数。
前置：Legendre 公式、\(p\) 进制数位和。
定理解释：Kummer 定理把组合数的 p 次数解释成 p 进制加法中的进位个数。
示例：例如求 \(v_2\binom{10}{3}\) 时，可看 3 与 7 的二进制相加。
示例解释：二进制里 \(3+7=10\) 发生了 3 次进位，所以结果是 3。
59. LTE：差幂版
若 \(p\) 为奇素数，\(p\mid a-b\)，且 \(p\nmid ab\)，则
\[ v_p(a^n-b^n)=v_p(a-b)+v_p(n). \]
前置：\(v_p\) 性质、因式分解。
定理解释：LTE 差幂版能快速求 \(a^n-b^n\) 中某个素数的次数。
示例：例如 \(v_3(2^6-1)=v_3(2-1)+v_3(2+1)+v_3(6)-1=2\)。
示例解释：不用展开，直接把次数拆到底数差与指数上。
建议先做的弱命题
  • 先证 \(a-b\mid a^n-b^n\)。
  • 再证当 \(n=p\) 时会多冒出一个 \(p\)。
  • 最后再推广到一般 \(n\)。
60. LTE：和幂版
若 \(p\) 为奇素数，\(p\mid a+b\)，\(p\nmid ab\)，且 \(n\) 为奇数，则
\[ v_p(a^n+b^n)=v_p(a+b)+v_p(n). \]
前置：LTE 差幂版、奇偶分析。
定理解释：和幂版处理 \(a^n+b^n\)（通常 n 为奇数）时特别快。
示例：例如 \(v_3(2^3+1)=v_3(2+1)+v_3(3)=2\)。
示例解释：因为 \(2^3+1=9\)，恰好与公式一致。
61. \(2\)-进 LTE 特例
若 \(a,b\) 为奇数且 \(n\) 为偶数，则
\[ v_2(a^n-b^n)=v_2(a-b)+v_2(a+b)+v_2(n)-1. \]
前置：\(v_2\) 分析。
定理解释：2 进 LTE 有单独的修正项，因为 2 在奇偶结构里比较特殊。
示例：例如 \(v_2(3^4-1)=v_2(3-1)+v_2(3+1)+v_2(4)-1=4\)。
示例解释：这类题竞赛里非常常见。
62. gcd 的 \(v_p\) 版本
\[ v_p(\gcd(x,y))=\min(v_p(x),v_p(y)). \]
前置：唯一分解。
定理解释：gcd 的 p 进版本就是：对每个素数分别看最小指数。
示例：例如 \(v_2(\gcd(24,40))=\min(3,3)=3\)。
示例解释：因此 gcd 中的 2 部分是 \(2^3\)。

八、二项式系数、Lucas 型定理与组合数整除

63. 二项式定理
\[ (x+y)^n=\sum_{k=0}^n \binom{n}{k}x^{n-k}y^k. \]
定理解释：二项式定理把 \((x+y)^n\) 展开成组合数加权和。
示例：例如 \((a+b)^3=a^3+3a^2b+3ab^2+b^3\)。
示例解释：每一项的系数就是从 3 个位置里挑出 b 出现几次的方式数。
64. Pascal 恒等式
\[ \binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k}. \]
定理解释：Pascal 恒等式反映了组合数的递推结构。
示例：例如 \(\binom{5}{2}=\binom{4}{1}+\binom{4}{2}=4+6=10\)。
示例解释：是否选中某个固定元素，可把所有方案分成两类。
65. \(\binom{n}{k}=\binom{n}{n-k}\)
前置：组合定义。
定理解释：从 n 个里选 k 个，与不选哪 \(n-k\) 个，是同一件事。
示例：例如 \(\binom{8}{3}=\binom{8}{5}=56\)。
示例解释：选 3 个和舍 5 个一一对应。
66. 素数整除中间二项式系数
若 \(p\) 为素数，\(1\le k\le p-1\)，则
\[ p\mid \binom{p}{k}. \]
前置：唯一分解，或 Lucas 的特例。
定理解释：素数 p 会整除中间层的所有二项式系数 \(\binom{p}{k}\)（1≤k≤p−1）。
示例：例如 \(\binom{5}{2}=10\) 被 5 整除。
示例解释：因为 \((1+x)^p\equiv1+x^p\pmod p\)。
67. Lucas 定理
设 \(p\) 为素数，\(n,m\) 的 \(p\) 进制展开为
\[ n=n_0+n_1p+\cdots+n_rp^r,\qquad m=m_0+m_1p+\cdots+m_rp^r, \]
则
\[ \binom{n}{m}\equiv \prod_{i=0}^r \binom{n_i}{m_i}\pmod p. \]
前置：二项式定理、\(p\) 进制。
定理解释：Lucas 定理把大组合数模 p 的问题拆成 p 进制每一位上的小组合数。
示例：例如求 \(\binom{10}{3}\pmod2\) 时，只看二进制位。
示例解释：10 是 1010，3 是 0011；逐位乘组合数即可。
68. Lucas 判零准则
\(\binom{n}{m}\not\equiv0\pmod p\) 当且仅当每一位都有 \(m_i\le n_i\)。
前置：Lucas 定理。
定理解释：Lucas 判零准则告诉你：若某一位上 \(k_i>n_i\)，则组合数模 p 为 0。
示例：例如 \(\binom{10}{3}\equiv0\pmod2\)。
示例解释：因为二进制某一位上 3 的位大于 10 的对应位。
69. Kummer 与 Lucas 的联系
一个管“模 \(p\) 是否为零”，一个管“到底有多少个 \(p\)”。
前置：Lucas、Kummer。
定理解释：Lucas 看的是“模 p 是否为 0”，Kummer 看的是“到底含几个 p”，两者互补。
示例：例如 \(\binom{10}{3}\) 模 2 为 0，且实际上含有 3 个 2。
示例解释：一个给出是否可整除，一个给出整除到什么程度。
70. Wolstenholme 定理 偏难
若 \(p\ge5\) 为素数，则
\[ \binom{2p-1}{p-1}\equiv1\pmod{p^3}. \]
前置：模 \(p^2,p^3\) 分析、逆元配对。
定理解释：Wolstenholme 定理是组合数与调和和的深层同余，常用于高阶竞赛。
示例：例如对素数 \(p\ge5\)，\(\binom{2p-1}{p-1}\equiv1\pmod{p^3}\)。
示例解释：它比普通的模 p 结论强得多，是高阶整除性质。

九、平方剩余、Legendre/Jacobi 与二次互反律

71. 二次剩余定义
若 \(x^2\equiv a\pmod p\) 有解，则称 \(a\) 是模奇素数 \(p\) 的二次剩余。
定理解释：若存在 x 使 \(x^2\equiv a\pmod p\)，则称 a 是模 p 的二次剩余。
示例：例如模 7 下 2 是二次剩余，因为 \(3^2\equiv2\)。
示例解释：二次剩余就是“有平方根”的意思。
72. Legendre 符号
\[ \left(\frac ap\right)= \begin{cases} 0,& p\mid a,\\ 1,& a \text{ 是模 }p\text{ 的二次剩余},\\ -1,& a \text{ 是模 }p\text{ 的二次非剩余}. \end{cases} \]
定理解释：Legendre 符号用 \(1,-1,0\) 三种值统一记录是否为二次剩余。
示例：例如 \((2/7)=1\)，\((3/7)=-1\)。
示例解释：因为 2 在模 7 下有平方根，而 3 没有。
73. Euler 判别准则
\[ a^{\frac{p-1}{2}}\equiv \left(\frac ap\right)\pmod p. \]
前置：Fermat、小循环群思想。
定理解释：Euler 判别准则把“是不是二次剩余”转化为一个幂同余。
示例：例如 \(2^{3}=8\equiv1\pmod7\)，所以 2 是模 7 的二次剩余。
示例解释：这里 \((p-1)/2=3\)。
74. Legendre 符号乘法性
\[ \left(\frac{ab}{p}\right)=\left(\frac ap\right)\left(\frac bp\right). \]
前置：Euler 判别准则。
定理解释：Legendre 符号在乘法下可拆开，非常方便做化简。
示例：例如 \((6/7)=(2/7)(3/7)=1\cdot(-1)=-1\)。
示例解释：这样大数可以拆成若干小因子分别判断。
75. \((-1/p)\) 判定
\[ \left(\frac{-1}{p}\right)=(-1)^{\frac{p-1}{2}}. \]
用途：判断 \(-1\) 是否是平方剩余。
定理解释：\((-1/p)\) 的判定只看 p 除以 4 的余数。
示例：例如当 \(p=5\) 时，\((-1/5)=1\)；当 \(p=7\) 时，\((-1/7)=-1\)。
示例解释：因为 \(p\equiv1\pmod4\) 时 -1 是平方，\(p\equiv3\pmod4\) 时不是。
76. \((2/p)\) 判定
\[ \left(\frac{2}{p}\right)=(-1)^{\frac{p^2-1}{8}}. \]
定理解释：\((2/p)\) 的判定只看 p 除以 8 的余数。
示例：例如 \((2/17)=1\)，因为 17\(\equiv1\pmod8\)。
示例解释：这给出 2 是否有平方根的快速标准。
77. Gauss 引理
前置：Legendre 符号、模乘法排列。
用途：二次互反律的重要证明入口。
定理解释：Gauss 引理把二次剩余问题转成“有多少个数越过了 p/2”这样的计数问题。
示例：例如判断 \((a/p)\) 时，可看 \(a,2a,\dots,\frac{p-1}{2}a\) 的最小绝对剩余。
示例解释：它是证明二次互反律的经典工具。
78. 二次互反律 偏难核心
对不同奇素数 \(p,q\)，有
\[ \left(\frac pq\right)\left(\frac qp\right)=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}. \]
前置：Gauss 引理、Legendre 符号乘法性。
定理解释：二次互反律告诉你 \((p/q)\) 与 \((q/p)\) 如何互换，是平方剩余理论主定理。
示例：例如 \((3/11)=(11/3)=-1\)。
示例解释：它把大素数之间的判断关系连了起来，大幅降低计算难度。
建议先补的前置小结论
  • 先熟练 \((-1/p)\)、\((2/p)\) 的判定。
  • 先能自己讲清楚 Gauss 引理在数什么。
79. Jacobi 符号
\[ \left(\frac an\right)=\prod \left(\frac{a}{p_i}\right)^{\alpha_i} \]
其中 \(n=\prod p_i^{\alpha_i}\) 为奇正整数。
注意：\(\left(\frac an\right)=1\) 不一定表示 \(a\) 真的是模 \(n\) 的平方剩余。
定理解释：Jacobi 符号把 Legendre 符号推广到奇合数分母。
示例：例如 \((2/15)=(2/3)(2/5)=(-1)(-1)=1\)。
示例解释：但值为 1 不一定真的有平方根，这点和 Legendre 不同。
80. 模 \(p\) 下二次同余解数
当 \(p\nmid a\) 时，\(x^2\equiv a\pmod p\) 有解当且仅当 \(\left(\frac ap\right)=1\)，且有解时恰有两个解。
定理解释：模素数下二次同余通常有 0 个或 2 个非零解；右边为 0 时只有 1 个解。
示例：例如 \(x^2\equiv2\pmod7\) 有两个解 \(x\equiv\pm3\)。
示例解释：若有一个非零根 x，则 -x 也是根。
81. Hensel 引理（二次型常用版）
若 \(f(x_0)\equiv0\pmod p\) 且 \(f'(x_0)\not\equiv0\pmod p\)，则简单根可唯一提升到模 \(p^k\)。
前置：模素数根、多项式、\(p\)-进思想。
定理解释：Hensel 引理帮助把模 p 的解提升到模 \(p^k\) 的解。
示例：例如若 \(x^2\equiv2\pmod7\) 有简单根，可继续提升到模 \(49\)。
示例解释：这常用来处理更高次幂模数下的平方同余。

十、高次剩余、圆分多项式与原始素因子

82. 高次剩余可解条件
模素数 \(p\) 下，方程
\[ x^n\equiv a\pmod p \]
有解当且仅当
\[ a^{(p-1)/d}\equiv1\pmod p,\qquad d=\gcd(n,p-1). \]
前置：原根。
定理解释：高次剩余就是把“平方”换成“n 次方”，思路与原根密切相关。
示例：例如判断 \(x^3\equiv a\pmod p\) 是否有解。
示例解释：通常先把未知数和右边都写成原根的幂。
83. \(n\) 次剩余个数
模 \(p\) 非零 \(n\) 次剩余个数为
\[ \frac{p-1}{\gcd(n,p-1)}. \]
定理解释：n 次剩余个数由指数映射 \(x\mapsto x^n\) 在循环群中的像大小决定。
示例：例如模 7 下平方剩余的非零个数是 3。
示例解释：因为 \(\gcd(2,6)=2\)，像的大小是 \((7-1)/2=3\)。
84. 圆分多项式定义
\[ x^n-1=\prod_{d\mid n}\Phi_d(x). \]
定理解释：圆分多项式 \(\Phi_n(x)\) 的根是本原 n 次单位根。
示例：例如 \(\Phi_3(x)=x^2+x+1\)。
示例解释：因为三次单位根中除去 1，剩下两个根满足这个多项式。
85. Möbius 反演形式的圆分公式
\[ \Phi_n(x)=\prod_{d\mid n}(x^d-1)^{\mu(n/d)}. \]
前置：Möbius 反演。
定理解释：圆分多项式与 Möbius 反演相连，可把 \(x^n-1\) 分解得很干净。
示例：例如 \(\Phi_6(x)=\frac{x^6-1}{(x^3-1)(x^2-1)/(x-1)}=x^2-x+1\)。
示例解释：这条公式常用来研究差幂分解与原始素因子。
86. 差幂 gcd 公式
若 \(\gcd(a,b)=1\)，则
\[ \gcd(a^m-1,a^n-1)=a^{\gcd(m,n)}-1. \]
前置：Euclid 算法、order。
定理解释：差幂的 gcd 可直接由指数的 gcd 决定。
示例：例如 \(\gcd(2^6-1,2^4-1)=2^{\gcd(6,4)}-1=3\)。
示例解释：这说明指数层面的 gcd 会传到差幂层面。
87. \(m\mid n \Rightarrow a^m-b^m\mid a^n-b^n\)
前置：差幂因式分解。
定理解释：较小指数的差幂会整除较大指数的差幂，只要指数整除。
示例：例如 \(2^3-1=7\mid2^6-1=63\)。
示例解释：因为 \(a^{qn}-b^{qn}\) 可以看作 \((a^n)^q-(b^n)^q\)。
88. Zsigmondy 定理（Bang–Zsigmondy） 高阶重要
对整数 \(a>b>0\)、\(\gcd(a,b)=1\)，除少数例外外，\(a^n-b^n\) 存在原始素因子。
前置：order、圆分多项式、差幂因式分解。
定理解释：Zsigmondy 定理说：大多数 \(a^n-b^n\) 都会出现从前没出现过的新素因子。
示例：例如 \(2^5-1=31\) 里的 31 就是新出现的。
示例解释：它是研究指数方程和原始素因子的强力工具。
孩子不一定一口气证明完全版
更适合作为“知道这类结论存在”的高级目录项。先会用它解决题就很不错。
89. 原始素因子的阶性质
若 \(p\) 是 \(a^n-b^n\) 的原始素因子，则通常有
\[ \operatorname{ord}_p(ab^{-1})=n, \]
从而 \(n\mid p-1\)。
定理解释：原始素因子不只“新”，它还满足关于阶的精确性质。
示例：例如若素数 r 首次整除 \(a^n-b^n\)，则常有 \(\operatorname{ord}_r(a/b)=n\)。
示例解释：因此它能把“新素因子”与“精确周期”联系起来。

十一、不定方程、Pell 方程与参数化

90. 线性不定方程可解条件
方程
\[ ax+by=c \]
有整数解当且仅当
\[ \gcd(a,b)\mid c. \]
前置：Bézout 定理。
定理解释：线性不定方程 \(ax+by=c\) 可解，当且仅当 gcd 整除右边。
示例：例如 \(6x+9y=3\) 有解。
示例解释：因为 \(\gcd(6,9)=3\mid3\)。
91. 线性不定方程通解
若 \((x_0,y_0)\) 是一组特解，则通解为
\[ x=x_0+\frac{b}{d}t,\qquad y=y_0-\frac{a}{d}t,\qquad d=\gcd(a,b). \]
定理解释：一旦找到一组特解，线性不定方程的全部解可用一个整数参数写完。
示例：例如 \(6x+9y=3\) 的一组解是 \((-1,1)\)。
示例解释：再加上齐次方程的通解，就得到全部整数解。
92. 勾股数参数化
原始勾股数可表示为
\[ x=m^2-n^2,\quad y=2mn,\quad z=m^2+n^2, \]
其中 \(\gcd(m,n)=1\)，且一奇一偶。
前置：互素、平方和分析。
定理解释：所有本原勾股数都能参数化写成 \((m^2-n^2,2mn,m^2+n^2)\)。
示例：例如取 \(m=2,n=1\)，得到 \(3,4,5\)。
示例解释：这是最经典的不定方程参数表示。
93. Sophie Germain 恒等式
\[ a^4+4b^4=(a^2-2ab+2b^2)(a^2+2ab+2b^2). \]
定理解释：Sophie Germain 恒等式可把四次方减四倍四次方分解。
示例：例如 \(x^4+4y^4=(x^2-2xy+2y^2)(x^2+2xy+2y^2)\)。
示例解释：它常用于证明某些数不可为素数或处理整除结构。
94. Pell 方程有无穷多解
若 \(D>0\) 不是平方数，则
\[ x^2-Dy^2=1 \]
有无穷多整数解。
前置：连分数、\(\sqrt D\) 的周期展开。
定理解释：Pell 方程 \(x^2-Dy^2=1\)（D 非平方）有无穷多整数解。
示例：例如 \(x^2-2y^2=1\) 有 \((3,2),(17,12)\) 等。
示例解释：一旦有最小正解，就能不断生成新解。
95. Pell 解的乘法封闭性
若 \((x_1,y_1)\)、\((x_2,y_2)\) 都解 \(x^2-Dy^2=1\)，则乘起来仍给出新解。
前置：直接代数展开。
定理解释：Pell 解在乘法下封闭，所以多个解相乘仍给出新解。
示例：例如 \((3+2\sqrt2)^2=17+12\sqrt2\)。
示例解释：这正对应了从 \((3,2)\) 生成 \((17,12)\)。
96. 基本解生成全体正解
\[ x_n+y_n\sqrt D=(x_1+y_1\sqrt D)^n. \]
前置：Pell 乘法封闭性。
定理解释：Pell 方程所有正解都由基本解反复幂乘生成。
示例：例如对 \(x^2-2y^2=1\)，基本解是 \((3,2)\)。
示例解释：所有其他正解都来自 \((3+2\sqrt2)^n\)。

十二、更多小定理、小命题与拓展条目

这一块专门补“小定理”。很多题里它们单独看不算大定理，但会非常好用。
97. 若 \(a\equiv b\pmod m\)，则 \(\gcd(a,m)=\gcd(b,m)\) 不一定成立
这是一个很适合孩子自己举反例、辨析条件的命题。
定理解释： 这一条的作用，主要不是教孩子“会用一个结论”，而是提醒孩子：同余只保留“模 \(m\)”意义下的信息，并不会把一个整数的所有算术性质都完整保留下来。

当 \(a\equiv b\pmod m\) 时，只表示 \[ m\mid (a-b), \] 也就是说，\(a\) 和 \(b\) 在模 \(m\) 的意义下落在同一个剩余类里。

但是，“与 \(m\) 的最大公因数是多少”这个量，虽然和模 \(m\) 有关系，却不是一个看到“同余”就一定能机械替换的量。很多孩子一开始容易形成一种错误印象：既然两个数模 \(m\) 同余，那它们和 \(m\) 的各种性质都应当一样。其实要小心区分。

更准确地说，真正稳定的是“是否与 \(m\) 互素”这一性质；至于 gcd 的具体数值，在做题时不能不加分析地乱套。学习这一条，重点是培养孩子的“条件辨析意识”。
示例： 比如看到 \[ a\equiv b\pmod m, \] 不能马上下意识写出 \[ \gcd(a,m)=\gcd(b,m) \] 然后往下推。

这类题更好的做法是：先问自己，“我真正需要的是 gcd 的具体值，还是只需要它们都与 \(m\) 互素（或者都不互素）？”

例如在模运算中，如果要谈逆元，那么真正重要的是 \[ \gcd(a,m)=1 \] 这一类“可逆性”信息，而不是 gcd 的完整数值本身。
示例解释： 这一条非常适合拿来训练孩子避免“把同余当成完全相等”。

在整数题里，等号、整除、同余，这三者非常像，但意义不同：
等号最强；
整除是结构关系；
同余则是“模一个数看起来一样”。

所以，遇到 \[ a\equiv b\pmod m \] 时，最好先想：哪些性质会被保留？哪些不会自动保留？

这一类辨析，比死记某个结论本身更重要。
98. 若 \(a\equiv b\pmod m\) 且 \(\gcd(a,m)=1\)，则 \(\gcd(b,m)=1\)
定理解释： 这一条是在上一条的基础上，给出一个真正稳定、真正常用的结论：同余会保持“是否与模数互素”这个性质。

原因很自然。若 \[ a\equiv b\pmod m, \] 那么 \(a\) 与 \(b\) 模 \(m\) 落在同一个剩余类里。若 \(a\) 与 \(m\) 互素，说明这个剩余类是一个可逆剩余类；而 \(b\) 属于同一个类，所以它当然也应该可逆，因此也与 \(m\) 互素。

从“反面”理解也很有帮助：如果 \(b\) 与 \(m\) 不互素，那 \(b\) 所在的剩余类里所有代表元都会和 \(m\) 共享某个公共因子，不可能突然换一个同余代表就变成互素。

所以这条结论比“gcd 的具体数值是否相等”更稳定，也更常在竞赛中真正被使用。
示例： 例如 \[ 11\equiv1\pmod5. \] 因为 \[ \gcd(1,5)=1, \] 所以立刻可知 \[ \gcd(11,5)=1. \] 再如 \[ 26\equiv5\pmod7, \] 而 \[ \gcd(5,7)=1, \] 因此 \[ \gcd(26,7)=1. \]
示例解释： 这一条在做逆元、阶、Euler 定理、原根、缩系时都特别有用。

很多时候题目里给出的是一个大数 \(a\)，但我们先把它模 \(m\) 化简成一个更小的数 \(b\)。只要 \[ a\equiv b\pmod m, \] 那么判断它是否与 \(m\) 互素，就可以转化为判断 \(b\) 是否与 \(m\) 互素。

所以这条其实是一个“模化简后仍可安全使用”的基本工具。
99. 若 \(a\mid b\)，则 \(\varphi(a)\) 不一定整除 \(\varphi(b)\)
适合做辨析题。
定理解释： 这一条是在提醒：Euler 函数 \(\varphi(n)\) 虽然和整除关系有联系，但没有一种“只要 \(a\mid b\)，就自动 \(\varphi(a)\mid\varphi(b)\)”的简单传递规律。

很多孩子刚学到 \[ \varphi(n)=n\prod_{p\mid n}\left(1-\frac1p\right) \] 时，会误以为：既然 \(a\mid b\)，那 \(b\) 的素因子结构“更大一些”，所以 \(\varphi(b)\) 也应该在某种意义上是 \(\varphi(a)\) 的倍数。实际上这并不可靠。

原因在于：\(\varphi\) 不是单纯按照“因子多一点”就线性增长，它既受素因子种类影响，也受指数影响，结构比较复杂。一个新素因子的加入，可能会让 \(\varphi\) 乘上 \(p-1\)；而已有素因子指数增加，又会让 \(\varphi\) 乘上 \(p\)。这些变化混在一起，整除性并不简单。

所以遇到 \(\varphi(a)\) 与 \(\varphi(b)\) 的整除问题，最稳妥的方法是：分解素因子，直接算，或者比较每个素数的指数。
示例： 例如 \[ a=15,\quad b=30. \] 因为 \[ 15\mid30, \] 而 \[ \varphi(15)=15\left(1-\frac13\right)\left(1-\frac15\right)=8, \] \[ \varphi(30)=30\left(1-\frac12\right)\left(1-\frac13\right)\left(1-\frac15\right)=8. \] 这里刚好相等。

但这并不说明一般情况下都能这样“顺着整除关系往下传”。
示例解释： 这一条更像是“防误用提醒”。

竞赛里，很多错误不是不会做，而是“看见一个熟悉结构，就把一个其实并不存在的规律强行套上去”。\(\varphi\) 正是这种高发区。

所以这条最好让孩子形成一种习惯：
凡是遇到 \(\varphi\) 的整除、大小、奇偶、同余问题，先不要凭感觉；先分解、先算、先看结构。
100. 若 \(d\mid n\)，则 \(\varphi(d)\) 不一定整除 \(\varphi(n)\)
定理解释： 这条和上一条本质是同一个提醒，只是把字母换成了更常见的写法。

在数论题里，\(d\mid n\) 是非常常见的设定，于是很多孩子会在下意识里继续往下写： \[ \varphi(d)\mid\varphi(n). \] 但这并不是一个可以无条件使用的标准结论。

Euler 函数虽然和约数结构密切相关，但它不是“约数关系的同态”，不会把“整除”自动映到“整除”。所以只要题目里没有额外条件，就不能擅自这样用。

这条命题的重要意义在于：让孩子学会区分“真的定理”和“看起来像定理的猜想”。
示例： 例如 \[ d=15,\quad n=90, \] 有 \[ 15\mid90. \] 计算得 \[ \varphi(15)=8,\qquad \varphi(90)=24. \] 这里恰好有 \[ 8\mid24. \] 但这只是“这个例子里成立”，不能据此当成普遍规律。
示例解释： 孩子在学习这一条时，重点不是背住一个否定命题，而是学会一个思维动作：

“看到某个结论在几个例子中都成立，不等于它就是定理。”

所以这里最好的训练方式是：自己多试几个 \(d,n\)，观察 \(\varphi\) 的变化，再思考为什么这个函数不容易保持简单的整除结构。
101. 若 \(p\mid a^2\)，则 \(p\mid a\)
前置：Euclid 引理。
定理解释： 这是一条非常基础但非常重要的整除结论：如果一个素数整除了某个整数的平方，那么它其实已经整除了这个整数本身。

直观上说，平方不会“凭空制造出一个新的素因子”，它只是把原来已有的素因子次数翻倍。既然 \(p\) 出现在 \(a^2\) 的素因子分解中，那么 \(p\) 必然本来就已经出现在 \(a\) 里面。

这条在反证法、无理数证明、平方数性质、模素数讨论中都很常见。比如证明 \(\sqrt2\) 无理时，本质上就反复用了“若 \(2\mid a^2\)，则 \(2\mid a\)”这一类思想。
示例： 例如若 \[ 5\mid a^2, \] 那么必有 \[ 5\mid a. \] 因为如果 \(5\nmid a\)，那么 \(a\) 模 5 的非零剩余类平方后不可能变成 0。
示例解释： 这一条看起来很短，但威力非常大。

很多题目会先给出 \[ p\mid x^2,\quad p\mid y^2,\quad p\mid z^2 \] 之类的条件，然后需要一步步推出 \[ p\mid x,\quad p\mid y,\quad p\mid z. \] 这样就能把“平方层面”的整除，拉回到底数层面。

所以这条其实是很多更复杂论证中的“隐形基础零件”。
102. 若 \(p\mid a^n\)，则 \(p\mid a\)
前置：Euclid 引理。
定理解释： 这是上一条的自然推广：如果素数 \(p\) 整除某个正整数次幂 \(a^n\)，那么 \(p\) 一定整除底数 \(a\)。

原因和平方时一样。\(a^n\) 只是把 \(a\) 这个数重复乘了 \(n\) 次，不会生成原本不存在的新素因子。若 \(p\) 出现在乘积 \[ a\cdot a\cdot \cdots \cdot a \] 中，那就说明它已经出现在其中某一个 \(a\) 里；而所有因子都一样，所以就是 \(p\mid a\)。

这条在指数型整除、幂的比较、p-adic 估值、ord 和 LTE 的基础判断里都经常先被默默使用。
示例： 例如 \[ 7\mid a^5 \] 就能推出 \[ 7\mid a. \] 再如 \[ 3\mid x^{100}, \] 也一定有 \[ 3\mid x. \]
示例解释： 这条的核心思想是：素因子只能被“继承”，不能被“制造”。

所以只要看到“素数整除一个幂”，就应该下意识想到：能不能把整除关系从幂上降回到底数上？

在竞赛里，这往往是打开局面的第一步。
103. 若 \(\gcd(a,b)=1\)，则 \(\gcd(a^m,b^n)=1\)
定理解释： 这一条表示：互素关系在取正整数次幂后仍然保持。

直观理解非常简单：如果 \(a\) 和 \(b\) 没有公共素因子，那么 \(a^m\) 只是把 \(a\) 的素因子指数放大，\(b^n\) 只是把 \(b\) 的素因子指数放大；但双方都不会产生新的素因子，于是依然没有公共素因子。

这是一个特别常用的“稳定性结论”。很多题目中，把两个数升幂后表面上看复杂了，但 gcd 并没有真的变复杂。
示例： 例如 \[ \gcd(2,3)=1, \] 那么无论幂次怎么取，都有 \[ \gcd(2^5,3^7)=1. \] 再如 \[ \gcd(4,9)=1, \] 所以 \[ \gcd(4^{10},9^8)=1. \]
示例解释： 这一条常用于化简看起来很大的 gcd。

比如题目里出现 \[ \gcd(x^m,y^n) \] 时，若事先已经知道 \(\gcd(x,y)=1\)，那么这部分可以直接判成 1，不必展开。

所以它的价值不在“结论惊艳”，而在“非常稳、非常省事”。
104. 若 \(\gcd(a,m)=1\)，则 \(a^{\varphi(m)-1}\) 是 \(a\) 的逆元模 \(m\)
前置：Euler 定理。
定理解释： 这条是 Euler 定理的一个直接应用，而且特别实用。

由 Euler 定理， \[ a^{\varphi(m)}\equiv1\pmod m \] （前提是 \(\gcd(a,m)=1\)）。

把它理解成 \[ a\cdot a^{\varphi(m)-1}\equiv1\pmod m, \] 就会发现： \[ a^{\varphi(m)-1} \] 正好就是 \(a\) 在模 \(m\) 意义下的一个逆元。

也就是说，这条给了我们一个“公式化地构造逆元”的方法。虽然在实际计算时未必总是最快，但在证明题里非常好用，因为它能直接说明逆元一定存在，而且长什么样也能写出来。
示例： 例如在模 10 下，求 3 的逆元。

因为 \[ \gcd(3,10)=1, \] 且 \[ \varphi(10)=4, \] 所以 3 的逆元可以写成 \[ 3^{\varphi(10)-1}=3^3=27\equiv7\pmod{10}. \] 检验一下： \[ 3\cdot7=21\equiv1\pmod{10}. \]
示例解释： 这条的本质是：Euler 定理不仅能证明“幂最后会回到 1”，还能顺便告诉你“怎么把一个数乘到 1 去”。

所以一旦题目里需要逆元，而模数又不是素数时，这条就尤其有价值。

在模素数 \(p\) 的特殊情况下，它会变成更熟悉的形式： \[ a^{p-2} \] 是 \(a\) 的逆元模 \(p\)。
105. 模素数下非零平方剩余恰有 \((p-1)/2\) 个
前置：\(x^2\equiv a\) 最多两解。
定理解释： 设 \(p\) 是奇素数。模 \(p\) 的非零剩余类共有 \(p-1\) 个。把它们分别平方，会得到一些平方剩余。

关键现象是： \[ x^2\equiv(-x)^2\pmod p. \] 也就是说，\(x\) 和 \(-x\) 会给出同一个平方值。并且在模奇素数下，\(x\not\equiv -x\pmod p\)（除非 \(x\equiv0\)，但这里讨论的是非零类）。所以非零元素会自然地两两配对： \[ x\leftrightarrow -x. \] 每一对只产生一个平方值。

因而一共 \(p-1\) 个非零类，配成 \[ \frac{p-1}{2} \] 对，于是非零平方剩余恰好也有 \[ \frac{p-1}{2} \] 个。

这条结论非常基础，因为它告诉我们：在模奇素数下，“可开平方”和“不可开平方”的数刚好各占一半。
示例： 例如模 7 下，非零类是 \[ 1,2,3,4,5,6. \] 平方分别为： \[ 1^2\equiv1,\quad 2^2\equiv4,\quad 3^2\equiv2, \] \[ 4^2\equiv2,\quad 5^2\equiv4,\quad 6^2\equiv1\pmod7. \] 所以非零平方剩余只有 \[ 1,2,4 \] 这 3 个，正好是 \[ \frac{7-1}{2}=3. \]
示例解释： 这个例子最值得观察的，是“重复是怎么出现的”：
\(1\) 和 \(6=-1\) 的平方一样；
\(2\) 和 \(5=-2\) 的平方一样；
\(3\) 和 \(4=-3\) 的平方一样。

所以非零平方剩余不是乱七八糟分布出来的，而是由“正负成对”这个结构逼出来的。

这条会直接影响后面的 Euler 判别、Legendre 符号、原根与二次剩余等很多内容。
106. 模素数下非零二次非剩余也恰有 \((p-1)/2\) 个
定理解释： 这条其实是上一条的补集版。

模奇素数 \(p\) 下，非零剩余类一共有 \[ p-1 \] 个，其中非零平方剩余有 \[ \frac{p-1}{2} \] 个。那剩下的当然也正好有 \[ \frac{p-1}{2} \] 个，它们就是非零二次非剩余。

所以在模奇素数的世界里，非零元素会被非常整齐地分成两半：一半是平方剩余，一半是平方非剩余。
示例： 仍以模 7 为例。

上一条已经算出平方剩余是 \[ 1,2,4. \] 因此剩下的 \[ 3,5,6 \] 就是非零二次非剩余，也正好有 3 个。
示例解释： 学这一条时，孩子最好不要只记“数量一半一半”，还要真正明白：

“二次非剩余”不是某种稀奇古怪的特殊数字，而只是“不是平方的那些非零类”。

这种“补集意识”很重要。因为在很多证明里，先算出平方剩余个数，再用补集思想得到非剩余个数，会比直接数非剩余容易得多。
107. 若 \(g\) 是模 \(p\) 原根，则 \(g^k\) 是原根当且仅当 \(\gcd(k,p-1)=1\)
定理解释： 设 \(g\) 是模 \(p\) 的原根，表示它的阶正好是 \[ p-1. \] 也就是说，\(g\) 的幂可以跑遍模 \(p\) 的所有非零剩余类。

那么 \(g^k\) 的阶是多少？根据“幂的阶公式”，它的阶会变成 \[ \frac{p-1}{\gcd(k,p-1)}. \] 所以要让 \(g^k\) 仍然是原根，就必须让它的阶仍等于 \(p-1\)。这只有在 \[ \gcd(k,p-1)=1 \] 时才会发生。

也就是说，原根的哪些幂仍是原根，不看别的，只看指数 \(k\) 是否与 \(p-1\) 互素。
示例： 例如模 7 下，3 是一个原根，因为它的幂 \[ 3,3^2,3^3,3^4,3^5,3^6 \] 可以跑遍所有非零剩余类。

由于 \[ p-1=6, \] 所以若取 \(k=5\)，有 \[ \gcd(5,6)=1, \] 因而 \[ 3^5\equiv5\pmod7 \] 也仍是原根。
示例解释： 这条特别有用，因为它一下子告诉我们：从一个原根可以生成出所有原根。

事实上，模 \(p\) 的原根个数正好是 \[ \varphi(p-1), \] 也正是因为：从一个原根 \(g\) 出发，取所有满足 \[ \gcd(k,p-1)=1 \] 的幂 \(g^k\)，会恰好得到全部原根。

所以这一条是连接“原根个数”和“阶公式”的关键桥梁。
108. 若 \(a\equiv1\pmod p\)，则 \(v_p(a^n-1)\ge v_p(n)+1\)（特定条件下）
前置：LTE 思想。
定理解释： 这是一类非常典型的 LTE（指数提升）现象。它想表达的是：当 \(a\) 在模 \(p\) 意义下非常接近 1 时，\(a^n-1\) 会比想象中含有更多的 \(p\) 因子。

因为 \[ a\equiv1\pmod p \] 等价于 \[ p\mid(a-1). \] 而 \(a^n-1\) 可以看成 \[ a^n-1=(a-1)(a^{n-1}+a^{n-2}+\cdots+1). \] 第一部分已经贡献了一个 \(p\)；而第二部分在很多条件下还会额外贡献出与 \(n\) 中 \(p\)-次数有关的因子，于是就得到 \[ v_p(a^n-1)\ge v_p(n)+1 \] 这类结论。

更常见、更标准的 LTE 形式往往是 \[ v_p(a^n-b^n)=v_p(a-b)+v_p(n), \] 在合适条件下成立。这里其实就是取 \(b=1\) 的一个特例思路。

这条在处理幂差高次整除时非常强，尤其适用于“底数模 \(p\) 接近 1”这类题型。
示例： 例如设 \[ a\equiv1\pmod3. \] 那么通常会有 \[ v_3(a^3-1)\ge2. \] 这是因为 \(a-1\) 已经含一个 3，而指数 3 又会再“抬升”出至少一个 3 的因子。
示例解释： 学这条时，孩子最重要的不是死记形式，而是建立一个感觉：

“如果底数已经很接近 1，那么幂差 \(a^n-1\) 往往会比普通整除强得多。”

这正是 LTE 最核心的味道：指数不会只是放大数值，也会放大某种整除结构。
109. Bertrand–Chebyshev 定理
对 \(n>1\)，区间 \((n,2n)\) 中至少有一个素数。
定理解释： 这是一条非常经典的素数分布定理。它告诉我们：素数虽然分布不规则，但不会稀疏到“在 \(n\) 和 \(2n\) 之间一个都没有”。

也就是说，只要 \(n>1\)，总能在 \[ n<p<2n \] 之间找到至少一个素数 \(p\)。

这条结论非常有用，因为它给了一个“短区间里一定有素数”的下界保证。在很多存在性证明里，题目并不要求你精确找出素数，只需要知道“这种素数一定存在”，这时 Bertrand–Chebyshev 定理就很适合出场。
示例： 例如取 \[ n=10, \] 那么区间 \[ (10,20) \] 中确实有素数 \[ 11,13,17,19. \] 再如 \(n=50\)，则 \((50,100)\) 中也一定至少有一个素数。
示例解释： 这条定理的意义不在于“10 到 20 之间有素数”这种具体小例子，而在于它对任意 \(n\) 都成立。

它经常用于：
1. 证明某些大于给定数的素数存在；
2. 估计组合数中会出现新的素因子；
3. 说明素数不会相隔太远。

所以它是“素数存在性工具”里的经典代表。
110. Schur 定理
非常数整系数多项式 \(f(n)\) 的取值的素因子集合是无限的。
定理解释： Schur 定理说的是：只要 \(f(x)\) 是一个非常数整系数多项式，那么 \(f(1),f(2),f(3),\dots\) 这些值中出现过的素因子，不可能只来自有限个素数。

换句话说，多项式的取值会不断“遇到新的素数”。

这是一条很有味道的结论。因为它表明，多项式值序列虽然看起来有规律，但它们的素因子世界并不会被有限个素数完全控制。只要多项式不是常数，它就会不断制造出新的素数因子来源。

这条定理常被看作“多项式值与素数分布之间的一条基础桥梁”。
示例： 例如取 \[ f(n)=n^2+1. \] 那么序列 \[ 2,5,10,17,26,37,\dots \] 的素因子集合不可能只包含有限多个素数。

也就是说，不可能存在一个有限素数表，使得所有 \(n^2+1\) 的值都只由这几个素数反复组成。
示例解释： 孩子学这条时，可以先不要追求完整证明，而是先感受这件事为什么“挺神奇”：

一个固定公式 \(f(n)\)，看起来很规整；但它跑出来的素因子，却会无穷无尽地变。

这种“公式很固定，素因子却不断翻新”的现象，是数论里非常迷人的地方。
111. Sylvester 定理
连续 \(k\) 个整数的乘积中会出现大于 \(k\) 的素因子。
定理解释： Sylvester 定理可以理解成：连续若干个整数相乘时，其中一定会冒出一个“比较大的新素因子”。

直观上说，如果一个很长的连续整数乘积只由一些很小的素数来支撑，那会受到非常强的限制；而 Sylvester 定理告诉我们，事实并不是这样，乘积里必然会出现大于区间长度 \(k\) 的素因子。

这条常用于组合数、阶乘、连乘积、整除性估计等问题中。它的价值往往不在于单独出现，而在于给证明中“必须出现一个大素数”提供理论支撑。
示例： 例如考虑若干个连续整数 \[ n+1,n+2,\dots,n+k. \] 它们的乘积中，会出现一个大于 \(k\) 的素因子。

这说明：连续整数的乘积不可能完全由“很小的素数”控制住。
示例解释： 这条的真正用途，常常是做“反证”。

比如你假设某个乘积只由小素数构成，然后 Sylvester 定理告诉你：不行，里面一定会蹦出一个更大的素因子。这样矛盾就出来了。

所以它很像一个“新素因子出现保证器”。
112. Frobenius 硬币定理（两变量）
若 \(\gcd(a,b)=1\)，则不能表示成 \(ax+by\) 的最大非负整数为 \(ab-a-b\)。
定理解释： 这是一条非常经典、也非常适合孩子建立数感的定理。

设 \(a,b\) 是两个互素的正整数。我们考虑所有能写成 \[ ax+by\qquad (x,y\ge0,\ x,y\in\mathbb Z) \] 的非负整数。

并不是每个数都能表示出来，但 Frobenius 硬币定理告诉我们：所有不能表示的数里面，最大的那个恰好是 \[ ab-a-b. \] 也就是说，超过这个界以后，所有足够大的整数都一定能表示成 \(a,b\) 的非负整数组合。

这条常被形象地称为“硬币问题”：如果你有面值 \(a\) 和 \(b\) 的两种硬币，而且它们互素，那么最大凑不出来的金额是多少？答案就是上面这个公式。
示例： 例如 \(a=4,b=7\)。因为 \[ \gcd(4,7)=1, \] 所以最大不能表示的非负整数是 \[ 4\cdot7-4-7=17. \] 的确，17 不能写成 \[ 4x+7y \] 的形式。

但 18 可以，因为 \[ 18=7+7+4. \] 而且再往后的数也都能表示出来。
示例解释： 这条定理很适合帮助孩子理解“局部不能表示，不代表永远不能表示”。

前面会有一些零散的“空洞”，但一旦超过某个阈值，就全部通了。

所以它也是一个典型的“从混乱到稳定”的数论现象。
113. Midy 定理
循环小数分块后有漂亮的和式规律。
这类定理很适合孩子做兴趣专题。
定理解释： Midy 定理讨论的是循环小数的循环节结构。它告诉我们：当一个循环节可以平均分成若干块时，把这些块相加，往往会出现非常整齐的结果，比如全 9 或者若干个相同数字组成的数。

这听起来像技巧题，但背后其实和十进制展开、模运算、循环节长度、乘法群结构都有联系。

所以 Midy 定理很适合拿来做“兴趣延伸”：一方面现象很漂亮，另一方面又能自然连接到更深的数论结构。
示例： 例如 \[ \frac17=0.\overline{142857}. \] 它的循环节长度是 6，把它平均分成两段： \[ 142,\qquad 857. \] 相加得到 \[ 142+857=999. \] 这是一个非常整齐的结果。
示例解释： 这不是偶然巧合。循环节之所以能分块后相加得到整齐结果，是因为这些数字块本质上对应着模某个数下的幂循环。

孩子如果对“为什么会是 999”产生好奇，就是一个很好的入口：这说明他已经开始从“看现象”走向“想结构”了。

Midy 定理正适合用来培养这种兴趣。
114. Korselt 判据
判定 Carmichael 数的经典准则。
定理解释： Carmichael 数是一类非常特别的合数：它们虽然不是素数，但在很多 Fermat 型检验里“伪装得像素数”。

Korselt 判据给出了一个非常漂亮的等价条件：一个合数 \(n\) 是 Carmichael 数，当且仅当：
1. \(n\) 是平方因子自由的；
2. 对 \(n\) 的每个素因子 \(p\)，都有 \[ p-1\mid n-1. \]
这就把一个看起来和“幂模运算”有关的定义，转化成了一个纯整除型判据。

这是数论里很典型的一种美：复杂的行为，最后能被一个干净的整除条件精确刻画。
示例： 例如 \[ 561=3\cdot11\cdot17. \] 它没有平方因子。并且 \[ 3-1=2\mid560, \] \[ 11-1=10\mid560, \] \[ 17-1=16\mid560. \] 因此根据 Korselt 判据，561 是一个 Carmichael 数。
示例解释： 561 是最著名的 Carmichael 数之一。

它的重要性在于：它告诉我们，Fermat 小定理型的素性检验并不总可靠。因为有些合数会“装得像素数”。

所以 Korselt 判据不仅是一个判定工具，也是在提醒我们：数论里的“逆命题”往往比正命题复杂得多。
115. 若 \(n>2\)，则 \(\varphi(n)\) 为偶数
前置：缩系元素与其逆元配对，或 \(a\leftrightarrow n-a\) 配对。
定理解释： 这是 Euler 函数最经典的基本性质之一。它说：除了 \[ n=1,2 \] 这两个特例外，只要 \[ n>2, \] 就一定有 \[ \varphi(n) \] 是偶数。

原因很直观：考虑所有与 \(n\) 互素的正整数 \(a\)（取 \(1\le a\le n\) 的代表）。若 \(\gcd(a,n)=1\)，那么 \[ \gcd(n-a,n)=1 \] 也成立。于是这些数可以两两配对： \[ a\leftrightarrow n-a. \] 而当 \(n>2\) 时，这两者不会重合，所以互素元素总数一定是偶数。

这是一个非常典型的“配对法”结论。
示例： 例如 \[ n=15. \] 与 15 互素的正整数有 \[ 1,2,4,7,8,11,13,14, \] 一共 8 个，所以 \[ \varphi(15)=8, \] 的确是偶数。

这里还能直接看到配对： \[ 1\leftrightarrow14,\quad 2\leftrightarrow13,\quad 4\leftrightarrow11,\quad 7\leftrightarrow8. \]
示例解释： 这一条很适合让孩子完整写证明。因为它不需要太多高级工具，但非常能训练“配对”的思维。

数论里很多看似难算的数量，最后并不是靠硬算出来的，而是靠“成对出现”“结构对称”看出来的。

\(\varphi(n)\) 为偶数，就是这种思想的典型示范。
非常适合孩子自己完整写出来
116. 若 \(p\) 为奇素数，则 \((p-1)!\equiv -1\pmod p\) 中只有 \(\pm1\) 是自逆元
前置：\(x^2\equiv1\pmod p\) 只有两解。
定理解释： 这条是理解 Wilson 定理结构的关键细节。

在模奇素数 \(p\) 的非零剩余类中，每个元素都有逆元。大多数元素会和一个不同的元素配成对： \[ a\leftrightarrow a^{-1}. \] 这样成对相乘就等于 1。

但有些元素会满足 \[ a\equiv a^{-1}\pmod p, \] 也就是 \[ a^2\equiv1\pmod p. \] 在模素数下，这个方程只有两个解： \[ a\equiv1\pmod p,\qquad a\equiv-1\pmod p. \] 所以只有 \(\pm1\) 是自逆元，其余元素都能和不同的逆元配对。

这正是 Wilson 定理证明里最后只剩下 \[ 1\cdot(-1)=-1 \] 的原因。
示例： 例如模 7 下，非零类是 \[ 1,2,3,4,5,6. \] 它们的逆元分别是： \[ 1^{-1}=1,\quad 2^{-1}=4,\quad 3^{-1}=5,\quad 6^{-1}=6. \] 所以只有 \[ 1,\ 6(=-1) \] 是自逆元，另外 \(2,4\) 配对，\(3,5\) 配对。
示例解释： 孩子如果能真正看懂这条，就会明白 Wilson 定理不是“神奇记忆公式”，而是一个很自然的配对结果。

其余元素两两抵消成 1，只剩下两个特殊元素 \(\pm1\)。

这也是数论中“例外元素决定最终结果”的很典型的一幕。
117. 若 \(\operatorname{ord}_m(a)=d\)，则 \(\operatorname{ord}_m(a^k)=\dfrac{d}{\gcd(d,k)}\)
前置：阶整除指数定理。
定理解释： 设 \[ \operatorname{ord}_m(a)=d, \] 表示 \(d\) 是满足 \[ a^d\equiv1\pmod m \] 的最小正整数。

现在我们把 \(a\) 换成 \(a^k\)。直观上说，这相当于把原来循环跑动的步长变大了，于是周期通常会缩短。这个缩短多少，恰好由 \[ \gcd(d,k) \] 决定，公式就是 \[ \operatorname{ord}_m(a^k)=\frac{d}{\gcd(d,k)}. \]
这条公式非常漂亮：它把“幂会怎样改变阶”说得一清二楚。

如果 \(k\) 和 \(d\) 互素，那么阶不变；如果 \(k\) 与 \(d\) 有公共因子，那么阶就按那个 gcd 精确缩小。
示例： 例如若某元素 \(a\) 模 \(m\) 的阶是 \[ 12, \] 那么 \(a^4\) 的阶为 \[ \frac{12}{\gcd(12,4)}=\frac{12}{4}=3. \] 也就是说，原来每 12 步回到 1，现在每 3 步就回到 1 了。
示例解释： 这条公式在原根、循环群、幂剩余、指数方程里都极常见。

它的重要意义在于：一旦你知道了一个元素的阶，那么它的任意幂的阶都能直接算出来，不用重新从头试。

所以它是“由一个已知周期，推一整族周期”的核心工具。
118. 若 \(a\) 是模 \(p\) 的二次剩余，则 \(a^{(p-1)/2}\equiv1\pmod p\)
前置：Euler 判别准则。
定理解释： 设 \(p\) 是奇素数。如果 \(a\) 是模 \(p\) 的二次剩余，意思是存在某个 \(x\) 使得 \[ x^2\equiv a\pmod p. \] 那么 Euler 判别准则告诉我们： \[ a^{(p-1)/2}\equiv1\pmod p. \]
这条结论很重要，因为它把“能不能开平方”这种结构性质，转化成了一个简单的幂同余判定。

所以在模素数下判断一个数是否是平方剩余，很多时候并不需要真的去找平方根，只要验一下这个幂是否等于 1 就行。
示例： 例如在模 7 下， \[ 4 \] 是二次剩余，因为 \[ 2^2\equiv4\pmod7. \] 于是 \[ 4^{(7-1)/2}=4^3=64\equiv1\pmod7. \]
示例解释： 这一条和下一条（非剩余对应 \(-1\)）合在一起，就是完整的 Euler 判别。

它的魅力在于：一个“看起来像方程可解性”的问题，最后变成了“算一个幂”的问题。

这就是数论里经常出现的“结构判定转化为计算判定”。
119. 若 \(a\) 是模 \(p\) 的二次非剩余，则 \(a^{(p-1)/2}\equiv-1\pmod p\)
定理解释： 这条与上一条正好互补。

如果 \(a\) 不是模 \(p\) 的二次剩余，也就是说不存在 \(x\) 使得 \[ x^2\equiv a\pmod p, \] 那么 Euler 判别准则告诉我们： \[ a^{(p-1)/2}\equiv-1\pmod p. \]
因此对模奇素数 \(p\) 的非零元素来说，幂 \[ a^{(p-1)/2} \] 只能有两种结果：要么是 \(1\)，表示 \(a\) 是二次剩余；要么是 \(-1\)，表示 \(a\) 是二次非剩余。
示例： 例如模 7 下， \[ 3 \] 不是平方剩余，所以它是二次非剩余。于是 \[ 3^{(7-1)/2}=3^3=27\equiv-1\pmod7. \]
示例解释： 这条和上一条配在一起，就把所有非零类一刀分成两半：
算出来是 \(1\) 的，是平方剩余；
算出来是 \(-1\) 的，是平方非剩余。

所以 Euler 判别其实是一个非常高效的“二次剩余检测器”。
120. 若 \(x^2\equiv y^2\pmod p\)，则 \(x\equiv \pm y\pmod p\)
前置：因式分解与模素数约分。
定理解释： 这条说明：在模素数下，平方同余是很“刚性”的。

若 \[ x^2\equiv y^2\pmod p, \] 那么移项并因式分解： \[ x^2-y^2\equiv0\pmod p, \] \[ (x-y)(x+y)\equiv0\pmod p. \] 由于模的是素数 \(p\)，所以如果一个乘积被 \(p\) 整除，就必有 \[ p\mid(x-y)\quad \text{或}\quad p\mid(x+y). \] 因而得到 \[ x\equiv y\pmod p \] 或 \[ x\equiv -y\pmod p. \]
也就是说，平方相同的两个数，在模素数下只能相差一个正负号。
示例： 例如模 11 下， \[ 3^2=9,\qquad 8^2=64\equiv9\pmod{11}. \] 所以 \[ 3^2\equiv8^2\pmod{11}. \] 而 \[ 8\equiv-3\pmod{11}, \] 正好符合 \[ x\equiv \pm y\pmod p \] 的结论。
示例解释： 这条其实解释了为什么模奇素数下“一个非零平方剩余恰有两个平方根”。

因为如果有一个平方根 \(y\)，那么 \(-y\) 当然也是；而这条定理进一步说明：除了这两个，不会再有第三个。

所以它是“平方根最多两个”的根本原因之一，也是研究二次同余时特别基础的一条结构结论。

十三、更多小众定理、小命题与拓展条目（续）

这一节继续补一些更偏竞赛、也更偏“小众工具”的数论条目。它们未必是最先学的大定理，但在题目里一旦识别出来，往往会非常省力。
121. 三间隙定理（Three Gap Theorem）
又叫三距离定理，是均匀分布、取整构造与无理数序列中的经典现象。
定理解释： 取一个无理数 \(\alpha\)，考虑圆周上点 \[ \{\alpha\},\{2\alpha\},\{3\alpha\},\dots,\{N\alpha\} \] 的小数部分，把它们按从小到大排在区间 \([0,1)\) 上。相邻点之间的距离，再加上首尾拼起来的那个距离，一共得到 \(N\) 个间隙。

三间隙定理说：这些间隙长度至多只有三种不同的值。

这条结论很惊艳，因为一开始这些点看起来并不规则，但它们切出来的间距却有极强的结构性。

竞赛里它常出现在：
1. 无理数倍数的小数部分分布；
2. 取整序列与分段计数；
3. Beatty 序列、均匀分布；
4. 需要控制“最密”与“最疏”间隔的题目。
示例： 例如取 \[ \alpha=\sqrt2-1, \] 考察 \[ \{\alpha\},\{2\alpha\},\dots,\{8\alpha\}. \] 把它们从小到大排列后，相邻间隔虽然不全相等，但不同的长度不会超过 3 种。
示例解释： 这条不一定要求孩子立刻会证，但很值得认识。因为一旦题目里出现“无理数倍数的小数部分把区间切开”的结构，就应想到：这些间隙不是乱的，它们有非常强的规律。
122. Beatty 定理
定理解释： 设 \(\alpha,\beta>0\) 为无理数，且满足 \[ \frac1\alpha+\frac1\beta=1. \] 则两个序列 \[ \lfloor \alpha\rfloor,\lfloor2\alpha\rfloor,\lfloor3\alpha\rfloor,\dots \] 与 \[ \lfloor \beta\rfloor,\lfloor2\beta\rfloor,\lfloor3\beta\rfloor,\dots \] 会把所有正整数不重不漏地分掉。

也就是说，每个正整数恰好落在其中一个序列里，不会重复，也不会漏掉。

这是取整序列里极漂亮的分拆定理，在竞赛中的味道很足。
示例： 最经典的例子是 \[ \alpha=\varphi=\frac{1+\sqrt5}{2},\qquad \beta=\varphi^2. \] 因为 \[ \frac1\varphi+\frac1{\varphi^2}=1. \] 所以 \[ \lfloor n\varphi\rfloor \] 与 \[ \lfloor n\varphi^2\rfloor \] 恰好把所有正整数分成两类。
示例解释： 这条常和黄金分割、Wythoff 博弈、互补序列联系在一起。孩子若以后遇到“两个取整序列恰好把正整数分开”的题，这条就是直接入口。
123. Legendre 公式
前置：\(v_p(n)\) 的概念。
定理解释： 对素数 \(p\)，阶乘 \(n!\) 中 \(p\) 的指数为 \[ v_p(n!)=\left\lfloor\frac np\right\rfloor+\left\lfloor\frac n{p^2}\right\rfloor+\left\lfloor\frac n{p^3}\right\rfloor+\cdots. \]
它的意思是：先数 1 到 \(n\) 中有多少个数贡献一个 \(p\)，再数有多少个数额外贡献第二个 \(p\)，再数第三个，以此类推。

这是处理组合数整除性、阶乘尾零、p-adic 估值问题的基础工具。
示例： 例如 \[ v_2(10!)=\left\lfloor\frac{10}2\right\rfloor+\left\lfloor\frac{10}4\right\rfloor+\left\lfloor\frac{10}8\right\rfloor=5+2+1=8. \]
示例解释： 这表示 \(10!\) 中一共含有 \(2^8\) 这个因子。很多大整数整除题表面复杂，其实最后都要落回到这种“统计某个素数出现了多少次”。
124. de Polignac 公式（数位和版 Legendre 公式）
定理解释： Legendre 公式还有一个非常漂亮的等价形式： \[ v_p(n!)=\frac{n-s_p(n)}{p-1}, \] 其中 \(s_p(n)\) 表示 \(n\) 的 \(p\) 进制数位和。

这条把“阶乘里某个素数的指数”与“\(p\) 进制表示”联系了起来，因此很适合和进制、数位和、组合数整除题结合。
示例： 例如 \(n=10,p=2\)。因为 \[ 10=1010_2, \] 所以 \[ s_2(10)=2. \] 于是 \[ v_2(10!)=\frac{10-2}{2-1}=8. \]
示例解释： 它和上一条算出的结果一致，但这里出现了“数位和”，这正是它迷人的地方：估值问题竟然能和进制外形直接挂钩。
125. Kummer 定理
前置：Legendre 公式。
定理解释： Kummer 定理说：素数 \(p\) 在组合数 \[ \binom{n}{k} \] 中的指数，等于把 \(k\) 与 \(n-k\) 用 \(p\) 进制相加时产生的“进位次数”。

这是一个极漂亮的“估值 = 进位”结论。

它把组合数整除性问题，直接转化成了进制加法问题，在竞赛中很有威力。
示例： 例如考察 \[ \binom{10}{3}. \] 在二进制下， \[ 3=0011_2,\qquad 7=0111_2. \] 相加 \[ 0011_2+0111_2=1010_2, \] 其中发生了 2 次进位，所以 \[ v_2\!\left(\binom{10}{3}\right)=2. \]
示例解释： 这条特别适合拿来处理“组合数被 \(p^t\) 整除几次”的题。孩子如果掌握它，会发现很多题根本不用展开组合数，只要看按位进位就够了。
126. Lucas 定理
前置：组合数模素数。
定理解释： 若 \(p\) 是素数，把 \(n,k\) 写成 \(p\) 进制： \[ n=n_0+n_1p+\cdots+n_rp^r,\qquad k=k_0+k_1p+\cdots+k_rp^r. \] 则 \[ \binom{n}{k}\equiv \prod_{i=0}^r \binom{n_i}{k_i}\pmod p. \]
这条定理的作用是把“一个很大的组合数模 \(p\)”拆成很多个很小的组合数模 \(p\) 来算。

它是组合数模素数问题的标准武器。
示例： 例如求 \[ \binom{10}{3}\pmod2. \] 因为 \[ 10=1010_2,\qquad 3=0011_2, \] 所以 \[ \binom{10}{3}\equiv \binom10\binom01\binom10\binom01\equiv0\pmod2. \]
示例解释： Lucas 定理最大的优势，是把“大问题”变成了“按位小问题”。这一类方法在竞赛里很有代表性。
127. LTE（指数提升引理）
竞赛数论里极高频，但很多孩子只是会背，不真会识别。
定理解释： LTE 的常见形式是：在合适条件下， \[ v_p(a^n-b^n)=v_p(a-b)+v_p(n). \] 对于某些奇偶情况，也有 \(a^n+b^n\) 的版本。

它的本质是：当 \(p\mid(a-b)\) 时，幂差里额外多出来的 \(p\)-次数，恰好由 \(n\) 中含有多少个 \(p\) 来决定。

这是一条极强的“指数信息传递律”。
示例： 例如求 \[ v_3(10^6-1). \] 因为 \[ 10-1=9, \] 所以 \[ v_3(10^6-1)=v_3(10-1)+v_3(6)=2+1=3. \]
示例解释： 不需要展开大数，直接看“底数差”和“指数里的 3 次数”。这就是 LTE 最迷人的地方：把“巨大幂差”压缩成了两个很小的量。
128. LTE 的幂次特例
定理解释： 当 \(p\) 为奇素数，且 \(p\mid a-b\) 时，一个特别常用的特例是 \[ v_p(a^{p^t}-b^{p^t})=v_p(a-b)+t. \]
它说明：每多升一次 \(p\) 次幂，估值就会多 1。

这在递推式、迭代幂差、构造高次整除中很常见。
示例： 若 \(p=5\)，且 \[ v_5(a-b)=2, \] 则 \[ v_5(a^{25}-b^{25})=2+2=4. \]
示例解释： 这类条目的重点，不只是会套公式，而是要形成感觉：指数里若出现 \(p^t\)，估值里常会“同步”多出一个 \(t\)。
129. Hensel 提升思想（竞赛可用版）
更适合作为“思想条目”认识，不必一开始就学完整 p-adic 理论。
定理解释： Hensel 提升的大意是：如果一个同余方程在模 \(p\) 下有一个“非退化”解，那么往往能把它一步步提升成模 \(p^2,p^3,\dots\) 下的解。

竞赛里不一定要求完整理论，但常会遇到这种思路：
先在模 \(p\) 下找到解，再尝试把它提升到更高次幂模数。

它在求高次同余解、平方根模 \(p^k\)、多项式同余时非常有启发。
示例： 若 \[ x^2\equiv a\pmod p \] 有解，并且这个解不是某种“重根”情形，那么通常可以继续研究 \[ x^2\equiv a\pmod{p^2},\pmod{p^3} \] 是否也有解。
示例解释： 对竞赛来说，先把它理解成“模素数的解，有时能往更高模数递升”就够了。它代表的是一种非常重要的思路，而不只是单个公式。
130. Gauss 引理（Legendre 符号版）
前置：二次剩余、Legendre 符号。
定理解释： 设 \(p\) 为奇素数，\(a\) 与 \(p\) 互素。考虑 \[ a,2a,\dots,\frac{p-1}{2}a \] 模 \(p\) 后取最小绝对剩余。若其中有 \(m\) 个落在“负半边”，则 \[ \left(\frac ap\right)=(-1)^m. \]
它把 Legendre 符号转化成了一个计数问题。

这是二次互反律相关内容中的经典桥梁。
示例： 研究 \[ \left(\frac 2p\right) \] 时，Gauss 引理可以推出著名结论 \[ \left(\frac 2p\right)=(-1)^{(p^2-1)/8}. \]
示例解释： 它的价值在于，把“是不是平方剩余”转成了“某类符号个数的奇偶性”。这类转化在高阶数论里非常常见。
131. 二次互反律
数论中极经典，也很有竞赛味道。
定理解释： 对不同奇素数 \(p,q\)，有 \[ \left(\frac pq\right)\left(\frac qp\right)=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}. \]
它表示：“\(p\) 模 \(q\) 是否为平方剩余”和“\(q\) 模 \(p\) 是否为平方剩余”之间存在深刻的对称关系，但有时会带一个负号。

这是研究平方剩余最核心的定理之一。
示例： 若 \[ p\equiv q\equiv3\pmod4, \] 则 \[ \left(\frac pq\right)=-\left(\frac qp\right). \]
示例解释： 这条看起来抽象，但一旦掌握，就能把一个难判断的二次剩余问题“换模数”变成更容易判断的那个。
132. Eisenstein 判别法
虽然更偏代数，但整数多项式不可约题里非常常见。
定理解释： 若整系数多项式 \[ f(x)=a_nx^n+\cdots+a_1x+a_0 \] 存在素数 \(p\)，使得：
1. \(p\nmid a_n\)；
2. \(p\mid a_0,a_1,\dots,a_{n-1}\)；
3. \(p^2\nmid a_0\)，
则 \(f(x)\) 在有理数域上不可约。

虽不是纯同余定理，但在竞赛数论与整系数多项式交叉题里很常见。
示例： 例如 \[ x^p-2 \] 对素数 \(2\) 可直接用 Eisenstein 判别法，因此它在 \(\mathbb Q[x]\) 中不可约。
示例解释： 它的好处是非常“秒杀型”：一旦结构对上，几乎不用展开讨论。
133. Bang–Zsigmondy 原始素因子定理
前置：幂差分解。
定理解释： 对多数 \(a>b>0\) 与 \(n>1\) 的情形，数 \[ a^n-b^n \] 存在一个素因子 \(p\)，它不整除任何更早的 \[ a^k-b^k\quad (1\le k<n). \] 这样的素因子叫做原始素因子。

也就是说，随着指数 \(n\) 增长，幂差里通常会出现“全新的素数”。

这条在无穷多素因子、阶、指数构造题中非常有力。
示例： 例如 \[ 2^5-1=31, \] 其中 31 不整除更早的任何 \(2^k-1\)，所以它就是一个原始素因子。
示例解释： 这条的味道是：“指数长大了，通常就会逼出新的素数。”很多“无穷多新素因子”的证明，背后都能看到它的影子。
134. Carmichael 函数 \(\lambda(n)\) 的指数性质
定理解释： Carmichael 函数 \(\lambda(n)\) 是满足 \[ a^{\lambda(n)}\equiv1\pmod n \] 对所有 \(\gcd(a,n)=1\) 都成立的最小正整数。

它比 \(\varphi(n)\) 更精细，因为 \(\varphi(n)\) 只是一个保证成立的指数，而 \(\lambda(n)\) 是最小的公共周期。

在阶、指数循环、精确周期估计问题里，\(\lambda(n)\) 往往比 \(\varphi(n)\) 更有力。
示例： 例如 \[ \lambda(8)=2, \] 因为所有奇数 \(a\) 都满足 \[ a^2\equiv1\pmod8. \] 但 \[ \varphi(8)=4. \]
示例解释： 这说明 \(\varphi(n)\) 有时不是最优周期。若题目想找“更小的统一指数”，就应想到 \(\lambda(n)\)。
135. 模 \(2^k\) 下 \(x^2\equiv1\) 的四解现象
模 \(2^k\) 的二次同余经常比模奇素数更麻烦。
定理解释： 对 \(k\ge3\)，同余 \[ x^2\equiv1\pmod{2^k} \] 并不只有 \(\pm1\) 两解，而是恰有四解： \[ x\equiv \pm1,\ \pm(1+2^{k-1})\pmod{2^k}. \]
这和模奇素数情形很不一样。

所以孩子要特别注意：模 \(2^k\) 时，很多“模素数下成立的刚性”都会明显变松。
示例： 模 8 下， \[ 1^2\equiv3^2\equiv5^2\equiv7^2\equiv1\pmod8. \] 一下就出现了 4 个解。
示例解释： 这条很适合拿来提醒：处理 \(2\) 的高次幂模数时，不能机械照搬奇素数的直觉。
136. 高斯整数中两平方和判别的思想入口
竞赛里常以初等形式出现，不一定要完整学高斯整数。
定理解释： 一个正整数能表示成两平方和 \[ n=x^2+y^2 \] 的经典判别是：在 \(n\) 的素因子分解中，所有形如 \[ p\equiv3\pmod4 \] 的素数，其指数都必须是偶数。

这条本身已非常经典，而它背后的更深思想来自高斯整数 \(\mathbb Z[i]\) 的分解结构。

竞赛里哪怕不讲环论，知道这条判别也极其实用。
示例： 例如 \[ 45=3^2\cdot5 \] 中，\(3\equiv3\pmod4\) 的指数是 2（偶数），所以 45 可以表示成两平方和。事实上 \[ 45=6^2+3^2. \]
示例解释： 这条常常比直接找表示式更好用：先判“能不能表示”，再去构造。
137. 四平方和定理
定理解释： Lagrange 四平方和定理说：每个正整数都能表示成四个整数平方和： \[ n=x_1^2+x_2^2+x_3^2+x_4^2. \]
它和“两平方和判别”形成鲜明对比：两平方和有严格限制，但四平方和则对所有正整数都成立。

在竞赛中，这条常和模分类、构造、最小项数问题配合使用。
示例： 例如 \[ 23=3^2+3^2+2^2+1^2. \]
示例解释： 孩子可以通过这条建立一个很好的感觉：有的表示问题限制很强，有的则“普遍可做”。这正是数论结构差异的体现。
138. Legendre 三平方和定理
定理解释： 一个正整数能表示成三个平方和，当且仅当它不形如 \[ 4^a(8b+7). \]
这条是三平方和问题的完整判别。

它在竞赛中很常见，因为形式非常简洁，而且模 8 的障碍很有辨识度。
示例： 例如 \[ 7=4^0(8\cdot0+7), \] 所以 7 不能表示成三个平方和。

而 \[ 6=1^2+1^2+2^2 \] 则可以。
示例解释： 这条特别适合做“判别题”：先不急着构造，先看它有没有资格被表示。
139. Lagrange 插值的整值多项式思想
有时出现在“多项式在整数点取整值”的题中。
定理解释： 如果一个有理系数多项式在所有整数点都取整数值，那么它不一定是整系数多项式，但它可以用 \[ \binom{x}{0},\binom{x}{1},\binom{x}{2},\dots \] 这类基底作整系数组合表示。

这是整值多项式理论的基础思想，在数论与组合的交叉题里很有用。
示例： 例如 \[ \frac{x(x-1)}2=\binom{x}{2} \] 虽然系数里有 \(\frac12\)，但对每个整数 \(x\) 都取整数值。
示例解释： 这条特别适合处理“看起来不是整系数，但整数点总是整数”的题。它常常是隐藏工具。
140. Lifting-the-root 思想：模 \(p\) 根数受导数控制
更偏思想化条目，适合做“进阶眼界”。
定理解释： 对多项式同余 \[ f(x)\equiv0\pmod p, \] 若某个根 \(x_0\) 满足 \[ f'(x_0)\not\equiv0\pmod p, \] 那么这个根往往能唯一提升到模 \(p^k\) 的根。

这其实是 Hensel 提升里最竞赛化、最常见的一种情况。

它说明“导数不为 0”意味着根是稳定的，不会在提升过程中乱分叉。
示例： 若 \[ x^2-2\equiv0\pmod p \] 有根 \(x_0\)，且 \[ 2x_0\not\equiv0\pmod p, \] 那么常能继续提升到模 \(p^2,p^3\) 下的根。
示例解释： 对竞赛来说，先把它当成一个“稳定根可提升”的原则记住就很好。
141. 模素数下多项式根数上界
前置：域上的多项式基础。
定理解释： 在模素数 \(p\) 的意义下，一个次数为 \(d\) 的非零多项式 \[ f(x) \] 至多有 \(d\) 个根。

这条结论看起来基础，但在竞赛里非常有杀伤力。很多题目会先造出“太多根”，再推出多项式只能是零多项式或出现矛盾。
示例： 二次多项式 \[ x^2-1 \] 模奇素数 \(p\) 下至多只有两个根，而它的确只有 \[ x\equiv\pm1\pmod p \] 这两个根。
示例解释： 这条常和构造法、插值法、剩余类计数一起出现，属于“很朴素但很致命”的工具。
142. Chevalley 型思想的竞赛弱形式
正式定理较高阶，这里只保留竞赛里常见的味道。
定理解释： 在有限域上，当多项式方程组的总次数相对于变量数“不太大”时，解往往不会只有孤零零一个，而是会出现“要么没有，要么不止一个”的现象。

这类思想在有限域计数题、构造题、整除性题里偶尔会出现。虽然完整定理偏高阶，但认识这种“有限域里解数有模结构”的感觉很有帮助。
示例： 有时一道题会让你证明某个模 \(p\) 方程“不可能只有一个解”，这时就要提高警惕：背后也许是有限域上的整体结构，而不是单点计算。
示例解释： 这一条更适合作为眼界扩展，不一定要求孩子掌握正式陈述，但应知道：有限域上的解数常常不是随便乱来的。
143. Möbius 反演公式
前置：Möbius 函数 \(\mu(n)\)、约数求和。
定理解释： 若 \[ F(n)=\sum_{d\mid n} f(d), \] 则 \[ f(n)=\sum_{d\mid n}\mu(d)F\!\left(\frac nd\right). \]
它的本质是：如果一个函数是另一个函数按约数求和得到的，那么可以用 Möbius 函数把它反推回来。

这是数论反演的基础武器，在整除计数、互素计数、原始对象计数题中非常重要。
示例： 若已知 \[ \sum_{d\mid n}\varphi(d)=n, \] 则用反演可以倒推许多类似结构的函数关系。
示例解释： 它特别适合处理“先按约数总计，再问原始量是多少”的问题。很多“去重、去倍数、只留原始对象”的题，本质都在做反演。
144. Jordan 函数 \(J_k(n)\)
是 \(\varphi(n)\) 的高维推广。
定理解释： Jordan 函数定义为 \[ J_k(n)=n^k\prod_{p\mid n}\left(1-\frac1{p^k}\right). \] 当 \(k=1\) 时，它就是 Euler 函数 \(\varphi(n)\)。

它计数的是：\([1,n]^k\) 中与 \(n\) “整体互素”的 \(k\) 元组个数。

这在多维互素计数、格点计数、概率型数论题中很有用。
示例： 例如 \[ J_2(p)=p^2-1 \] 对素数 \(p\) 成立。
示例解释： 它可以理解为“\(\varphi\) 不只是单变量的工具，也有高维版本”。这条对拓展视野很有帮助。
145. Ramanujan 和的竞赛味道
正式理论较深，这里只保留常见数论气味。
定理解释： Ramanujan 和常写作 \[ c_q(n)=\sum_{\substack{1\le a\le q\\(a,q)=1}} e^{2\pi i an/q}. \] 它表面上像复数和，但最终却能化成很干净的整数函数。

在竞赛里未必直接要求这个定义，但其背后的思想——“按原始剩余类求和，结果很整齐”——非常值得知道。
示例： 某些题会要求你对所有与 \(q\) 互素的剩余类做求和，这时要提高警惕：这些和往往不乱，可能能用 Möbius 或 \(\varphi\) 化掉。
示例解释： 这条更像“视野补充条目”，不一定拿来直接套，但知道它的存在，会让你更愿意去找“互素类求和的整体规律”。
146. Pisano 周期
定理解释： Fibonacci 数列模 \(m\) 后一定进入周期，这个周期叫做 Pisano 周期。

也就是说，序列 \[ F_n\bmod m \] 总会循环。

这在递推数列模运算题里非常重要：一旦数列状态空间有限，就常常意味着周期性。
示例： 模 2 下，Fibonacci 数列变成 \[ 1,1,0,1,1,0,\dots \] 周期为 3。
示例解释： 竞赛里一旦看到“线性递推模 \(m\)”的题，应立刻想到状态有限、可能有周期。这就是 Pisano 周期背后的核心思想。
147. Rank of apparition（Fibonacci 的出现指标）
很小众，但在递推数列整除性里很有味道。
定理解释： 对给定正整数 \(m\)，最小的正整数 \(r\) 使得 \[ m\mid F_r \] 成立，这个 \(r\) 叫做 \(m\) 在 Fibonacci 数列中的出现指标。

它有点像“阶”的递推版：某个模数第一次在 Fibonacci 序列里出现整除，是在第几项。

这在 Fibonacci 的整除题、周期题里很有特色。
示例： 例如 \[ 3\mid F_4=3, \] 而前面没有更小项被 3 整除，所以 3 的出现指标是 4。
示例解释： 它和“阶”非常像，只不过对象从幂序列换成了递推序列。
148. Birkhoff–Vandiver 型原始因子现象（递推版味道）
完整表述较深，这里保留竞赛里最需要的感觉。
定理解释： 很多线性递推序列不仅有周期，而且随着项数增长，也会不断出现“新的素因子”，类似于幂差中的 Zsigmondy 现象。

这说明：某些递推序列的素因子世界，不会一直被前面那几个小素数垄断。
示例： 类似 Fibonacci、Lucas 这样的序列，在较大的项里通常会逼出新的素因子。
示例解释： 这类条目更偏眼界，但一旦题目问“这个递推序列的素因子是否无限多”，就应想到这类现象。
149. Farey 邻项性质
分数、连分数、最优逼近题里很常见。
定理解释： 在 Farey 序列中，若两个既约分数 \[ \frac ab<\frac cd \] 是相邻项，则有 \[ bc-ad=1. \]
这条说明 Farey 邻项之间有极强的整除与最简结构。

它常被用于分数逼近、最优分数、连分数相关题目。
示例： 在某个 Farey 序列里，若 \[ \frac13,\frac25 \] 相邻，则 \[ 3\cdot2-1\cdot5=1. \]
示例解释： 这条能快速识别“是不是 Farey 邻项”，也常用于构造夹逼最优分数。
150. Stern–Brocot 树的最简分数生成性
和 Farey、连分数、逼近问题关系很深。
定理解释： Stern–Brocot 树能够把所有正有理数且最简形式恰好生成一次。

也就是说，每个正分数都会在这棵树上出现，而且不会重复。

它在分数枚举、最简分数递归生成、路径编码问题里很有用。
示例： 从 \[ \frac01,\frac11,\frac10 \] 出发，不断插入 mediant \[ \frac{a+c}{b+d}, \] 就能逐步生成所有正有理数。
示例解释： 这类结构特别适合处理“最简分数如何系统枚举”的题，比单纯乱找强很多。
151. 连分数的最佳逼近性质
定理解释： 一个实数的连分数渐近分数 \[ \frac{p_n}{q_n} \] 是非常好的有理逼近，而且在分母不超过 \(q_n\) 的范围内，它往往是最优或近乎最优的。

这条在无理数逼近、Pell 方程、最优近似中地位非常高。
示例： \(\sqrt2\) 的连分数是 \[ [1;2,2,2,\dots], \] 它的渐近分数 \[ 1,\frac32,\frac75,\frac{17}{12},\dots \] 都是很好的逼近。
示例解释： 这些分数不仅近似得好，而且往往正好对应 Pell 方程的解，所以连分数和 Pell 本来就是一家人。
152. Pell 方程与连分数周期的对应
前置：Pell 方程、连分数。
定理解释： 对非平方正整数 \(D\)，\(\sqrt D\) 的连分数展开是周期的，而 Pell 方程 \[ x^2-Dy^2=1 \] 的基本解可以从这个周期结构中读出来。

这条说明：Pell 方程并不是孤立技巧题，它和无理数的最佳逼近本质相连。
示例： 对 \[ D=2, \] \(\sqrt2=[1;\overline{2}]\)，其周期信息会导出基本解 \[ (3,2). \]
示例解释： 这条很适合做“专题串联”：连分数不是独立板块，它会真正产出 Pell 方程的全部正解。
153. Ljunggren 型方程的有限解味道
更偏竞赛眼界条目。
定理解释： 某些看似很自然的二次/指数混合不定方程，解其实极少，甚至只有有限多个。Ljunggren 型方程就是这类现象的代表。

它提醒我们：并不是所有 Pell 风格方程都能无限生成，稍微改动结构，解集可能立刻变得极稀少。
示例： 某些形如 \[ x^4-Dy^2=1 \] 的方程，与经典 Pell 方程相比，解的行为会完全不同。
示例解释： 这一条主要用于拓展视野：孩子不要以为“长得像 Pell 的都能无限幂乘生成”。
154. Catalan–Mihăilescu 定理
著名的“连续幂数”定理，正式证明很深，但结论很有名。
定理解释： 唯一的正整数解满足 \[ x^a-y^b=1,\qquad x,y,a,b>1 \] 的是 \[ 3^2-2^3=1. \]
这说明两个非平凡幂数相差 1 的情况极端罕见，事实上只有这一组。
示例： 唯一例子就是 \[ 9-8=1. \]
示例解释： 在竞赛里，它有时直接作为已知结论使用；更多时候，它的意义在于告诉孩子：幂数之间“挤得很近”这件事通常非常困难。
155. Skolem–Mahler–Lech 现象的竞赛化理解
正式定理较高阶，这里只保留递推零点结构的味道。
定理解释： 对线性递推数列来说，某一项等于 0 的位置通常不是毫无规律的，而常常表现为有限集合加上一些等差数列的并。

虽然完整定理超出中学竞赛范围，但知道“线性递推的零点位置通常很结构化”，很有帮助。
示例： 某些模 \(m\) 的线性递推中，出现 0 的项号会呈现周期结构，而不是乱跳。
示例解释： 这一条更像眼界扩展，但它能加强孩子对“递推 + 模运算 = 周期/结构”的整体感觉。
156. Postage Stamp / Chicken McNugget 型最大不可表示数思想
是 Frobenius 定理的竞赛延伸视角。
定理解释： 当只有两个互素面值时，最大不可表示数有精确公式 \[ ab-a-b. \] 而一旦变量增加到三个及以上，问题会迅速复杂起来。

这一条并不是新定理，而是提醒：二变量 Frobenius 定理之所以漂亮，恰恰因为更高维情况并不容易。
示例： 两个数 \(4,7\) 时最大不可表示数是 17；但若换成 \(4,7,9\)，就不再有那样简单的统一公式。
示例解释： 竞赛里若题目从“两种面值”突然变成“三种面值”，往往意味着不能再机械套 Frobenius，而需要更细分析。
157. Van der Waerden 型数论味道：长等差结构不可避免
更偏组合数论交叉。
定理解释： 若把足够长的整数区间染成有限种颜色，总会出现任意给定长度的同色等差数列。

这不是纯初等数论定理，但在组合数论、模分类、结构存在性问题里很有代表性。
示例： 不管怎样把很长一段整数染成红蓝两色，只要够长，就必然出现 3 项甚至更长的同色等差数列。
示例解释： 这类条目能帮助孩子建立“整数结构是躲不掉的”这种感觉，对竞赛很重要。
158. Schur 定理（着色版）
与前面“多项式取值素因子无限”不是同一条，不重复。
定理解释： 若把正整数染成有限种颜色，则总存在同色的 \(x,y,z\)，满足 \[ x+y=z. \]
这是 Ramsey 型数论结论中的经典条目。

它说明：加法结构在有限染色下是不可避免的。
示例： 把正整数染成红蓝两色，不可能永远避免出现同色解 \[ x+y=z. \]
示例解释： 它适合做竞赛拓展，因为结论简单、味道很强，而且很能体现“结构不可避免”。
159. Erdős–Ginzburg–Ziv 定理
组合数论中的名定理，竞赛味道很足。
定理解释： 任意 \(2n-1\) 个整数中，总能选出 \(n\) 个，使它们的和被 \(n\) 整除。

这是一条非常漂亮的“零和子集”定理。它把“数量足够多”与“模结构必出现”连接了起来。
示例： 任意 5 个整数中，总能选出 3 个，使它们的和被 3 整除。
示例解释： 这条在零和问题、模分类、抽屉原理加强版里很有代表性。虽然偏组合数论，但数论竞赛里很值得认识。
160. Davenport 常数的味道
正式理论较深，这里只作零和问题的拓展补充。
定理解释： Davenport 常数研究的是：在一个有限阿贝尔群里，最少取多少个元素，就一定能找到一个非空子集，其和为零元。

这类问题是“零和理论”的核心，和模 \(n\) 加法、剩余类分组非常相关。
示例： 在循环群 \(\mathbb Z/n\mathbb Z\) 中，取够一定数量的元素后，就无法避免出现和为 0 的子集。
示例解释： 它适合作为 EGZ 定理之后的拓展视野：零和问题并不只是一条孤立定理，而是一个整片理论。

十四、素性判别、特殊素数与高阶同余补全

补上原网页中较少展开的素性判别、特殊素数族、同余提升与罕见组合数同余。很多条不要求一开始证明，但适合作为“知道有这把工具”的定理卡。
161. Euclid 无穷多素数定理 核心补全素数反证
定理陈述：素数有无穷多个。经典证明：若只有 \(p_1,\dots,p_k\)，则 \(N=p_1p_2\cdots p_k+1\) 不被其中任何一个整除，从而产生新素因子。
前置：整除、素数定义、反证法。
用途：用于建立素数理论的起点，也用于训练“构造一个不被旧素数整除的数”的思想。
证明入口：证明入口：假设素数有限；构造乘积加一；追踪它的任一素因子。
162. Euclid 型无穷多素数变式 竞赛常用素数构造
定理陈述：通过构造 \(a_1a_2\cdots a_k\pm 1\)、阶或同余条件，可证明某些素因子必须不断出现；这是许多“某类素因子无限多”的基础模板。
前置：Euclid 证明、同余、乘法阶。
用途：用于证明形如“满足某个同余条件的素因子无限出现”的弱结论。
证明入口：证明入口：先让新数与旧素数互素，再分析新素因子的剩余类或阶。
163. Mersenne 素数指数必要条件 核心补全特殊素数因式分解
定理陈述：若 \(2^n-1\) 是素数，则 \(n\) 必为素数。因为若 \(n=ab\)，则 \(2^n-1=(2^a)^b-1\) 可分解。
前置：差幂分解。
用途：用于快速排除 Mersenne 数为素数的可能，也训练“指数合成导致因式分解”。
证明入口：证明入口：使用 \(x^b-1=(x-1)(x^{b-1}+\cdots+1)\)。
164. Fermat 数两两互素定理 竞赛常用Fermat数互素
定理陈述：令 \(F_n=2^{2^n}+1\)。有 \(F_0F_1\cdots F_{n-1}=F_n-2\)，因此不同 Fermat 数两两互素。
前置：幂差分解、归纳。
用途：用于构造无穷多不同素因子，也是 Euclid 证明的一条优美变式。
证明入口：证明入口：先验证乘积恒等式，再用 gcd 追踪公共因子。
165. Lucas 素性判别 高级可选素性判别乘法阶
定理陈述：若 \(N>1\)，存在整数 \(a\) 使 \(a^{N-1}\equiv1\pmod N\)，且对每个素因子 \(q\mid N-1\)，都有 \(\gcd(a^{(N-1)/q}-1,N)=1\)，则 \(N\) 为素数。
前置：乘法阶、\(N-1\) 的素因子分解。
用途：用于把“阶必须整除 \(N-1\)”反过来做素性证明，是 Pocklington 与 Pratt 证书的核心影子。
证明入口：证明入口：若素数 \(r\mid N\)，证明 \(a\) 模 \(r\) 的阶被迫等于 \(N-1\)，从而 \(N-1\mid r-1\)，推出 \(r\ge N\)。
166. Pocklington 素性判别 高级可选素性判别高级
定理陈述：设 \(N-1=FR\)，且已知 \(F\) 的素因子分解并有 \(F>\sqrt N\)。若对每个素因子 \(q\mid F\)，存在 \(a\) 使 \(a^{N-1}\equiv1\pmod N\)，且 \(\gcd(a^{(N-1)/q}-1,N)=1\)，则 \(N\) 为素数。
前置：Lucas 素性判别、阶、gcd。
用途：用于证明大数为素数，尤其当 \(N-1\) 有很大的已知因子时。
证明入口：证明入口：对任一素因子 \(r\mid N\)，证明 \(F\mid r-1\)，再由 \(F>\sqrt N\) 排除合数。
167. Proth 定理 高级可选Proth素性判别
定理陈述：若 \(N=k2^n+1\)，其中 \(k\) 为奇数且 \(k<2^n\)，则 \(N\) 为素数当且仅当存在 \(a\)，使 \(a^{(N-1)/2}\equiv-1\pmod N\)。
前置：二次剩余、Euler 判别、Pocklington 思想。
用途：用于判定 Proth 数的素性，是特殊形状素数判别的经典定理。
证明入口：证明入口：正向用 Euler 判别；反向用阶为 \(2^n\) 的因子并配合 \(k<2^n\)。
168. Pépin 定理 高级可选Fermat数素性判别
定理陈述：对 Fermat 数 \(F_n=2^{2^n}+1\)，当 \(n\ge1\) 时，\(F_n\) 为素数当且仅当 \(3^{(F_n-1)/2}\equiv-1\pmod{F_n}\)。
前置：Proth 定理、Fermat 数结构。
用途：用于 Fermat 数素性判别；形式非常简洁，但背后依赖二次剩余与阶。
证明入口：证明入口：把 Fermat 数看成 Proth 数，并验证 \(3\) 的二次非剩余条件。
169. Lucas–Lehmer 判别法 高级可选Mersenne递推
定理陈述：若 \(p\) 为奇素数，\(M_p=2^p-1\)。定义 \(s_0=4,\ s_{n+1}=s_n^2-2\)。则 \(M_p\) 为素数当且仅当 \(s_{p-2}\equiv0\pmod{M_p}\)。
前置：二次域/有限域中的单位思想、递推同余。
用途：用于 Mersenne 素数判定，是特殊素数族里最著名的判别之一。
证明入口：证明入口：先把递推写成 \(\alpha^{2^n}+\alpha^{-2^n}\) 的形式。
170. AKS 素性判定定理 视野拓展算法素性判别
定理陈述：素性可以用确定性多项式时间算法判定。一个核心影子是：素数 \(n\) 满足 \((x+a)^n\equiv x^n+a\pmod n\)，AKS 将这种多项式同余改造为可有限检查的算法。
前置：多项式模 \(n\)、Fermat 小定理、复杂度概念。
用途：用于拓展“素数判定不只是试除”的视野；不建议作为低龄阶段的证明任务。
证明入口：证明入口：先理解素数模下二项式中间项都被 \(p\) 整除。
171. Sophie Germain 定理（FLT 第一情形） 视野拓展Fermat大定理历史
定理陈述：若 \(p\) 与 \(2p+1\) 都是素数，则 Fermat 大定理指数 \(p\) 的第一情形成立：不存在互素整数 \(x,y,z\) 满足 \(x^p+y^p=z^p\) 且 \(p\nmid xyz\)。
前置：同余、阶、Fermat 大定理背景。
用途：用于了解早期 Fermat 大定理研究中的同余法与辅助素数思想。
证明入口：证明入口：先研究 \(x^p+y^p\) 的因式分解与模 \(2p+1\) 的 \(p\) 次幂剩余。
172. Babbage 同余 进阶核心组合数同余p进
定理陈述：若 \(p\ge3\) 为素数，则 \(\binom{2p-1}{p-1}\equiv1\pmod{p^2}\)。Wolstenholme 定理可看作它在 \(p>3\) 时的模 \(p^3\) 加强。
前置：组合数、\(p\)-进估值、调和和同余。
用途：用于组合数模高次素数幂的入门，也连接 Wolstenholme 定理。
证明入口：证明入口：将 \(\binom{2p-1}{p-1}=\prod_{k=1}^{p-1}(1+p/k)\) 展开到模 \(p^2\)。
173. Morley 同余 高级可选高阶同余二项式
定理陈述：若 \(p>3\) 为奇素数，则 \((-1)^{(p-1)/2}\binom{p-1}{(p-1)/2}\equiv4^{p-1}\pmod{p^3}\)。
前置：Wolstenholme 型同余、二项式展开。
用途：用于认识中心二项式系数的高阶同余，是较生僻但漂亮的模 \(p^3\) 结论。
证明入口：证明入口：把两边都转化为 \(\prod(1\pm p/k)\) 的乘积展开。
174. Jacobsthal 组合数同余 高级可选组合数同余p进
定理陈述：对素数 \(p\ge5\)，常用弱形式为 \(\binom{pa}{pb}\equiv\binom{a}{b}\pmod{p^3}\)。更精细版本会给出更高的 \(p\)-进指数。
前置：Kummer、Lucas、\(p\)-进展开。
用途：用于把组合数的参数同时乘以 \(p\) 时进行高阶模化简。
证明入口：证明入口：比较分子分母中非 \(p\) 部分的乘积，并控制调和和。
175. Granville 定理（Lucas 的素数幂推广） 视野拓展Lucas推广素数幂
定理陈述：Granville 定理给出 \(\binom{n}{m}\pmod{p^q}\) 的数位化计算方法；Lucas 定理只是 \(q=1\) 时最简单的影子。
前置：Lucas、Kummer、\(p\)-进数位与进位。
用途：用于提醒孩子：组合数模素数与模素数幂之间有完整的进阶理论。
证明入口：证明入口：先把 \(n,m,n-m\) 按 \(p\) 进制分块，追踪进位与非 \(p\) 部分。
176. Fleck 同余 高级可选组合数和生僻
定理陈述：若 \(p\) 为素数，则对固定剩余类 \(r\)，\(\sum_{k\equiv r\pmod p}(-1)^k\binom{n}{k}\) 被 \(p^{\lfloor (n-1)/(p-1)\rfloor}\) 整除。
前置：二项式、单位根筛、\(p\)-进估值。
用途：用于处理“只取某个模类上的组合数和”的整除性，是很生僻但结构清晰的工具。
证明入口：证明入口：用 \((1-\zeta)^n\) 的单位根过滤思想理解为何某些模类和会多出 \(p\)-因子。
177. Fermat 商 \(q_p(a)\) 的基本同余 进阶核心Fermat商高阶同余
定理陈述：对 \(p\nmid a\)，定义 \(q_p(a)=\frac{a^{p-1}-1}{p}\)。有 \(q_p(ab)\equiv q_p(a)+q_p(b)\pmod p\)，且 \(q_p(a^k)\equiv kq_p(a)\pmod p\)。
前置：Fermat 小定理、模 \(p^2\)。
用途：用于研究模 \(p^2\) 的指数同余、Wieferich 素数和高阶 Fermat 现象。
证明入口：证明入口：写出 \((ab)^{p-1}-1=(a^{p-1}-1)b^{p-1}+(b^{p-1}-1)\)。
178. Wieferich 条件 高级可选Wieferich素数
定理陈述：若 \(p\nmid a\)，则 \(a^{p-1}\equiv1\pmod{p^2}\) 当且仅当 \(q_p(a)\equiv0\pmod p\)。当 \(a=2\) 时，这类素数称为以 2 为底的 Wieferich 素数。
前置：Fermat 商、模 \(p^2\)。
用途：用于连接 Fermat 小定理的“高一阶失效/强化”现象。
证明入口：证明入口：直接把 Fermat 商定义代入模 \(p\) 条件。

十五、表示定理、二次型与格点方法补全

补充两平方、四平方、三角数、多边形数、二次型与格点几何。它们不全是初等难度，但都能帮助孩子建立“整数如何被某种形状表示”的框架。
179. Fermat 两平方和定理 进阶核心表示定理两平方
定理陈述：奇素数 \(p\) 可表示为 \(p=x^2+y^2\) 当且仅当 \(p\equiv1\pmod4\)。一般整数 \(n\) 可表示为两平方和，当且仅当所有 \(p\equiv3\pmod4\) 的素因子在 \(n\) 中指数为偶数。
前置：二次剩余、唯一分解、高斯整数思想。
用途：用于判断平方和表示，也连接二次剩余与代数数论。
证明入口：证明入口：必要性可模 4；充分性通常经由高斯整数或 Wilson 构造。
180. Brahmagupta–Fibonacci 恒等式 核心补全恒等式两平方
定理陈述：两个两平方和的乘积仍是两平方和：\((a^2+b^2)(c^2+d^2)=(ac-bd)^2+(ad+bc)^2\)。
前置：代数恒等式、复数或高斯整数。
用途：用于两平方和定理的乘法封闭性，也用于构造表示。
证明入口：证明入口：直接展开，或把它看成复数模长乘法。
181. 两平方表示数公式 高级可选表示数算术函数
定理陈述：设 \(r_2(n)\) 计入顺序与符号的整数解个数 \(x^2+y^2=n\)。则 \(r_2(n)=4(d_1(n)-d_3(n))\)，其中 \(d_i(n)\) 表示 \(n\) 的因子中同余于 \(i\pmod4\) 的个数。
前置：Dirichlet 角色、两平方和定理。
用途：用于从“是否可表示”升级到“有多少种表示”。
证明入口：证明入口：先把 \(r_2\) 看成一个乘性函数，再计算素数幂情形。
182. Euler 四平方恒等式 进阶核心四平方恒等式
定理陈述：两个四平方和的乘积仍是四平方和。这一恒等式保证四平方可表示性在乘法下封闭，是 Lagrange 四平方定理的重要背景。
前置：代数恒等式、四元数思想。
用途：用于理解四平方定理为什么具有乘法结构。
证明入口：证明入口：从四元数范数乘法或直接展开恒等式入手。
183. Jacobi 四平方表示数公式 高级可选表示数四平方
定理陈述：若 \(r_4(n)\) 计入顺序与符号的整数解个数 \(x_1^2+x_2^2+x_3^2+x_4^2=n\)，则 \(r_4(n)=8\sum_{d\mid n,\ 4\nmid d}d\)。
前置：Lagrange 四平方定理、约数和函数。
用途：用于从“每个数都能表示”提升到“表示数可精确计算”。
证明入口：证明入口：可以先验证小 \(n\)，再了解 theta 函数或初等递推证明思路。
184. Gauss 三角数 Eureka 定理 高级可选三角数表示定理
定理陈述：每个非负整数都可以表示为三个三角数之和，即 \(n=T_a+T_b+T_c\)，其中 \(T_k=k(k+1)/2\)。
前置：三平方定理、奇数平方变换。
用途：用于连接多边形数与三平方定理，形式简单但证明不浅。
证明入口：证明入口：把 \(8T_k+1=(2k+1)^2\)，转化为三个奇数平方之和。
185. Fermat 多边形数定理 视野拓展多边形数表示
定理陈述：对每个 \(k\ge3\)，每个正整数都可表示为至多 \(k\) 个 \(k\)-边形数之和。三角数情形就是 Gauss Eureka 定理。
前置：多边形数、二次型、表示理论。
用途：用于拓展“平方和”之外的加法表示问题。
证明入口：证明入口：先理解三角数与四平方的两个特例，再把一般情形作为视野条目。
186. Hilbert–Waring 定理 视野拓展Waring加法数论
定理陈述：对每个正整数 \(k\)，存在常数 \(g(k)\)，使得每个非负整数都能表示为至多 \(g(k)\) 个 \(k\) 次幂之和。
前置：加法数论、幂和表示。
用途：用于理解 Waring 问题：不是固定一个数，而是固定幂次后寻找统一上界。
证明入口：证明入口：先从四平方定理 \(k=2\) 对比理解。
187. Hasse–Minkowski 定理（二次型局部整体原理） 视野拓展二次型局部整体
定理陈述：有理数域上的二次型方程有非零有理解，当且仅当它在实数域和所有 \(p\)-进数域上都有非零解。
前置：二次型、\(p\)-进数、局部整体思想。
用途：用于理解“先模每个素数检查，再合成整体结论”的深层版本。
证明入口：证明入口：先学会用模数排除；再把“模所有 \(p^k\)”理解为 \(p\)-进局部条件。
188. Minkowski 凸体定理 视野拓展几何数论格
定理陈述：在 \(\mathbb R^n\) 中，若关于原点对称的凸体体积大于 \(2^n\det\Lambda\)，则其中含有格 \(\Lambda\) 的非零点。
前置：格、体积、凸集。
用途：用于代数数论、几何数论与逼近论，是“面积/体积逼出整数点”的核心定理。
证明入口：证明入口：先用抽屉原理证明二维格点的弱版本。
189. Blichfeldt 定理 高级可选格点抽屉
定理陈述：若可测集合 \(S\) 的体积大于格 \(\Lambda\) 的基本区域体积，则 \(S\) 中存在两点，其差是非零格点。
前置：格、体积、抽屉原理。
用途：用于证明 Minkowski 定理，也适合展示“连续体积推出离散结构”。
证明入口：证明入口：把集合按格的基本区域折叠，体积超过一份就发生重叠。
190. Pick 定理 竞赛常用格点面积
定理陈述：平面格点多边形面积满足 \(A=I+\frac{B}{2}-1\)，其中 \(I\) 是内部格点数，\(B\) 是边界格点数。
前置：格点、多边形面积、Euler 思想。
用途：虽然常归入几何，但在数论格点计数中非常实用。
证明入口：证明入口：先证明格点三角形情形，再用剖分推广。

十六、逼近论、连分数与均匀分布补全

这部分服务 Pell 方程、取整函数、无理数倍数、分数序列等专题。打印版里会压缩成可勾选条目。
191. Dirichlet 逼近定理 进阶核心逼近抽屉
定理陈述：对任意实数 \(\alpha\) 与正整数 \(N\)，存在 \(1\le q\le N\)，使 \(\|q\alpha\|<1/N\)。因此无理数 \(\alpha\) 有无穷多有理数 \(p/q\) 满足 \(|\alpha-p/q|<1/q^2\)。
前置：抽屉原理、小数部分。
用途：用于无理数逼近、连分数、Pell 方程与取整估计。
证明入口：证明入口：考察 \(0,\{\alpha\},\{2\alpha\},\dots,\{N\alpha\}\) 在 \(N\) 个区间中的分布。
192. Hurwitz 逼近定理 高级可选逼近连分数
定理陈述：任意无理数 \(\alpha\) 都有无穷多 \(p/q\) 满足 \(|\alpha-p/q|<1/(\sqrt5\,q^2)\)，且常数 \(\sqrt5\) 是最佳的。
前置：连分数、最佳逼近。
用途：用于理解黄金分割为什么是“最难逼近”的无理数。
证明入口：证明入口：用连分数相邻收敛分数的误差估计。
193. Legendre 连分数判别定理 进阶核心连分数逼近
定理陈述：若有理数 \(p/q\) 满足 \(|\alpha-p/q|<1/(2q^2)\)，则 \(p/q\) 必为 \(\alpha\) 的某个连分数收敛分数。
前置：连分数、收敛分数误差。
用途：用于反向识别“特别好的近似”必来自连分数。
证明入口：证明入口：比较任意非收敛分数与相邻收敛分数的误差下界。
194. Lagrange 连分数定理 进阶核心连分数Pell
定理陈述：实无理数的简单连分数最终周期，当且仅当它是二次无理数。特别地，\(\sqrt D\) 的连分数展开是周期的。
前置：连分数、二次方程、Pell 方程。
用途：用于 Pell 方程基本解的寻找与结构解释。
证明入口：证明入口：先研究 \(\sqrt D\) 连分数算法中可能出现的有限状态。
195. Kronecker 逼近定理 视野拓展均匀分布逼近
定理陈述：若 \(1,\alpha_1,\dots,\alpha_m\) 在有理数上线性无关，则序列 \(n(\alpha_1,\dots,\alpha_m)\) 在 \(m\) 维环面上稠密。
前置：模 1、小数部分、线性无关。
用途：用于理解多个无理数倍数的小数部分为何能同时逼近给定目标。
证明入口：证明入口：先从一维 \(\{n\alpha\}\) 稠密开始。
196. Weyl 均匀分布判别准则 高级可选均匀分布指数和
定理陈述：序列 \(x_n\) 模 1 均匀分布，当且仅当对每个非零整数 \(h\)，有 \(\frac1N\sum_{n=1}^N e^{2\pi i h x_n}\to0\)。
前置：复数、指数和、模 1 分布。
用途：用于把均匀分布问题转化为指数和估计。
证明入口：证明入口：先把区间指示函数用三角多项式逼近。
197. Weyl 多项式均匀分布定理 视野拓展多项式均匀分布
定理陈述：若实系数多项式 \(P(n)\) 至少有一个非常数项的系数为无理数，则 \(P(n)\) 模 1 均匀分布。
前置：Weyl 判别准则、差分法。
用途：用于取整、多项式序列、无理数倍数专题的高阶视野。
证明入口：证明入口：先证明 \(P(n)=\alpha n\) 且 \(\alpha\) 无理的情形。
198. Markov 方程与最佳逼近 视野拓展Markov逼近
定理陈述：Markov 三元组满足 \(x^2+y^2+z^2=3xyz\)，它们与二次无理数的最佳逼近常数密切相关。
前置：连分数、二次型、Diophantine approximation。
用途：用于展示 Pell/连分数之外更深的逼近结构。
证明入口：证明入口：先观察 \((1,1,1),(1,1,2),(1,2,5)\) 等解如何由换根生成。
199. Hermite 恒等式（取整和） 竞赛常用取整求和
定理陈述：若 \(m\) 为正整数，实数 \(x\) 满足 \(mx\notin\mathbb Z\)，则 \(\sum_{k=0}^{m-1}\left\lfloor x+\frac{k}{m}\right\rfloor=\lfloor mx\rfloor\)。有整数边界时需作微调。
前置：取整函数、小数部分。
用途：用于取整求和、Beatty 序列与分段计数。
证明入口：证明入口：把 \(x\) 写成整数部分加小数部分，观察小数部分穿过整数的次数。
200. Rayleigh–Beatty 分拆定理的互补形式 进阶核心Beatty取整
定理陈述：若 \(\alpha,\beta>1\) 且 \(1/\alpha+1/\beta=1\)，并且 \(\alpha,\beta\) 为无理数，则序列 \(\lfloor n\alpha\rfloor\) 与 \(\lfloor n\beta\rfloor\) 将正整数恰好分拆成两部分。
前置：Beatty 定理、小数部分计数。
用途：用于建立“两个无理斜率序列互补覆盖”的框架。
证明入口：证明入口：固定 \(m\)，数有多少 \(n\) 使 \(\lfloor n\alpha\rfloor<m\)，再与 \(\beta\) 部分相加。

十七、算术函数、卷积、筛法与解析数论入口补全

这部分补充数论函数背后的代数结构，以及筛法/解析数论的最低门槛版本。适合高水平学生建立“函数—卷积—求和—筛”的链条。
201. Dirichlet 卷积逆元定理 进阶核心卷积反演
定理陈述：若算术函数 \(f(1)\ne0\)，则存在唯一算术函数 \(g\)，使 \(f*g=\varepsilon\)。这里 \(\varepsilon(1)=1,\ \varepsilon(n)=0(n>1)\)。
前置：Dirichlet 卷积、递推定义。
用途：用于理解 Möbius 函数为什么是常数函数 \(1\) 的卷积逆元。
证明入口：证明入口：由 \(n=1\) 确定 \(g(1)\)，再按 \(n\) 的大小递推求 \(g(n)\)。
202. 积性函数的 Euler 乘积 高级可选Euler乘积积性函数
定理陈述：若 \(f\) 为积性函数，且级数适当收敛，则 \(\sum_{n\ge1} f(n)n^{-s}=\prod_p\left(\sum_{k\ge0} f(p^k)p^{-ks}\right)\)。
前置：唯一分解定理、积性函数、级数乘法。
用途：用于把整数求和拆成素数局部因子，是解析数论的入口。
证明入口：证明入口：先对有限素数集合展开乘积，再让范围扩大。
203. Dirichlet 双曲线法 高级可选求和解析数论
定理陈述：对约数卷积求和 \(\sum_{n\le x}(f*g)(n)\)，可把条件 \(ab\le x\) 按 \(a\le y\) 与 \(b\le x/y\) 分区，避免重复计数。
前置：约数求和、双重计数、取整估计。
用途：用于估计约数函数求和、互素计数和许多数论平均值。
证明入口：证明入口：把 \(\sum_{n\le x}\sum_{d\mid n}\) 改写为 \(\sum_{ab\le x}\)。
204. von Mangoldt 函数恒等式 高级可选Mangoldt卷积
定理陈述：定义 \(\Lambda(n)=\log p\) 若 \(n=p^k\)，否则为 \(0\)。则 \(\sum_{d\mid n}\Lambda(d)=\log n\)。
前置：唯一分解、约数求和。
用途：用于把素数信息编码进约数卷积，是素数定理的基本函数语言。
证明入口：证明入口：若 \(n=\prod p_i^{a_i}\)，左边只统计每个 \(p_i,p_i^2,\dots,p_i^{a_i}\)。
205. Liouville 函数平方判别恒等式 进阶核心Liouville平方
定理陈述：定义 \(\lambda(n)=(-1)^{\Omega(n)}\)。则 \(\sum_{d\mid n}\lambda(d)=1\) 当 \(n\) 为完全平方，否则为 \(0\)。
前置：唯一分解、积性函数。
用途：用于用卷积语言识别平方数，是 Möbius 函数之外的常见筛子。
证明入口：证明入口：先对 \(n=p^a\) 计算 \(\sum_{j=0}^a(-1)^j\)，再用积性推广。
206. Menon 恒等式 高级可选gcd求和恒等式
定理陈述：对正整数 \(n\)，有 \(\sum_{\substack{1\le a\le n\\(a,n)=1}}\gcd(a-1,n)=\varphi(n)\tau(n)\)。
前置：缩系、gcd 分层、约数函数。
用途：用于展示 gcd 求和与缩系计数之间的漂亮联系。
证明入口：证明入口：按 \(d=\gcd(a-1,n)\) 分类，并转化为模 \(n/d\) 的互素条件。
207. Dedekind psi 函数 高级可选算术函数积性
定理陈述：定义 \(\psi(n)=n\prod_{p\mid n}(1+1/p)\)。它是一个积性函数，常出现在模群指数、约数结构与平方自由核相关问题中。
前置：积性函数、素因子集合。
用途：用于补充 \(\varphi,\sigma,\tau,J_k\) 之外的常见算术函数。
证明入口：证明入口：先计算素数幂 \(\psi(p^a)=p^a+p^{a-1}\)。
208. Legendre 筛公式 高级可选筛法素数计数
定理陈述：令 \(\phi(x,a)\) 表示不超过 \(x\) 且不被前 \(a\) 个素数整除的正整数个数，则 \(\phi(x,a)=\phi(x,a-1)-\phi(x/p_a,a-1)\)。
前置：筛法、容斥、素数表。
用途：用于理解 Meissel–Lehmer 素数计数和 Eratosthenes 筛的递推形式。
证明入口：证明入口：从未被前 \(a-1\) 个素数筛掉的数中，减去能被 \(p_a\) 整除的那些。
209. Brun 筛与孪生素数倒数收敛 视野拓展筛法素数
定理陈述：Brun 的方法可证明孪生素数倒数和若存在无限多项，其总和也收敛。这说明孪生素数比普通素数稀疏得多。
前置：筛法、上界估计。
用途：用于了解现代筛法能证明“接近素数猜想”的部分结果。
证明入口：证明入口：先理解筛法给的是上界，而不是精确公式。
210. Selberg 筛思想 视野拓展筛法视野
定理陈述：Selberg 筛通过选择最优权重来估计避开若干素因子的整数集合大小，是现代筛法的核心工具之一。
前置：容斥、权重、二次型优化。
用途：用于建立“筛法不是简单容斥，而是带权优化”的视野。
证明入口：证明入口：把容斥中的 \(\mu(d)\) 换成可调权重，追求上界最小。

十八、有限域、多项式方法与组合数论补全

这部分把“模素数多项式”“零和”“加法组合”放在一起，适合孩子学完二次剩余、原根和多项式根数之后拓展。
211. 有限域乘法群循环定理 进阶核心有限域原根
定理陈述：有限域 \(\mathbb F_q\) 的非零元素乘法群 \(\mathbb F_q^\times\) 是循环群，阶为 \(q-1\)。
前置：有限域、多项式根数、有限阿贝尔群基础。
用途：用于统一解释原根、高次剩余和有限域中的指数方程。
证明入口：证明入口：先在 \(\mathbb F_p\) 中理解原根，再推广到任意有限域。
212. 有限域存在唯一性定理 视野拓展有限域代数
定理陈述：对每个素数幂 \(q=p^n\)，存在含 \(q\) 个元素的有限域，且在同构意义下唯一；不存在其他大小的有限域。
前置：多项式不可约、域扩张。
用途：用于知道为什么有限域大小一定是素数幂，也为高阶剩余理论铺路。
证明入口：证明入口：先从 \(\mathbb F_p[x]\) 模不可约多项式构造扩域。
213. 有限域上的 Fermat 多项式 核心补全多项式有限域
定理陈述：在 \(\mathbb F_p\) 中，所有元素都是多项式 \(x^p-x\) 的根，因此 \(x^p-x=\prod_{a\in\mathbb F_p}(x-a)\)。
前置：Fermat 小定理、多项式根数。
用途：用于证明 Wilson 定理、有限域根数问题和多项式恒等式。
证明入口：证明入口：利用 Fermat 小定理证明每个元素为根，再比较次数和首项。
214. Schwartz–Zippel 引理 进阶核心多项式方法根数
定理陈述：非零多项式 \(P\) 总次数为 \(d\)。若每个变量从有限集合 \(S\) 中取值，则 \(P\) 为零的点数至多 \(d|S|^{n-1}\)。
前置：多项式次数、归纳。
用途：用于证明多项式不恒为零时不能在太多点上消失，是多项式方法基础。
证明入口：证明入口：对变量个数归纳，把多项式视为关于最后一个变量的多项式。
215. Combinatorial Nullstellensatz 高级可选多项式方法组合数论
定理陈述：若多项式中 \(\prod x_i^{t_i}\) 的系数非零，且总次数等于 \(\sum t_i\)，那么对任意集合 \(S_i\) 满足 \(|S_i|>t_i\)，存在取值使多项式不为零。
前置：多项式插值、有限集合。
用途：用于加法组合、图论染色、数论构造中的存在性证明。
证明入口：证明入口：先学一变量插值，再理解最高次数项系数如何由网格取值决定。
216. Cauchy–Davenport 定理 进阶核心加法组合模p
定理陈述：若 \(A,B\subseteq\mathbb F_p\)，则 \(|A+B|\ge \min(p,\ |A|+|B|-1)\)。
前置：模素数集合、加法集合。
用途：用于证明模素数下的加法不可过度压缩，是加法组合数论的基础。
证明入口：证明入口：可用多项式方法或 Vosper 前的初等压缩思想。
217. Erdős–Heilbronn 定理 高级可选加法组合限制和集
定理陈述：若 \(A\subseteq\mathbb F_p\)，限制和集 \(A\dotplus A=\{a+b:a,b\in A,a\ne b\}\) 满足 \(|A\dotplus A|\ge\min(p,2|A|-3)\)。
前置：Cauchy–Davenport、多项式方法。
用途：用于处理不允许重复取同一元素的模加法问题。
证明入口：证明入口：比较普通和集与限制和集的区别，再用多项式方法补掉对角线。
218. Chevalley–Warning 定理 高级可选有限域零点
定理陈述：在有限域 \(\mathbb F_q\) 上，若多项式方程组的总次数和小于变量个数，则公共零点个数可被特征素数 \(p\) 整除。
前置：有限域、多项式求和、Fermat 小定理。
用途：用于证明非平凡零点存在，尤其是零和与模方程问题。
证明入口：证明入口：把“是否为零”用 \(1-f^{q-1}\) 表示，再对全空间求和。
219. Warning 第二定理 视野拓展有限域视野
定理陈述：有限域上方程组若有零点，且变量数大于总次数，则零点数不仅不止一个，通常还能给出至少 \(q^{n-d}\) 量级的下界。
前置：Chevalley–Warning、有限域。
用途：用于理解“低次数方程在高维空间里零点很多”的思想。
证明入口：证明入口：先比较 Chevalley–Warning 的“个数被 p 整除”如何推出非唯一。
220. Ax–Katz 定理 视野拓展有限域p进
定理陈述：Ax–Katz 定理给出有限域多项式方程组零点个数的更强 \(p\)-进整除下界，是 Chevalley–Warning 的深层推广。
前置：Chevalley–Warning、\(p\)-进估值。
用途：用于高阶视野：零点个数不仅可能被 \(p\) 整除，还可能被更高次 \(p\) 整除。
证明入口：证明入口：先把 Chevalley–Warning 看成最低阶的 \(p\)-进结论。

十九、递推、Fibonacci/Lucas 序列与原始因子补全

原网页已有 Pisano 周期、出现指标与原始因子味道，这里补齐递推序列常用恒等式与更正式的定理入口。
221. Cassini 恒等式 核心补全Fibonacci恒等式
定理陈述：Fibonacci 数满足 \(F_{n+1}F_{n-1}-F_n^2=(-1)^n\)。
前置：Fibonacci 递推、归纳或矩阵法。
用途：用于证明相邻 Fibonacci 数互素、处理递推序列中的 gcd。
证明入口：证明入口：用归纳，或计算矩阵 \(\begin{pmatrix}1&1\\1&0\end{pmatrix}^n\) 的行列式。
222. Fibonacci 强整除性 进阶核心Fibonaccigcd
定理陈述：Fibonacci 数满足 \(\gcd(F_m,F_n)=F_{\gcd(m,n)}\)。
前置：Euclid 算法、递推恒等式。
用途：用于把 Fibonacci 下标的 gcd 转化为数值 gcd，是出现指标理论的基础。
证明入口：证明入口：先证明 \(F_{a+b}=F_{a-1}F_b+F_aF_{b+1}\)，再模拟 Euclid 算法。
223. Fibonacci 出现指标整除性 进阶核心Fibonacci出现指标
定理陈述：若素数 \(p\nmid 5\)，定义 \(z(p)\) 为最小正整数使 \(p\mid F_{z(p)}\)。则 \(p\mid F_n\) 当且仅当 \(z(p)\mid n\)。
前置：强整除性、模周期。
用途：用于分析哪些 Fibonacci 项含有给定素因子。
证明入口：证明入口：用 \(\gcd(F_m,F_n)=F_{\gcd(m,n)}\)。
224. Lucas 序列强整除性 高级可选Lucas序列递推
定理陈述：许多 Lucas 序列 \(U_n(P,Q)\) 在适当条件下满足强整除性质：\(\gcd(U_m,U_n)\) 与 \(U_{\gcd(m,n)}\) 紧密相关。
前置：Lucas 序列、判别式、递推。
用途：用于把 Fibonacci 的整除结构推广到更一般的二阶线性递推。
证明入口：证明入口：先把 Lucas 序列写成 \((\alpha^n-\beta^n)/(\alpha-\beta)\)。
225. Carmichael Fibonacci 原始因子定理 高级可选原始因子Fibonacci
定理陈述：除少数小下标外，\(F_n\) 有一个素因子不整除任何更早的非零 Fibonacci 项；常见表述中 \(n>12\) 时成立。
前置：Fibonacci、出现指标、Zsigmondy 思想。
用途：用于理解递推序列中的“新素因子”现象。
证明入口：证明入口：先比较 \(F_n\) 与 \(\prod_{d\mid n,d<n}F_d\) 的素因子。
226. Lucas 序列原始除子定理 视野拓展Lucas序列原始因子
定理陈述：非退化 Lucas 序列的第 \(n\) 项在充分大 \(n\) 时有原始素因子；Bilu–Hanrot–Voutier 定理给出了强形式。
前置：Lucas 序列、代数数、Zsigmondy。
用途：用于把 Bang–Zsigmondy 从 \(a^n-b^n\) 推广到更一般递推。
证明入口：证明入口：先理解 \(a^n-b^n\) 是 Lucas 序列的特殊情形。
227. 矩阵法处理线性递推 竞赛常用递推矩阵
定理陈述：二阶线性递推可写成矩阵幂，例如 \(\binom{F_{n+1}}{F_n}=\begin{pmatrix}1&1\\1&0\end{pmatrix}^n\binom{1}{0}\)。
前置：矩阵乘法、递推。
用途：用于推导加法公式、周期性、模 \(m\) 下递推周期。
证明入口：证明入口：把一步递推写成状态转移，再迭代。
228. Skolem–Mahler–Lech 定理 视野拓展递推零点
定理陈述：线性递推序列中等于 0 的下标集合，是有限集合与有限多个等差数列的并。
前置：线性递推、代数数、\(p\)-进方法。
用途：用于理解递推序列零点分布的整体结构。
证明入口：证明入口：先观察周期递推模 \(m\) 下零点常出现等差结构。
229. Binet 公式与代数数表示 进阶核心Fibonacci代数数
定理陈述：Fibonacci 数有 \(F_n=(\alpha^n-\beta^n)/(\alpha-\beta)\)，其中 \(\alpha=(1+\sqrt5)/2,\ \beta=(1-\sqrt5)/2\)。
前置：特征方程、二阶递推。
用途：用于把递推整除问题转化为幂差问题。
证明入口：证明入口：先解线性递推的特征方程，再由初值确定系数。
230. Pisano 周期整除关系补充 进阶核心Pisano周期
定理陈述：Fibonacci 数列模 \(m\) 具有周期；若 \(m\mid n\)，则 Pisano 周期常可通过 CRT 与素数幂周期分解来研究。
前置：CRT、矩阵模 \(m\)、递推周期。
用途：用于把复合模数下递推周期拆成素数幂模数下的问题。
证明入口：证明入口：先把状态对 \((F_n,F_{n+1})\) 放在模 \(m\) 的有限集合中。

二十、代数数论入口补全

原网页已有高斯整数思想、二次域和唯一分解入口。这里把范数、Euclidean domain、素数分裂、单位与 Pell 的联系补齐。
231. 高斯整数范数乘法性 进阶核心高斯整数范数
定理陈述：在 \(\mathbb Z[i]\) 中，范数 \(N(a+bi)=a^2+b^2\) 满足 \(N(zw)=N(z)N(w)\)。
前置：复数乘法、两平方恒等式。
用途：用于解释两平方和为什么对乘法封闭。
证明入口：证明入口：直接展开 \((a+bi)(c+di)\) 的实部虚部。
232. \(\mathbb Z[i]\) 是 Euclidean domain 高级可选高斯整数UFD
定理陈述：高斯整数环 \(\mathbb Z[i]\) 可用范数做 Euclid 除法，因此是唯一分解整环。
前置：复平面格点、范数、Euclid 算法。
用途：用于给 Fermat 两平方和定理提供结构化证明。
证明入口：证明入口：任意复数可找到最近高斯整数，使余数范数小于除数范数。
233. 高斯整数中的素数分裂 高级可选素数分裂高斯整数
定理陈述：普通素数 \(p\) 在 \(\mathbb Z[i]\) 中：若 \(p\equiv1\pmod4\) 则分解，若 \(p\equiv3\pmod4\) 仍为素元，且 \(2=(1+i)(1-i)\) ramifies。
前置：二次剩余、范数、唯一分解。
用途：用于解释两平方和定理中 \(p\equiv1,3\pmod4\) 的本质差异。
证明入口：证明入口：\(p\) 能分解当且仅当 \(-1\) 是模 \(p\) 的平方。
234. Eisenstein 整数范数 高级可选Eisenstein整数范数
定理陈述：令 \(\omega=e^{2\pi i/3}\)。在 \(\mathbb Z[\omega]\) 中，范数形如 \(N(a+b\omega)=a^2-ab+b^2\)，并且具有乘法性。
前置：复数、三次单位根。
用途：用于研究 \(x^2-xy+y^2\)、三次剩余和 \(p\equiv1\pmod3\) 的表示。
证明入口：证明入口：利用 \(\omega^2+\omega+1=0\) 直接展开。
235. \(\mathbb Z[\omega]\) 的唯一分解 视野拓展Eisenstein整数UFD
定理陈述：Eisenstein 整数环 \(\mathbb Z[\omega]\) 也是 Euclidean domain，从而具有唯一分解。
前置：Eisenstein 范数、Euclid 除法。
用途：用于 Fermat 大定理指数 3 情形、三次型分解与三次剩余入门。
证明入口：证明入口：和高斯整数类似，用六角格的最近点性质做除法。
236. 二次域素数分裂判别 视野拓展二次域素数分裂
定理陈述：在二次域 \(\mathbb Q(\sqrt D)\) 中，未分歧素数 \(p\) 的分裂/惰性通常由 Kronecker 或 Legendre 符号 \((D/p)\) 判定。
前置：二次剩余、二次域、判别式。
用途：用于把二次互反律与代数数论中的素数分裂联系起来。
证明入口：证明入口：观察 \(x^2-D\) 在模 \(p\) 下是否有根。
237. Pell 方程与二次域单位 进阶核心Pell单位
定理陈述：\(x^2-Dy^2=1\) 的解对应 \(\mathbb Z[\sqrt D]\) 中范数为 1 的单位 \(x+y\sqrt D\)。
前置：Pell 方程、范数、单位。
用途：用于把 Pell 解的乘法封闭性解释成单位群的乘法。
证明入口：证明入口：计算 \(N(x+y\sqrt D)=x^2-Dy^2\)。
238. Minkowski 界 视野拓展类群几何数论
定理陈述：代数数域中每个理想类都含有一个范数不超过显式 Minkowski 常数的整理想。它可用于有限计算类群。
前置：理想、范数、Minkowski 凸体定理。
用途：用于了解为什么类数可以被有限验证。
证明入口：证明入口：把理想嵌入实/复空间中的格，再用凸体定理找小元素。
239. Dirichlet 单位定理 视野拓展单位代数数论
定理陈述：数域单位群同构于有限扭群乘上自由阿贝尔群，其自由秩为 \(r+s-1\)，其中 \(r\) 是实嵌入数，\(s\) 是共轭复嵌入对数。
前置：数域、单位、对数嵌入。
用途：用于把 Pell 方程的无限解推广到一般数域单位结构。
证明入口：证明入口：先把实二次域的 Pell 单位看成秩 1 的例子。
240. Dedekind 整环中的唯一理想分解 视野拓展理想唯一分解
定理陈述：在 Dedekind 整环中，每个非零真理想都能唯一分解为素理想的乘积。即使元素唯一分解失败，理想分解仍可恢复唯一性。
前置：环、理想、素理想。
用途：用于理解代数数论为什么引入理想，以及唯一分解失败如何被修复。
证明入口：证明入口：把“数分解失败”与“理想分解仍唯一”作对比即可。

二十一、素数分布与加法素数定理补全

这部分多为视野拓展。孩子不必证明，但知道名字和结论，可以把“素数有多少、在哪里、怎样相加”放进框架。
241. Dirichlet 等差数列素数定理 视野拓展素数分布等差数列
定理陈述：若 \(\gcd(a,m)=1\)，则等差数列 \(a,a+m,a+2m,\dots\) 中有无穷多个素数。
前置：同余、角色、解析数论。
用途：用于回答“每个互素剩余类里是否都有无穷多素数”。
证明入口：证明入口：先理解为什么 \(\gcd(a,m)=1\) 是必要条件。
242. 素数定理 PNT 视野拓展素数分布PNT
定理陈述：不超过 \(x\) 的素数个数 \(\pi(x)\sim x/\log x\)。
前置：对数、渐近、解析数论。
用途：用于建立素数密度大约是 \(1/\log x\) 的直觉。
证明入口：证明入口：先用数表观察 \(\pi(x)\) 与 \(x/\log x\) 的接近。
243. Chebyshev 素数估计 高级可选素数估计二项式
定理陈述：Chebyshev 证明了 \(\pi(x)\) 与 \(x/\log x\) 同阶，并由此得到 Bertrand–Chebyshev 定理的关键估计。
前置：阶乘估计、二项式系数、素数计数。
用途：用于在不使用复分析的情况下理解素数定理的弱版本。
证明入口：证明入口：用中心二项式系数 \(\binom{2n}{n}\) 夹住区间中的素数乘积。
244. Euclid–Dirichlet 对比条目 核心补全学习框架素数
定理陈述：Euclid 证明所有素数无限；Dirichlet 证明每个互素模类中素数无限。前者只用整除构造，后者需要解析工具。
前置：Euclid 定理、同余类。
用途：用于避免把“某类素数看起来很多”误当作容易证明。
证明入口：证明入口：尝试证明 \(p\equiv1\pmod4\) 的素数无限，再对比一般 Dirichlet 定理。
245. Green–Tao 定理 视野拓展素数等差结构
定理陈述：素数集合中存在任意长的等差数列。
前置：加法组合、素数分布、Szemerédi 定理。
用途：用于知道素数虽然稀疏，但仍保留很强的加法结构。
证明入口：证明入口：先理解普通整数子集的 Szemerédi 定理，再知道 Green–Tao 是素数版。
246. Vinogradov 三素数定理 视野拓展Goldbach加法素数
定理陈述：每个充分大的奇数都可表示为三个素数之和。
前置：圆法、指数和、素数分布。
用途：用于理解 Goldbach 型加法问题的解析数论路线。
证明入口：证明入口：先从模 2 奇偶性理解为什么要三个素数表示奇数。
247. Helfgott 弱 Goldbach 定理 视野拓展Goldbach现代定理
定理陈述：每个大于 5 的奇数都可以表示为三个素数之和。
前置：Vinogradov 定理、计算验证。
用途：用于了解弱 Goldbach 猜想已经成为定理。
证明入口：证明入口：不建议手证；可作为数学研究如何结合理论与计算的例子。
248. Chen 定理 视野拓展筛法Goldbach
定理陈述：每个充分大的偶数都可表示为一个素数加上一个至多两个素因子的数。
前置：筛法、Goldbach 问题。
用途：用于理解强 Goldbach 猜想的接近结果。
证明入口：证明入口：先理解“几乎素数”的概念。
249. Brun 定理 视野拓展孪生素数筛法
定理陈述：所有孪生素数倒数之和收敛。即使孪生素数有无穷多个，它们也比普通素数稀疏得多。
前置：筛法、素数对估计。
用途：用于区分“无限多”和“密度有多大”。
证明入口：证明入口：先理解 \(\sum 1/p\) 发散，而孪生素数倒数和收敛。
250. Linnik 定理 视野拓展素数分布等差数列
定理陈述：对互素的 \(a,m\)，最小的素数 \(p\equiv a\pmod m\) 不会太大；存在常数 \(L\)，使 \(p\ll m^L\)。
前置：Dirichlet 定理、解析数论。
用途：用于从“无穷多个”进一步问“第一个在哪里”。
证明入口：证明入口：只需理解问题意识：存在性与大小界是两个层次。

二十二、分拆、q-级数与特殊同余补全

这些条目偏拓展，但对建立“数论不只是整除和同余，还包含生成函数与分拆结构”的视野很有帮助。
251. Euler 分拆定理：奇部与异部等数 进阶核心分拆生成函数
定理陈述：把 \(n\) 分拆为互不相同的正整数的方案数，等于把 \(n\) 分拆为奇数部分的方案数。
前置：生成函数、无限乘积。
用途：用于展示生成函数如何证明整数分拆恒等式。
证明入口：证明入口：比较 \(\prod_{k\ge1}(1+x^k)\) 与 \(\prod_{k\ge1}(1-x^{2k})/(1-x^k)\)。
252. Euler 五边形数定理 高级可选q级数分拆
定理陈述：\(\prod_{n\ge1}(1-x^n)=\sum_{k=-\infty}^{\infty}(-1)^k x^{k(3k-1)/2}\)。
前置：生成函数、形式幂级数。
用途：用于推导分拆函数递推，是 q-级数中的基础名定理。
证明入口：证明入口：先观察指数 \(k(3k\pm1)/2\) 的广义五边形数序列。
253. Jacobi 三重积恒等式 视野拓展q级数theta
定理陈述：Jacobi 三重积把一个双向 theta 级数写成无限乘积，是许多分拆恒等式与 theta 函数公式的源头。
前置：q-级数、theta 函数。
用途：用于连接分拆、平方和表示数和模形式。
证明入口：证明入口：先把它作为比五边形数定理更一般的母公式认识。
254. Ramanujan 分拆同余 高级可选分拆同余
定理陈述：分拆函数 \(p(n)\) 满足 \(p(5n+4)\equiv0\pmod5\)、\(p(7n+5)\equiv0\pmod7\)、\(p(11n+6)\equiv0\pmod{11}\)。
前置：分拆函数、生成函数、模同余。
用途：用于展示生成函数与同余结合会产生非常深的数论现象。
证明入口：证明入口：先用生成函数定义 \(p(n)\)，再验证小例子。
255. Rogers–Ramanujan 恒等式 视野拓展分拆q级数
定理陈述：Rogers–Ramanujan 恒等式把带间隔条件的分拆数与模 5 剩余类限制的分拆数联系起来。
前置：q-级数、分拆组合。
用途：用于展示分拆中“差至少 2”和“模类限制”之间的奇妙等价。
证明入口：证明入口：不急证明，先用小 \(n\) 枚举两边分拆数量。
256. Hardy–Ramanujan 分拆渐近 视野拓展分拆渐近
定理陈述：分拆函数满足 \(p(n)\sim \frac{1}{4n\sqrt3}e^{\pi\sqrt{2n/3}}\)。
前置：生成函数、圆法、渐近分析。
用途：用于了解分拆函数增长速度极快，且可被解析方法精确估计。
证明入口：证明入口：先用数表观察 \(p(n)\) 增长，再把公式作为视野。
257. Ramanujan tau 函数乘性 视野拓展模形式视野
定理陈述：判别式模形式 \(\Delta(q)=q\prod_{n\ge1}(1-q^n)^{24}=\sum\tau(n)q^n\) 的系数 \(\tau(n)\) 具有乘性，并满足深刻同余。
前置：q-级数、模形式、乘性函数。
用途：用于展示分拆型乘积与算术函数之间的连接。
证明入口：证明入口：只需知道它是“q-级数系数变成算术函数”的典型例子。
258. Jacobi 两平方/四平方公式的 q-级数入口 高级可选theta表示数
定理陈述：平方和表示数可由 theta 函数生成函数读取；例如四平方表示数公式可由 \(\theta(q)^4\) 的展开得到。
前置：theta 函数、平方和表示。
用途：用于把表示定理与生成函数连接起来。
证明入口：证明入口：\(\theta(q)=\sum_{n\in\mathbb Z}q^{n^2}\)，展开 \(\theta(q)^k\) 即计数 \(k\) 个平方和。

二十三、深层丢番图定理与曲线视野补全

这部分偏“知道名字与方向”。不建议要求孩子马上证明，但放在总目录里有助于知道初等方程后面通向哪里。
259. Fermat 大定理 \(n=4\) 情形 进阶核心无限下降Fermat
定理陈述：方程 \(x^4+y^4=z^4\) 无正整数解；更强地，\(x^4+y^4=z^2\) 无正整数解。
前置：无限下降法、勾股数参数化。
用途：用于训练无限下降，是 Fermat 大定理中最经典的初等可证情形。
证明入口：证明入口：假设最小解，将其转化为更小的勾股结构，形成下降。
260. Fermat 直角三角形定理 进阶核心勾股数下降法
定理陈述：不存在边长均为整数且面积为完全平方数的直角三角形。
前置：勾股数参数化、无限下降。
用途：用于连接平方面积问题与 Fermat \(n=4\) 情形。
证明入口：证明入口：把直角三角形边写成 \(u^2-v^2,2uv,u^2+v^2\)，分析面积。
261. Thue 定理 视野拓展丢番图有限性
定理陈述：若 \(F(x,y)\) 是不可约二元齐次多项式，次数至少 3，则方程 \(F(x,y)=m\) 只有有限多个整数解。
前置：丢番图逼近、二元形式。
用途：用于理解高次数丢番图方程为什么通常只有有限解。
证明入口：证明入口：先把它和 Pell 方程（二次情形可有无穷多解）对比。
262. Siegel 整点定理 视野拓展整点曲线
定理陈述：在适当条件下，代数曲线上的整数点只有有限多个；这是高阶丢番图方程有限性理论的重要定理。
前置：代数曲线、丢番图逼近。
用途：用于把“整数解是否有限”提升到曲线层面。
证明入口：证明入口：只需先理解“有理点”和“整点”的区别。
263. Faltings 定理（Mordell 猜想） 视野拓展有理点现代数论
定理陈述：亏格至少 2 的代数曲线在有理数域上只有有限多个有理点。
前置：代数几何、数论几何。
用途：用于建立高阶丢番图方程背后的现代框架感。
证明入口：证明入口：不要求证明；可作为“为什么很多方程只剩有限解”的终点视野。
264. Hasse 椭圆曲线界 视野拓展椭圆曲线有限域
定理陈述：若 \(E\) 是有限域 \(\mathbb F_q\) 上的椭圆曲线，则 \(|\#E(\mathbb F_q)-(q+1)|\le2\sqrt q\)。
前置：有限域、椭圆曲线。
用途：用于了解有限域上曲线点数并非任意，而受到强约束。
证明入口：证明入口：先从模 \(p\) 下数点的实验开始。
265. Mordell 椭圆曲线群定理 视野拓展椭圆曲线有理点
定理陈述：有理数域上的椭圆曲线 \(E(\mathbb Q)\) 构成有限生成阿贝尔群。
前置：椭圆曲线、群结构。
用途：用于理解为什么椭圆曲线上的有理点既有几何结构又有代数结构。
证明入口：证明入口：先了解弦切法给椭圆曲线点集定义加法。
266. 局部障碍与 Hasse 原理失败 视野拓展局部整体视野
定理陈述：有些方程在实数和所有模 \(p^k\) 意义下都有解，但仍没有有理解；这称为 Hasse 原理失败。
前置：局部整体思想、\(p\)-进数。
用途：用于避免误以为“所有模数都不矛盾”就必有整数/有理解。
证明入口：证明入口：先理解 Hasse–Minkowski 对二次型成立，但更高次数不一定成立。
267. ABC 猜想（作为方向，不作定理） 视野拓展猜想丢番图
定理陈述：ABC 猜想大意是：若 \(a+b=c\) 且互素，则 \(c\) 很少能远大于 \(abc\) 的不同素因子乘积。它会推出许多丢番图结果，但目前应谨慎作为猜想看待。
前置：素因子、根基 \(\operatorname{rad}(n)\)、丢番图方程。
用途：用于拓展“加法与乘法素因子结构之间的关系”。
证明入口：证明入口：不作为证明任务；只需知道它是强大的猜想方向。
268. Mordell–Tornheim / Markov 型换根思想 竞赛常用Vieta jumping下降法
定理陈述：许多二次型或对称方程可把一个根替换成另一个根，得到新整数解；若可使某个正量变小，就形成 Vieta jumping 或无限下降。
前置：二次方程根与系数、下降法。
用途：用于把“换根法”从技巧提升为通用定理模板。
证明入口：证明入口：固定其他变量，把方程看成关于一个变量的二次方程，使用根和/根积。