夫君子之行，静以修身，俭以养德；非澹泊无以明志，非宁静无以致远。夫学须静也，才须学也；非学无以广才，非志无以成学。怠慢则不能励精，险躁则不能冶性。年与时驰，意与岁去，遂成枯落，多不接世。悲守穷庐，将复何及！

带余数除法

带余数除法知识点详解与完整推导证明

带余数除法（除法算法）是初等数论的核心基石，是整数集区别于一般数环的本质特征，更是辗转相除法、最大公约数理论、同余理论等几乎所有数论内容的逻辑起点。以下将从定理内涵、完整证明、推论拓展三个维度展开详细讲解，最后通过表格完成系统性归纳。

一、基础定理1：带余数除法的标准形式

1.1 定理内容

设 $a,b$ 是两个给定的整数，且 $a \neq 0$，那么一定存在唯一的一对整数 $q$（商）与 $r$（最小非负余数），满足：

\[b = qa + r,\quad 0 \leqslant r < |a| \]

此外，$a \mid b$（$a$ 整除 $b$）的充要条件是 $r=0$。

1.2 定理证明

数学中证明“存在且唯一”的命题，需分唯一性和存在性两部分分别论证，这是严格的数学证明规范。

（1）唯一性证明

核心思路：假设存在两组解，通过代数变形和整除性质推出两组解完全相同，以此证明解的唯一性。

假设存在两组整数 $(q,r)$ 和 $(q',r')$ 均满足定理条件，即：
\[\begin{cases} b = qa + r,\quad 0 \leqslant r < |a| \\ b = q'a + r',\quad 0 \leqslant r' < |a| \end{cases} \]
联立两式消去 $b$，得代数变形：
\[qa + r = q'a + r' \implies r' - r = (q - q')a \]
不妨设 $r' \geqslant r$（若 $r > r'$，只需交换两组解的记号，不影响结论的一般性），由此可得余数差的范围：
由 $0 \leqslant r < |a|$、$0 \leqslant r' < |a|$，可推出 $0 \leqslant r' - r < |a|$。
反证法推导矛盾：
若 $r' - r > 0$，则由 $r' - r = (q - q')a$ 可知，$a$ 整除正整数 $r' - r$。根据整除的核心性质：若整数 $a$ 整除正整数 $m$，则 $|a| \leqslant m$，可得 $|a| \leqslant r' - r$。
这与之前推出的 $r' - r < |a|$ 直接矛盾，因此假设不成立，只能有 $r' - r = 0$，即 $r' = r$。
将 $r' = r$ 代回 $r' - r = (q - q')a$，得 $0 = (q - q')a$。已知 $a \neq 0$，因此只能 $q - q' = 0$，即 $q' = q$。
综上，满足条件的 $q$ 和 $r$ 是唯一的，唯一性得证。

（2）存在性证明

核心思路：分整除与不整除两种情况，结合最小自然数原理（良序原理）构造出符合条件的 $q$ 和 $r$，证明解的存在性。

最小自然数原理：自然数集的任意非空子集，一定存在最小的元素。这是自然数集的核心公理，是数论证明的基础工具。

情况1：$a \mid b$（$a$ 整除 $b$）
根据整除的定义，存在整数 $q = \frac{b}{a}$，使得 $b = qa$。此时取 $r=0$，显然满足 $0 \leqslant 0 < |a|$，符合定理要求。
情况2：$a \nmid b$（$a$ 不整除 $b$）
第一步：构造整数集合

\[T = \{ b - ka \mid k = 0, \pm1, \pm2, \dots \} \]
该集合的含义是：$b$ 减去 $a$ 的任意整数倍得到的所有整数的集合。
第二步：证明集合 $T$ 中存在正整数
无论 $b$ 是正还是负，总能取到合适的整数 $k$，使得 $b - ka > 0$（例如取 $k$ 为绝对值足够大的负整数，即可让 $-ka$ 远大于 $|b|$，保证结果为正），因此 $T$ 中的正整数构成的子集非空。
第三步：应用最小自然数原理
根据最小自然数原理，$T$ 的正整数子集中一定存在一个最小的正整数，记为 $t_0 = b - k_0a > 0$（$k_0$ 为对应的整数）。
第四步：证明 $t_0 < |a|$（反证法）
因 $a \nmid b$，故 $t_0 \neq |a|$（若 $t_0=|a|$，则 $b = k_0a + |a|$，可推出 $a \mid b$，与前提矛盾）。
假设 $t_0 > |a|$，构造 $t_1 = t_0 - |a|$，显然 $t_1 > 0$。
分情况验证 $t_1 \in T$：
- 若 $a>0$，则 $|a|=a$，$t_1 = t_0 - a = b - (k_0+1)a$，符合 $T$ 中元素的形式；
- 若 $a<0$，则 $|a|=-a$，$t_1 = t_0 + a = b - (k_0-1)a$，同样符合 $T$ 中元素的形式。
  因此 $t_1$ 是 $T$ 中的正整数，且 $t_1 < t_0$，这与 $t_0$ 是 $T$ 中最小正整数矛盾。故假设不成立，必有 $t_0 < |a|$。
  第五步：确定商和余数
  取 $q = k_0$，$r = t_0$，则满足 $b = qa + r$，且 $0 < r < |a|$，符合定理要求。
综上，无论 $a$ 是否整除 $b$，都存在符合条件的 $q$ 和 $r$，存在性得证。

（3）充要条件证明：$a \mid b \iff r=0$

必要性（$\implies$）：若 $a \mid b$，由整除定义，存在整数 $q$ 使得 $b=qa$，即 $b=qa+0$，结合余数的唯一性，得 $r=0$。
充分性（$\impliedby$）：若 $r=0$，则 $b=qa+0=qa$，$q$ 为整数，由整除定义直接得 $a \mid b$。

二、拓展定理2：带余数除法的一般形式

标准带余数除法的余数范围固定为 $[0,|a|)$，在实际应用中，我们可以通过调整余数的取值区间，得到更灵活的形式，大幅简化计算。

2.1 定理内容

设 $a,b$ 是两个给定的整数，$a \neq 0$，再设 $d$ 是一个给定的整数，那么一定存在唯一的一对整数 $q_1$ 与 $r_1$，满足：

\[b = q_1a + r_1,\quad d \leqslant r_1 < |a| + d \]

此外，$a \mid b$ 的充要条件是 $a \mid r_1$。

2.2 定理证明

该定理可直接由定理1推导得出，无需重复复杂的构造过程，核心是变量替换。

（1）存在性证明

令 $c = b - d$，则 $c$ 为整数，且 $a \neq 0$。根据定理1，存在唯一的整数 $q_1$ 和 $s$，满足：

\[c = q_1a + s,\quad 0 \leqslant s < |a| \]

将 $c = b - d$ 代回上式，得：

\[b - d = q_1a + s \implies b = q_1a + (s + d) \]

令 $r_1 = s + d$，结合 $0 \leqslant s < |a|$，对不等式两边同时加 $d$，得：

\[d \leqslant r_1 < |a| + d \]

因此存在符合条件的 $q_1$ 和 $r_1$，存在性得证。

（2）唯一性证明

假设存在另一组解 $(q_1',r_1')$ 满足 $b = q_1'a + r_1'$，且 $d \leqslant r_1' < |a| + d$。
令 $s' = r_1' - d$，则 $0 \leqslant s' < |a|$，且 $b - d = q_1'a + s'$。
根据定理1的唯一性，满足 $c = b - d = qa + s$（$0 \leqslant s < |a|$）的 $q$ 和 $s$ 是唯一的，因此必有 $q_1' = q_1$，$s' = s$，进而 $r_1' = s' + d = s + d = r_1$。
唯一性得证。

（3）充要条件证明：$a \mid b \iff a \mid r_1$

由 $b = q_1a + r_1$，变形得 $r_1 = b - q_1a$。

若 $a \mid b$，则 $a \mid q_1a$，根据整除的线性性质，$a \mid (b - q_1a)$，即 $a \mid r_1$；
若 $a \mid r_1$，则 $a \mid q_1a$，同理可得 $a \mid (q_1a + r_1)$，即 $a \mid b$。
充要条件得证。

2.3 定理2的核心特例（常用余数形式）

通过给 $d$ 取特定值，可得到数论中最常用的3类余数形式，是定理2的核心应用：

绝对最小余数
- 当 $a$ 为偶数（$2 \mid a$）时，取 $d = -\frac{|a|}{2}$，余数范围为 $-\frac{|a|}{2} \leqslant r_1 < \frac{|a|}{2}$；
- 当 $a$ 为奇数（$2 \nmid a$）时，取 $d = -\frac{|a|-1}{2}$，余数范围为 $-\frac{|a|-1}{2} \leqslant r_1 < \frac{|a|+1}{2}$；
- 统一形式：$b = q_1a + r_1,\quad -\frac{|a|}{2} \leqslant r_1 < \frac{|a|}{2}$。
  特点：余数的绝对值不超过 $\frac{|a|}{2}$，可大幅减少辗转相除法的计算步骤，是数论计算中最常用的简化形式。
最小正余数
取 $d=1$，余数范围为 $1 \leqslant r_1 < |a|$，即 $b = q_1a + r_1,\ 1 \leqslant r_1 < |a|$。
特点：余数恒为正整数，无零值，适用于 $a \nmid b$ 场景下的正余数分析。
最小非负余数（标准形式）
取 $d=0$，余数范围为 $0 \leqslant r_1 < |a|$，即回到定理1的标准形式，是整除判定、同余理论的基础形式。

三、核心推论3

推论3是带余数除法的直接结论，是整数同余分类、周期性质的核心依据，设 $a$ 为正整数：

3.1 推论内容

(i) 任一整数被 $a$ 除后所得的最小非负余数，是且仅是 $0,1,\dots,a-1$ 这 $a$ 个数中的一个。
(ii) 相邻的 $a$ 个整数被 $a$ 除后，恰好取到这 $a$ 个余数。特别地，其中一定有且仅有一个数被 $a$ 整除。

3.2 推论证明

（1）推论(i)证明

由定理1，任意整数 $b$ 被正整数 $a$ 除，必有唯一的最小非负余数 $r$，满足 $0 \leqslant r < a$。因 $r$ 是整数，故 $r$ 只能是 $0,1,\dots,a-1$ 中的一个。
反之，对 $0,1,\dots,a-1$ 中的任意一个数 $s$，取 $b=s$，则 $b=0 \cdot a + s$，其余数为 $s$，即每个数都能被取到。
综上，任一整数的最小非负余数“是且仅是”这 $a$ 个数中的一个。

（2）推论(ii)证明

设相邻的 $a$ 个整数为 $n, n+1, n+2, \dots, n+a-1$（$n$ 为任意整数）。

第一步：证明余数两两不同
假设其中两个数 $n+i$ 和 $n+j$（$0 \leqslant i < j \leqslant a-1$）被 $a$ 除的余数相同，则它们的差 $(n+j)-(n+i)=j-i$ 能被 $a$ 整除。
但 $1 \leqslant j-i \leqslant a-1 < a$，小于 $a$ 的正整数不可能被 $a$ 整除，矛盾。因此这 $a$ 个数的余数两两不同。
第二步：证明余数恰好覆盖全部取值
由推论(i)，余数只能是 $0,1,\dots,a-1$ 这 $a$ 个值，现有 $a$ 个两两不同的余数，因此恰好取到这 $a$ 个余数各一次。
特别结论：余数为 $0$ 的数恰好有一个，即这 $a$ 个相邻整数中，有且仅有一个数被 $a$ 整除。

四、知识点系统性归纳总结

表1 核心定理与推论汇总表

定理/推论名称	前提条件	核心结论	关键证明依据	核心用途与意义
定理1（标准带余数除法）	$a,b$ 为整数，$a \neq 0$	存在唯一整数 $q,r$，满足 $b=qa+r$，$0 \leqslant r <	a	$；$a \mid b \iff r=0$
定理2（一般形式带余数除法）	$a,b$ 为整数，$a \neq 0$，$d$ 为给定整数	存在唯一整数 $q_1,r_1$，满足 $b=q_1a+r_1$，$d \leqslant r_1 <	a	+d$；$a \mid b \iff a \mid r_1$
推论3(i)	$a$ 为正整数	任意整数被 $a$ 除的最小非负余数，必属于 $\{0,1,\dots,a-1\}$	定理1的唯一性与范围约束	整数的同余分类基础，将全体整数划分为 $a$ 个互不相交的同余类
推论3(ii)	$a$ 为正整数	相邻 $a$ 个整数被 $a$ 除，恰好取遍 $0$ 到 $a-1$ 的全部余数，且仅有一个数被 $a$ 整除	推论3(i)、反证法、整除性质	整数的周期性质核心依据，是数论中存在性证明、周期分析的常用工具

表2 常用余数类型对比表

余数类型	取值范围	核心特点	典型应用场景
最小非负余数	$0 \leqslant r <	a	$
绝对最小余数	$-\frac{	a	}{2} \leqslant r < \frac{
最小正余数	$1 \leqslant r <	a	$
一般余数	$d \leqslant r <	a	+d$（$d$ 为任意整数）

带余数除法的核心应用知识点详解与完整证明

这部分内容是带余数除法在初等数论中的核心落地应用，覆盖整数同余类划分、同余类运算、进制表示、指数阶的性质、幂次的余数特征五大核心模块，是同余理论、不定方程、数论算法的基础。以下将逐例详细讲解，补全严谨证明，明确每一步的逻辑依据，最后进行系统性归纳。

一、例1：整数的同余类（剩余类）划分

1.1 核心知识点

带余数除法的唯一性直接决定了：全体整数可以按被固定正整数$a$除的余数，划分为两两不交的$a$个集合，每个集合称为模$a$的一个同余类（剩余类）。这是整数分划的最基本形式，也是同余理论的起点。

1.2 定义与性质

设$a\geqslant2$是给定正整数，$j=0,1,\dots,a-1$，定义：

\[j\bmod a = \{ ka+j \mid k\in\mathbb{Z} \} \]

即被$a$除余数等于$j$的全体整数构成的集合，称为模$a$的$j$剩余类。

核心性质（整数分划的充要条件）：

两两不交：若$0\leqslant j,j'\leqslant a-1$且$j\neq j'$，则$j\bmod a \cap j'\bmod a = \emptyset$；
覆盖全集：$0\bmod a \cup 1\bmod a \cup \dots \cup (a-1)\bmod a = \mathbb{Z}$（全体整数）。

1.3 严谨证明

（1）覆盖性证明

对任意整数$n$，由带余数除法，存在唯一的整数$q,r$满足$n=qa+r$，$0\leqslant r<a$，因此$n\in r\bmod a$，即任意整数必属于某个剩余类，所有剩余类的并是全体整数。

（2）不交性证明（反证法）

假设存在整数$n$同时属于$j\bmod a$和$j'\bmod a$（$j\neq j'$），则：

\[n=ka+j=k'a+j' \implies j-j'=(k'-k)a \]

即$a$整除$j-j'$。但$0\leqslant j,j'\leqslant a-1$，故$|j-j'|<a$，绝对值小于$a$的非零整数不可能被$a$整除，因此只能$j-j'=0$，即$j=j'$，与$j\neq j'$矛盾。故不同剩余类两两不交。

1.4 实例解读

$a=2$时，$0\bmod2$是全体偶数，$1\bmod2$是全体奇数，即我们熟知的奇偶划分；
$a=3$时，整数被划分为被3整除、被3除余1、被3除余2三类；
$a=6$时，整数被划分为6个剩余类，是后续同余类交并运算的基础。

二、例2：同余类的交运算（同余方程组求解）

2.1 核心知识点

同余类的交，本质是求解同时满足多个余数条件的整数集合，是中国剩余定理的最简情形（模互素场景）。若两个模$m,n$互素，则模$m$的剩余类与模$n$的剩余类的交，是模$mn$的一个剩余类。

2.2 逐题完整证明

（i）证明：$0\bmod2 \cap 0\bmod3 = 0\bmod6$

集合相等的证明需证两边互相包含：

充分性（右边⊆左边）：若$a\in0\bmod6$，即$a=6d$（$d\in\mathbb{Z}$）。则$a=2\cdot3d$，故$a\in0\bmod2$；同时$a=3\cdot2d$，故$a\in0\bmod3$。因此$a\in0\bmod2 \cap 0\bmod3$。
必要性（左边⊆右边）：若$a\in0\bmod2 \cap 0\bmod3$，即$a=2k=3h$（$k,h\in\mathbb{Z}$）。因此$2\mid3h$，又$\gcd(2,3)=1$，由整除性质得$2\mid h$，即$h=2t$（$t\in\mathbb{Z}$）。代入得$a=3\cdot2t=6t$，故$a\in0\bmod6$。

两边互相包含，集合相等得证。

（ii）证明：$1\bmod2 \cap 1\bmod3 = 1\bmod6$

充分性：若$a\in1\bmod6$，即$a=6d+1$。则$a=2\cdot3d+1$，故$a\in1\bmod2$；同时$a=3\cdot2d+1$，故$a\in1\bmod3$。因此$a\in$左边。
必要性：若$a\in$左边，即$a=2k+1=3h+1$，则$a-1=2k=3h$，即$a-1\in0\bmod2 \cap 0\bmod3$。由(i)得$a-1\in0\bmod6$，即$a=6d+1\in1\bmod6$。

集合相等得证。

（iii）证明：$0\bmod2 \cap 1\bmod3 = 4\bmod6$

充分性：若$a\in4\bmod6$，即$a=6d+4$。则$a=2\cdot(3d+2)$，故$a\in0\bmod2$；同时$a=3\cdot(2d+1)+1$，故$a\in1\bmod3$。因此$a\in$左边。
必要性：若$a\in$左边，即$a=2k=3h+1$（$k,h\in\mathbb{Z}$）。则$3h=2k-1$，右边是奇数，故左边$3h$必为奇数，即$h$为奇数。设$h=2t-1$（$t\in\mathbb{Z}$），代入得：
\[a=3(2t-1)+1=6t-2=6(t-1)+4 \]
令$d=t-1$，则$a=6d+4\in4\bmod6$。

集合相等得证。

三、例3：同余类的并运算

3.1 核心知识点

同余类的并，本质是将满足同一大类余数条件的剩余类合并，验证大集合与多个小剩余类的并集等价。

3.2 完整证明：$1\bmod2 = 1\bmod6 \cup 3\bmod6 \cup 5\bmod6$

充分性（右边⊆左边）：任取$n\in$右边，分三种情况：
- $n=6d+1=2\cdot3d+1$，是奇数，属于$1\bmod2$；
- $n=6d+3=2\cdot(3d+1)+1$，是奇数，属于$1\bmod2$；
- $n=6d+5=2\cdot(3d+2)+1$，是奇数，属于$1\bmod2$。
  因此右边所有元素都属于左边。
必要性（左边⊆右边）：任取$n\in1\bmod2$，即$n$是奇数。由带余数除法，$n$被6除的余数$r\in\{0,1,2,3,4,5\}$。因$n$是奇数，$6d$是偶数，故$r$必为奇数，即$r\in\{1,3,5\}$。因此$n$必属于$1\bmod6$、$3\bmod6$、$5\bmod6$中的一个，即$n\in$右边。

两边互相包含，集合相等得证。

四、例4：$a$进制表示的存在性与唯一性

4.1 核心知识点

带余数除法的迭代应用，直接证明了任意正整数都可以唯一表示为以$a\geqslant2$为基的进制形式，我们常用的十进制、二进制、十六进制都是该定理的特例。

定理内容：设$a\geqslant2$是正整数，则任一正整数$n$必可唯一表示为

\[n = r_k a^k + r_{k-1}a^{k-1} + \dots + r_1 a + r_0 \]

其中$k\geqslant0$，$0\leqslant r_j\leqslant a-1$（$0\leqslant j\leqslant k$），且$r_k\neq0$。该式称为$n$的$a$进制表示，$r_j$称为$a$进制的数位。

4.2 完整证明

（1）存在性证明（迭代带余数除法）

对正整数$n$反复使用带余数除法：

第一步：$n = q_0 a + r_0$，$0\leqslant r_0 <a$，$r_0$是$a$进制的个位；
第二步：若$q_0=0$，停止；若$q_0>0$，则$q_0 = q_1 a + r_1$，$0\leqslant r_1 <a$，$r_1$是$a$位；
重复迭代，得到$q_{m-1}=q_m a + r_m$，直到$q_m=0$。

因$n$是有限正整数，每次的商严格递减（$q_m < q_{m-1} < \dots < q_0 <n$），故迭代必在有限步停止。设最高位为$r_k\neq0$，将所有式子回代，即可得到$n$的$a$进制表示，存在性得证。

（2）唯一性证明（反证法）

假设$n$有两个不同的$a$进制表示：

\[n = r_k a^k + \dots + r_0 = s_t a^t + \dots + s_0 \]

其中$0\leqslant r_j,s_i <a$，$r_k\neq0$，$s_t\neq0$。

先证$k=t$：若$k>t$，则右边最大值为$(a-1)a^t + \dots + (a-1) = a^{t+1}-1 <a^{t+1}\leqslant a^k \leqslant$左边，矛盾，故$k=t$。
再证数位全同：设$d$是最大的下标使得$r_d\neq s_d$，则
\[(r_d - s_d)a^d = - \sum_{j=0}^{d-1} (r_j - s_j)a^j \]
两边取绝对值，左边$\geqslant a^d$（因$|r_d-s_d|\geqslant1$），右边$\leqslant (a-1)\sum_{j=0}^{d-1}a^j = a^d -1$，矛盾。因此不存在这样的$d$，即所有$r_j=s_j$，表示唯一。

五、例5：指数列的余数周期性与阶的性质

5.1 核心知识点

当$a$与$b$互素时，$b^d$模$a$的余数会呈现周期性，满足$a\mid b^d -1$的最小正整数$d$称为$b$模$a$的阶，阶是数论中费马小定理、欧拉定理、原根理论的核心基础。

本例前提：$a>2$是奇数，故$\gcd(2,a)=1$，保证$2^d$永远不被$a$整除。

5.2 逐题完整证明

（i）一定存在正整数$d\leqslant a-1$，使得$a\mid 2^d -1$

核心工具：鸽巢原理（抽屉原理）

考虑$a$个数：$2^0,2^1,\dots,2^{a-1}$，共$a$个整数。
因$\gcd(2,a)=1$，故$a\nmid 2^j$（$0\leqslant j<a$），由带余数除法，每个$2^j = q_j a + r_j$，$0<r_j <a$，即余数只能取$1,2,\dots,a-1$共$a-1$个值。
由鸽巢原理，$a$个余数放入$a-1$个抽屉，必有两个余数相等，设$0\leqslant i<k<a$，$r_i=r_k$。
因此$2^k - 2^i = (q_k - q_i)a$，即$a\mid 2^i(2^{k-i}-1)$。又$\gcd(a,2^i)=1$，故$a\mid 2^{k-i}-1$。
令$d=k-i$，则$1\leqslant d\leqslant a-1$，满足要求，得证。

（ii）设$d_0$是满足(i)的最小正整数，则$a\mid 2^h -1$（$h\in\mathbb{N}$）的充要条件是$d_0\mid h$

$d_0$称为2模$a$的阶，该性质是阶的核心特征：阶整除所有满足条件的正整数$h$。

充分性（$\Leftarrow$）：若$d_0\mid h$，即$h=qd_0$，则

\[2^h -1 = (2^{d_0})^q -1 = (2^{d_0}-1)(2^{d_0(q-1)} + \dots +1) \]
因$a\mid 2^{d_0}-1$，故$a\mid 2^h -1$，充分性得证。
必要性（$\Rightarrow$）：若$a\mid 2^h -1$，由带余数除法，$h=qd_0 + r$，$0\leqslant r<d_0$。变形得：

\[2^h -1 = 2^r(2^{qd_0}-1) + (2^r -1) \]
由充分性，$a\mid 2^{qd_0}-1$，又$a\mid 2^h -1$，故$a\mid 2^r -1$。
因$d_0$是满足条件的最小正整数，且$0\leqslant r<d_0$，故只能$r=0$，即$h=qd_0$，$d_0\mid h$，必要性得证。

（iii）必有正整数$d$，使得$(2^d -3,a)=1$

核心工具：最大公约数的性质：$(m,a)=(m-ka,a)$，即$m$减去$a$的倍数，与$a$的最大公约数不变。

由(i)，存在正整数$d$使得$a\mid 2^d -1$，即$2^d -1$是$a$的倍数。
因此$(2^d -3,a)=(2^d -3 - (2^d -1),a)=(-2,a)$。
因$a$是大于2的奇数，$\gcd(2,a)=1$，故$(-2,a)=1$，即$(2^d -3,a)=1$，得证。

六、幂次的余数特征（不定方程无解判定的核心工具）

这部分是带余数除法的经典应用，核心逻辑：整数$n$的$k$次幂模$m$的余数，仅由$n$模$m$的余数决定，因此只需枚举$0$到$m-1$的$k$次幂的余数，即可得到所有整数的$k$次幂的可能余数，用于快速判定不定方程是否有解。

核心结论与证明

结论	完整证明	核心推论
两个$4k+3$型数的乘积是$4k+1$型	设$n=4k+3,m=4h+3$，则$nm=16kh+12k+12h+9=4(4kh+3k+3h+2)+1$，得证	$4k+3$型正整数的素因子中，必有奇数个$4k+3$型素数
$x^2$模4的余数只能是0,1	任意$x$模4为0,1,2,3： $0^2\equiv0,1^2\equiv1,2^2\equiv0,3^2\equiv1\mod4$，得证	$x^2+y^2$不可能是$4k+3$型数
$x^2$模8的余数只能是0,1,4	奇数$x=2k+1$，$x^2=4k(k+1)+1\equiv1\mod8$；偶数$x=2k$，$k$偶则$x^2\equiv0\mod8$，$k$奇则$x^2\equiv4\mod8$，得证	$x^2+y^2$不可能是$8k+3,8k+6,8k+7$型数
$x^2$模3的余数只能是0,1	任意$x$模3为0,1,2： $0^2\equiv0,1^2\equiv1,2^2\equiv1\mod3$，得证	若$3\mid x^2$，则$3\mid x$
$x^3$模9的余数只能是0,1,8	枚举$x$模9的0-8： $0^3\equiv0,1^3\equiv1,2^3\equiv8,3^3\equiv0,4^3\equiv1,5^3\equiv8,6^3\equiv0,7^3\equiv1,8^3\equiv8\mod9$，得证	$x^3+y^3$不可能是$9k+3,9k+4,9k+5,9k+6$型数

七、知识点系统性归纳总结

表1 带余数除法的核心应用模块汇总

应用模块	核心逻辑	理论基础	核心用途
同余类划分	按余数将整数划分为两两不交的集合	带余数除法的存在性与唯一性	整数分类、同余理论的基础
同余类交并运算	集合相等的双向包含证明，等价于同余方程组求解	同余类定义、整除性质	中国剩余定理的前置、多约束条件的整数求解
$a$进制表示	带余数除法的迭代应用	带余数除法的存在唯一性	进制转换、计算机数值表示、数的构造性证明
指数的阶	幂次模$a$的余数周期性，鸽巢原理	带余数除法、互素的整除性质	费马小定理、欧拉定理、原根理论、公钥密码学
幂次的余数特征	幂次的余数仅由底数的余数决定	带余数除法、模运算性质	不定方程无解判定、素性检验、数的性质证明

表2 常见余数类型与应用场景

模$m$	研究对象	可能的余数	核心应用
2	整数奇偶性	0,1	最基础的整数分类、奇偶性分析
4	平方数、奇数平方	0,1	平方和问题、不定方程判定
8	平方数、奇数平方	0,1,4	平方和问题、二次剩余分析
3	平方数	0,1	整除性判定、二次剩余
9	立方数	0,1,8	立方和问题、三次剩余

辗转相除法（Euclid算法）知识点详解与完整证明

辗转相除法是带余数除法的核心迭代应用，是初等数论的核心算法，兼具极高的理论价值与实用价值：理论上，它是最大公约数理论、贝祖（Bezout）定理的构造性证明基础；应用上，它是求解最大公约数、模逆元、不定方程的核心工具，也是现代密码学（如RSA算法）的底层算法之一。

以下将对定理4、定理5进行逐点严谨讲解与完整推导，明确每一步的逻辑依据，最后进行系统性归纳。

一、定理4 辗转相除法的算法描述与有限性证明

1.1 定理内容

设 $u_0,u_1$ 是两个给定的整数，满足 $u_1 \neq 0$，且 $u_1 \nmid u_0$（$u_1$ 不整除 $u_0$）。我们一定可以重复应用带余数除法，得到如下 $k+1$ 个等式：

\[\begin{align*} u_0 &= q_0 u_1 + u_2, \quad 0<u_2<|u_1|, \\ u_1 &= q_1 u_2 + u_3, \quad 0<u_3<u_2, \\ u_2 &= q_2 u_3 + u_4, \quad 0<u_4<u_3, \\ &\dots\dots \\ u_{k-2} &= q_{k-2} u_{k-1} + u_k, \quad 0<u_k<u_{k-1}, \\ u_{k-1} &= q_{k-1} u_k + u_{k+1}, \quad 0<u_{k+1}<u_k, \\ u_k &= q_k u_{k+1}, \end{align*} \]

其中 $q_i(0\leqslant i\leqslant k)$ 是商，$u_j(2\leqslant j\leqslant k+1)$ 是余数。上述迭代算法称为辗转相除法（Euclid算法）。

1.2 核心逻辑拆解

辗转相除法的本质是对带余数除法的迭代使用，核心规律是：

每一步都用「前一步的除数」作为新的被除数，「前一步的余数」作为新的除数，再次执行带余数除法；
每一步的余数都是严格递减的正整数；
算法必然在有限步内终止，终止标志是余数为0，最后一个非零余数就是迭代的终点。

1.3 严谨证明

本定理的证明核心是算法的有限性，即迭代过程不会无限进行下去，必然在有限步内终止。

迭代的合法性
对 $u_0,u_1$ 应用带余数除法，因 $u_1 \nmid u_0$，故余数 $u_2$ 满足 $0<u_2<|u_1|$，第一式成立。
若 $u_2 \mid u_1$，则迭代终止，定理对 $k=1$ 成立；若 $u_2 \nmid u_1$，则再次应用带余数除法，得到第二式，余数 $u_3$ 满足 $0<u_3<u_2$。以此类推，可得到一系列带余数除法等式。
有限性证明（核心）
由迭代过程，我们得到严格递减的正整数序列：

\[|u_1| > u_2 > u_3 > \dots > u_{j+1} > 0 \]
根据最小自然数原理（正整数的良序性）：严格递减的正整数序列只能有有限项。因为正整数的最小值为1，迭代最多进行 $|u_1|$ 步，必然会出现某一步的余数 $u_{k+1}$ 整除前一个除数 $u_k$，即 $u_k = q_k u_{k+1}$，此时余数为0，算法终止。

综上，辗转相除法的迭代过程合法且有限，定理4得证。

二、定理5 辗转相除法的核心推论

定理5是辗转相除法的核心价值所在，它完整揭示了迭代结果与最大公约数的本质联系，并证明了初等数论的基石定理——贝祖定理。

2.1 定理内容

在定理4的条件和符号下，有如下三个核心结论：
(i) 最后一个不等于零的余数 $u_{k+1}$ 就是 $u_0$ 和 $u_1$ 的最大公约数，即
$$u_{k+1} = (u_0,u_1)$$
(ii) 整数 $d \mid u_0$ 且 $d \mid u_1$ 的充要条件是 $d \mid u_{k+1}$；
(iii) 存在整数 $x_0,x_1$，使得
$$u_{k+1} = x_0 u_0 + x_1 u_1$$
即两个整数的最大公约数一定可以表示为这两个整数的整系数线性组合（该结论称为贝祖定理）。

2.2 结论(i)的完整证明

核心引理

对任意整数 $a,b,q,r$，若 $a = qb + r$，则 $(a,b) = (b,r)$。
引理证明：

若 $d \mid a$ 且 $d \mid b$，则 $d \mid a - qb = r$，即 $a,b$ 的公约数一定是 $b,r$ 的公约数；
反之，若 $d \mid b$ 且 $d \mid r$，则 $d \mid qb + r = a$，即 $b,r$ 的公约数一定是 $a,b$ 的公约数。

因此，$a,b$ 与 $b,r$ 的公约数集合完全相同，故最大公约数相等，引理得证。

定理证明

将引理应用于辗转相除法的每一步，可得：

\[\begin{align*} (u_0,u_1) &= (u_1,u_2), \\ (u_1,u_2) &= (u_2,u_3), \\ &\dots\dots \\ (u_{k-1},u_k) &= (u_k,u_{k+1}), \\ (u_k,u_{k+1}) &= u_{k+1}. \end{align*} \]

最后一步，因 $u_k = q_k u_{k+1}$，即 $u_{k+1} \mid u_k$，故 $u_k$ 和 $u_{k+1}$ 的最大公约数就是 $u_{k+1}$。

联立所有等式，得 $(u_0,u_1) = u_{k+1}$，结论(i)得证。

2.3 结论(ii)的完整证明

本结论是结论(i)的直接延伸，本质是：两个整数的所有公约数，恰好是它们最大公约数的所有约数。

必要性（$\implies$）

若 $d \mid u_0$ 且 $d \mid u_1$，由结论(i)的引理证明可知，$d$ 是每一步余数的约数，依次递推可得 $d \mid u_{k+1}$。

充分性（$\impliedby$）

若 $d \mid u_{k+1}$，从辗转相除法的最后一步向上递推：

由 $u_k = q_k u_{k+1}$，得 $d \mid u_k$；
由 $u_{k-1} = q_{k-1} u_k + u_{k+1}$，得 $d \mid u_{k-1}$；
以此类推，最终可得 $d \mid u_1$ 且 $d \mid u_0$。

综上，充要条件成立，结论(ii)得证。

2.4 结论(iii)的完整证明（贝祖定理的构造性证明）

本证明的核心是对辗转相除法的等式进行反向回代，将最大公约数逐步表示为前两步数的线性组合，最终得到 $u_0$ 和 $u_1$ 的线性组合。

从辗转相除法的倒数第二步开始，移项得：

\[u_{k+1} = u_{k-1} - q_{k-1} u_k \tag{1} \]
此时 $u_{k+1}$ 被表示为 $u_{k-1}$ 和 $u_k$ 的整系数线性组合。
再取倒数第三步的等式，移项得 $u_k = u_{k-2} - q_{k-2} u_{k-1}$，将其代入式(1)：

\[\begin{align*} u_{k+1} &= u_{k-1} - q_{k-1} (u_{k-2} - q_{k-2} u_{k-1}) \\ &= -q_{k-1} \cdot u_{k-2} + (1 + q_{k-1} q_{k-2}) \cdot u_{k-1} \end{align*} \]
此时 $u_{k+1}$ 被表示为 $u_{k-2}$ 和 $u_{k-1}$ 的整系数线性组合。
重复上述回代过程，依次消去 $u_{k-1},u_{k-2},\dots,u_3,u_2$，每一步都保持整系数线性组合的形式，最终必然可以得到：

\[u_{k+1} = x_0 u_0 + x_1 u_1 \]
其中 $x_0,x_1$ 为整数。

实例演示（回代法求线性组合）

求 $(252,198)$ 的最大公约数，并表示为线性组合：

辗转相除迭代：

\[\begin{align*} 252 &= 1 \times 198 + 54, \\ 198 &= 3 \times 54 + 36, \\ 54 &= 1 \times 36 + 18, \\ 36 &= 2 \times 18 + 0. \end{align*} \]
最后非零余数为18，故 $(252,198)=18$。
反向回代：

\[\begin{align*} 18 &= 54 - 1 \times 36, \\ 36 &= 198 - 3 \times 54 \implies 18 = 54 - 1 \times (198 - 3 \times 54) = 4 \times 54 - 1 \times 198, \\ 54 &= 252 - 1 \times 198 \implies 18 = 4 \times (252 - 1 \times 198) - 1 \times 198 = 4 \times 252 - 5 \times 198. \end{align*} \]
最终得到线性组合：$18 = 4 \times 252 + (-5) \times 198$，即 $x_0=4,x_1=-5$。

三、知识点系统性归纳总结

表1 核心定理汇总表

定理名称	核心内容	证明关键	核心价值与用途
定理4（辗转相除法）	对两个整数迭代使用带余数除法，可在有限步内得到余数为0的结果，最后非零余数为迭代终点	严格递减正整数序列的有限性、最小自然数原理	提供了求解最大公约数的高效算法，是贝祖定理构造性证明的基础
定理5(i)	最后非零余数等于两个整数的最大公约数	最大公约数的不变性：$(a,b)=(b,a\bmod b)$	给出了最大公约数的迭代求解方法，是算法的核心结论
定理5(ii)	两个数的公约数等价于其最大公约数的约数	辗转相除的递推整除性	完整刻画了两个整数的公约数集合，是整除理论的核心结论
定理5(iii)（贝祖定理）	两个数的最大公约数可表示为其整系数线性组合	辗转相除等式的反向回代	初等数论的基石定理，是同余方程求解、算术基本定理证明的核心工具

表2 辗转相除法核心要点

项目	核心说明
算法本质	带余数除法的迭代应用，核心是将大数的最大公约数问题转化为小数的最大公约数问题
终止条件	迭代至余数为0，取最后一个非零余数为最大公约数
算法复杂度	时间复杂度为 $O(\log \min(
核心应用	1. 求解两个/多个整数的最大公约数；2. 求解贝祖系数，得到线性组合；3. 求解模逆元，解决同余方程；4. 现代密码学（RSA）的核心底层算法

例题详细解析与完整推导

这两个例题是辗转相除法、贝祖定理的经典落地应用：例6是扩展欧几里得算法的标准实操，例7是辗转相除法在指数型整数最大公约数问题中的核心结论，也是梅森数理论的基础定理。以下将逐例拆解，补全所有逻辑细节，明确每一步的原理。

一、例6 详细解析

题目

求 198 和 252 的最大公约数，并把它表示为 198 和 252 的整系数线性组合。

步骤1：辗转相除法求最大公约数

核心原理：最大公约数的不变性——对任意整数 $a,b,q,r$，若 $a=qb+r$，则 $\gcd(a,b)=\gcd(b,r)$。我们通过迭代带余数除法，将大数的最大公约数问题转化为小数的问题，直到余数为0，最后一个非零余数即为最大公约数。

迭代过程如下：

用较大数252除以较小数198，得商1，余数54：
\[252 = 1 \times 198 + 54 \]
因此 $\gcd(252,198) = \gcd(198,54)$。
用198除以54，得商3，余数36：
\[198 = 3 \times 54 + 36 \]
因此 $\gcd(198,54) = \gcd(54,36)$。
用54除以36，得商1，余数18：
\[54 = 1 \times 36 + 18 \]
因此 $\gcd(54,36) = \gcd(36,18)$。
用36除以18，得商2，余数0：
\[36 = 2 \times 18 + 0 \]
余数为0，迭代终止，最后一个非零余数18即为最大公约数。

最终结论：$\boldsymbol{\gcd(252,198)=18}$。

步骤2：反向回代求整系数线性组合

核心原理：贝祖定理——最大公约数一定可以表示为原数的整系数线性组合。我们从迭代的倒数第二步开始，反向回代，逐步消去中间余数，最终得到仅含198和252的表达式。

回代过程如下：

从倒数第二个式子移项，将18表示为36和54的线性组合：
\[18 = 54 - 1 \times 36 \tag{1} \]
从第二步的迭代式中解出36：$36 = 198 - 3 \times 54$，将其代入式(1)，消去36，得到18表示为54和198的线性组合：
\[\begin{align*} 18 &= 54 - 1 \times (198 - 3 \times 54) \\ &= 4 \times 54 - 1 \times 198 \end{align*} \tag{2} \]
从第一步的迭代式中解出54：$54 = 252 - 1 \times 198$，将其代入式(2)，消去54，最终得到18表示为252和198的线性组合：
\[\begin{align*} 18 &= 4 \times (252 - 1 \times 198) - 1 \times 198 \\ &= \boldsymbol{4 \times 252 - 5 \times 198} \end{align*} \]

结果验证

代入计算：$4 \times 252 = 1008$，$5 \times 198 = 990$，$1008 - 990 = 18$，与最大公约数一致，结果正确。

核心知识点

辗转相除法的迭代逻辑：通过带余数除法不断缩小计算规模，保证有限步内得到结果；
扩展欧几里得算法：通过反向回代，构造出贝祖定理要求的整系数线性组合，是求解同余方程、模逆元的核心方法。

二、例7 完整证明与深度解析

题目

设 $m,n$ 是正整数，证明：

\[\boldsymbol{\gcd(2^m - 1, 2^n - 1) = 2^{\gcd(m,n)} - 1} \]

并说明将2替换为任意大于1的自然数$a$，结论依然成立。

前置引理（证明的核心基础）

引理：若正整数 $d \mid k$（$d$ 整除 $k$），则 $2^d - 1 \mid 2^k - 1$。
引理证明：
设 $k = qd$（$q$ 为正整数），根据等比数列求和的因式分解公式：

\[x^q - 1 = (x - 1)(x^{q-1} + x^{q-2} + \dots + x + 1) \]

令 $x = 2^d$，代入得：

\[2^{qd} - 1 = (2^d - 1)(2^{d(q-1)} + 2^{d(q-2)} + \dots + 2^d + 1) \]

右边第二项是整数，因此 $2^d - 1$ 整除 $2^{qd} - 1 = 2^k - 1$，引理得证。

定理完整证明

核心思路：模仿辗转相除法的迭代过程，将指数的辗转相除与数的最大公约数完全同步，最终将问题归约到指数互素的场景。

第一步：带余数除法处理指数
不妨设 $m \geqslant n$，根据带余数除法，存在唯一的整数 $q_1, r_1$，使得：

\[m = q_1 n + r_1,\quad 0 \leqslant r_1 < n \]
第二步：对 $2^m -1$ 做代数变形
对 $2^m -1$ 拆分变形，匹配带余数除法的形式：

\[\begin{align*} 2^m - 1 &= 2^{q_1 n + r_1} - 1 \\ &= 2^{r_1} \cdot 2^{q_1 n} - 2^{r_1} + 2^{r_1} - 1 \\ &= 2^{r_1}(2^{q_1 n} - 1) + (2^{r_1} - 1) \end{align*} \]
第三步：应用最大公约数不变性
根据前置引理，$2^n -1 \mid 2^{q_1 n} -1$，因此 $2^n -1$ 整除上式中的第一项 $2^{r_1}(2^{q_1 n} -1)$。
结合最大公约数的核心性质：若 $a = qb + r$，则 $\gcd(a,b) = \gcd(b,r)$，可得：

\[\gcd(2^m - 1, 2^n - 1) = \gcd(2^n - 1, 2^{r_1} - 1) \]
同时，根据辗转相除法，$\gcd(m,n) = \gcd(n,r_1)$，即指数的最大公约数与数的最大公约数同步迭代。
第四步：迭代终止与结论归约
- 若 $r_1 = 0$，即 $n \mid m$，则 $\gcd(m,n) = n$，此时：
  \[\gcd(2^m -1, 2^n -1) = 2^n -1 = 2^{\gcd(m,n)} -1 \]
  结论直接成立。
- 若 $r_1 > 0$，则对 $\gcd(2^n -1, 2^{r_1} -1)$ 重复上述操作，即对 $n$ 和 $r_1$ 做带余数除法 $n = q_2 r_1 + r_2$，$0 \leqslant r_2 < r_1$，可得：
  \[\gcd(2^n -1, 2^{r_1} -1) = \gcd(2^{r_1} -1, 2^{r_2} -1),\quad \gcd(n,r_1)=\gcd(r_1,r_2) \]
由于辗转相除法必然在有限步内终止（余数严格递减），最终会得到余数 $r_k = 0$，此时 $\gcd(m,n) = r_{k-1}$，对应的：

\[\gcd(2^{r_{k-2}} -1, 2^{r_{k-1}} -1) = 2^{r_{k-1}} -1 = 2^{\gcd(m,n)} -1 \]
综上，原等式得证。

推广结论

将底数2替换为任意大于1的自然数$a$，结论依然成立，即：

\[\boldsymbol{\gcd(a^m - 1, a^n - 1) = a^{\gcd(m,n)} - 1} \]

证明逻辑完全一致：仅需将前置引理中的2替换为$a$，因式分解公式依然成立，后续迭代过程无需修改。

核心意义与应用

这个结论是梅森数理论的核心定理，最经典的应用是证明：若 $2^p -1$ 是梅森素数，则 $p$ 一定是素数。
证明：若 $p$ 是合数，设 $p=ab$（$a,b>1$），则根据本定理：

\[\gcd(2^a -1, 2^p -1) = 2^{\gcd(a,p)} -1 = 2^a -1 >1 \]

即 $2^p -1$ 存在大于1的约数 $2^a -1$，与 $2^p -1$ 是素数矛盾，因此 $p$ 必为素数。

初等数论习题完整解答（带余数除法+辗转相除法）

这是初等数论中「带余数除法」与「辗转相除法」章节的配套习题，覆盖余数性质、整除判定、同余类、素数无穷性、进制整除判别法、贝祖定理、梅森数性质等核心考点。以下按模块给出完整证明/解答+思路解析，优先覆盖基础必做题与高频考点题。

第一部分 §3 带余数除法习题解答

题1 证明定理2：设$a>0$，整数被$a$除后所得的余数$r_1$是且仅是$d,d+1,\dots,d+a-1$这$a$个数中的一个。

证明：
根据定理2，对任意整数$b$，存在唯一整数$q_1,r_1$满足 $b=q_1a + r_1,\ d\leqslant r_1 < d+a$。

存在性：$r_1$是整数且落在区间$[d,d+a)$内，因此只能是$d,d+1,\dots,d+a-1$中的一个；
遍历性：对任意$s\in\{d,d+1,\dots,d+a-1\}$，取$b=s$，则$b=0\cdot a + s$，即余数为$s$，所有数均可被取到；
唯一性：由定理2的余数唯一性，每个整数对应的$r_1$唯一，因此余数是且仅是这$a$个数中的一个。
证毕。

题2 设$a>0$，证明：相邻的$a$个整数中有且仅有一个被$a$整除。

证明：
设相邻的$a$个整数为 $n, n+1, n+2, \dots, n+a-1$（$n$为任意整数）。

存在性：对$n$用带余数除法，$n=qa + r,\ 0\leqslant r <a$。
- 若$r=0$，则$n=qa$被$a$整除；
- 若$r>0$，则$n+(a-r) = (q+1)a$，是这$a$个相邻数中的一个，被$a$整除。
唯一性：假设其中有两个数$n+i, n+j$（$0\leqslant i<j<a$）都被$a$整除，则它们的差$j-i$被$a$整除。但$1\leqslant j-i <a$，小于$a$的正整数不可能被$a$整除，矛盾。因此仅有一个被$a$整除。
证毕。

题3 分别写出被-7,9,12除后的所有最小非负余数、最小正余数和绝对最小余数。

核心定义：

最小非负余数：范围$0\leqslant r < |a|$；
最小正余数：范围$1\leqslant r < |a|$；
绝对最小余数：奇数$a$范围$-(|a|-1)/2 \leqslant r < (|a|+1)/2$，偶数$a$范围$-|a|/2 \leqslant r < |a|/2$。

除数	绝对值	最小非负余数	最小正余数	绝对最小余数
-7	7	0,1,2,3,4,5,6	1,2,3,4,5,6,7	-3,-2,-1,0,1,2,3
9	9	0,1,2,…,8	1,2,…,9	-4,-3,-2,-1,0,1,2,3,4
12	12	0,1,2,…,11	1,2,…,12	-6,-5,…,0,…,5

注：除数的正负不影响余数集合，余数范围由除数的绝对值决定。

题4 素数整除性质

(i) 证明：若$2|ab$，则$2|a,2|b$中至少有一个成立；

证明：反证法。若$2\nmid a$且$2\nmid b$，则$a,b$均为奇数，奇数×奇数=奇数，与$2|ab$矛盾，因此至少有一个成立。

(ii) 证明：若$7|ab$，则$7|a,7|b$中至少有一个成立；

证明：7是素数，素数核心性质为：若素数$p|ab$，则$p|a$或$p|b$。
反证法：若$7\nmid a$且$7\nmid b$，则$\gcd(7,a)=1$，$\gcd(7,b)=1$，故$\gcd(7,ab)=1$，与$7|ab$矛盾，因此至少有一个成立。

(iii) 若$14|ab$，试问：$14|a,14|b$中必有一个成立吗？

结论：不一定成立。
反例：取$a=2,b=7$，$ab=14$满足$14|ab$，但$14\nmid2$且$14\nmid7$。

本质原因：14是合数，不具备素数的整除性质。

题5 设$a≠0$，$b_j=q_ja+s_j(1≤j≤n)$。证明：$b_1,…,b_n$以任意方式做加、减、乘法运算后被$a$除所得的最小非负余数，等于$s_1,…,s_n$以同样方式运算后被$a$除所得的最小非负余数。

证明：
核心原理：对任意整数$x=q_x a + r_x$，$y=q_y a + r_y$，有：

$x\pm y = (q_x\pm q_y)a + (r_x\pm r_y)$，故$x\pm y$与$r_x\pm r_y$模$a$同余，最小非负余数相同；
$x\cdot y = (q_x q_y a + q_x r_y + q_y r_x)a + r_x r_y$，故$x\cdot y$与$r_x r_y$模$a$同余，最小非负余数相同。

对运算次数做数学归纳法：

基例：1次加/减/乘运算，上述已证成立；
归纳假设：$k$次运算后结论成立；
归纳步：$k+1$次运算可拆分为两个$k$次以内的运算结果再做一次加/减/乘，由归纳假设，两部分的余数分别等于对应$s$的运算余数，再由基例，最终结果的余数相同。

因此任意有限次加、减、乘法运算后，$b$的运算结果与$s$的运算结果模$a$同余，最小非负余数相等。
证毕。

题7 整除性证明（核心高频题）

(i) 证明：对任意整数$n$，$6|n(n+1)(n+2)$

证明：相邻3个整数中，必有一个被2整除、一个被3整除，2和3互素，故$6|n(n+1)(n+2)$。

(ii) 证明：$8|n(n+1)(n+2)(n+3)$

证明：相邻4个整数中有2个偶数，其中一个是2的倍数，另一个是4的倍数，乘积中2的幂次至少为$1+2=3$，故$8|$该乘积。

(iii) 证明：$24|n(n+1)(n+2)(n+3)$

证明：由(ii)得$8|$乘积，由(i)得$3|$乘积，8和3互素，故$24|$乘积。

(iv) 若$2\nmid n$（$n$为奇数），则$8|n^2-1$及$24|n(n^2-1)$

证明：

$8|n^2-1$：奇数$n=2k+1$，$n^2-1=4k(k+1)$，$k$和$k+1$必有一个偶数，故$8|4k(k+1)$；
$24|n(n^2-1)$：$n(n^2-1)=(n-1)n(n+1)$是三个相邻整数，故$3|$该式，结合$8|n^2-1$，得$24|$该式。

(v) 若$2\nmid n,3\nmid n$，则$24|n^2+23$

证明：$n^2+23 = n^2-1+24$，只需证$24|n^2-1$。

$2\nmid n$，故$8|n^2-1$；
$3\nmid n$，故$n≡1$或$2\mod3$，$n^2≡1\mod3$，故$3|n^2-1$；
8和3互素，故$24|n^2-1$，因此$24|n^2+23$。

(vi) $6|n^3-n$

证明：$n^3-n=(n-1)n(n+1)$是三个相邻整数，故$6|$该式。

(vii) $30|n^5-n$

证明：$30=2×3×5$，分别验证：

$2|n^5-n$：$n^5$与$n$同奇偶，差为偶数；
$3|n^5-n$：由费马小定理$n^3≡n\mod3$，故$n^5≡n^3≡n\mod3$；
$5|n^5-n$：费马小定理$n^5≡n\mod5$；
2、3、5两两互素，故$30|n^5-n$。

(viii) $42|n^7-n$

证明：$42=2×3×7$，同理：

$2|n^7-n$：奇偶性相同，差为偶数；
$3|n^7-n$：$n^7≡n^{3×2+1}≡n^3≡n\mod3$；
$7|n^7-n$：费马小定理$n^7≡n\mod7$；
故$42|n^7-n$。

(ix) 证明$\frac{1}{5}n^5 + \frac{1}{3}n^3 + \frac{7}{15}n$是整数

证明：通分得原式=$\frac{3n^5 +5n^3 +7n}{15}$，只需证$15|3n^5+5n^3+7n$。

模3：$3n^5≡0$，$5n^3≡2n$，$7n≡n$，总和≡$3n≡0\mod3$；
模5：$3n^5≡3n$，$5n^3≡0$，$7n≡2n$，总和≡$5n≡0\mod5$；
3和5互素，故$15|$分子，原式为整数。

题9 不定方程无解判定

(i) 对任意整数$x,y$，必有$8\nmid x^2-y^2-2$

证明：平方数模8的余数只能是0,1,4，因此$x^2-y^2$模8的可能值为0,±1,±3,±4，不可能为2，故$x^2-y^2-2$模8不可能为0，即$8\nmid x^2-y^2-2$。

(ii) 若$2\nmid xy$，则$x^2+y^2≠n^2$

证明：$2\nmid xy$即$x,y$均为奇数，奇数平方模4余1，故$x^2+y^2≡2\mod4$。而平方数模4只能是0或1，不可能为2，因此$x^2+y^2$不可能是平方数。

(iii) 若$3\nmid xy$，则$x^2+y^2≠n^2$

证明：$3\nmid xy$即$x,y$均不被3整除，平方数模3只能是0或1，故$x^2+y^2≡2\mod3$。而平方数模3不可能为2，因此$x^2+y^2$不可能是平方数。

(iv) 若$a^2+b^2=c^2,a,b,c∈\mathbb{Z}$，则$6|ab$

证明：

证$2|ab$：若$2\nmid ab$，由(ii)得$a^2+b^2$不可能是平方数，矛盾，故$2|ab$；
证$3|ab$：若$3\nmid ab$，由(iii)得$a^2+b^2$不可能是平方数，矛盾，故$3|ab$；
2和3互素，故$6|ab$。

题10 同余类性质

设$a≥2$，$j_1\bmod a = \{n=ka+j_1 \mid k∈\mathbb{Z}\}$。

(i) $j_1\bmod a = j_2\bmod a$的充要条件是$a|j_1-j_2$。

证明：

必要性：若$j_1\bmod a = j_2\bmod a$，则$j_1∈j_2\bmod a$，即存在整数$k$使得$j_1=ka+j_2$，故$a|j_1-j_2$。
充分性：若$a|j_1-j_2$，即$j_1=j_2+ka$。对任意$n∈j_1\bmod a$，$n=ta+j_1=(t+k)a+j_2∈j_2\bmod a$，故$j_1\bmod a \subseteq j_2\bmod a$；同理可证反向包含，因此两集合相等。

(ii) 当$a\nmid j_1-j_2$时，集合$j_1\bmod a$和$j_2\bmod a$不相交。

证明：反证法。若存在整数$n$同时属于两个集合，则$n=k_1a+j_1=k_2a+j_2$，即$j_1-j_2=(k_2-k_1)a$，与$a\nmid j_1-j_2$矛盾，故两集合不相交。

题15 素数无穷性证明

(i) 形如$4k-1$的素数有无穷多个；

证明：反证法。假设形如$4k-1$的素数只有有限个，记为$p_1,p_2,\dots,p_s$。
构造$N=4p_1p_2\dots p_s -1$，$N≡3\mod4$，即$4k-1$型正整数。
$N$的素因子只能是$4k+1$型或$4k-1$型，若所有素因子都是$4k+1$型，乘积也为$4k+1$型，与$N≡3\mod4$矛盾，故$N$必有$4k-1$型素因子$p$。
$p$不可能是$p_1,\dots,p_s$中的任意一个，否则$p|1$，矛盾。因此存在新的$4k-1$型素数，与假设矛盾，故形如$4k-1$的素数有无穷多个。

(ii) 形如$6k-1$的素数有无穷多个。

证明：同理，反证法。假设形如$6k-1$的素数只有有限个，记为$p_1,\dots,p_s$。
构造$N=6p_1\dots p_s -1$，$N≡5\mod6$，即$6k-1$型。
$N$的素因子只能是$6k+1$型或$6k-1$型，若所有素因子都是$6k+1$型，乘积也为$6k+1$型，与$N≡5\mod6$矛盾，故$N$必有$6k-1$型素因子$p$，且$p≠p_i$（否则$p|1$，矛盾）。因此形如$6k-1$的素数有无穷多个。

题16 整除判别法

核心原理：利用进制基数的幂次模$m$的余数，简化大数的整除判定。

(I) 十进制$n=c_k\cdot10^k+\dots+c_1\cdot10+c_0$

(i) $2|n \iff 2|c_0$：$10≡0\mod2$，故$n≡c_0\mod2$；
(ii) $5|n \iff5|c_0$：$10≡0\mod5$，故$n≡c_0\mod5$；
(iii) $3|n \iff3|(c_k+\dots+c_0)$：$10≡1\mod3$，故$n≡$各位和$\mod3$；
(iv) $9|n \iff9|(c_k+\dots+c_0)$：$10≡1\mod9$，故$n≡$各位和$\mod9$；
(v) $11|n \iff11|[c_k -c_{k-1}+\dots+(-1)^k c_0]$：$10≡-1\mod11$，故$n≡$交替和$\mod11$。

(II) 百进制$n=c_k\cdot100^k+\dots+c_1\cdot100+c_0$

(i) $11|n \iff11|(c_k+\dots+c_0)$：$100≡1\mod11$，故$n≡$各位和$\mod11$；
(ii) $101|n \iff101|[c_k -c_{k-1}+\dots+(-1)^k c_0]$：$100≡-1\mod101$，故$n≡$交替和$\mod101$。

(III) 千进制$n=c_k\cdot1000^k+\dots+c_1\cdot1000+c_0$

(i) $37|n \iff37|(c_k+\dots+c_0)$：$1000≡1\mod37$，故$n≡$各位和$\mod37$；
(ii) $7|n \iff7|[c_k -c_{k-1}+\dots+(-1)^k c_0]$：$1000≡-1\mod7$，故$n≡$交替和$\mod7$；
(iii) $13|n \iff13|[c_k -c_{k-1}+\dots+(-1)^k c_0]$：$1000≡-1\mod13$，故$n≡$交替和$\mod13$。

第二部分 3.2 辗转相除法习题解答

题1 用辗转相除法求最大公约数，并表示为整系数线性组合

(i) 1819, 3587

步骤1：辗转相除

\[\begin{align*} 3587 &= 1\times1819 + 1768 \\ 1819 &= 1\times1768 + 51 \\ 1768 &= 34\times51 + 34 \\ 51 &= 1\times34 + 17 \\ 34 &= 2\times17 + 0 \end{align*} \]

最终$\gcd(3587,1819)=17$。

步骤2：反向回代求线性组合

\[\begin{align*} 17 &= 51 - 1\times34 \\ &= 51 - 1\times(1768 - 34\times51) = 35\times51 - 1\times1768 \\ &= 35\times(1819 - 1\times1768) - 1\times1768 = 35\times1819 - 36\times1768 \\ &= 35\times1819 - 36\times(3587 - 1\times1819) = \boldsymbol{71\times1819 - 36\times3587} \end{align*} \]

(ii) 2947, 3997

步骤1：辗转相除

\[\begin{align*} 3997 &= 1\times2947 + 1050 \\ 2947 &= 2\times1050 + 847 \\ 1050 &= 1\times847 + 203 \\ 847 &= 4\times203 + 35 \\ 203 &= 5\times35 + 28 \\ 35 &= 1\times28 + 7 \\ 28 &= 4\times7 + 0 \end{align*} \]

最终$\gcd(3997,2947)=7$。

步骤2：反向回代

\[\begin{align*} 7 &= 35 - 1\times28 \\ &= 35 - 1\times(203 -5\times35) =6\times35 -1\times203 \\ &=6\times(847 -4\times203) -1\times203 =6\times847 -25\times203 \\ &=6\times847 -25\times(1050 -1\times847) =31\times847 -25\times1050 \\ &=31\times(2947 -2\times1050) -25\times1050 =31\times2947 -87\times1050 \\ &=31\times2947 -87\times(3997 -1\times2947) = \boldsymbol{118\times2947 -87\times3997} \end{align*} \]

(iii) -1109, 4999

注：最大公约数与符号无关，$\gcd(-1109,4999)=\gcd(1109,4999)$。
步骤1：辗转相除

\[\begin{align*} 4999 &= 4\times1109 + 563 \\ 1109 &= 1\times563 + 546 \\ 563 &= 1\times546 + 17 \\ 546 &= 32\times17 + 2 \\ 17 &= 8\times2 + 1 \\ 2 &= 2\times1 + 0 \end{align*} \]

最终$\gcd(4999,-1109)=1$。

步骤2：反向回代

\[\begin{align*} 1 &=17 -8\times2 \\ &=17 -8\times(546 -32\times17) =257\times17 -8\times546 \\ &=257\times(563 -1\times546) -8\times546 =257\times563 -265\times546 \\ &=257\times563 -265\times(1109 -1\times563) =522\times563 -265\times1109 \\ &=522\times(4999 -4\times1109) -265\times1109 =522\times4999 -2353\times1109 \\ &= \boldsymbol{522\times4999 + 2353\times(-1109)} \end{align*} \]

题10 设$p$是奇素数，$q$是$2^p-1$的素因数，证明：$q=2kp+1$（$k$为正整数）

证明：
$q$是$2^p-1$的素因数，故$2^p ≡ 1 \pmod{q}$。设$d$是2模$q$的阶（满足$2^d≡1\mod q$的最小正整数），则$d|p$。
$p$是奇素数，故$d$的正因子只有1和$p$。若$d=1$，则$2≡1\mod q$，即$q|1$，矛盾，故$d=p$。
由费马小定理，$2^{q-1}≡1\pmod{q}$，故阶$d=p$整除$q-1$，即$p|q-1$，因此$q-1=tp$。
又$q$是奇素数，$q-1$是偶数，$p$是奇数，故$t$必为偶数，设$t=2k$，得$q=2kp+1$。
证毕。

题12 证明：所有的Mersenne数两两互素

Mersenne数定义：$M_p=2^p-1$（$p$为素数）。
证明：
任取两个不同的素数$p,q$，由例7的核心结论$\gcd(2^m-1,2^n-1)=2^{\gcd(m,n)}-1$。
因$p,q$是不同素数，$\gcd(p,q)=1$，故$\gcd(M_p,M_q)=2^1-1=1$。
因此所有Mersenne数两两互素。
证毕。

补充说明

以上为该习题集中核心基础题、高频考点题的完整解答，剩余拓展题（带*的算法对比题、进制表示题等）可基于上述核心方法推导，若需要某一题的详细解答，可指定题号补充。

posted on 2026-03-13 14:26 Indian_Mysore 阅读(0) 评论(0) 收藏举报

刷新页面返回顶部

结论	完整证明	核心推论
两个\(4k+3\)型数的乘积是\(4k+1\)型	设\(n=4k+3,m=4h+3\)，则\(nm=16kh+12k+12h+9=4(4kh+3k+3h+2)+1\)，得证	\(4k+3\)型正整数的素因子中，必有奇数个\(4k+3\)型素数
\(x^2\)模4的余数只能是0,1	任意\(x\)模4为0,1,2,3： \(0^2\equiv0,1^2\equiv1,2^2\equiv0,3^2\equiv1\mod4\)，得证	\(x^2+y^2\)不可能是\(4k+3\)型数
\(x^2\)模8的余数只能是0,1,4	奇数\(x=2k+1\)，\(x^2=4k(k+1)+1\equiv1\mod8\)；偶数\(x=2k\)，\(k\)偶则\(x^2\equiv0\mod8\)，\(k\)奇则\(x^2\equiv4\mod8\)，得证	\(x^2+y^2\)不可能是\(8k+3,8k+6,8k+7\)型数
\(x^2\)模3的余数只能是0,1	任意\(x\)模3为0,1,2： \(0^2\equiv0,1^2\equiv1,2^2\equiv1\mod3\)，得证	若\(3\mid x^2\)，则\(3\mid x\)
\(x^3\)模9的余数只能是0,1,8	枚举\(x\)模9的0-8： \(0^3\equiv0,1^3\equiv1,2^3\equiv8,3^3\equiv0,4^3\equiv1,5^3\equiv8,6^3\equiv0,7^3\equiv1,8^3\equiv8\mod9\)，得证	\(x^3+y^3\)不可能是\(9k+3,9k+4,9k+5,9k+6\)型数

定理/推论名称	前提条件	核心结论	关键证明依据	核心用途与意义
定理1（标准带余数除法）	\(a,b\) 为整数，\(a \neq 0\)	存在唯一整数 \(q,r\)，满足 \(b=qa+r\)，$0 \leqslant r <	a	\(；\)a \mid b \iff r=0$
定理2（一般形式带余数除法）	\(a,b\) 为整数，\(a \neq 0\)，\(d\) 为给定整数	存在唯一整数 \(q_1,r_1\)，满足 \(b=q_1a+r_1\)，$d \leqslant r_1 <	a	+d\(；\)a \mid b \iff a \mid r_1$
推论3(i)	\(a\) 为正整数	任意整数被 \(a\) 除的最小非负余数，必属于 \(\{0,1,\dots,a-1\}\)	定理1的唯一性与范围约束	整数的同余分类基础，将全体整数划分为 \(a\) 个互不相交的同余类
推论3(ii)	\(a\) 为正整数	相邻 \(a\) 个整数被 \(a\) 除，恰好取遍 \(0\) 到 \(a-1\) 的全部余数，且仅有一个数被 \(a\) 整除	推论3(i)、反证法、整除性质	整数的周期性质核心依据，是数论中存在性证明、周期分析的常用工具

昆仑山:眼中无形心中有穴之穴人合一