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

# 一、模块层

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

## 纵向关联

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

## 知识关联

### 横向关联

* 前置基础：
  * 无
* 同位衔接：
  * `加法单调性题根`
  * `多边形外角和题根`
  * `垂直的定义与性质题根`
* 后续延伸：
  * `分式乘除题根`
  * `多项式加减法题根`
  * `等积变形题根`
  * `勾股数题根`
  * `多项式乘法题根`
  * [移项变余题根](/root/B01-数论基础/M02-同余理论/S02/B01-M02-S02-U01)
  * `等边三角形性质题根`
  * `单项式乘多项式题根`

# 二、本源层

* **本源**：
  若 $a|b$，则对任意整数 $c$ 有 $a|bc$；若 $a|b$ 且 $c|d$，则 $ac|bd$——整除关系在乘法下保持：一个整除关系乘以任何整数后仍然成立，两个整除关系相乘后也成立。

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

* **原点**：
  整除定义 $b=ak$ 两边同乘 $c$ 得 $bc=a(kc)$——因为 $k$ 和 $c$ 都是整数，$kc$ 也是整数，所以 $a|bc$ 自然成立。因子 $a$ 在乘法下始终保持不变，这是整除定义最直接的推论。另一方面，乘法可视为加法的重复：$a|b \Rightarrow a|b+b+\cdots+b$（共 $c$ 个 $b$ 相加）$=a|bc$，说明可乘性本质上可从可加性推导——可乘性不是孤立的“新性质”，而是可加性的必然结果。

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

* **道法**：可乘性推理，三锚合一，层层递进。
  **首锚·代数结构思想**：可乘性揭示了整除关系在乘法下的封闭结构——$a|b$乘以任何整数$c$仍得$a|bc$，两个整除关系相乘得$ac|bd$。这刻画了倍数集对乘法封闭这一代数性质：已知的整除关系在乘法下不会丢失，倍数乘任何数还是倍数。
  **次锚·不变量思想**：可乘性中不变的是因子$a$——$b=ak$两边乘以$c$得$bc=a(kc)$，因子$a$仍在。即便双边形式$ac|bd$中，因子$a$和$c$也各自保持。无论乘什么整数，原有因子都不会消失——这才是可乘性的灵魂。
  **三锚·整体与部分**：$bc$作为整体，包含$a$这个因子作为部分——$b$已是$a$的倍数，乘以$c$不改变它含因子$a$的事实。整体必含部分，部分存在于整体之中。
  **解题三问**：已知的整除关系是什么？要乘以哪个整数？乘完后结果里还藏着原来的因子吗？
* **关键心法**：
  整除乘数数不变，因子始终走不散。

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

* **终极一句话**：
  $a|b \Rightarrow a|bc$ 且 $a|b, c|d \Rightarrow ac|bd$——整除的可乘性，让整除关系在乘法下如虎添翼：一次整除，处处乘积皆整除，因子永远走不散。

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

* **数学思想进化轴**：欧几里得《几何原本》（约公元前300年）——第VII卷中通过"若一数测度另一数，则它亦测度此数的任何倍数"论述可乘性→斐波那契《算盘书》（1202年）——在商业算术乘法中系统运用可乘性→高斯《算术研究》（1801年）——在同余框架下统一：$a\equiv0\pmod{m}\Rightarrow ac\equiv0\pmod{m}$。

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

# 三、知识点层

* **知识点编号**：B01-M01-S05-U03
* **名称**：整除的可乘性题根
* **标准定义**：
* 单边可乘性：若整数 $a$ 整除 $b$（$a|b$），则对任意整数 $c$，$a$ 整除 $bc$（$a|bc$）。即 $a|b \Rightarrow a|bc$。证明：由定义$b=ak$，两边乘$c$得$bc=a(kc)$，$kc$为整数，由整除定义得$a|bc$。这相当于在已建立的整除关系上再乘任意整数，整除关系仍保持——倍数的倍数还是倍数。
  * 双边可乘性：若 $a|b$ 且 $c|d$，则 $ac|bd$。即两个整除关系可以“相乘”——前者的除数与后者的除数相乘，仍整除对应倍数的乘积。证明：$b=ak_1$，$d=ck_2$，相乘得$bd=ac(k_1k_2)$，$k_1k_2$为整数，故$ac|bd$。这是单边可乘性的推广：两个整除关系各自展开再相乘。
  * 幂次推广：$a|b \Rightarrow a^n|b^n$（$n$为正整数）。由可乘性迭代$n$次即得。这是可乘性最强大的应用：一次整除$n$次方，整除关系指数放大。

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

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

* **核心本质**：
  **整除关系在乘法运算下保持封闭——若$a|b$则对任意整数$c$有$a|bc$；若$a|b$且$c|d$则$ac|bd$。可乘性的本质是“因子在乘法下不动”：$b=ak$乘$c$后$bc=a(kc)$，因子$a$始终在场——无论乘什么整数，原来的因子都不会消失。双边形式是两个整除各自展开再相乘，乘积中的因子来源于原有的整除关系。可乘性是可加性在乘法视角下的对称对应，二者结合即得线性组合。锁死·基础层通用内容**

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

* **核心性质**：
  * 性质一：可乘性可逆吗？——$ac|bd$ 不能一般地反推出 $a|b$ 且 $c|d$。反例：$2\times3=6$ 整除 $4\times3=12$（$6|12$），但 $2\nmid4$（实际上 $2|4$ 成立）——真正要找的是 $ac|bd$ 成立但 $a|b$ 不成立的情形。更清晰的反例：$4|12$ 且 $6|12$，但 $4\times6=24$ 不整除 $12$（不满足前提）。要找的例子：$2\times4=8$ 整除 $4\times6=24$，即 $8|24$，但 $2|4$ 成立而 $4\nmid6$——所以可乘性不可逆的原因是：乘积 $ac$ 整除 $bd$ 可能源于 $a$ 和 $c$ 的因子在 $b$ 和 $d$ 中的重新分配。
  * 性质二：可乘性与质因子的关系——从质因数分解视角看，$a|b \Rightarrow a|bc$ 几乎是平凡的：若 $b$ 包含 $a$ 的全部质因子，则 $b\times c$ 当然也包含 $a$ 的全部质因子。双边形式 $ac|bd$ 等价于：$a$ 的质因子全部出现在 $b$ 中，$c$ 的质因子全部出现在 $d$ 中——注意这是在 $a|b$ 和 $c|d$ 分别成立的基础上。
  * 性质三：可乘性 + 可加性 $\Rightarrow$ 线性组合——结合可加性和可乘性即得线性组合形式：由 $a|b$ 得 $a|bx$（可乘性），由 $a|c$ 得 $a|cy$（可乘性），再由可加性得 $a|(bx\pm cy)$。这揭示了一个重要事实：整除的三大基本性质（传递、可加、可乘）中，可乘性和可加性可以"生成"线性组合形式，而传递性则独立地提供链式推理能力。
  * 性质四：可乘性在模运算下的意义——在同余语言下，可乘性表述为：若 $a\equiv0\pmod{m}$，则 $ac\equiv0\pmod{m}$——即"零乘任何数仍为零"。更一般地，可乘性是同余乘法性质 $a\equiv b\pmod{m}, c\equiv d\pmod{m}\Rightarrow ac\equiv bd\pmod{m}$ 在 $b=d=0$ 时的退化形式。

# 四、教案版本

## 【专业版】

### 【基础层例题】

已知 $3|6$，求证 $3|18$（利用可乘性）。

* **解题思路**：①这里要证3|18，已知3|6——意思是已经有一个整除关系，要证明它乘以整数3后仍然成立。②可以理解成因为3能整除6（6=3k），两边同乘3得18=3×(3k)——因子3还在里面，所以3当然整除18。③所以直接写出整除定义b=ak，两边乘以要乘的整数c，得到bc=a(kc)就证完了。

### 【易错变式题】

判断”若 $a|bc$，则 $a|b$ 或 $a|c$”是否正确。

* **常见错误**：①学生以为“a|bc就能推出a|b或a|c”——把可乘性的推理方向搞反了。②因为看到“乘积被整除”就直觉每个因子都能被整除，没理解可乘性只能从“已知整除×整数”正向推，不能从“乘积被整除”反向推各因子。③关键是要区分可乘性（已知a|b时才能推a|bc）和欧几里得引理（a是质数时a|bc才能反推a|b或a|c）——前者无条件正向，后者有条件反向。
* **标准解答**：错误。反例：$6|(3\times4)=12$，但 $6\nmid3$ 且 $6\nmid4$。注意该结论只有在 $a$ 为质数且 $a|bc$ 时才成立（欧几里得引理——若 $p$ 为质数且 $p|bc$，则 $p|b$ 或 $p|c$），但一般的合数 $a$ 不具备此性质。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。### 【高阶例题】
  证明：若 $a|b$ 且 $c|d$，则 $ac|bd$。
* **方法策略**：①这是证明双边可乘性ac|bd的问题——给了两个整除关系a|b和c|d，要推出乘积的整除。②因为a|b意味着b=ak₁，c|d意味着d=ck₂，两边分别相乘得bd=ac(k₁k₂)，正好是ac|bd的定义形式。③所以把每个整除定义写成等式，全部乘起来，看乘积是不是原来除数的整数倍就完了。
* **标准解答**：由 $a|b$ 得 $b=ak_1$（$k_1\in\mathbb{Z}$），由 $c|d$ 得 $d=ck_2$（$k_2\in\mathbb{Z}$）。则 $bd=(ak_1)(ck_2)=ac(k_1k_2)$。由于 $k_1k_2\in\mathbb{Z}$，由整除定义得 $ac|bd$。证毕。

##

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。【药典版】

### 定位：整除推理的”倍增器”——一剂在乘法中延续整除链条的生长方，在乘积之中看见因子的蔓延

#### 🌱 药材本体

* **第一味药——单边生长**：$a|b \Rightarrow a|bc$——已知的整除关系乘以任何整数后仍然保持，如同树的根系在土壤中延伸：有了根，任何营养都能送达枝叶。
* **第二味药——双边乘积**：$a|b$ 且 $c|d \Rightarrow ac|bd$——两个独立整除关系”相乘”得到新的整除关系，除数和被除数同时放大，如同两个家族的联姻。
* **第三味药——幂次推广**：$a|b \Rightarrow a^n|b^n$——由可乘性迭代 $n$ 次即得，这是可乘性最强大的应用之一：一次整除，无限整除。
* **第四味药——加法溯源**：可乘性实际上可以从可加性推导——$a|b \Rightarrow a|b+b+\cdots+b$（$c$ 次）$=a|bc$。这说明乘法视为重复加法时，可乘性是”可加性”的必然推论。
* **药材核心药性**：以因子保持为体，以乘积延伸为用，”一因得乘，万因随行”。

#### 🛠️ 功能主治

* **主治**：面对”已知整除后乘以某个数是否还整除”的困惑——乘以整数不影响已建立的整除关系
* **解决**：学生分不清 $a|bc$ 什么时候能推 $a|b$ 或 $a|c$——需强调：一般情况不能反推，需要 $a$ 为质数的条件（欧几里得引理）
* **根治**：对”整除关系在乘法下的保持性”只有机械记忆、没有代数理解——必须从定义 $b=ak$ 两边乘 $c$ 的操作理解
* **打通**：从可乘性 $\rightarrow$ 可加性的统一 $\rightarrow$ 欧几里得引理 $\rightarrow$ 唯一因子分解定理 $\rightarrow$ 环论中的素元与不可约元

#### 🧪 核心药方

1、**单边乘法方**——已知 $a|b$ 直接乘以整数 $c$ 得 $a|bc$。核心操作：$b=ak \Rightarrow bc=a(kc)$。适配基础表达阶
2、**双边乘积方**——已知 $a|b$ 且 $c|d$，相乘得 $ac|bd$。核心操作：$b=ak_1, d=ck_2 \Rightarrow bd=ac(k_1k_2)$。适配进阶表达阶
3、**幂次推广方**——已知 $a|b$ 取 $n$ 次幂 $a^n|b^n$。证明：$b=ak \Rightarrow b^n=a^nk^n$。特别地，在竞赛中常用于构造 $a^n|b^n \Rightarrow a|b$（在正整数下可通过取 $n$ 次方根论证）。适配高阶表达阶

#### 🌌 药理

**乘是加的叠加，整除在乘积中延续。**
整除的可乘性包括两个层面：单边形式 $a|b \Rightarrow a|bc$ 和双边形式 $a|b, c|d \Rightarrow ac|bd$。前者告诉我们——一旦建立了整除关系，乘以任何整数都不会破坏它。这似乎”太显然了”——如果 $b$ 是 $a$ 的倍数，那么 $b$ 乘以任何整数后当然还是 $a$ 的倍数。但恰恰是这种”显然”，让它成为数论推理中最常用的操作之一。
欧几里得在《几何原本》第VII卷命题17中明确表述了单边可乘性：”若一数测度另一数，则它也测度该数的任何倍数。”斐波那契在《算盘书》中将这一性质应用于商业算术的各类比例问题。到了18世纪，欧拉在《代数基础》中将可乘性作为基本推理工具广泛使用。
双边形式则更具有数学美感：$a|b$ 和 $c|d$ 这两个独立的整除关系，通过乘法”结合”成 $ac|bd$——除数和被除数同时相乘。这一形式揭示了整除关系在”乘积”这一运算下的保结构性质。它与可加性形成了完美的对称：加法对应”和/差”，乘法对应”积”。
可乘性的最重要推论是 $a|b \Rightarrow a^n|b^n$，它使得整除关系可以在指数级别上”放大”。这一推论在证明整除性质的幂次推广时不可或缺。

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

* **基础表达**：用实物演示——如果6颗糖能均分给3人（$3|6$），那么18颗糖（=6×3）也能均分给3人。引申：任何整数倍都能均分。让学生动手操作：$2|4$，将4翻倍→8仍被2整除。
* **进阶表达**：引导学生自己写出 $b=ak$ 的两边乘以整数 $c$ 的过程：$bc=akc=a(kc)$。然后进一步：如果同时有两个整除关系 $a|b$ 和 $c|d$，双向相乘会怎样？
* **高阶表达**：重点辨析 $a|bc \Rightarrow a|b$ 或 $a|c$ 什么时候成立。引入欧几里得引理：当 $a$ 为质数时成立；通过反例（$6|3\times4$）强调整除数的质因子拆分性质。再用 $a|b \Rightarrow a^n|b^n$ 的幂次推广作为新工具。
* **顶阶表达**：从可乘性引出素元、不可约元的概念——在一般整环中，素元满足 $p|ab\Rightarrow p|a$ 或 $p|b$，而可乘性在一般环中可能不成立（需要整环条件）。对比整数环 $\mathbb{Z}$ 和多项式环 $F\[x]$ 中的可乘性。

#### 🗣️ 一句话封神

$a|b \Rightarrow a|bc$ 且 $a|b, c|d \Rightarrow ac|bd$——可乘性，让整除的种子在乘法的土壤中生根发芽，一次种下，无限收获。
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。#### 🩺 一眼诊断

* **单边盲区型**：知道可乘性但不知道怎么用——只会背 $a|b \Rightarrow a|bc$ 但对 $a|b \Rightarrow a|b^2$ 就犹豫了。→ 提示：取 $c=b$ 即得 $a|b^2$，取 $c=b^{n-1}$ 得 $a|b^n$。可乘性的 $c$ 可以是任何整数，包括 $b$ 本身。
* **反推错觉型**：看见 $a|bc$ 就说”所以 $a|b$ 或 $a|c$”。→ 举反例 $6|(3\times4)$，强调整除数的质因子结构：$6=2\times3$，它的因子分布在3和4中各得一半（2在4中，3在3中），谁都不全得。
* **漏除偏误型**：应用双边可乘性时，只写了 $a|b, c|d \Rightarrow ac|bd$ 却忘了证明 $bd=ac(k_1k_2)$ 中 $k_1k_2$ 是整数。→ 必须强调：两个整数相乘仍是整数，这是整数集对乘法封闭的根本性质。
* **互质盲区型**：在 $a|bc$ 且 $\gcd(a,b)=1$ 时不知道可以推出 $a|c$。→ 这是欧几里得引理的推广（不要求 $a$ 为质数，只要求 $a$ 与 $b$ 互质），也是竞赛中高频考点。讲解思路：由 $\gcd(a,b)=1$ 得存在 $x,y$ 使 $ax+by=1$，两边乘 $c$ 得 $acx+bcy=c$，$a$ 整除右边两项→$a|c$。

#### 🧭 导航路径

* **步行（L1-L2）** → 对标
  1. 已知 $2|10$，求证 $2|50$。
     * 解答提示：$50=10\times5$，由可乘性，$2|10 \Rightarrow 2|(10\times5)=50$。

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

2. 若 $a|b$，判断 $a$ 能否整除 $b\times2024$。
   * 解答提示：能。由可乘性，$a|b \Rightarrow a|(b\times2024)$。

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

3. 已知 $2|4$ 且 $3|9$，求证 $6|36$。
   * 解答提示：由双边可乘性 $a|b$ 且 $c|d \Rightarrow ac|bd$，取 $a=2,b=4,c=3,d=9$，得 $2\times3|4\times9$，即 $6|36$。验证：$36=6\times6$。

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

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

* **刚性达标阈值**：基础概念通关，闭卷正确率≥90%
* **骑车（L3-L4）** → 对标
  1. 证明：若 $a|b$ 且 $c|d$，则 $ac|bd$。
     * 解答提示：$b=ak_1$，$d=ck_2 \Rightarrow bd=ac(k_1k_2)$，故 $ac|bd$。注意 $k_1k_2$ 是整数（乘法封闭）。
  2. 若 $ac|bd$，能否推出 $a|b$ 且 $c|d$？举例说明。
     * 解答提示：不能。反例：$2\times3=6$ 整除 $4\times3=12$ 即 $6|12$，但 $2|4$ 成立而 $3\nmid3$（实际上 $3|3$——更好的反例：$2\times6=12$ 整除 $4\times3=12$ 即 $12|12$，但 $2|4$ 成立而 $6\nmid3$。关键是 $a$ 的因子可能跑到了 $d$ 中而 $c$ 的因子跑到了 $b$ 中。
  3. 证明：对于任意整数 $n$，$n(n+1)(n+2)(n+3)$ 能被24整除。
     * 解答提示：四个连续整数中必含两个偶数和两个奇数，两个偶数中一个被4整除。故含因子 $2\times4=8$。四个连续整数中必含一个3的倍数，故含因子3。$8\times3=24$。由可乘性，24|原式。更严格的证明：$n(n+1)(n+2)(n+3)=(n^2+3n)(n^2+3n+2)$，令 $t=n^2+3n$，则乘积 $t(t+2)$，分类讨论 $t$ 的奇偶性可得含因子8和3。
  * **刚性达标阈值**：进阶例题演练，正确率≥85%
* **开车（L5-L6）** → 对标
  1. 证明：若 $\gcd(a,b)=1$ 且 $a|bc$，则 $a|c$。
     * 解答提示：由 $ax+by=1$（Bezout等式）两边乘 $c$ 得 $acx+bcy=c$。$a|acx$，且 $a|bcy$（因为 $a|bc$），故 $a|(acx+bcy)=c$。这是”互质时的可乘性逆用”。
  2. 设 $n$ 为正整数，证明：$n^5-n$ 能被30整除。
     * 解答提示：$n^5-n=n(n-1)(n+1)(n^2+1)$。$(n-1)n(n+1)$ 连续三整数被2和3整除。再证被5整除：分 $n\equiv0,\pm1,\pm2\pmod5$。$n\equiv0,\pm1$ 时 $(n-1)n(n+1)$ 被5整除；$n\equiv\pm2$ 时 $n^2+1\equiv5\equiv0\pmod5$。由可乘性+可加性得 $2,3,5$ 均整除 $n^5-n$，故 $2\times3\times5=30$ 整除 $n^5-n$。
  3. 求所有正整数 $a,b$ 使得 $ab|a^2+b^2+1$。
     * 解答提示：由 $ab|a^2+b^2+1$ 得 $a|a^2+b^2+1 \Rightarrow a|b^2+1$，同理 $b|a^2+1$。设 $b^2+1=ka$，$a^2+1=lb$。由对称性不妨设 $a\le b$，通过不等式放缩得 $a=b$ 或 $a=1$。代入求解得 $(a,b)=(1,1),(1,2),(2,1),(2,3),(3,2)$。
  * **刚性达标阈值**：竞赛真题演练，正确率≥80%