---
url: https://xuehaizhixing.com/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U05.md
---

# 一、模块层

* **知识点编号**：B01-M01-S05-U05
* **所属模块**：B01 → M01 → S05

## 纵向关联

* 上接：
  * [带余除法表达式题根](/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U04)
  * [整除的传递性题根](/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U01)
* 下启：
  * 无

## 知识关联

### 横向关联

* 前置基础：
  * `传递性题根`
  * `必然/不可能事件题根`
* 同位衔接：
  * `原理1理解题根`
  * `独立与互斥区别题根`
  * `多事件独立题根`
* 后续延伸：
  * [与素数判定结合题根](/root/B01-数论基础/M02-同余理论/S05/B01-M02-S05-U04)
  * [数论存在性证明题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S03/B01-M04-S03-U03)
  * [非互质模化简题根](/root/B01-数论基础/M03-不定方程/S04/B01-M03-S04-U03)
  * [同余法求解题根](/root/B01-数论基础/M03-不定方程/S05/B01-M03-S05-U02)
  * [μ(n)定义与性质题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S01/B01-M04-S01-U03)
  * [离散对数初步题根](/root/B01-数论基础/M02-同余理论/S06/B01-M02-S06-U04)
  * [反证法数论题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S02/B01-M04-S02-U01)
  * [复杂模幂求解题根](/root/B01-数论基础/M02-同余理论/S04/B01-M02-S04-U04)

# 二、本源层

* **本源**：同余是按模 $m$ 对整数进行分类的数学语言——整数集 $\mathbb{Z}$ 被模 $m$ 划分为 $m$ 个互不相交的剩余类 $\[0],\[1],\ldots,\[m-1]$，其中 $\[r]={n\in\mathbb{Z}\mid n\equiv r\pmod{m}}$。同一剩余类中的任意两数对模 $m$ 同余，不同类中的数彼此不同余。这一分类将无穷整数集压缩为有限个等价类，使涉及所有整数的枚举问题转化为有限类的推理问题。
* **原点**：
  从带余除法 $a=mq+r$ 出发，余数 $r$ 仅有 $0,1,2,\ldots,m-1$ 共 $m$ 种可能的取值——这一简单观察将整数集 $\mathbb{Z}$ 自然划分为 $m$ 个"同余类"：余数相同者归为一类。同余关系 $a\equiv b\pmod{m}$ 的直观含义正是"$a$ 和 $b$ 除以 $m$ 的余数相同"，即"$a$ 和 $b$ 在同一个剩余类中"。这一分类虽源自小学的余数概念，却赋予了整数一种全新的代数结构——将"无穷"压缩为"有限"，将"枚举"升级为"推理"。它是人类数学思想从"算术的具体计算"走向"代数的抽象结构"的第一次系统性跨越。

从更形式化的角度审视，这里的数学结构可以进一步抽象。如果将满足该性质的对象构成的集合记为某一类，则该集合在相应的运算下具有封闭性——这是代数结构的雏形。

* **道法**：同余分类推理，三锚合一，层层递进。
  * **首锚·分类讨论**：选定模数 $m$，将整数分为 $m$ 个剩余类；通过枚举各类中代表元的性质得出关于所有整数的结论——将无穷枚举压缩为有限分类。
  * **次锚·不变量思想**：同余关系与加减乘运算兼容，在模 $m$ 下运算结果保持不变——利用这一"模不变性"简化复杂计算，如求幂的末位数字。
  * **三锚·同余与模结构**：同余本质上是等价关系（自反、对称、传递），剩余类即等价类。$\mathbb{Z}/m\mathbb{Z}$（模 $m$ 剩余类环）是整数环 $\mathbb{Z}$ 对同余关系的商结构，为抽象代数的群环域理论提供原型。
* **终极一句话**：
  $a\equiv b\pmod{m} \iff m\mid(a-b)$——同余以"差被 $m$ 整除"为判据，将无穷整数集按余数压缩为 $m$ 个等价类，使"无限枚举"升维为"有限推理"，是数学中以分类对抗无穷的经典杰作。

这句话浓缩了该概念最本质的数学事实，每一个字都经得起推敲。理解这句话，就掌握了进入该领域的钥匙。

* **关键心法**：
  以模为尺分余类，无穷整数有限归。同余运算皆兼容，分类推理定是非。

掌握这一心法意味着：面对一个具体问题，你的第一反应不是套公式，而是先问“这属于哪一类？”——这是从“术”到“道”的跨越。

* **数学思想进化轴**：欧几里得《几何原本》（约公元前300年）——使用"奇偶分类"（即模 $2$ 分类的思想雏形）论证 $\sqrt{2}$ 的无理性，是最早的同余思想的应用萌芽→斐波那契《算盘书》（1202年）——系统化带余除法的计算规则，为同余分类提供了具体算法的底层支撑→高斯《算术研究》（1801年）——正式引入同余记号 $\equiv$ 和模 $m$ 剩余类概念，以带余除法为基础系统建立同余理论的代数体系，被公认为"数论的独立宣言"→狄利克雷（1837年）——将同余理论应用于解析数论，在证明算术级数中存在无穷多质数的过程中创建狄利克雷特征（模 $m$ 的群特征），开创模算术的深度分析应用→现代抽象代数——同余关系作为等价关系的经典范例，成为商群、商环、商空间等全部代数商结构的定义模型，其思想与方法贯穿整个近现代数学。

# 三、知识点层

* **知识点编号**：B01-M01-S05-U05
* **名称**：余数分类与同余引入题根
* **标准定义**：
* 同余定义：若整数 $a$ 和 $b$ 除以正整数 $m$ 后余数相同，则称 $a$ 与 $b$ 对模 $m$ 同余，记作 $a\equiv b\pmod{m}$。等价定义：$a\equiv b\pmod{m} \iff m\mid(a-b)$，即两数之差是 $m$ 的整数倍。两定义完全等价——余数相同当且仅当差被 $m$ 整除。同余关系满足三条基本性质：自反性（$a\equiv a\pmod{m}$）、对称性（若 $a\equiv b$ 则 $b\equiv a$）、传递性（若 $a\equiv b$ 且 $b\equiv c$ 则 $a\equiv c$），是一个标准的等价关系。这一等价关系将整数集 $\mathbb{Z}$ 划分为 $m$ 个互不相交的等价类，每一类中的任意两数均同余。与整除关系（仅有自反和传递，缺乏对称性）不同，同余的对称性使其可以像等式一样进行代数操作——这是从"整除"跨越到"同余"的本质飞跃。
  * 剩余类定义：对于模 $m$，所有与固定整数 $a$ 同余的整数构成的集合称为模 $m$ 的一个剩余类，记作 $\[a]={x\in\mathbb{Z}\mid x\equiv a\pmod{m}}$。模 $m$ 将 $\mathbb{Z}$ 分割为 $m$ 个互不相交的剩余类：$\[0],\[1],\[2],\ldots,\[m-1]$，分别对应余数 $0,1,\ldots,m-1$。从每个剩余类中取一个代表元构成的集合 ${r_0,r_1,\ldots,r\_{m-1}}$ 称为模 $m$ 的一个完全剩余系。最常用的完全剩余系是最小非负剩余系 ${0,1,\ldots,m-1}$ 和绝对值最小剩余系 ${-\lfloor(m-1)/2\rfloor,\ldots,0,\ldots,\lfloor m/2\rfloor}$。完全剩余系是"用有限代表无限"的精确数学化——模 $m$ 的完全剩余系有且仅有 $m$ 个元素，任何 $m$ 个连续整数都构成一个完全剩余系。

从等价关系角度看，这一定义实际上建立了一个划分：它将所有可能的情形分为互不相交的两类，且覆盖了全集。这是一个最简单的二元分类系统。

* **核心本质**：
  **同余是按模 $m$ 对整数进行分类的等价关系——它将无穷整数集 $\mathbb{Z}$ 压缩为 $m$ 个有限等价类（剩余类），使"模 $m$ 意义下的加、减、乘运算"成为可能，且运算结果不依赖代表元的选择。同余概念的引入标志着数论从"算术的具体计算"跨越到"代数的抽象结构"——它背靠带余除法这一具体工具，面向等价关系这一代数概念，是初等数论通向抽象代数的第一个过渡性桥梁。更深刻的是，同余关系使整数环 $\mathbb{Z}$ 的商结构 $\mathbb{Z}/m\mathbb{Z}$（模 $m$ 剩余类环）自然呈现：当 $m$ 为质数时 $\mathbb{Z}/m\mathbb{Z}$ 成为域，这一事实是抽象代数中"商结构"概念的伟大原型。锁死·拓展应用层通用内容**

这一本质深刻揭示了一个事实：表面上的数值多样性掩盖了底层的结构统一性。一旦掌握了这个统一性，看似千变万化的问题都可以归结为同一种分析框架来处理。

* **核心性质**：
  * 性质一：同余是等价关系——同余关系满足自反性（$a\equiv a\pmod{m}$）、对称性（若 $a\equiv b\pmod{m}$ 则 $b\equiv a\pmod{m}$）、传递性（若 $a\equiv b\pmod{m}$ 且 $b\equiv c\pmod{m}$ 则 $a\equiv c\pmod{m}$）。与整除关系（偏序）不同，同余关系具有对称性，这是从"整除"到"同余"的本质跨越——它使得我们可以像处理等式一样处理同余式。
  * 性质二：同余与加减乘运算兼容——若 $a\equiv b\pmod{m}$ 且 $c\equiv d\pmod{m}$，则：$a\pm c\equiv b\pm d\pmod{m}$（加法兼容），$ac\equiv bd\pmod{m}$（乘法兼容）。这是同余理论成为强大工具的核心原因——同余关系不排斥加减乘运算。需要注意：除法一般不兼容——$ac\equiv bc\pmod{m}$ 不能推出 $a\equiv b\pmod{m}$（需 $\gcd(c,m)=1$）。
  * 性质三：完全剩余系——从每个模 $m$ 剩余类中恰好取一个数组成的集合 ${r_0,r_1,\ldots,r\_{m-1}}$ 称为模 $m$ 的一个完全剩余系。最常用的完全剩余系是 ${0,1,2,\ldots,m-1}$（最小非负剩余系）和 ${-\lfloor\frac{m-1}{2}\rfloor,\ldots,\lfloor\frac{m}{2}\rfloor}$（绝对值最小剩余系）。完全剩余系是分类思想的精确数学化。
  * 性质四：同余与周期的关系——若 $a\equiv b\pmod{m}$，则 $a$ 和 $b$ 在 $x\mapsto x\bmod m$ 的映射下在同一个"周期位置"。周期序列 $f(n)=a^n\bmod m$ 的周期长度不超过 $m$，且当 $\gcd(a,m)=1$ 时周期整除 $\varphi(m)$（欧拉定理）。同余将"变化"（指数增长）转化为"循环"（有限周期），这是竞赛中最常见的应用方向。

# 四、教案版本

## 【专业版】

### 【基础层例题】

判断17和29对模6是否同余。

* **解题思路**：① 求余——分别计算两数除以模数 $m$ 的余数 $r_1$ 和 $r_2$；② 比较——若 $r_1=r_2$ 则两数同余，反之则不同余；③ 验证——计算 $a-b$ 是否为 $m$ 的倍数作为核对，两者互为充要条件。
* **标准解答**：$17\div6=2$ 余 $5$，$29\div6=4$ 余 $5$，余数相同均为 $5$，故 $17\equiv29\pmod6$。验证：$17-29=-12$ 是6的倍数。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【易错变式题】
  写出模4的所有剩余类，并各举一个代表元。
* **常见错误**：① 遗漏类别——认为模 $m$ 有 $m+1$ 个剩余类（混淆了余数与数本身的范围），需谨记余数只有 $0$ 到 $m-1$ 共 $m$ 种可能；② 同余方向混淆——认为 $a\equiv b\pmod{m}$ 等价于 $m\mid a$ 或 $m\mid b$，而非 $m\mid(a-b)$，同余关注的是"差"的整除而非数各自的整除性；③ 运算误用——认为 $ac\equiv bc\pmod{m}$ 可直接推出 $a\equiv b\pmod{m}$，未考虑 $\gcd(c,m)=1$ 的条件，除法在同余中不总是可逆的。
* **标准解答**：模4的4个剩余类：余0类 $\[0]={\ldots,-8,-4,0,4,8,\ldots}$（代表元0）；余1类 $\[1]={\ldots,-7,-3,1,5,9,\ldots}$（代表元1）；余2类 $\[2]={\ldots,-6,-2,2,6,10,\ldots}$（代表元2）；余3类 $\[3]={\ldots,-5,-1,3,7,11,\ldots}$（代表元3）。；上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。；验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。；这道题的核心考点是考查学生对基本概念的准确理解——只有概念清晰，才能从题目条件中识别出可用的结论。；解答这类问题时，建议先明确已知条件与所求目标之间的逻辑关系，再进行逐步推导，避免跳步导致的逻辑漏洞。

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【高阶例题】
证明：任意整数的平方模4同余于0或1。

* **方法策略**：① 选模——根据问题特征选择适当的模数 $m$（平方问题常用模 $4$，立方问题常用模 $7$ 或 $9$，末位问题固定模 $10$）；② 分类——将整数按模 $m$ 分为 $m$ 个剩余类，列出各类的标准形式并分析其运算特征；③ 验算——对每一类计算目标表达式的模 $m$ 值，汇总所有可能结果得出结论。
* **标准解答**：整数按模2分为两类。偶数 $n=2k$：$n^2=4k^2\equiv0\pmod4$。奇数 $n=2k+1$：$n^2=4k^2+4k+1=4k(k+1)+1\equiv1\pmod4$（因 $k(k+1)$ 为整数）。故任意整数的平方模4只可能为0或1。推论：形如 $4k+2$ 或 $4k+3$ 的数不可能是完全平方数。

## 【药典版】

### 定位：整数世界的”分类尺”——一剂将无穷整数压缩为有限余数的压缩方，在模之下看见无限化为有限的数学之美

#### 🌱 药材本体

* **第一味药——同余判断**：$a\equiv b\pmod{m} \iff m\mid(a-b)$——两数之差被 $m$ 整除，则它们对模 $m$ 同余。同或是等价于差整除。
* **第二味药——剩余类**：$\[r]={n\in\mathbb{Z}\mid n\equiv r\pmod{m}}$——所有余数相同的整数构成一个剩余类。模 $m$ 将 $\mathbb{Z}$ 分割为 $m$ 个互不相交的剩余类 ${\[0],\[1],\ldots,\[m-1]}$。
* **第三味药——完全剩余系**：从每个剩余类中各取一个数构成的集合 ${r_0,r_1,\ldots,r\_{m-1}}$——最常见的完全剩余系是 ${0,1,\ldots,m-1}$。
* **第四味药——等价关系**：同余满足自反（$a\equiv a$）、对称（$a\equiv b\Rightarrow b\equiv a$）、传递（$a\equiv b,b\equiv c\Rightarrow a\equiv c$），是最经典的等价关系之一，而对应的等价类就是剩余类。
* **药材核心药性**：以模为尺，以类为框，”无限整数，有限分类”。
  这一数学概念的核心特性在于其基础性和工具性——它不仅是解决问题的基础工具，更是连接不同知识模块的桥梁。

#### 🛠️ 功能主治

* **主治**：面对整数问题时”盲目枚举”——同余分类提供了”有限代表元+推理”的高效方案
* **解决**：不理解”同余”与”整除”的关系——同余 $a\equiv b\pmod{m}$ 即 $a-b$ 被 $m$ 整除，两者等价
* **根治**：缺乏”分类讨论”意识——同余是自然地将整数分成有限类的工具，比无规则枚举更有结构
* **打通**：从同余分类 $\rightarrow$ 模算术（商环 $\mathbb{Z}\_m$）$\rightarrow$ 群环域的基本结构，直通抽象代数

#### 🧪 核心药方

1、**同余判断方**——验证两数是否同余：计算 $a-b$ 看是否能被 $m$ 整除，或分别计算余数比较。适配基础表达阶
2、**剩余类认知方**——给定模 $m$，列出所有 $m$ 个剩余类并各举代表元。极限推演：$m=2$ 为奇偶分类，$m=3$ 为三余数分类，$m=4$ 为四余数分类。理解”增加模数就是增加分类精度”。适配进阶表达阶
3、**模分类推证方**——用同余分类解决数论问题：选定适当模数 $m$，将所有可能情况压缩到 $m$ 类，枚举验证或推理。例如证平方数模4只能是0或1，平方数模8只能是0,1,4等。适配高阶表达阶

#### 🌌 药理

**模是整数世界的尺度，同余是整数间的血缘鉴定——余数相同，就是”同类”。**
同余概念的引入是数论从”算术”走向”结构”的关键一步。它的数学定义极为简单：$a\equiv b\pmod{m} \iff m\mid(a-b)$，即两数之差是 $m$ 的倍数。这一定义等价于”$a$ 和 $b$ 除以 $m$ 的余数相同”，但前者更具代数操作性——它直接告诉我们同余关系与运算的兼容性。
同余关系是等价关系，这一事实极为重要。等价关系将集合划分为互不相交的等价类——在整数集 $\mathbb{Z}$ 上，模 $m$ 的等价类就是剩余类 $\[0],\[1],\ldots,\[m-1]$。每个剩余类中的任何两个数都同余，不同类之间的数不同余。这 $m$ 个剩余类构成的集合记作 $\mathbb{Z}/m\mathbb{Z}$，称为模 $m$ 的剩余类环（也叫商环）。
高斯在1801年出版的《算术研究》中首次系统引入同余概念和符号 $\equiv$，被誉为”数论的独立宣言”。他指出：”任何数 $a$ 除以模 $m$，必与 $0,1,\ldots,m-1$ 中某数同余。”这一简单观察，将一个潜在的无穷枚举问题压缩为有限分类问题——在数论中，任何涉及所有整数的命题，都可以尝试用同余分类来攻克。
竞赛中，同余分类最常见的应用是：找出某个数论性质在所有剩余类中的表现（如平方数模4只能为0或1），从而快速判断某些方程无整数解。另一个重要应用是通过选择合适的模数来简化运算——找周期、求末位（模10）、求解同余方程。掌握了同余，就等于掌握了数论竞赛中近一半的工具。

#### 👨‍🏫 老师修炼阶梯

* **基础表达**：用”生日分类”类比——全班同学按生日月份分类（模12），同月生日的同学”同余”。模不同分类就不同：按星座分类（模12的另一标准），按生肖分类（模12的又一标准）。
* **进阶表达**：示范用同余分类解决问题——如何证明平方数模3只能是0或1？先按模3分三类：$3k$（余0）$\rightarrow$ 平方余0；$3k\pm1$（余1或2）$\rightarrow$ 平方余1。讲清楚”分类覆盖所有情况”的逻辑。
* **高阶表达**：引导学生理解”为什么选择这个模数”——平方问题选模4（因为 $(n+2)^2-n^2=4(n+1)$ 揭示模4递归）、立方问题选模7/9、高次幂问题选欧拉函数相关模数。建立”问题特征 $\rightarrow$ 合适模数”的直觉。
* **顶阶表达**：引入商环 $\mathbb{Z}/m\mathbb{Z}$ 的概念，对比 $\mathbb{Z}\_m$（同余类加法和乘法）与 $\mathbb{Z}$ 的异同。特别讨论模质数 $p$ 时 $\mathbb{Z}\_p$ 成为域（每个非零元可逆）这一核心性质。

#### 🗣️ 一句话封神

$a\equiv b\pmod{m} \iff m\mid(a-b)$——同余是整数分类的终极工具：以模为筛，无限化为有限，无穷化为周期。
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。#### 🩺 一眼诊断

* **概念混淆型**：把”同余”当”整除”用——“$a\equiv b\pmod{m}$ 就是 $m$ 整除 $b$”。→ 纠正：同余关心的是 $a-b$ 被 $m$ 整除，而非 $a$ 或 $b$ 本身。两者之差而非各自身份。
* **余数错位型**：计算 $(-3)\bmod5$ 时认为余数是 $-3$（或 $-2$）。→ 强调：余数必须在 $\[0,m-1]$ 内。正确做法：$-3=5\times(-1)+2$，余数为2。
* **分类不全型**：做模分类枚举时遗漏了某些类——如模4只分了偶数和奇数。→ 模 $m$ 分类必须覆盖全部 $m$ 类，不能遗漏。
* **模数误判型**：选择模数时太随意，选择了不合适的模（如证平方数性质选了模3而非模4）。→ 模数选择看”周期性”和”差异度”。平方数模4是最经典案例——因为 $(n+2)^2$ 和 $n^2$ 差 $4(n+1)$，天然模4重合。

#### 🧭 导航路径

* **步行（L1-L2）** → 对标
  1. 判断34和55是否对模7同余。
     * 解答提示：$34\div7=4$ 余 $6$，$55\div7=7$ 余 $6$，余数相同故同余。或 $55-34=21$ 是7的倍数。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。

2. 写出模3的所有剩余类。
   * 解答提示：模3的三个剩余类：余0类 ${\ldots,-6,-3,0,3,6,\ldots}$；余1类 ${\ldots,-5,-2,1,4,7,\ldots}$；余2类 ${\ldots,-4,-1,2,5,8,\ldots}$。

> 深度解析：这里运用的实际上是反证法的思想雏形——通过分析奇偶性矛盾来证明某些情形不可能发生。不变量思想与反证法结合，是竞赛中最强大的组合工具之一。

3. 证明：相邻两个整数不可能对模2同余。
   * 解答提示：相邻两整数 $n$ 和 $n+1$，差为 $1$。若它们模2同余，则 $2\mid\[(n+1)-n]=1$，矛盾。故相邻两整数不能对模2同余。

> 思维延伸：将这个问题稍作变换——如果把条件中的某条规则改一下，结论是否还成立？这种改变条件观察变化的思维训练，有助于真正理解规则的本质。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。养成先筛选再判断的习惯，能大幅提升解题速度和准确性。

* **刚性达标阈值**：基础概念通关，闭卷正确率≥90%
* **骑车（L3-L4）** → 对标
  1. 求 $2^{100}$ 除以7的余数。
     * 解答提示：$2^1\equiv2$，$2^2\equiv4$，$2^3\equiv1\pmod7$，周期3。$100\equiv1\pmod3$，故 $2^{100}\equiv2^1=2\pmod7$，余数为2。

  2. 证明：任意奇数的平方除以8余1。
     * 解答提示：设奇数 $n=2k+1$，$n^2=4k(k+1)+1$。$k(k+1)$ 为连续两整数之积必为偶数，记 $k(k+1)=2t$，则 $n^2=8t+1\equiv1\pmod8$。故任意奇数的平方模8余1。

  3. 求 $1!+2!+3!+\cdots+100!$ 除以12的余数。
     * 解答提示：$4! = 24\equiv0\pmod{12}$。从 $4!$ 起，所有 $n!\ (n\ge4)$ 均含因子 $4!$ 的因子 $24$，故均被12整除。只需计算前3项：$1!+2!+3!=1+2+6=9$。故原式和模12余9。

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。；验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。- **刚性达标阈值**：进阶例题演练，正确率≥85%

* **开车（L5-L6）** → 对标
  1. 证明：对于任意整数 $n$，$n^5\equiv n\pmod{30}$。
     * 解答提示：需证 $n^5-n$ 被 $30=2\times3\times5$ 整除。$n^5-n=n(n-1)(n+1)(n^2+1)$。$(n-1)n(n+1)$ 连续三整数被2和3整除。模5分5类：$n\equiv0,\pm1,\pm2$ 时 $n^5-n\equiv0\pmod5$ 分别验证。由同余的可加性和可乘性统一处理。
  2. 求 $7^{7^{7}}$ 的个位数字。
     * 解答提示：个位即模10。7的幂末位周期：$7^1\to7$，$7^2\to9$，$7^3\to3$，$7^4\to1$（周期4）。先求指数 $7^7\pmod4$：$7\equiv3\pmod4$，$3^7\equiv3\pmod4$（3模4周期2），故 $7^7\equiv3\pmod4$。则 $7^{7^{7}}$ 的末位 $=7^3$ 的末位 $=3$。
  3. 用抽屉原理与同余证明：任意 $n+1$ 个整数中，必有两个数之差被 $n$ 整除。
     * 解答提示：设 $n+1$ 个整数为 $a_1,a_2,\ldots,a\_{n+1}$。考虑它们的同余类 $\[a_i]$（模 $n$）。共有 $n+1$ 个数但只有 $n$ 个可能的同余类（$\[0],\[1],\ldots,\[n-1]$），由抽屉原理必有两个数 $a_i,a_j$ 在同一同余类中，即 $a_i\equiv a_j\pmod{n}$，故 $n\mid(a_i-a_j)$。
  * **刚性达标阈值**：竞赛真题演练，正确率≥80%