专题一：数论
论是什么：整数的"脾气"藏在余数里
数论研究的对象朴素到让你怀疑人生：就是整数本身。小学做除法时那个"除不尽的小尾巴"，在奥数里是主角。竞赛常考：整除与同余、质数合数、gcd 与 lcm、费马小定理入门、中国剩余定理、简单不定方程。
符号约定：a ≡ b (mod m) 读作"a 和 b 模 m 同余"，意思是它俩除以 m 余数相同。同余式可以像等式一样加、减、乘——这是数论的乘法口诀表。
路考点心法：看到「专题一：数论」先想什么
• 题型识别：先看是数论/组合/几何/不等式/函数方程哪类——不同类型有不同套路
• 方法选择：抽屉原理/染色法/反证法/构造法/不变量——奥数就这几把刷子
• 别忘验证：竞赛题有陷阱——算出答案要检查边界条件
想怎么想到的：三个暗号先认
看到"除以几余几"——别试数，先写同余式，再找哪两个条件"余数相同"，合并成一个更强的条件。
看到"一定有 / 任意"这种绝对化结论——想反证法：假设它不成立，推出矛盾。
看到"3 的 100 次方的个位数"这类"很大的幂"——想余数的周期性：余数只有 m 种，算着算着必然循环。
核心方法三招
招方法一：同余运算
同余式可以像等式一样加、减、乘：若 a ≡ b、c ≡ d (mod m)，则 a+c ≡ b+d、ac ≡ bd (mod m)。这一下就把"试数"升级成"解方程"。
期方法二：余数的周期性
一个数除以 m，余数只有 0,1,…,m−1 共 m 种。不管怎么乘，余数绕来绕去必然循环。算到重复的那一刻，周期就找到了，大幂取模一秒出。
反方法三：反证法
"证明 √2 是无理数"这种题，正面写不出来——假设它错了，顺着推，推出自相矛盾，反手证明原命题对。反证法就是：假设你是对的，我顺着你的话说，最后说不圆。
经典例题
先审题憋三分钟，再点开看完整过程。
例1. 求 1000 以内（含 1000）所有能被 3 或 5 整除的正整数之和。
审题："3 或 5"——是"或者"，两个集合的并集。
思路：3 的倍数加 5 的倍数会把 15 的倍数算两遍，用容斥减回来。
逐步解法：3 的倍数：3,6,…,999 共 333 项，和 = 3×333×334÷2 = 166833；5 的倍数：5,10,…,1000 共 200 项，和 = 5×200×201÷2 = 100500；15 的倍数：15,30,…,990 共 66 项，和 = 15×66×67÷2 = 33165。合并：166833 + 100500 − 33165 = 234168。
答案：234168
例2. 一个数除以 3 余 2，除以 5 余 3，除以 7 余 2，求满足条件的最小正整数。（中国剩余定理入门）
审题：三个同余条件，目标一个最小正整数。
思路：先找两个"长得像"的条件合并——除以 3 余 2、除以 7 也余 2，是双胞胎。
逐步解法：x ≡ 2 (mod 3) 且 x ≡ 2 (mod 7) ⇒ x−2 被 21 整除，得 $x = 21k + 2$；代入 x ≡ 3 (mod 5)：21k + 2 ≡ k + 2 ≡ 3 (mod 5) ⇒ k ≡ 1 (mod 5)；取最小 k = 1，得 x = 23。验算：23÷3 余 2、23÷5 余 3、23÷7 余 2，全部符合。通解 x ≡ 23 (mod 105)。
答案：最小正整数是 23
例3. 证明 √2 是无理数。
审题："无理数"就是写不成 p/q——用反证法。
思路：假设 √2 是有理数，推出 p、q 都是偶数，与"互质"矛盾。
逐步解法：设 √2 = p/q（p、q 互质）。平方得 p² = 2q²，故 p² 偶 ⇒ p 偶，设 p = 2k。代回：4k² = 2q² ⇒ q² = 2k² ⇒ q 也偶。p、q 同为偶数，至少有公约数 2，与"互质"矛盾。假设不成立。
证毕：√2 是无理数
用用途与案例
现实里：ISBN 书号最后一位校验、银行票据末位校验码、日历算"100 天后星期几"，全是同余。竞赛里：数论是高中联赛和 IMO 的固定大题。科研里：你上网 HTTPS 用的 RSA 加密，原理就是"两个大质数相乘容易、拆回去难"——数论在古代是纯智力游戏，现在是互联网安全的命根子。
延延展：往楼上走一步
同余往上是模运算与群论，费马小定理往上是有限域，再往上就是密码学。当年高斯写《算术研究》时绝对想不到，他玩的整数游戏，两百年后护住了全世界的网银。
坑一："3 或 5"忘了减重叠。直接 3 的倍数和 + 5 的倍数和，答案大了 33165。为什么错：15、30、45 被加了两次。怎么改：凡是"或"字，先问"有没有被重复算的部分"。
坑二：同余式两边乱约。ac ≡ bc (mod m) 不能随便约掉 c，除非 c 和 m 互质。为什么错：余数关系不是普通等式，约掉可能把模一起缩小。
突破口：从余数的周期性入手。题目说"除以 3 余 2、除以 5 余 3"，别去试数——先写同余式，再观察哪两个条件余数相同，一联立答案自己跳出来。余数不是除不完的垃圾，是出题人留给你的暗号。
① 余数是暗号：写同余式，别试数。② "或"字用容斥，重叠部分减回来。③ 证不出来就反证。
证专题一：数论的关键定理与公式
② 费马小定理：若 $p$ 为素数且 $\gcd(a,p)=1$，则 $a^{p-1}\equiv 1 \pmod{p}$。
③ 中国剩余定理：若 $m_1,m_2$ 互素，则同余方程组 $x\equiv a_1 \pmod{m_1}$、$x\equiv a_2 \pmod{m_2}$ 在模 $m_1m_2$ 意义下有唯一解。
④ 算术基本定理：每个大于 $1$ 的整数可唯一分解为素数之积（不计顺序）。
推导（不跳步）：以费马小定理为例——①取 $p-1$ 个数 $a,\,2a,\,3a,\,\dots,\,(p-1)a$。②它们模 $p$ 两两不同余：若 $ia\equiv ja \pmod{p}$，则 $p \mid (i-j)a$；由 $\gcd(a,p)=1$ 得 $p \mid (i-j)$，而 $0 < |i-j| < p$，矛盾，故 $i=j$。③它们又都不被 $p$ 整除，所以这 $p-1$ 个余数恰好是 $1,2,\dots,p-1$ 的一个排列。④两边连乘：$a\cdot 2a \cdots (p-1)a \equiv 1\cdot 2\cdots(p-1) \pmod{p}$，即 $a^{p-1}\,(p-1)! \equiv (p-1)! \pmod{p}$。⑤因 $(p-1)!$ 与 $p$ 互素，可约去，得 $a^{p-1}\equiv 1 \pmod{p}$。
直觉把握：把 $1,2,\dots,p-1$ 每个都乘上 $a$，在模 $p$ 的世界里只是把这几张牌重新洗了一遍——牌还是那几张，整体乘积不变，于是多乘出来的 $a^{p-1}$ 只能等于 $1$。所谓"大幂取模"，本质上就是余数会周期循环，费马小定理替你算出了周期的长度。
现代应用：中国剩余定理是并行大数运算的基石——把一个超大整数拆成几个互素模下的小整数分别计算，最后再合并，RSA 解密的加速正是这么做的。
现代应用：RSA 生成私钥时要求 $d$ 使 $ed\equiv 1 \pmod{\varphi(n)}$，本质就是解 $ed - k\varphi(n) = 1$——同一道裴蜀方程，同一套扩展欧几里得算法，每天在每一台联网设备上跑。
④ 用途与案例
工程：专题一：数论
在工程、物理、计算机、金融等领域，专题一：数论是基础工具——理解"使用场景"比死记公式重要。
日常：你见过但没注意的专题一：数论
生活中处处有专题一：数论——价格波动、几何造型、统计图表、游戏设计——只不过没人告诉你这就是数学。