以下是**数论**板块的详细拆分，每个子标题附带一个简单的例题（Demo），帮助理解这些概念在实际题目中的样子。

---

## 数论（详细拆分版）

数论在奥数中主要研究整数的性质，常被称为"数学皇后的皇冠"。以下是核心子概念：

### 1.1 整除性

**概念**：研究整数之间的倍数关系，以及带余除法。

**核心定理**：对于任意整数 \(a\) 和正整数 \(b\)，存在唯一的整数 \(q\) 和 \(r\)，使得 \(a = bq + r\)，其中 \(0 \le r < b\)。

**Demo**：
> **题目**：证明：三个连续整数的乘积一定能被6整除。
>
> **解析**：
> 设三个连续整数为 \(n-1, n, n+1\)。
> 1. 被2整除：三个连续整数中至少有一个偶数，所以乘积能被2整除。
> 2. 被3整除：三个连续整数中恰好有一个是3的倍数，所以乘积能被3整除。
> 因为2和3互质，所以乘积能被 \(2\times3=6\) 整除。

### 1.2 质数与合数

**概念**：质数是大于1且只能被1和自身整除的自然数；合数是有其他正因数的自然数。

**核心定理**：质数有无穷多个（欧几里得证明）。

**Demo**：
> **题目**：找出所有质数 \(p\)，使得 \(p+10\) 和 \(p+14\) 也是质数。
>
> **解析**：
> 考虑 \(p\) 除以3的余数：
> - 若 \(p=3\)，则 \(p+10=13\)（质数），\(p+14=17\)（质数），符合。
> - 若 \(p \equiv 1 \pmod{3}\)，则 \(p+14 \equiv 0 \pmod{3}\) 且大于3，必为合数。
> - 若 \(p \equiv 2 \pmod{3}\)，则 \(p+10 \equiv 0 \pmod{3}\) 且大于3，必为合数。
> 因此唯一解是 \(p=3\)。

### 1.3 最大公约数与最小公倍数

**概念**：\(\gcd(a,b)\) 是能同时整除 \(a\) 和 \(b\) 的最大正整数；\(\mathrm{lcm}(a,b)\) 是能被 \(a\) 和 \(b\) 整除的最小正整数。

**核心定理**：\(\gcd(a,b) \times \mathrm{lcm}(a,b) = a \times b\)；辗转相除法。

**Demo**：
> **题目**：已知两个正整数的和为 60，最小公倍数是 273，求这两个数。
>
> **解析**：
> 设两数为 \(a\) 和 \(b\)，\(a+b=60\)，\(\mathrm{lcm}(a,b)=273\)。
> 因为 \(273 = 3\times7\times13\)，所以两数只能是这些质因数的组合。
> 枚举发现 \(21\) 和 \(39\)：
> - \(21+39=60\)，
> - \(\gcd(21,39)=3\)，
> - \(\mathrm{lcm}(21,39)=\frac{21\times39}{3}=273\)。
> 因此两数为 21 和 39。

### 1.4 同余

**概念**：若 \(a-b\) 能被 \(m\) 整除，则称 \(a\) 与 \(b\) 模 \(m\) 同余，记作 \(a \equiv b \pmod{m}\)。

**核心性质**：同余式可以像等式一样进行加减乘运算（除法需要小心）。

**Demo**：
> **题目**：求 \(7^{2023}\) 的个位数。
>
> **解析**：
> 个位数即模10的值。
> \(7^1 \equiv 7 \pmod{10}\)
> \(7^2 \equiv 9 \pmod{10}\)
> \(7^3 \equiv 3 \pmod{10}\)
> \(7^4 \equiv 1 \pmod{10}\)
> 周期为4。\(2023 \div 4 = 505\) 余 3。
> 所以 \(7^{2023} \equiv 7^3 \equiv 3 \pmod{10}\)。
> 个位数是 3。

### 1.5 费马小定理

**概念**：若 \(p\) 是质数，且 \(\gcd(a,p)=1\)，则 \(a^{p-1} \equiv 1 \pmod{p}\)。

**Demo**：
> **题目**：求 \(2^{100} \bmod 101\)（已知101是质数）。
>
> **解析**：
> 根据费马小定理，因为101是质数且 \(2\) 与101互质，所以：
> \(2^{100} \equiv 1 \pmod{101}\)。
> 因此余数为 1。

### 1.6 欧拉定理

**概念**：费马小定理的推广。若 \(\gcd(a,n)=1\)，则 \(a^{\varphi(n)} \equiv 1 \pmod{n}\)，其中 \(\varphi(n)\) 是欧拉函数（小于等于n且与n互质的正整数的个数）。

**Demo**：
> **题目**：求 \(3^{10} \bmod 11\)（直接计算验证欧拉定理）。
>
> **解析**：
> 11是质数，所以 \(\varphi(11)=10\)。
> 因为 \(\gcd(3,11)=1\)，根据欧拉定理，\(3^{10} \equiv 1 \pmod{11}\)。
> 验证：\(3^5=243\)，\(243 \div 11 = 22\) 余 1，所以 \(3^5 \equiv 1 \pmod{11}\)，则 \(3^{10} \equiv 1 \pmod{11}\) 成立。

### 1.7 中国剩余定理

**概念**：求解一次同余方程组：
\[
\begin{cases}
x \equiv a_1 \pmod{m_1} \\
x \equiv a_2 \pmod{m_2} \\
\vdots \\
x \equiv a_k \pmod{m_k}
\end{cases}
\]
其中模数两两互质。

**Demo**：
> **题目**：一个数除以3余2，除以5余3，除以7余2，求这个数最小是多少？
>
> **解析**：
> 设 \(x \equiv 2 \pmod{3}\)，\(x \equiv 3 \pmod{5}\)，\(x \equiv 2 \pmod{7}\)。
> 1. 从 \(x \equiv 2 \pmod{3}\) 和 \(x \equiv 2 \pmod{7}\) 可得 \(x \equiv 2 \pmod{21}\)。
> 2. 设 \(x = 21k + 2\)，代入 \(x \equiv 3 \pmod{5}\)：
>    \(21k + 2 \equiv 3 \pmod{5} \Rightarrow 21k \equiv 1 \pmod{5} \Rightarrow k \equiv 1 \pmod{5}\)（因为 \(21 \equiv 1 \pmod{5}\)）。
> 3. 取 \(k=1\)，得 \(x=23\)。
> 验证：23除以3余2，除以5余3，除以7余2。
> 最小正整数解是 23。

### 1.8 不定方程

**概念**：未知数个数多于方程个数，且解为整数的方程。

**常见类型**：毕达哥拉斯三元组 \(a^2+b^2=c^2\)、佩尔方程 \(x^2 - dy^2 = 1\)。

**Demo**：
> **题目**：求方程 \(x^2 - y^2 = 45\) 的所有正整数解。
>
> **解析**：
> \(x^2 - y^2 = (x-y)(x+y) = 45\)。
> 设 \(x-y = d\)，\(x+y = \frac{45}{d}\)，其中 \(d\) 是45的正因数，且 \(x,y\) 为正整数要求 \(d\) 和 \(45/d\) 同奇偶（这样 \(x = \frac{d + 45/d}{2}\) 才是整数）。
> 45的因数有：1,3,5,9,15,45。
> 检查同奇偶：
> - \(d=1\)，\(45/d=45\)，一奇一奇，\(x=23, y=22\)
> - \(d=3\)，\(45/d=15\)，一奇一奇，\(x=9, y=6\)
> - \(d=5\)，\(45/d=9\)，一奇一奇，\(x=7, y=2\)
> - \(d=9\)，\(45/d=5\)，重复
> - \(d=15\)，\(45/d=3\)，重复
> - \(d=45\)，\(45/d=1\)，重复
> 所以解为 \((23,22), (9,6), (7,2)\)。

### 1.9 数论函数

**概念**：定义在整数上的函数，如欧拉函数 \(\varphi(n)\)、除数函数 \(d(n)\)（n的正因数个数）、莫比乌斯函数 \(\mu(n)\)。

**Demo**：
> **题目**：计算 \(\varphi(12)\) 和 \(d(12)\)。
>
> **解析**：
> 12的质因数分解为 \(12 = 2^2 \times 3\)。
> - 欧拉函数：\(\varphi(12) = 12 \times (1-\frac{1}{2}) \times (1-\frac{1}{3}) = 12 \times \frac{1}{2} \times \frac{2}{3} = 4\)。
>   与12互质的数：1,5,7,11，共4个。
> - 除数函数：\(d(12) = (2+1) \times (1+1) = 3 \times 2 = 6\)。
>   12的因数：1,2,3,4,6,12，共6个。

### 1.10 平方剩余与二次互反律

**概念**（进阶）：研究哪些数是模 \(p\) 的完全平方。

**Demo**：
> **题目**：判断方程 \(x^2 \equiv 5 \pmod{11}\) 是否有解。
>
> **解析**：
> 计算模11的平方：
> \(1^2=1, 2^2=4, 3^2=9, 4^2=5, 5^2=3, 6^2=3, 7^2=5, 8^2=9, 9^2=4, 10^2=1\)。
> 可以看到 \(4^2 \equiv 5 \pmod{11}\) 且 \(7^2 \equiv 5 \pmod{11}\)。
> 所以方程有解，\(x \equiv 4\) 或 \(7 \pmod{11}\)。

---

### 总结：数论问题的常见切入点

当你拿到一个数论问题时，可以按以下顺序思考：

1.  **小数据枚举**：先试试 \(n=1,2,3\) 找规律。
2.  **质因数分解**：把数字拆开看。
3.  **同余分析**：模一个小数字（如模3、模4、模8）看矛盾。
4.  **代数变形**：因式分解、配方。
5.  **极值/无穷递降**：假设最小解导出更小的解。