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

# 一、模块层

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

## 纵向关联

* 上接：
  * 无
* 下启：
  * [带余除法表达式题根](/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U04)
  * [余数分类与同余引入题根](/root/B01-数论基础/M01-整除与质数/S05/B01-M01-S05-U05)

## 知识关联

### 横向关联

* 前置基础：
  * 无
* 同位衔接：
  * `传递性题根`
  * `整式次数与项数题根`
  * `升幂降幂排列题根`
* 后续延伸：
  * `有放回/无放回抽样题根`
  * `分步顺序确定题根`
  * `提公因式法题根`
  * `独立与互斥区别题根`
  * `多事件独立题根`
  * `简单分步计数题根`
  * `简单分类计数题根`
  * `分类标准选择题根`

# 二、本源层

* **本源**：
  $a|b$ 且 $b|c \Rightarrow a|c$ ——整除关系在整数集上具有传递性，即若 $a$ 整除 $b$ 且 $b$ 整除 $c$，则 $a$ 必然整除 $c$。传递性使整除推理可以从单步链条扩展为任意长度的链式推导。

从更根本的层面看，这一性质来源于数学对象在某种变换下的不变性。抓住这个不变性，就抓住了概念最核心的直觉。

* **原点**：
  整数二元关系"整除"的自有属性——由整除定义$b=ak_1$且$c=bk_2$，代入消去中间量$b$得$c=a(k_1k_2)$。因为$k_1,k_2$都是整数，$k_1k_2$也是整数（整数乘法对乘法封闭），所以$a|c$必然成立。传递性不是外部强加的人为规则，而是由整除定义与整数乘法封闭性必然导出的最自然逻辑推论。

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

* **常见错误**：
  L2常见错误三段式：
  ①错误行为(23字)：{"学生混淆"a|b且a|c⇒a|b+c"与传递性"}
  ②认知原因(25字)：{"因为只记住了表面看见传递二字而没理解中间量必须相同"}
  ③忽视点(15字)：{"关键是没有理解中间量b必须相同"}
* **道法**：传递性推理，三锚合一，层层递进。
  **首锚·有序思考**：先建立整除链|b|c$——按顺序识别每一步整除关系；再把整除定义写成等式=ak_1$、=bk_2$；代入消去中间量=a(k_1k_2)$。一步一步来，链条就不会断。
  **次锚·结构性思维**：传递性揭示了整除关系的内在结构——它不是孤立的一条条规则，而是构成一个传递链：	o b	o c	o\cdots$。看到两个数整除就要想到因子的嵌套结构：一个数的因子从最大到最小是层级嵌套的。
  **三锚·不变量思想**：传递性中不变的是什么？是因子$——无论链条多长，。传递的每一步，因子。
  **解题三问**：整除链有几环？中间量能消去吗？最终结果里还藏着最开始的那个因子吗？
* **关键心法**：
  一步整除步步传，因子代换心不慌。

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

* **终极一句话**：
  $a|b$ 且 $b|c \Rightarrow a|c$——整除的传递性让推理链条无限延伸：一步整除，步步整除，因子永远藏其中。

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

* **数学思想进化轴**：欧几里得《几何原本》（约公元前300年）——首次将整除传递性作为基本性质纳入数论体系→斐波那契《算盘书》（1202年）——在商业算术中系统运用整除链推理→高斯《算术研究》（1801年）——在同余理论 $\pmod{m}$ 下深化传递性：$a\equiv b$ 且 $b\equiv c$ 则 $a\equiv c\pmod{m}$，将整除传递性升华为等价关系。

从认知发展的角度来看，该知识点的进化路径体现了数学思维从具体到抽象的跃迁——最初人们只是在日常计算中积累了零散经验，随后通过系统化整理形成了一般的判断方法，最终抽象为严格的数学理论。这一过程中每一次质的飞跃都源于对已有方法的反思和追问。

# 三、知识点层

* **知识点编号**：B01-M01-S05-U01
* **名称**：整除的传递性题根
* **标准定义**：
* 传递性定义：若整数 $a$ 整除 $b$（记作$a|b$），且 $b$ 整除 $c$（$b|c$），则 $a$ 整除 $c$（$a|c$）。记作 $a|b$ 且 $b|c \Rightarrow a|c$。这是整除关系作为二元关系的基本性质之一，与自反性（$a|a$）、反对称性（若$a|b$且$b|a$则$a=\pm b$）共同构成整除的偏序结构。
  * 等价定义（因子链形式）：若存在整数$k_1,k_2$使得$b=ak_1$且$c=bk_2$，则$c=a(k_1k_2)$。因为$k_1,k_2$都是整数，$k_1k_2$也是整数（整数乘法封闭），故$a|c$。这一定义揭示了传递性的本质：不是关系在传递，而是因子在传递——$a$作为因子先传到$b$，再通过$b$传到$c$，始终不变。

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

在实际解题中，这一定义提供了三种判定策略：(1)正面验证——直接检查条件是否成立；(2)反面排除——检查是否属于另一类来确定；(3)等价转化——利用该定义的某个等价刻画来判定。

该定义还有一个重要推论：若某对象满足定义条件，则它自动具有该类别的一切性质；反之，若某性质在某对象上不成立，则该对象必不属于此类别。

* **核心本质**：
  **整除关系在整数集上构成传递性二元关系——若$a|b$且$b|c$则$a|c$。传递性刻画了因子的嵌套传递：因子$a$先藏进$b$中（$b=ak_1$），再通过$b$藏进$c$中（$c=bk_2$），代换后$a$始终是$c$的一个因子。这是数论推理中链式推导的逻辑基础，gcd、lcm、同余理论、辗转相除法无不依赖它，贯穿初等数论始终。锁死·基础层通用内容**

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

* **核心性质**：
  * 性质一：链式推广——传递性可以从两步推广到任意有限步：若 $a_1|a_2, a_2|a_3, \ldots, a\_{n-1}|a_n$，则 $a_1|a_n$。证明：反复应用传递性 $n-1$ 次即得。这一推广使得"长整除链"的推理成为可能，是数论中"放缩链""不等式链"的类比基础。
  * 性质二：传递性与乘法结构——传递性的本质是因子在乘法下的传递。具体地，$a|b$ 意味着 $b$ 包含了 $a$ 的全部质因子，$b|c$ 意味着 $c$ 包含了 $b$ 的全部质因子，因此 $c$ 必然包含 $a$ 的全部质因子。从质因数分解的角度看，传递性几乎是不证自明的。用指数表示：若 $b=a\cdot k_1$，$c=b\cdot k_2$，则 $\text{ord}\_p(c)=\text{ord}\_p(a)+\text{ord}\_p(k_1)+\text{ord}\_p(k_2)\ge\text{ord}\_p(a)$。
  * 性质三：与其他整除性质的关系——传递性、可加性、可乘性共同构成整除关系的三大基本性质。传递性是"纵向推理"（沿着整除链延伸）的基础，可加性是"横向组合"（将多个整除关系合并）的基础，可乘性是"倍数放缩"的基础。三者的结合可以解决几乎所有初等数论中的整除问题。
  * 性质四：传递性与偏序结构——在正整数集 $\mathbb{N}^+$ 上，整除关系构成一个偏序（满足自反性、反对称性、传递性）：自反性：$a|a$；反对称性：若 $a|b$ 且 $b|a$，则 $a=b$（在正整数范围内）；传递性：若 $a|b$ 且 $b|c$，则 $a|c$。这一偏序结构是数论中"因子格""Hasse图"的理论基础，与集合包含关系 $\subseteq$ 具有同构的结构特征。

# 四、教案版本

## 【专业版】

### 【基础层例题】

已知 $3|6$ 且 $6|18$，求证 $3|18$。

* **解题思路**：①这里要证3|18，已知3|6且6|18——意思是找到了一个整除链\to6\to18$。②可以理解成因为3能整除6（6=3k₁），6能整除18（18=6k₂），代入消去6就得到18=3×(k₁k₂)——因子3始终藏在里面。③所以用整除定义写出等式，代入消去中间量就得到结论。
* **标准解答**：由 $3|6 \Rightarrow 6=3k_1$（$k_1=2$）；由 $6|18 \Rightarrow 18=6k_2$（$k_2=3$）。代入得 $18=3(k_1k_2)=3\times6$，故 $3|18$。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【易错变式题】
  判断”若 $a|b$ 且 $c|b$，则 $ac|b$”是否正确。
* **常见错误**：混淆传递性$（a|b且b|c\Rightarrow a|c）$与线性组合$（a|b且a|c\Rightarrow a|(b\pm c)）$，误以为两个不同的除数相乘也能传递整除性。
* **标准解答**：错误。反例：$2|6$ 且 $3|6$，但 $2\times3=6$ 不整除 $6$（$6\div6=1$ 实际上 $6|6$ 但这不是我们想找的反例）。正确反例应为：$2|6$ 且 $3|6$，但 $2\times3=6$ 是否整除 $6$？实际上 $6\mid6$，所以这个反例不成立。更好的反例：$2|12$ 且 $6|12$，但 $2\times6=12$ 整除 $12$（也不成立）。正确的反例：取 $a=2,b=6,c=3$，即 $2|6$ 且 $3|6$，但 $2\times3=6$ 而 $6\mid6$ 成立。这提示我们：$ac|b$ 确实可能成立，但不一定。真正要找的是 $ac\nmid b$ 的情形。反例：$2|6$ 且 $4|12$，则 $2\times4=8$ 不整除 $6$ 或 $12$。但更标准的是：$4|12$ 且 $6|12$，$4\times6=24$ 不整除 $12$。所以结论：该命题错误——“传递性”要求中间数必须相同，而 $a|b$ 且 $c|b$ 中的 $a,c$ 是不同的除数，不能简单相乘。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【高阶例题】
  证明：若 $a|b$，则 $a^n|b^n$。
* **方法策略**：①这是证明整除关系在幂次下的传递问题——从|b^n|b^n$。②因为|b=ak$，那么^n=(ak)^n=a^nk^n$，恰好是^n|b^n。③所以直接把=ak，展开得^nk^n。
* **标准解答**：由 $a|b$ 得 $b=ak$（$k$ 为整数）。则 $b^n=(ak)^n=a^nk^n$。由于 $k^n$ 为整数，由整除定义得 $a^n|b^n$。证毕。此结论是传递性在指数幂下的直接推广——传递性链 $a|a^2|a^3|\cdots|a^n$ 结合 $b^n$ 的因子结构即得。

## 【药典版】

### 定位：整除推理的”传动轴”——一剂让推理链条环环相扣的基础方，在整除中看见关系传递的逻辑力量

#### 🌱 药材本体

* **第一味药——双步传动**：$a|b$ 且 $b|c \Rightarrow a|c$——两步整除链的闭合推理，如同齿轮组的两级传动，第一级转动第二级，第二级带动第三级。
* **第二味药——链式延伸**：$a_1|a_2, a_2|a_3, \ldots, a\_{n-1}|a_n \Rightarrow a_1|a_n$——有限步传递的链式推广，将两步推理升级为 $n$ 步推理。
* **第三味药——反对称底牌**：若 $a|b$ 且 $b|a$ 则 $a=\pm b$（在正整数下 $a=b$）——传递性与反对称性结合给出整除偏序结构的核心性质。
* **第四味药——同余升华**：$a\equiv b\pmod{m}$ 且 $b\equiv c\pmod{m} \Rightarrow a\equiv c\pmod{m}$——传递性从整除关系升华到同余等价关系，标志着”关系中传递性”的范畴统一。
* **药材核心药性**：以因子代换为体，以链式推理为用，”一步传递，步步贯通”。

#### 🛠️ 功能主治

* **主治**：面对多步整除推理时”不知道从哪下手”的思维瘫痪——传递性是整除推理的”动力总成”
* **解决**：学生混淆传递性与对称性的常见错误——写反”若 $a|b$ 则 $b|a$”——需要强调整除是偏序不是等价
* **根治**：只会背口诀”传递性”但不会证明和应用的浅层认知——必须从定义出发建立”因子代换”的思维习惯
* **打通**：从整除传递性 $\rightarrow$ 同余传递性 $\rightarrow$ 等价关系传递性 $\rightarrow$ 偏序结构传递性的认知升级链

#### 🧪 核心药方

1、**因子代换方**——遇到 $a|b$ 立即写出 $b=ak$（$k$ 为整数），将关系表达式转化为代数等式。链式推理的核心操作：$a|b$ 且 $b|c \Rightarrow b=ak_1, c=bk_2 \Rightarrow c=a(k_1k_2)$。适配基础表达阶
2、**链式拓展方**——当整除链长度超过2时，从一端逐步代换到另一端。技巧：从最外层（离目标最远的一步）开始，层层代入。例如：已知 $a|b, b|c, c|d$ 求证 $a|d$——先写 $d=ck_3$，再代 $c=bk_2$，再代 $b=ak_1$→一步到位。适配进阶表达阶
3、**逆用传递方**——当需要证明 $a|c$ 时，构造中间量 $b$ 使得 $a|b$ 且 $b|c$。这种”构造中间桥梁”的思路在数论证明中极为常见：如证明 $a|(b+c)$ 时，先证 $a|b$ 且 $a|c$。适配高阶表达阶

#### 🌌 药理

**传递是逻辑的脉搏，链条是推理的脊梁。**
整除的传递性 $a|b$ 且 $b|c \Rightarrow a|c$ 看似简单，却是整个初等数论推理体系的”第一公理”。它的力量不在于自身有多深刻，而在于可以无限叠加——一旦你掌握了”一个整除关系”，你就可以沿着整除链无限延伸：$a|b \Rightarrow a|b^2 \Rightarrow a|b^3 \Rightarrow \cdots \Rightarrow a|b^n$。
从历史上看，欧几里得在《几何原本》第VII卷中首次系统论述了整除关系及其传递性，将其作为数论推理的基础。他指出：”若一数测度另一数，而此数又测度彼数，则第一数亦测度彼数”（”测度”即整除）。这一论述奠定了数论公理化推理的起点。1202年斐波那契在《算盘书》中将整除传递性广泛应用于商业算术中的比例与兑换问题。1801年高斯在《算术研究》中正式引入同余记号 $\equiv$，将传递性融入等价关系体系——$a\equiv b\equiv c\pmod{m}$ 这一写法本身就在展示传递性的力量。
传递性在数学中无处不在：集合的包含关系 $\subseteq$、实数的大小关系 $\le$、命题的逻辑蕴含 $\Rightarrow$——它们都是传递关系。掌握了整除的传递性，就掌握了理解所有传递关系的入门钥匙。

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

* **基础表达**：用”家族辈分”类比——爷爷整除爸爸，爸爸整除我→爷爷整除我。用三层积木演示：拿6块积木（代表6），2块一堆正好3堆（2|6）；18块积木，6块一堆正好3堆（6|18）；18块积木，2块一堆正好9堆（2|18）。让孩子”看见”传递。
* **进阶表达**：引导学生自己写出整除定义的代数形式，然后完成传递性证明。强调”乘积因子还是整数”这一关键细节——这让学生理解传递性依赖于整数乘法的封闭性。
* **高阶表达**：将传递性融入到综合解题中——如用传递性证明 $a|(b+c)$ 时先分别证 $a|b$ 和 $a|c$，或者用传递性构造反例。将传递性从”单独的性质”上升到”推理策略”。
* **顶阶表达**：从等价关系三要素（自反、对称、传递）和偏序关系三要素（自反、反对称、传递）的对比入手，让学生理解传递性在不同类型的二元关系中的角色——整除兼有偏序的传递和无等价关系的对称。

#### 🗣️ 一句话封神

$a|b$ 且 $b|c \Rightarrow a|c$——整除的传递性，让推理的齿轮一脉相承：一步整除，步步整除。
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。#### 🩺 一眼诊断

* **链条断裂型**：能背出 $a|b$ 且 $b|c \Rightarrow a|c$ 但遇到 $a|b, b|c, c|d \Rightarrow a|d$ 就不会了。→ 让他逐层写因子式：$d=ck_3, c=bk_2, b=ak_1$，代入消去，将两步推广到三步。
* **对称混淆型**：以为整除是对称关系——“$a|b \Rightarrow b|a$”。→ 举反例 $2|4$ 但 $4\nmid2$，强调整除是偏序（非对称），和 $\le$ 一样不能反过来。
* **循环中断型**：多步链条中只写了第一步和最后一步，中间推理缺失。→ 要求每步都要写 $ = (因子) \times (整数)$ 的形式，强制写出中间过程。
* **偏序盲区型**：知道传递性但不知道”传递性+反对称性”意味着什么。→ 用”有向图”解释：如果 $a\to b\to\cdots\to a$ 构成循环，则所有数必须相等——这就是”无环偏序”。

#### 🧭 导航路径

* **步行（L1-L2）** → 对标
  1. 已知 $4|12$ 且 $12|36$，求证 $4|36$。
     * 解答提示：$12=4\times3$，$36=12\times3=4\times(3\times3)=4\times9$，故 $4|36$。

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

2. 若 $a|b$ 且 $b|c$，判断 $a$ 与 $c$ 的大小关系（$a,b,c$ 为正整数）。
   * 解答提示：由 $a|b$ 得 $b\ge a$（因 $b=ak$ 且 $k\ge1$），同理 $c\ge b$，故 $c\ge b\ge a$。

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

3. 已知 $2|m$ 且 $m|100$，求 $m$ 可能的值。
   * 解答提示：$m$ 必须同时是2的倍数和100的约数。100的约数有 $1,2,4,5,10,20,25,50,100$，其中2的倍数有 $2,4,10,20,50,100$。

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

* **刚性达标阈值**：基础概念通关，闭卷正确率≥90%
* **骑车（L3-L4）** → 对标
  1. 证明：若 $a|b$ 且 $b|a$，则 $a=\pm b$。
     * 解答提示：$a|b\Rightarrow b=ak_1$，$b|a\Rightarrow a=bk_2$。代入得 $a=ak_1k_2\Rightarrow k_1k_2=1$。整数范围内 $k_1=k_2=\pm1$，故 $a=\pm b$。此即整除的反对称性。

  2. 若 $x|y$ 且 $y|z$ 且 $z|x$，求 $x,y,z$ 的关系。
     * 解答提示：由 $x|y$ 且 $y|z$ 得 $x|z$（传递性）。又 $z|x$，故 $x|z$ 且 $z|x\Rightarrow x=\pm z$。同理 $y=\pm x$，$z=\pm y$。故 $|x|=|y|=|z|$。

  3. 证明：若 $a|b$ 且 $a|c$，则对任意整数 $x,y$，有 $a|(bx+cy)$。
     * 解答提示：由 $a|b$ 得 $b=ak_1$，由 $a|c$ 得 $c=ak_2$。则 $bx+cy=a(k_1x+k_2y)$，故 $a|(bx+cy)$。这是可加性+可乘性的综合运用。

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。- **刚性达标阈值**：进阶例题演练，正确率≥85%

* **开车（L5-L6）** → 对标
  1. 证明：对于任意正整数 $n$，$n^5-n$ 能被30整除。
     * 解答提示：$n^5-n=n(n^4-1)=n(n^2-1)(n^2+1)=(n-1)n(n+1)(n^2+1)$。$(n-1)n(n+1)$ 连续三整数可被2和3整除。再证被5整除——分 $n\equiv0,\pm1,\pm2\pmod5$ 讨论，每种情况 $n^5-n\equiv0\pmod5$。由传递性：$2,3,5$ 两两互质，故被 $2\times3\times5=30$ 整除。
  2. 设 $a,b,c$ 为正整数，且 $a^2|b^3$，$b^2|c^3$，求证 $a|c$。
     * 解答提示：用质因数分解法——设 $a=\prod p_i^{\alpha_i}$，$b=\prod p_i^{\beta_i}$，$c=\prod p_i^{\gamma_i}$。由 $a^2|b^3$ 得 $2\alpha_i\le3\beta_i\Rightarrow\beta_i\ge\lceil2\alpha_i/3\rceil$。由 $b^2|c^3$ 得 $2\beta_i\le3\gamma_i$。叠加得 $4\alpha_i\le9\gamma_i\Rightarrow\alpha_i\le\frac{9}{4}\gamma_i$，需 $\alpha_i\le\gamma_i$ 对每个质因子成立——即 $a|c$。严格证明需考虑整数性。
  3. 求所有正整数 $n$，使得 $n|2^n-1$。
     * 解答提示：$n=1$ 成立。若 $n>1$，设 $p$ 为 $n$ 的最小质因子，则 $p|n|2^n-1\Rightarrow2^n\equiv1\pmod p$。由费马小定理 $2^{p-1}\equiv1\pmod p$。设 $d=\text{ord}\_p(2)$，则 $d|n$ 且 $d|p-1$。但 $p$ 是 $n$ 的最小质因子，故 $d=1\Rightarrow2\equiv1\pmod p\Rightarrow p|1$，矛盾。故仅 $n=1$。此即经典问题”求所有使 $n$ 整除 $2^n-1$ 的 $n$”。
  * **刚性达标阈值**：竞赛真题演练，正确率≥80%