5.算术基本定理
算术基本定理 完整讲解与推导证明
算术基本定理是初等数论的核心基石，它彻底刻画了正整数的素数结构——所有大于1的正整数，都可以唯一地分解为素数的乘积，将合数与素数的本质关系完全厘清。下面我们从核心定理出发，逐步完成推导证明，并梳理全部衍生结论。
一、前置核心引理：定理1（算术基本引理/欧几里得引理）
定理内容
设 \(p\) 是素数，若 \(p \mid a_1a_2\)，则 \(p \mid a_1\)、\(p \mid a_2\) 中至少有一个成立。
一般推广：若 \(p \mid a_1a_2\cdots a_k\)，则 \(p \mid a_1,\ p \mid a_2,\ \dots,\ p \mid a_k\) 中至少有一个成立。
前置知识铺垫
- 素数的核心性质：若 \(p\) 是素数，且 \(p \nmid a\)，则 \(\gcd(p,a)=1\)（素数的正因数只有1和自身，因此与不被它整除的数互素）。
- 整除核心结论：若 \(\gcd(a,b)=1\) 且 \(a \mid bc\)，则 \(a \mid c\)（互素的数整除乘积，必整除另一个因子）。
详细证明
1. 二元情形（\(k=2\)）
分两种情况讨论：
- 若 \(p \mid a_1\)，则结论直接成立，无需额外证明。
- 若 \(p \nmid a_1\)，由素数性质得 \(\gcd(p,a_1)=1\)。
已知 \(p \mid a_1a_2\)，结合上述互素整除结论，可直接推出 \(p \mid a_2\)。
因此二元情形下，\(p\) 至少整除 \(a_1,a_2\) 中的一个，得证。
2. 多元推广（任意 \(k\geq2\)）
用数学归纳法证明：
- 基例：\(k=2\) 时已证明成立。
- 归纳假设：假设 \(k=n\) 时结论成立，即若 \(p \mid a_1a_2\cdots a_n\)，则 \(p\) 至少整除其中一个因子。
- 归纳递推：当 \(k=n+1\) 时，将乘积拆分为 \((a_1a_2\cdots a_n)\cdot a_{n+1}\)，视为二元情形。
由二元结论，要么 \(p \mid a_{n+1}\)（结论成立），要么 \(p \mid (a_1a_2\cdots a_n)\)。
若 \(p \mid (a_1a_2\cdots a_n)\)，由归纳假设，\(p\) 至少整除 \(a_1,\dots,a_n\) 中的一个。
因此对任意 \(k\geq2\)，结论均成立。
定理意义
这是素数的本质属性，是素数与合数的核心区别：
- 素数满足“整除乘积必整除其中一个因子”；
- 合数不满足该性质（例如 \(4 \mid 2\times6\)，但 \(4\nmid2\) 且 \(4\nmid6\)）。
该性质可作为素数的等价定义，同时是算术基本定理唯一性证明的核心支撑。
二、核心定理：定理2（算术基本定理）
定理内容
设 \(a>1\)，则 \(a\) 可以表示为素数的乘积：
其中 \(p_j(1\leq j\leq s)\) 是素数，且在不计素数排列次序的意义下，该表达式是唯一的。
算术基本定理分为两部分：存在性（所有大于1的整数都能分解为素数乘积）、唯一性（分解式不计次序唯一），我们分别证明。
1. 存在性证明
用第二数学归纳法证明：
- 基例：\(a=2\)，2是素数，分解式即为自身，成立。
- 归纳假设：假设对所有满足 \(2\leq n<a\) 的正整数 \(n\)，都可以分解为素数的乘积。
- 归纳递推：对 \(a\) 分两种情况讨论：
- 若 \(a\) 是素数，分解式即为自身，成立。
- 若 \(a\) 是合数，由合数定义，存在正整数 \(b,c\) 满足 \(1<b<a,\ 1<c<a\)，且 \(a=b\cdot c\)。
由归纳假设，\(b\) 可分解为素数乘积 \(b=q_1q_2\cdots q_m\)，\(c\) 可分解为素数乘积 \(c=r_1r_2\cdots r_k\)（\(q_i,r_j\) 均为素数）。
因此 \(a = b\cdot c = q_1q_2\cdots q_m r_1r_2\cdots r_k\)，即 \(a\) 分解为了素数的乘积。
综上，所有大于1的正整数的素分解式都存在，得证。
2. 唯一性证明
核心工具是上述的算术基本引理，我们将两个分解式按素数从小到大排序，便于比较：
设 \(a\) 有两个素分解式：
我们需要证明：\(s=r\)，且对所有 \(1\leq j\leq s\)，\(p_j=q_j\)。
步骤1：证明最小素因子相等 \(p_1=q_1\)
-
因为 \(p_1 \mid a = q_1q_2\cdots q_r\)，由算术基本引理，\(p_1\) 必整除某个 \(q_i\)。
而 \(q_i\) 是素数，素数的正因数只有1和自身，因此 \(p_1=q_i\)。
又因为 \(q_1\) 是所有 \(q_i\) 中最小的，因此 \(q_1 \leq q_i = p_1\)。 -
反过来，\(q_1 \mid a = p_1p_2\cdots p_s\)，同理可得 \(q_1=p_j\)，且 \(p_1 \leq p_j = q_1\)。
结合 \(p_1\leq q_1\) 且 \(q_1\leq p_1\)，可得 \(p_1=q_1\)。
步骤2：递推证明所有素因子对应相等
将等式两边的 \(p_1\) 和 \(q_1\) 约去，得到：
重复步骤1的论证：
- \(p_2\) 是左边最小素因子，\(q_2\) 是右边最小素因子，同理可证 \(p_2=q_2\)；
- 依次递推，可得 \(p_3=q_3,\ \dots,\ p_s=q_s\)。
步骤3：证明素因子个数相等 \(s=r\)
当我们约去前 \(s\) 个素因子后，左边变为1，右边剩余 \(q_{s+1}\cdots q_r\)，即：
但所有 \(q_i\) 都是素数，素数均 \(\geq2\)，若干个 \(\geq2\) 的数相乘结果必 \(\geq2\)，不可能等于1。因此不存在这样的 \(q_{s+1},\dots,q_r\)，即 \(r=s\)。
综上，两个分解式的素数个数相同，且对应素数相等，在不计次序的意义下，分解式唯一，得证。
标准素因数分解式
将分解式中相同的素数合并，得到唯一的标准素因数分解式：
该式是算术基本定理的常用形式，后续所有推论均基于此式展开。
三、核心推论与详细证明
推论3：正因数的充要条件
推论内容
设 \(a\) 的标准素分解为 \(a = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，则 \(d\) 是 \(a\) 的正因数的充要条件是：
详细证明
-
充分性：若 \(d\) 满足上述形式，则
\[a = d \cdot \left(p_1^{\alpha_1-e_1} p_2^{\alpha_2-e_2} \cdots p_s^{\alpha_s-e_s}\right) \]因 \(\alpha_j-e_j\geq0\)，右边第二项是正整数，因此 \(d \mid a\)，充分性得证。
-
必要性：若 \(d\) 是 \(a\) 的正因数，分两种情况：
- 当 \(d=1\) 时，对应 \(e_j=0\)，显然满足条件。
- 当 \(d>1\) 时，因 \(d \mid a\)，\(d\) 的任意素因子 \(q\) 都满足 \(q \mid a\)，由算术基本引理，\(q\) 必是 \(p_1,\dots,p_s\) 中的一个，因此 \(d\) 的素因子只能是 \(p_1,\dots,p_s\)，即 \(d = p_1^{e_1} \cdots p_s^{e_s},\ e_j\geq0\)。
接下来用反证法证明 \(e_j\leq\alpha_j\)：
假设存在某个 \(e_1>\alpha_1\)，因 \(d \mid a\)，则 \(p_1^{e_1} \mid a = p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_s^{\alpha_s}\)。
两边约去 \(p_1^{\alpha_1}\)，得 \(p_1^{e_1-\alpha_1} \mid p_2^{\alpha_2}\cdots p_s^{\alpha_s}\)。
因 \(e_1-\alpha_1\geq1\)，故 \(p_1 \mid p_2^{\alpha_2}\cdots p_s^{\alpha_s}\)，由算术基本引理，\(p_1\) 必整除 \(p_2,\dots,p_s\) 中的一个，与 \(p_1<p_2<\dots<p_s\) 是不同素数矛盾。因此假设不成立，\(e_1\leq\alpha_1\)，同理所有 \(e_j\leq\alpha_j\)，必要性得证。
推论意义
将“求正因数”的问题转化为“素因子指数的选择问题”，是所有除数相关结论的基础，实现了因数问题的“指数化”。
推论4：最大公约数(gcd)与最小公倍数(lcm)的素分解表示
推论内容
设 \(a = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，\(b = p_1^{\beta_1} p_2^{\beta_2} \cdots p_s^{\beta_s}\)（允许 \(\alpha_j\) 或 \(\beta_j\) 为0，统一素因子集合），则：
- 最大公约数：\(\gcd(a,b) = p_1^{\delta_1} p_2^{\delta_2} \cdots p_s^{\delta_s}\)，其中 \(\delta_j = \min(\alpha_j,\beta_j)\)；
- 最小公倍数：\(\text{lcm}(a,b) = p_1^{\gamma_1} p_2^{\gamma_2} \cdots p_s^{\gamma_s}\)，其中 \(\gamma_j = \max(\alpha_j,\beta_j)\)；
- 核心等式：\(\gcd(a,b) \cdot \text{lcm}(a,b) = a\cdot b\)。
详细证明
-
最大公约数证明
设 \(d = \prod p_j^{\min(\alpha_j,\beta_j)}\)：- 由推论3，\(\min(\alpha_j,\beta_j)\leq\alpha_j\) 且 \(\min(\alpha_j,\beta_j)\leq\beta_j\)，因此 \(d \mid a\) 且 \(d \mid b\)，即 \(d\) 是 \(a,b\) 的公约数。
- 对任意公约数 \(d'\)，由推论3，\(d' = \prod p_j^{e_j}\)，其中 \(e_j\leq\alpha_j\) 且 \(e_j\leq\beta_j\)，故 \(e_j\leq\min(\alpha_j,\beta_j)\)，即 \(d' \mid d\)。
因此 \(d\) 是最大公约数，得证。
-
最小公倍数证明
设 \(m = \prod p_j^{\max(\alpha_j,\beta_j)}\)：- 由推论3，\(\alpha_j\leq\max(\alpha_j,\beta_j)\) 且 \(\beta_j\leq\max(\alpha_j,\beta_j)\)，因此 \(a \mid m\) 且 \(b \mid m\)，即 \(m\) 是 \(a,b\) 的公倍数。
- 对任意公倍数 \(m'\)，由推论3，\(m' = \prod p_j^{f_j}\)，其中 \(\alpha_j\leq f_j\) 且 \(\beta_j\leq f_j\)，故 \(f_j\geq\max(\alpha_j,\beta_j)\)，即 \(m \mid m'\)。
因此 \(m\) 是最小公倍数，得证。
-
核心等式证明
对每个素因子 \(p_j\)，左边的指数为 \(\min(\alpha_j,\beta_j) + \max(\alpha_j,\beta_j)\)，右边的指数为 \(\alpha_j+\beta_j\)。
对任意实数 \(x,y\)，恒有 \(\min(x,y)+\max(x,y)=x+y\)，因此所有素因子的指数左右两边相等，故等式成立。
推论意义
给出了gcd与lcm的便捷计算方式，建立了二者的对偶关系，是数论中处理公约数、公倍数问题的核心工具。
推论5：互素数的幂次性质
推论内容
若 \(\gcd(a,b)=1\)，且 \(ab = c^k\)（\(k\) 为正整数），则存在正整数 \(u,v\)，使得 \(a=u^k\)，\(b=v^k\)，且 \(u=\gcd(a,c)\)，\(v=\gcd(b,c)\)。
详细证明
设 \(c\) 的标准素分解为 \(c = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，则 \(c^k = p_1^{k\alpha_1} p_2^{k\alpha_2} \cdots p_s^{k\alpha_s}\)。
因 \(ab=c^k\)，故 \(a,b\) 的素因子只能是 \(p_1,\dots,p_s\)，设：
- 由 \(ab=c^k\)，对每个素因子，指数满足 \(\beta_j + \gamma_j = k\alpha_j\)；
- 由 \(\gcd(a,b)=1\)，得 \(\min(\beta_j,\gamma_j)=0\)，即 \(\beta_j\) 和 \(\gamma_j\) 中至少有一个为0。
结合两个条件，对每个 \(j\) 仅有两种可能：
- \(\beta_j=0\)，则 \(\gamma_j=k\alpha_j\)；
- \(\gamma_j=0\)，则 \(\beta_j=k\alpha_j\)。
即 \(\beta_j,\gamma_j\) 均为 \(k\) 的倍数。设：
显然 \(u,v\) 为正整数，且 \(a=u^k\)，\(b=v^k\)，得证。
推论意义
刻画了互素数在幂次运算下的独立性，是处理丢番图方程、幂次整除问题的核心结论。
推论6：除数函数 \(\tau(n)\)（也记为 \(d(n)\)）
推论内容
定义：\(\tau(n)\) 表示正整数 \(n\) 的所有正因数的个数。
若 \(n\) 的标准素分解为 \(n = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，则：
即 \(\tau(n)\) 是积性函数。
详细证明
由推论3，\(n\) 的每个正因数对应一组指数 \((e_1,e_2,\dots,e_s)\)，其中 \(0\leq e_j\leq\alpha_j\)，且每个 \(e_j\) 的选择相互独立：
- \(e_1\) 有 \(\alpha_1+1\) 种选择（\(0,1,\dots,\alpha_1\)）；
- \(e_2\) 有 \(\alpha_2+1\) 种选择；
- ……
- \(e_s\) 有 \(\alpha_s+1\) 种选择。
由乘法原理，总选择数（即正因数个数）为 \((\alpha_1+1)(\alpha_2+1)\cdots(\alpha_s+1)\)，得证。
补充：\(\tau(1)=1\)，对应所有 \(\alpha_j=0\) 的情形，符合公式。
推论7：除数和函数 \(\sigma(n)\)
推论内容
定义：\(\sigma(n)\) 表示正整数 \(n\) 的所有正因数的和。
若 \(n\) 的标准素分解为 \(n = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，则：
即 \(\sigma(n)\) 是积性函数。
详细证明
由定义，\(\sigma(n) = \sum_{d \mid n} d\)，结合推论3，所有正因数可表示为 \(p_1^{e_1}p_2^{e_2}\cdots p_s^{e_s}\)，因此：
由乘法对加法的分配律，多重求和可分解为单求和的乘积：
每个单求和是等比数列，由等比数列求和公式 \(\sum_{e=0}^\alpha p^e = \frac{p^{\alpha+1}-1}{p-1}\)，代入得：
得证。
补充：\(\sigma(1)=1\)，对应所有 \(\alpha_j=0\) 的情形，符合定义。
引理8：除数求和/求积的一般形式
引理内容
设 \(f(n)\) 是定义在正整数集合上的复值函数，正整数 \(a\) 的标准素分解为 \(a = p_1^{\alpha_1}\cdots p_s^{\alpha_s}\)，则：
证明与意义
由推论3，\(a\) 的正因数与指数组 \((e_1,\dots,e_s)\) 一一对应，因此对 \(d\) 的求和/求积，等价于对所有指数组的多重求和/求积。
该引理是处理除数相关数论函数的通用框架，是推论6、7的一般化形式，也是解析数论中狄利克雷卷积、梅滕斯定理的基础。
四、核心知识点归纳总结表
| 类别 | 名称 | 核心内容 | 核心结论 | 理论意义 |
|---|---|---|---|---|
| 核心定理 | 定理1（算术基本引理） | 设 \(p\) 是素数，若 \(p \mid a_1a_2\cdots a_k\)，则 \(p\) 至少整除其中一个因子 | 素数具有“整除乘积必整除因子”的本质属性，合数不具备 | 算术基本定理唯一性证明的核心，是素数的等价定义 |
| 核心定理 | 定理2（算术基本定理） | 任意 \(a>1\) 可分解为素数乘积，且不计次序下分解式唯一 | 1. 素分解存在性；2. 素分解唯一性 | 初等数论的基石，建立了正整数的素数结构，是几乎所有数论结论的基础 |
| 核心推论 | 推论3（正因数充要条件） | \(d \mid a\) 当且仅当 \(d\) 的素因子均在 \(a\) 的素因子中，且指数不超过 \(a\) 中对应指数 | 正因数完全由素因子的指数决定 | 实现因数问题“指数化”，是所有除数相关结论的基础 |
| 核心推论 | 推论4（gcd与lcm的素分解） | gcd对应素因子指数取最小，lcm对应指数取最大，且 \(\gcd(a,b)\cdot\text{lcm}(a,b)=ab\) | gcd与lcm可通过素因子指数便捷计算 | 处理公约数、公倍数问题的核心工具，建立二者对偶关系 |
| 核心推论 | 推论5（互素数的幂次性质） | 互素两数的乘积是 \(k\) 次方数，则两数本身都是 \(k\) 次方数 | 互素数在幂次运算下具有独立性 | 丢番图方程、幂次整除问题的核心结论 |
| 常用数论函数 | 除数函数 \(\tau(n)\) | 表示 \(n\) 的正因数个数，\(\tau(n)=\prod(\alpha_j+1)\) | \(\tau(n)\) 是积性函数，仅由素因子指数决定 | 最基础的数论计数函数，刻画正整数的因数稠密程度 |
| 常用数论函数 | 除数和函数 \(\sigma(n)\) | 表示 \(n\) 的正因数之和，\(\sigma(n)=\prod\frac{p_j^{\alpha_j+1}-1}{p_j-1}\) | \(\sigma(n)\) 是积性函数，可分解为素数幂的除数和乘积 | 完全数、亲和数等经典数论问题的核心工具 |
| 通用工具 | 引理8（除数求和通用形式） | 对除数的求和/求积，等价于对素因子指数的多重求和/求积 | 任意数论函数的除数和都可转化为指数多重求和 | 除数相关数论函数的通用框架，解析数论的基础工具 |
例题详细讲解与推导
这3道例题是算术基本定理及其推论的直接应用，核心是利用“正整数的素因数分解唯一”这一性质，将最大公约数、最小公倍数、除数相关的复杂问题，转化为素因子指数的简单运算，充分体现了算术基本定理的工具价值。
例1 分配律证明：\(\boldsymbol{(a,[b,c])=[(a,b),(a,c)]}\)
核心思路
利用算术基本定理的推论4：最大公约数对应素因子指数取最小值，最小公倍数对应素因子指数取最大值，将等式两边的数转化为素因子的指数形式，只需证明对每个素因子的指数，等式两边的运算结果相等，即可证明原等式成立。
详细证明过程
步骤1：简化与标准化
- 若 \(a=0\)，等式显然成立（0与任何数的最大公约数是该数本身，0与任何数的最小公倍数是0，代入可直接验证）。
- 只需讨论 \(a,b,c\) 为正整数的情况，设三者的标准素因数分解式为（统一素因子集合，指数为0表示不含该素因子）：\[a = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s},\quad b = p_1^{\beta_1} p_2^{\beta_2} \cdots p_s^{\beta_s},\quad c = p_1^{\gamma_1} p_2^{\gamma_2} \cdots p_s^{\gamma_s} \]
步骤2：计算等式左边的指数形式
先计算内层的最小公倍数 \([b,c]\)，由推论4，\([b,c]\) 的素因子指数为 \(\max(\beta_j,\gamma_j)\)，即：
再计算 \((a,[b,c])\)，即 \(a\) 与 \([b,c]\) 的最大公约数，指数取最小值，因此：
步骤3：计算等式右边的指数形式
先计算内层的两个最大公约数 \((a,b)\) 和 \((a,c)\)，由推论4：
再计算 \([(a,b),(a,c)]\)，即两者的最小公倍数，指数取最大值，因此：
步骤4：证明指数恒等 \(\boldsymbol{\eta_j = \tau_j}\)
对任意实数 \(\alpha,\beta,\gamma\)，分3种核心情况验证 \(\min(\alpha,\max(\beta,\gamma)) = \max(\min(\alpha,\beta),\min(\alpha,\gamma))\)（实数集上的分配律）：
-
情况1：\(\alpha \geq \max(\beta,\gamma)\)
左边：\(\min(\alpha,\max(\beta,\gamma)) = \max(\beta,\gamma)\)
右边：\(\max(\min(\alpha,\beta),\min(\alpha,\gamma)) = \max(\beta,\gamma)\)
左右相等。 -
情况2：\(\min(\beta,\gamma) \leq \alpha < \max(\beta,\gamma)\)
不妨设 \(\beta \leq \alpha < \gamma\)，则：
左边：\(\min(\alpha,\max(\beta,\gamma)) = \min(\alpha,\gamma) = \alpha\)
右边：\(\max(\min(\alpha,\beta),\min(\alpha,\gamma)) = \max(\beta,\alpha) = \alpha\)
左右相等。 -
情况3：\(\alpha < \min(\beta,\gamma)\)
左边：\(\min(\alpha,\max(\beta,\gamma)) = \alpha\)
右边：\(\max(\min(\alpha,\beta),\min(\alpha,\gamma)) = \max(\alpha,\alpha) = \alpha\)
左右相等。
所有情况均满足 \(\eta_j = \tau_j\)，因此等式两边的素因数分解完全一致，由算术基本定理的唯一性，得：
结论意义
这个等式是最大公约数对最小公倍数的分配律，是数论中处理多个数的gcd与lcm混合运算的核心公式。如果不用算术基本定理，仅用整除的基本性质证明会非常繁琐，而通过素因子指数转化，仅需验证实数的运算恒等式即可完成证明，充分体现了算术基本定理的强大之处。
例2 除数函数 \(\boldsymbol{\tau(a)}\) 与除数和函数 \(\boldsymbol{\sigma(a)}\) 的计算
核心思路
直接应用算术基本定理的推论6（除数函数公式）和推论7（除数和函数公式），先对 \(a\) 做标准素因数分解，再代入公式计算。
详细计算过程
步骤1：标准素因数分解
对 \(a=180\) 做素因数分解：
即标准分解式为 \(a=2^2 \cdot 3^2 \cdot 5^1\)，对应素因子的指数：
- \(p_1=2,\ \alpha_1=2\)
- \(p_2=3,\ \alpha_2=2\)
- \(p_3=5,\ \alpha_3=1\)
步骤2：计算除数函数 \(\boldsymbol{\tau(a)}\)
由推论6，除数函数公式为：
代入指数：
结果含义：180的正因数一共有18个。
步骤3：计算除数和函数 \(\boldsymbol{\sigma(a)}\)
由推论7，除数和函数公式为：
分别计算每个素因子对应的项：
- 对 \(p_1=2,\alpha_1=2\)：\(\frac{2^{2+1}-1}{2-1} = \frac{8-1}{1} =7\)
- 对 \(p_2=3,\alpha_2=2\)：\(\frac{3^{2+1}-1}{3-1} = \frac{27-1}{2} =13\)
- 对 \(p_3=5,\alpha_3=1\)：\(\frac{5^{1+1}-1}{5-1} = \frac{25-1}{4} =6\)
将三项相乘：
结果含义：180的所有正因数的和为546。
例3 正因数的倒数和计算：\(\boldsymbol{\sum_{d \mid a} \frac{1}{d}}\)
核心思路
利用正因数的对称性：若 \(d\) 是 \(a\) 的正因数，则 \(\frac{a}{d}\) 也一定是 \(a\) 的正因数，且 \(d\) 与 \(\frac{a}{d}\) 一一对应。通过变量替换，将倒数和转化为除数和函数 \(\sigma(a)\) 的形式，再代入公式计算。
详细推导与计算过程
步骤1：推导倒数和的通用公式
设 \(a\) 是正整数，\(d\) 取遍 \(a\) 的所有正因数，由除数的对称性：\(d \mid a \iff \frac{a}{d} \mid a\)，且当 \(d\) 取遍所有正因数时，\(\frac{a}{d}\) 也恰好取遍所有正因数（无重复、无遗漏）。
因此对求和式做变量替换，将 \(d\) 替换为 \(\frac{a}{d}\)：
将常数 \(\frac{1}{a}\) 提出求和号外：
而 \(\sum_{d \mid a} d\) 正是除数和函数 \(\sigma(a)\)，因此得到通用公式：
步骤2：代入 \(a=180\) 计算
由例2的结果，\(\sigma(180)=546\)，代入公式：
结论意义
这个公式建立了正因数的倒数和与除数和函数的直接联系，无需逐个计算倒数再求和，只需通过 \(\sigma(a)\) 即可快速得到结果，是除数相关求和的常用技巧。
例题核心知识点总结
| 例题 | 核心应用知识点 | 核心结论/公式 | 关键技巧 |
|---|---|---|---|
| 例1 | 推论4（gcd与lcm的素分解表示） | \((a,[b,c])=[(a,b),(a,c)]\)（gcd对lcm的分配律） | 将数的等式转化为素因子指数的运算恒等式，利用算术基本定理的唯一性 |
| 例2 | 推论6（除数函数）、推论7（除数和函数） | \(\tau(a)=\prod(\alpha_j+1)\)，\(\sigma(a)=\prod\frac{p_j^{\alpha_j+1}-1}{p_j-1}\) | 先做标准素因数分解，再代入公式计算 |
| 例3 | 除数的对称性、除数和函数定义 | \(\sum_{d \mid a} \frac{1}{d} = \frac{\sigma(a)}{a}\) | 利用 \(d \leftrightarrow a/d\) 的一一对应做变量替换，转化为已知的除数和 |
算术基本定理 第二种证明途径 完整讲解与推导
本节的核心是脱离最大公约数的理论体系，仅用整除、素数的定义、最小自然数原理（良序原理），直接完成算术基本定理与算术基本引理的证明，并严格证明二者逻辑等价。与第一种途径（先证引理再推定理）不同，本途径从数论最基础的公理出发，更深刻地揭示了两个定理的内在联系。
一、前置核心工具：最小自然数原理
本节所有证明的核心基础是最小自然数原理，这是自然数集的核心公理：
任意一个非空的正整数集合，必存在一个最小的正整数。
该原理是反证法构造“最小反例”的理论依据，本节所有证明均围绕这一原理展开。
二、算术基本定理（定理2）的直接证明
定理回顾
设 \(a>1\)，则 \(a\) 可表示为素数的乘积 \(a=p_1p_2\cdots p_s\)，且在不计素数排列次序的意义下，该分解式是唯一的。
注：分解式的存在性已由§2的定理5证明（所有大于1的整数都可分解为素数乘积），因此本证明仅需证唯一性。
详细证明过程（反证法+最小反例构造）
步骤1：构造最小反例
假设算术基本定理的唯一性不成立，那么所有存在两种不同素分解式的大于1的正整数构成一个非空集合。
由最小自然数原理，这个集合中必存在一个最小的正整数，记为 \(a_0\)。
根据定义，\(a_0\) 满足：
- \(a_0>1\)，且存在两种不同的素分解式：\[a_0 = p_1p_2\cdots p_s = q_1q_2\cdots q_r \]其中 \(p_j, q_i\) 均为素数，且已按从小到大排序：\(p_1\leq p_2\leq \dots \leq p_s\)，\(q_1\leq q_2\leq \dots \leq q_r\)。
- 两种分解式“不同”的含义：不计次序下素因子不完全一致，因此不存在一一对应的素数相等关系。
步骤2：反例的基本性质推导
-
\(a_0\) 必为合数，且素因子个数≥2
若 \(a_0\) 是素数，则它的素分解式只能是自身，不可能有两种不同的分解式，因此 \(a_0\) 是合数，故 \(s\geq2\)，\(r\geq2\)。 -
两个分解式的素因子完全不重合
若存在某个 \(p_j = q_i\)，则将等式两边的 \(p_j\) 和 \(q_i\) 约去，得到：\[\frac{a_0}{p_j} = p_1\cdots p_{j-1}p_{j+1}\cdots p_s = q_1\cdots q_{i-1}q_{i+1}\cdots q_r \]显然 \(\frac{a_0}{p_j} < a_0\)，且它也存在两种不同的素分解式，这与 \(a_0\) 是“最小反例”矛盾。
因此，对任意的 \(j,i\)，必有 \(p_j \neq q_i\)，两个分解式没有公共的素因子。 -
不妨设 \(q_1 > p_1\)
由 \(p_1 \neq q_1\)，两个素数必有大小关系，不妨设 \(q_1 > p_1\)（若 \(p_1>q_1\)，只需交换两个分解式的记号即可，不影响证明）。
步骤3：构造更小的正整数 \(b_0\)，导出矛盾
构造正整数 \(b_0\)：
我们先分析 \(b_0\) 的范围和性质：
-
\(1 < b_0 < a_0\)
代入 \(a_0 = q_1 q_2 \cdots q_r\)，对 \(b_0\) 因式分解：\[b_0 = (q_1 - p_1) q_2 q_3 \cdots q_r \]因 \(q_1 > p_1\)，故 \(q_1-p_1 \geq1\)，因此 \(b_0 > 1\)；
同时 \(p_1 q_2\cdots q_r > 0\)，故 \(b_0 = a_0 - \text{正数} < a_0\)。 -
\(b_0\) 有含 \(p_1\) 的素分解式
由 \(a_0 = p_1 p_2 \cdots p_s\)，代入 \(b_0\) 的定义：\[b_0 = p_1 p_2 \cdots p_s - p_1 q_2 \cdots q_r = p_1 \cdot (p_2\cdots p_s - q_2\cdots q_r) \]因此 \(p_1 \mid b_0\)，设 \(b_0 = p_1 b_1\)，其中 \(b_1\) 是正整数。
由素分解的存在性，\(b_1\) 可分解为素数乘积，因此 \(b_0\) 有素分解式：\[b_0 = p_1 p_2' p_3' \cdots p_u' \]该分解式包含素因子 \(p_1\)。
-
\(b_0\) 有不含 \(p_1\) 的素分解式
回到 \(b_0\) 的因式分解式 \(b_0 = (q_1 - p_1) q_2 \cdots q_r\)，分两种情况讨论：- 情况1：\(q_1 - p_1 = 1\)
此时 \(b_0 = q_2 q_3 \cdots q_r\)，这本身就是素分解式。
由之前的结论，所有 \(q_i \neq p_1\)，因此该分解式不含素因子 \(p_1\)。 - 情况2：\(q_1 - p_1 > 1\)
由素分解的存在性，\(q_1 - p_1\) 可分解为素数乘积：\(q_1 - p_1 = q_{11} q_{12} \cdots q_{1v}\)，因此 \(b_0\) 的素分解式为：\[b_0 = q_{11} q_{12} \cdots q_{1v} \cdot q_2 q_3 \cdots q_r \]反证可证该分解式不含 \(p_1\)：若 \(p_1\) 是其中一个素因子，要么 \(p_1 \mid q_2\cdots q_r\)（与 \(q_i \neq p_1\) 矛盾），要么 \(p_1 \mid (q_1 - p_1)\)，进而推出 \(p_1 \mid q_1\)，即 \(p_1=q_1\)，与 \(q_1>p_1\) 矛盾。
- 情况1：\(q_1 - p_1 = 1\)
步骤4：最终矛盾
综上，\(b_0\) 有两种不同的素分解式：一种包含 \(p_1\)，一种不包含 \(p_1\)。
而我们已经证明 \(1 < b_0 < a_0\)，这与 \(a_0\) 是“存在两种不同素分解式的最小正整数”矛盾。
因此最初的假设“唯一性不成立”是错误的，算术基本定理的唯一性得证。
三、定理1（算术基本引理）的两个直接证明
定理回顾
设 \(p\) 是素数，若 \(p \mid a_1a_2\)，则 \(p \mid a_1\) 或 \(p \mid a_2\) 至少有一个成立。
注：多元情形可由二元情形直接归纳推出，因此只需证明二元情形。
第一个直接证明：反证法+最小反例构造
证明思路
假设存在素数使得定理不成立，取其中最小的素数 \(p_0\)；再对这个素数，取使得乘积最小的反例数对 \((a_1^*,a_2^*)\)，通过带余除法构造更小的反例，与最小性矛盾。
详细证明过程
-
构造最小反例
假设定理不成立，即存在素数 \(p\) 和正整数 \(a_1,a_2\)，满足 \(p \mid a_1a_2\)，但 \(p \nmid a_1\) 且 \(p \nmid a_2\)。
由最小自然数原理，所有满足该条件的素数中，存在最小的素数，记为 \(p_0\)。对这个最小的素数 \(p_0\)，所有满足条件的数对 \((a_1,a_2)\) 构成非空集合，其中必存在乘积 \(a_1a_2\) 最小的数对，记为 \((a_1^*,a_2^*)\)，即：
\[p_0 \mid a_1^* a_2^*,\quad p_0 \nmid a_1^*,\quad p_0 \nmid a_2^* \]且对任意满足条件的数对，都有 \(a_1a_2 \geq a_1^*a_2^*\)。
-
证明 \(1 < a_1^* < p_0\)，\(1 < a_2^* < p_0\)
反证：不妨设 \(a_1^* > p_0\)，由带余除法，存在整数 \(q,r\) 使得：\[a_1^* = q p_0 + r,\quad 0 < r < p_0 \]注：\(r \neq 0\)，因为 \(p_0 \nmid a_1^*\)。
代入整除条件：\(p_0 \mid a_1^*a_2^* = (q p_0 + r)a_2^* = q p_0 a_2^* + r a_2^*\)，因此 \(p_0 \mid r a_2^*\)。
同时 \(p_0 \nmid r\)、\(p_0 \nmid a_2^*\)，因此数对 \((r,a_2^*)\) 也是满足条件的反例。
但 \(r a_2^* < a_1^* a_2^*\)，与 \(a_1^*a_2^*\) 是最小乘积矛盾。因此 \(a_1^* \leq p_0\)，又 \(p_0 \nmid a_1^*\)，故 \(a_1^* < p_0\)；同理 \(a_2^* < p_0\)。
同时 \(a_1^*,a_2^*\) 均大于1（若 \(a_1^*=1\)，则 \(p_0 \mid a_2^*\)，与假设矛盾）。 -
导出最终矛盾
由 \(p_0 \mid a_1^*a_2^*\)，设 \(a_1^*a_2^* = p_0 c\)，其中 \(c\) 是正整数。
由 \(1 < a_1^*,a_2^* < p_0\)，得 \(2 \leq c < p_0\)。由素分解存在性，\(c\) 必有素因子 \(p_1\)，显然 \(p_1 \leq c < p_0\)。
因 \(p_0\) 是“使定理不成立的最小素数”，因此对更小的素数 \(p_1\)，定理一定成立。由 \(p_1 \mid c\)，得 \(p_1 \mid a_1^*a_2^*\)，由定理对 \(p_1\) 成立，故 \(p_1 \mid a_1^*\) 或 \(p_1 \mid a_2^*\)，不妨设 \(p_1 \mid a_1^*\)，即 \(a_1^* = p_1 \cdot a_1'\)。
代入等式 \(a_1^*a_2^* = p_0 c\)，两边约去 \(p_1\)，得：
\[a_1' a_2^* = p_0 \cdot \frac{c}{p_1} \]因此 \(p_0 \mid a_1' a_2^*\)，同时 \(p_0 \nmid a_1'\)、\(p_0 \nmid a_2^*\)，即数对 \((a_1',a_2^*)\) 也是反例。
但 \(a_1' a_2^* = \frac{a_1^* a_2^*}{p_1} < a_1^* a_2^*\)，与 \(a_1^*a_2^*\) 是最小乘积矛盾。
因此最初的假设不成立，定理1得证。
第二个直接证明：最小倍数法
证明思路
若素数 \(p \nmid a_1\)，考虑 \(a_1\) 的正整数倍中，能被 \(p\) 整除的最小数，证明这个最小数只能是 \(p a_1\)，再结合 \(p \mid a_1a_2\) 推出 \(p \mid a_2\)。
详细证明过程
设 \(p\) 是素数，且 \(p \nmid a_1\)，我们分两步证明：
-
证明：\(a_1\) 的正整数倍中，能被 \(p\) 整除的最小正整数是 \(p a_1\)
考虑数列 \(a_1, 2a_1, 3a_1, \dots, k a_1, \dots\)，显然 \(p a_1\) 是该数列中能被 \(p\) 整除的数，因此该数列中能被 \(p\) 整除的数构成非空集合。
由最小自然数原理，该集合中存在最小的正整数，记为 \(n a_1\)，其中 \(n\) 是正整数，显然 \(1 < n \leq p\)。接下来证明 \(n=p\)：
反证：若 \(n < p\)，由带余除法，存在整数 \(q,r\) 使得：\[p = q n + r,\quad 1 \leq r < n \]注：\(r \neq 0\)，因为 \(p\) 是素数，\(1 < n < p\)，故 \(n \nmid p\)。
由 \(p \mid n a_1\)，得 \(p \mid q n a_1\)；同时 \(p \mid p a_1\)，因此：
\[p \mid (p a_1 - q n a_1) = (p - q n) a_1 = r a_1 \]即 \(r a_1\) 也是数列中能被 \(p\) 整除的数，且 \(r < n\)，与 \(n a_1\) 是最小数矛盾。
因此假设不成立，\(n=p\)，即能被 \(p\) 整除的 \(a_1\) 的最小正倍数是 \(p a_1\)。 -
证明 \(p \mid a_2\)
已知 \(p \mid a_1 a_2\)，即 \(a_1 a_2\) 是 \(a_1\) 的倍数，且能被 \(p\) 整除。
由第一步的结论，\(p a_1\) 是能被 \(p\) 整除的 \(a_1\) 的最小正倍数，因此 \(p a_1 \mid a_1 a_2\)。
两边约去 \(a_1\)，得 \(p \mid a_2\)，定理得证。
四、定理9：定理1与定理2的等价性证明
等价性的含义
两个定理逻辑等价，即：
- 若定理1成立，则定理2一定成立（定理1 \(\implies\) 定理2）；
- 若定理2成立，则定理1一定成立（定理2 \(\implies\) 定理1）。
这意味着两个定理是对正整数素数性质的等价刻画，没有强弱之分，仅需证明其中一个，另一个自然成立。
1. 定理1 \(\implies\) 定理2 的证明
该证明就是5.1节中算术基本定理唯一性的证明，核心是用定理1（算术基本引理）证明分解式的唯一性，仅用到：
- 定理1的结论；
- 整除、素数的定义；
- 素分解的存在性（§2定理5）。
简要回顾：
设 \(a\) 有两个素分解式 \(a=p_1\cdots p_s=q_1\cdots q_r\)，由定理1，\(p_1 \mid q_1\cdots q_r\)，故 \(p_1\) 必等于某个 \(q_i\)；同理 \(q_1\) 必等于某个 \(p_j\)，因此最小素因子相等，约去后递推可得所有素因子对应相等，且个数相同，唯一性得证。
2. 定理2 \(\implies\) 定理1 的证明
证明思路
用反证法，假设定理1不成立，即存在素数 \(p_0\) 满足 \(p_0 \mid a_1a_2\) 但 \(p_0 \nmid a_1\) 且 \(p_0 \nmid a_2\)，由此构造出一个有两种不同素分解式的正整数，与定理2（算术基本定理）矛盾。
详细证明过程
只需证明二元情形，多元情形可归纳推出。
反证：假设定理1不成立，即存在素数 \(p_0\) 和正整数 \(a_1,a_2\)，满足：
-
基本性质推导
显然 \(a_1 \geq2\)，\(a_2 \geq2\)（若 \(a_1=1\)，则 \(p_0 \mid a_2\)，与假设矛盾），且 \(\frac{a_1a_2}{p_0} \geq2\)。 -
构造两种不同的素分解式
由素分解的存在性，\(a_1,a_2,\frac{a_1a_2}{p_0}\) 都有素分解式：- \(a_1 = p_{11} p_{12} \cdots p_{1r}\)（\(p_{1i}\) 为素数）；
- \(a_2 = p_{21} p_{22} \cdots p_{2s}\)（\(p_{2j}\) 为素数）；
- \(\frac{a_1a_2}{p_0} = p_1 p_2 \cdots p_t\)（\(p_k\) 为素数）。
由 \(p_0 \nmid a_1\)，得所有 \(p_{1i} \neq p_0\)；由 \(p_0 \nmid a_2\)，得所有 \(p_{2j} \neq p_0\)。
现在我们得到 \(a_1a_2\) 的两种素分解式：
- 第一种：\(a_1a_2 = p_{11} \cdots p_{1r} \cdot p_{21} \cdots p_{2s}\)，该分解式不含素因子 \(p_0\)；
- 第二种：\(a_1a_2 = p_0 \cdot \frac{a_1a_2}{p_0} = p_0 p_1 p_2 \cdots p_t\)，该分解式包含素因子 \(p_0\)。
-
导出矛盾
显然这是两种不同的素分解式，与定理2（算术基本定理的唯一性）矛盾。
因此假设不成立，定理1得证。
五、核心内容总结与对比
1. 两种证明途径的核心区别
| 证明途径 | 核心依赖 | 证明逻辑 | 理论特点 |
|---|---|---|---|
| 第一种途径 | 最大公约数的性质（互素整除结论） | 先证算术基本引理（定理1），再用引理证明算术基本定理（定理2）的唯一性 | 依赖整除的进阶性质，证明简洁，符合常规教学逻辑 |
| 第二种途径 | 最小自然数原理、整除与素数的基本定义 | 直接证明算术基本定理，再直接证明算术基本引理，最后证明二者等价 | 仅依赖数论最基础的公理，更深刻揭示两个定理的内在等价性，逻辑更底层 |
2. 等价性的核心意义
算术基本引理（定理1）和算术基本定理（定理2）是完全等价的，二者是正整数素数结构的一体两面：
- 算术基本引理刻画了素数的“不可约性”；
- 算术基本定理刻画了正整数的“唯一分解性”；
二者共同构成了初等数论的理论基石，几乎所有数论结论都建立在唯一分解的基础之上。
算术基本定理习题 完整解答与证明
以下所有题目均基于算术基本定理（正整数的素因数分解唯一）、除数函数\(\tau(n)\)、除数和函数\(\sigma(n)\)的核心性质展开，每题均给出严谨的推导过程。
第1题
题目：以符号\(a^k \parallel b\)表示\(a^k \mid b\)，\(a^{k+1} \nmid b\)（\(k\geq1\)）。证明：\(g \mid A\) 的充要条件是对任意的 \(p^\alpha \parallel g\)（\(p\)为素数，\(\alpha\geq1\)），有 \(p^\alpha \mid A\)。
证明
必要性
若 \(g \mid A\)，对任意 \(p^\alpha \parallel g\)，由定义有 \(p^\alpha \mid g\)。根据整除的传递性，\(p^\alpha \mid A\)，必要性得证。
充分性
设 \(g\) 的标准素因数分解为 \(g = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_s^{\alpha_s}\)，即对每个 \(j\)，\(p_j^{\alpha_j} \parallel g\)。
由题设，所有 \(p_j^{\alpha_j} \mid A\)，且 \(p_1,p_2,\dots,p_s\) 两两互素。根据互素数的整除性质：若两两互素的数均整除 \(A\)，则它们的乘积也整除 \(A\)，因此 \(g = p_1^{\alpha_1}\cdots p_s^{\alpha_s} \mid A\)，充分性得证。
第2题
题目：设 \(g \mid ab\)，\(g \mid cd\) 及 \(g \mid ac+bd\)。证明：\(g \mid ac\)，\(g \mid bd\)。
证明
采用素因子最高次幂法，结合第1题的结论：只需证明对任意素数 \(p\)，若 \(p^\alpha \parallel g\)，则 \(p^\alpha \mid ac\) 且 \(p^\alpha \mid bd\)。
设 \(p^\alpha \parallel g\)，由题设得：
- \(p^\alpha \mid ab\)，即 \(v_p(a)+v_p(b) \geq \alpha\)（\(v_p(x)\) 表示 \(x\) 中素因子 \(p\) 的指数）；
- \(p^\alpha \mid cd\)，即 \(v_p(c)+v_p(d) \geq \alpha\)；
- \(p^\alpha \mid ac+bd\)，即 \(v_p(ac+bd) \geq \alpha\)。
反证法：假设 \(p^\alpha \nmid ac\)，则 \(v_p(ac) = v_p(a)+v_p(c) < \alpha\)。
若 \(v_p(ac) \neq v_p(bd)\)，则 \(v_p(ac+bd) = \min(v_p(ac),v_p(bd)) < \alpha\)，与 \(v_p(ac+bd) \geq \alpha\) 矛盾，因此必有 \(v_p(ac)=v_p(bd)=t < \alpha\)。
将前两个不等式相加：
左边可整理为 \((v_p(a)+v_p(c)) + (v_p(b)+v_p(d)) = t + t = 2t < 2\alpha\)，与不等式矛盾。
因此假设不成立，\(p^\alpha \mid ac\)，同理可证 \(p^\alpha \mid bd\)。由第1题的结论，\(g \mid ac\)，\(g \mid bd\)，得证。
第3题
(i) 利用§5的定理2及其推论证明§4习题四的8,9,10,11,12,14,15题
核心思路：将最大公约数(gcd)、最小公倍数(lcm)转化为素因子指数的\(\min/\max\)运算，利用算术基本定理的唯一性证明。
| 题号 | 题目核心 | 证明过程 |
|---|---|---|
| 8 | \((a,b)[a,b]=ab\) | 设 \(a=\prod p^\alpha\)，\(b=\prod p^\beta\)，则 \((a,b)=\prod p^{\min(\alpha,\beta)}\)，\([a,b]=\prod p^{\max(\alpha,\beta)}\)。乘积为 \(\prod p^{\min+\max}=\prod p^{\alpha+\beta}=ab\)，得证。 |
| 9 | 若 \((a,b)=1\)，\((a,c)=1\)，则 \((a,bc)=1\) | \((a,b)=1\) 说明 \(a\) 的素因子均不在 \(b\) 中，\((a,c)=1\) 说明 \(a\) 的素因子均不在 \(c\) 中，因此 \(a\) 与 \(bc\) 无公共素因子，gcd为1。 |
| 10 | 若 \(a\mid c\)，\(b\mid c\)，\((a,b)=1\)，则 \(ab\mid c\) | \(a\) 的素因子均在 \(c\) 中，\(b\) 的素因子均在 \(c\) 中，且 \(a,b\) 无公共素因子，因此 \(ab\) 的素因子及指数均不超过 \(c\)，故 \(ab\mid c\)。 |
| 11 | \((a,b)=(a,b+ka)\) | \(a,b\) 的公共素因子，与 \(a,b+ka\) 的公共素因子完全一致（\(p\mid a,p\mid b \iff p\mid a,p\mid b+ka\)），因此gcd相等。 |
| 12 | \((a,b,c)=((a,b),c)\)，\([a,b,c]=[[a,b],c]\) | gcd对应素因子指数取\(\min\)，\(\min(\alpha,\beta,\gamma)=\min(\min(\alpha,\beta),\gamma)\)，满足结合律；lcm对应\(\max\)，同理满足结合律，得证。 |
| 14 | 若 \((a,b)=1\)，则 \((ab,a+b)=1\) | 反证：若素数 \(p\mid ab\) 且 \(p\mid a+b\)，则 \(p\mid a\) 或 \(p\mid b\)。若 \(p\mid a\)，则 \(p\mid (a+b)-a=b\)，与 \((a,b)=1\) 矛盾，故gcd为1。 |
| 15 | 若 \((a,b)=1\)，\(ab=c^k\)，则 \(a=u^k,b=v^k\) | 即§5推论5，由 \((a,b)=1\)，\(a,b\) 无公共素因子，因此 \(ab=c^k\) 中每个素因子的指数均为 \(k\) 的倍数，且全部分属 \(a\) 或 \(b\)，故 \(a,b\) 均为 \(k\) 次方数。 |
(ii) 设 \(a_1,a_2,\dots,a_n\) 是正整数，\(A=a_1a_2\cdots a_n\)，\(A_i=A/a_i\)。证明：
证明
对任意素数 \(p\)，设 \(v_p(a_i)=x_i\)，则 \(v_p(A)=x_1+x_2+\dots+x_n=S\)，且 \(v_p(A_i)=S - x_i\)。
第一个等式
左边的素因子指数为：
由性质 \(\max\{S-x_i\} = S - \min\{x_i\}\)，因此指数和为 \(\min\{x_i\} + S - \min\{x_i\} = S = v_p(A)\)。
对任意素数 \(p\)，左右两边指数相等，由算术基本定理，等式成立。
第二个等式
左边的素因子指数为：
由性质 \(\min\{S-x_i\} = S - \max\{x_i\}\)，因此指数和为 \(\max\{x_i\} + S - \max\{x_i\} = S = v_p(A)\)。
同理，左右两边素因子指数完全一致，等式成立。
第4题
题目：设 \(a,b,n\) 是正整数，且 \(a>b\)。证明：若 \(n \mid (a^n - b^n)\)，则 \(n \mid \frac{a^n - b^n}{a - b}\)。
证明
记 \(S = \frac{a^n - b^n}{a - b} = a^{n-1} + a^{n-2}b + \dots + ab^{n-2} + b^{n-1}\)，只需证明对任意素数 \(p^\alpha \parallel n\)，有 \(p^\alpha \mid S\)，结合第1题的结论即可得证。
已知 \(n \mid a^n - b^n\)，故 \(p^\alpha \mid a^n - b^n\)，即 \(a^n \equiv b^n \pmod{p^\alpha}\)，分两种情况讨论：
情况1：\(p \nmid a - b\)
此时 \(a \not\equiv b \pmod{p}\)，且 \(p \nmid b\)（否则 \(p \mid a^n\)，即 \(p \mid a\)，与 \(p \nmid a-b\) 矛盾）。
令 \(x = a \cdot b^{-1} \pmod{p^\alpha}\)，则 \(x^n \equiv 1 \pmod{p^\alpha}\)，且 \(x \not\equiv 1 \pmod{p}\)，故 \(x-1\) 与 \(p\) 互素。
而 \(S = b^{n-1} \cdot \frac{x^n - 1}{x - 1}\)，因 \(x^n -1 \equiv 0 \pmod{p^\alpha}\)，\(x-1\) 可逆，故 \(\frac{x^n -1}{x-1} \equiv 0 \pmod{p^\alpha}\)，因此 \(p^\alpha \mid S\)。
情况2：\(p \mid a - b\)
此时 \(a \equiv b \pmod{p}\)，故 \(S = \sum_{i=0}^{n-1} a^{n-1-i}b^i \equiv \sum_{i=0}^{n-1} b^{n-1} = n b^{n-1} \pmod{p}\)。
因 \(p \mid n\)，故 \(S \equiv 0 \pmod{p}\)，即 \(v_p(S) \geq 1\)。
由升幂引理（LTE），对奇素数 \(p\)，\(v_p(a^n - b^n) = v_p(a-b) + v_p(n)\)，因此 \(v_p(S) = v_p(a^n - b^n) - v_p(a-b) = v_p(n) = \alpha\)，故 \(p^\alpha \mid S\)。
对 \(p=2\)，可通过带余除法和归纳法同理可证 \(v_2(S) \geq \alpha\)。
综上，对任意 \(p^\alpha \parallel n\)，均有 \(p^\alpha \mid S\)，故 \(n \mid S\)，得证。
第5题
题目：求满足 \(\tau(n)=6\) 的最小正整数 \(n\)。
解答
除数函数公式：若 \(n = p_1^{\alpha_1}p_2^{\alpha_2}\dots p_k^{\alpha_k}\)，则 \(\tau(n) = (\alpha_1+1)(\alpha_2+1)\dots(\alpha_k+1)\)。
将6分解为正整数的乘积（每个因子≥2），有两种形式：
- \(6=6\)：对应 \(k=1\)，\(\alpha_1=5\)，即 \(n=p^5\)，最小素数 \(p=2\)，得 \(n=2^5=32\)。
- \(6=3\times2\)：对应 \(k=2\)，\(\alpha_1=2,\alpha_2=1\)，即 \(n=p_1^2 p_2\)。为使 \(n\) 最小，大指数分配给小素数，取 \(p_1=2,p_2=3\)，得 \(n=2^2\times3=12\)。
比较得最小正整数为 \(\boldsymbol{12}\)。
验证：\(\tau(12)=(2+1)(1+1)=6\)，12的正因数为1,2,3,4,6,12，共6个，符合要求。
第6题
(i) 分别求出最小正整数 \(a\)，使得 \(\sigma(n)=a\) 无解、恰有一个解、恰有两个解及恰有三个解。
解答
\(\sigma(n)\) 是正整数的所有正因数之和，先列出小正整数的 \(\sigma(n)\) 值：
| \(n\) | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 23 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| \(\sigma(n)\) | 1 | 3 | 4 | 7 | 6 | 12 | 8 | 15 | 13 | 18 | 12 | 28 | 14 | 24 | 24 | 31 | 18 | 24 |
-
无解的最小\(a\)：\(\boldsymbol{2}\)
对任意正整数 \(n\)，\(n=1\) 时 \(\sigma(1)=1\)；\(n\geq2\) 时，\(\sigma(n)\geq1+n\geq3\)，因此 \(\sigma(n)=2\) 无任何解。 -
恰有一个解的最小\(a\)：\(\boldsymbol{1}\)
仅当 \(n=1\) 时 \(\sigma(1)=1\)，无其他正整数满足 \(\sigma(n)=1\)，因此恰有一个解。 -
恰有两个解的最小\(a\)：\(\boldsymbol{12}\)
\(\sigma(6)=12\)，\(\sigma(11)=12\)，无其他 \(n\) 满足 \(\sigma(n)=12\)，且比12小的正整数均不满足“恰有两个解”，因此12是最小值。 -
恰有三个解的最小\(a\)：\(\boldsymbol{24}\)
\(\sigma(14)=24\)，\(\sigma(15)=24\)，\(\sigma(23)=24\)，无其他 \(n\) 满足 \(\sigma(n)=24\)，且比24小的正整数均不满足“恰有三个解”，因此24是最小值。
(ii) 存在无穷多个 \(a\)，使得 \(\sigma(n)=a\) 无解。
证明
我们通过构造无穷多无解的 \(a\) 来证明：
对任意正整数 \(k\)，若 \(2^k -1\) 是合数，则 \(\sigma(n)=2^k\) 无解。
反证：若存在 \(n\) 使得 \(\sigma(n)=2^k\)，因 \(\sigma(n)\) 是积性函数，\(2^k\) 是2的幂，故 \(n\) 必为素数幂 \(p^t\)（否则 \(\sigma(n)\) 会有奇素因子）。
此时 \(\sigma(p^t)=1+p+p^2+\dots+p^t=2^k\)，因此 \(p=2\)（否则左边是奇数个奇数相加，为奇数，仅当 \(k=0\) 成立），代入得 \(\sigma(2^t)=2^{t+1}-1=2^k\)，即 \(2^{t+1}-2^k=1\)，仅当 \(k=0\) 或 \(t=0\) 成立，矛盾。
而 \(2^k -1\) 为合数的 \(k\) 有无穷多个（例如所有合数 \(k\)，\(2^k-1\) 必为合数），因此对应的 \(a=2^k\) 有无穷多个，且均满足 \(\sigma(n)=a\) 无解，得证。
第7题
题目：证明：(i) \(\tau(ab)\leq\tau(a)\tau(b)\)；(ii) \(\sigma(ab)\leq\sigma(a)\sigma(b)\)，并且等号都当且仅当 \((a,b)=1\) 时成立（用两种方法证明）。
(i) \(\tau(ab)\leq\tau(a)\tau(b)\)，等号当且仅当 \((a,b)=1\)
方法一：算术基本定理法
设 \(a = \prod p^\alpha \prod q^\beta\)，\(b = \prod p^\gamma \prod r^\delta\)，其中 \(p\) 是 \(a,b\) 的公共素因子，\(q\) 是 \(a\) 独有，\(r\) 是 \(b\) 独有。
则 \(ab = \prod p^{\alpha+\gamma} \prod q^\beta \prod r^\delta\)，因此：
只需证对任意 \(\alpha,\gamma\geq0\)，\(\alpha+\gamma+1 \leq (\alpha+1)(\gamma+1)\)。
展开右边：\((\alpha+1)(\gamma+1)=\alpha\gamma+\alpha+\gamma+1 \geq \alpha+\gamma+1\)，等号当且仅当 \(\alpha\gamma=0\)，即 \(a,b\) 无公共素因子，\((a,b)=1\)。
方法二：因数配对法
\(ab\) 的每个正因数 \(d\) 都可表示为 \(d=d_1d_2\)，其中 \(d_1\mid a\)，\(d_2\mid b\)，但这种表示不唯一（当 \((a,b)>1\) 时，不同的 \((d_1,d_2)\) 可对应同一个 \(d\)），因此 \(\tau(ab) \leq \tau(a)\tau(b)\)。
当 \((a,b)=1\) 时，\(d\mid ab\) 当且仅当 \(d=d_1d_2\)，\(d_1\mid a,d_2\mid b\)，且表示唯一，因此等号成立。
(ii) \(\sigma(ab)\leq\sigma(a)\sigma(b)\)，等号当且仅当 \((a,b)=1\)
方法一：算术基本定理法
同(i)的素分解设定，\(\sigma\) 是积性函数，因此：
只需证对任意素数 \(p\)，\(\alpha,\gamma\geq0\)，有：
两边乘 \((p-1)^2\) 得：
展开右边：\(p^{\alpha+\gamma+2} - p^{\alpha+1} - p^{\gamma+1} + 1\)，左边：\(p^{\alpha+\gamma+2} - p^{\alpha+\gamma+1} - p + 1\)。
作差得右边-左边 \(= p^{\alpha+\gamma+1} + p - p^{\alpha+1} - p^{\gamma+1} = p(p^\alpha -1)(p^\gamma -1) \geq 0\)，等号当且仅当 \(\alpha=0\) 或 \(\gamma=0\)，即 \((a,b)=1\)。
方法二：定义展开法
由 \(\sigma(n)\) 的定义：
\(ab\) 的每个因数 \(d\) 都对应至少一组 \((d_1,d_2)\) 使得 \(d=d_1d_2\)，但不同的 \((d_1,d_2)\) 可对应同一个 \(d\)，因此 \(\sigma(ab) \leq \sigma(a)\sigma(b)\)。
当 \((a,b)=1\) 时，\(d\) 与 \((d_1,d_2)\) 一一对应，等号成立。
第8题
(i) 证明：\(\tau(n)\) 是奇数的充要条件是 \(n\) 为完全平方数。
证明
方法一：算术基本定理法
\(n=\prod p^\alpha\)，\(\tau(n)=\prod (\alpha+1)\)。
\(\tau(n)\) 为奇数 \(\iff\) 每个 \((\alpha+1)\) 为奇数 \(\iff\) 每个 \(\alpha\) 为偶数 \(\iff n=\prod p^{2k}=(\prod p^k)^2\)，即 \(n\) 是完全平方数。
方法二：因数配对法
\(n\) 的正因数成对出现：\(d\) 和 \(n/d\)，每对乘积为 \(n\)。
当且仅当 \(n\) 是完全平方数时，存在 \(d=\sqrt{n}\) 使得 \(d=n/d\)，即有一个单独的因数，因此总因数个数 \(\tau(n)\) 为奇数；否则所有因数成对，\(\tau(n)\) 为偶数。
(ii) 证明：\(\prod_{d\mid n} d = n^{\tau(n)/2}\)（用两种方法证明）
方法一：配对法
\(n\) 的正因数 \(d\) 与 \(n/d\) 一一对应，每对乘积为 \(d\cdot n/d =n\)。
共有 \(\tau(n)\) 个因数，可分为 \(\tau(n)/2\) 对，总乘积为 \(n^{\tau(n)/2}\)。
若 \(n\) 是完全平方数，中间的因数为 \(\sqrt{n}=n^{1/2}\)，总乘积为 \(n^{(\tau(n)-1)/2} \cdot n^{1/2}=n^{\tau(n)/2}\)，同样成立。
方法二：算术基本定理法
设 \(n=\prod p^\alpha\)，\(\tau(n)=T\)，\(n\) 的正因数为 \(d=\prod p^e\)（\(0\leq e\leq\alpha\)），因此：
对每个素数 \(p\)，指数部分为 \(\frac{T}{\alpha+1} \cdot \frac{\alpha(\alpha+1)}{2} = \frac{T\alpha}{2}\)，因此：
得证。
第9题
题目：\(\sigma(n)\) 是奇数的充要条件是 \(n=k^2\) 或 \(2k^2\)。
证明
设 \(n\) 的标准素分解为 \(n=2^\alpha \cdot \prod_{p\text{奇素数}} p^\beta\)，\(\sigma\) 是积性函数，因此：
- \(\sigma(2^\alpha)=2^{\alpha+1}-1\)，恒为奇数；
- 对奇素数 \(p\)，\(\sigma(p^\beta)=1+p+\dots+p^\beta\)，共 \(\beta+1\) 个奇数相加，和为奇数当且仅当 \(\beta+1\) 为奇数，即 \(\beta\) 为偶数。
因此 \(\sigma(n)\) 为奇数 \(\iff\) 所有奇素数的指数 \(\beta\) 为偶数，即 \(n=2^\alpha \cdot m^2\)（\(m\) 为奇数）。
- 若 \(\alpha\) 为偶数，\(\alpha=2k\)，则 \(n=(2^k m)^2=k^2\)，是完全平方数；
- 若 \(\alpha\) 为奇数，\(\alpha=2k+1\)，则 \(n=2\cdot(2^k m)^2=2k^2\)，是2倍完全平方数。
充分性显然：若 \(n=k^2\) 或 \(2k^2\)，则奇素数的指数均为偶数，\(\sigma(n)\) 为奇数。
综上，充要条件得证。
第10题
题目：设 \(t\) 是实数，\(\sigma_t(n)=\sum_{d\mid n} d^t\)。证明：\(\sigma_t(n)=n^t \sigma_{-t}(n)\)，并求 \(\sigma_t(n)\) 的计算公式。
证明与解答
等式证明
由定义，\(\sigma_{-t}(n)=\sum_{d\mid n} d^{-t}\)，因此：
当 \(d\) 取遍 \(n\) 的所有正因数时，\(\frac{n}{d}\) 也取遍 \(n\) 的所有正因数，因此：
等式得证。
\(\sigma_t(n)\) 的计算公式
\(\sigma_t(n)\) 是积性函数：若 \((a,b)=1\)，则 \(d\mid ab\) 当且仅当 \(d=d_1d_2\)，\(d_1\mid a,d_2\mid b\)，因此：
对素数幂 \(p^\alpha\)，\(\sigma_t(p^\alpha)=\sum_{e=0}^\alpha (p^e)^t = \sum_{e=0}^\alpha (p^t)^e\)，由等比数列求和公式：
- 当 \(t\neq0\) 时，\(\sigma_t(p^\alpha)=\frac{p^{t(\alpha+1)}-1}{p^t - 1}\)；
- 当 \(t=0\) 时，\(\sigma_0(n)=\sum_{d\mid n}1=\tau(n)\)，符合 \(t\to0\) 时的极限。
因此对 \(n=\prod p^\alpha\)，有：
第11题
题目：证明：任一正整数 \(n\) 必可唯一地表示为 \(ab^2\)，其中 \(a,b\) 为正整数，且 \(a\) 是无平方因子数（不能被大于1的平方数整除）。
证明
存在性
设 \(n\) 的标准素分解为 \(n=\prod p^\alpha\)，将每个指数 \(\alpha\) 拆分为 \(\alpha=2k + r\)，其中 \(r\in\{0,1\}\)。
令 \(a=\prod p^r\)，\(b=\prod p^k\)，则：
\(a\) 的素因子指数均为0或1，因此是无平方因子数，存在性得证。
唯一性
假设 \(n\) 有两种表示：\(n=a_1b_1^2=a_2b_2^2\)，其中 \(a_1,a_2\) 是无平方因子数。
则 \(\frac{a_1}{a_2}=\left(\frac{b_2}{b_1}\right)^2\)，即 \(a_1a_2\) 是完全平方数。
因 \(a_1,a_2\) 无平方因子，故 \(a_1a_2\) 的素因子指数均为0或2，即 \(a_1\) 与 \(a_2\) 的素因子完全一致，因此 \(a_1=a_2\)，进而 \(b_1^2=b_2^2\)，即 \(b_1=b_2\)，唯一性得证。
第12题
题目：一个正整数 \(m\) 称为完全数，如果 \(\sigma(m)=2m\)。试求出最小的两个完全数。
解答
完全数的定义是所有正因数的和等于自身的2倍，即真因数的和等于自身。
- 第一个完全数：6
\(\sigma(6)=1+2+3+6=12=2\times6\)，符合定义。 - 第二个完全数：28
\(\sigma(28)=1+2+4+7+14+28=56=2\times28\)，符合定义。
注：偶完全数的通用形式为 \(2^{p-1}(2^p-1)\)，其中 \(2^p-1\) 是梅森素数，\(p=2\) 对应6，\(p=3\) 对应28。
第13题
题目：证明：正整数 \(m\) 是完全数的充要条件是 \(\sum_{d\mid m} \frac{1}{d}=2\)。
证明
由第3题例3的结论，\(\sum_{d\mid m} \frac{1}{d} = \frac{\sigma(m)}{m}\)。
因此：
得证。
第14题
题目：证明：整数 \(n\) 是素数的充要条件是 \(\sigma(n)=n+1\)。
证明
必要性
若 \(n\) 是素数，则 \(n\) 的正因数只有1和 \(n\)，因此 \(\sigma(n)=1+n=n+1\)，必要性得证。
充分性
若 \(\sigma(n)=n+1\)，则 \(n\) 的正因数的和为 \(n+1\)。而 \(n\) 的正因数至少包含1和 \(n\)，和为 \(n+1\)，因此 \(n\) 没有其他正因数，故 \(n\) 是素数，充分性得证。
第15题
题目：证明：若 \(2^k -1\) 是素数，则 \(2^{k-1}(2^k -1)\) 是完全数。
证明
设 \(p=2^k -1\) 是素数，令 \(m=2^{k-1}p\)。
因 \(2^{k-1}\) 与 \(p\) 互素（\(p\) 是奇素数），故 \(\sigma(m)=\sigma(2^{k-1})\sigma(p)\)。
- \(\sigma(2^{k-1})=1+2+4+\dots+2^{k-1}=2^k -1 = p\)；
- \(\sigma(p)=1+p=1+2^k -1=2^k\)。
因此 \(\sigma(m)=p\cdot 2^k = 2^k p = 2\cdot 2^{k-1}p = 2m\)，故 \(m\) 是完全数，得证。
第16题
题目：证明：若 \(\sigma(n)=n+k<2n\)，且 \(k\mid n\)，则 \(n\) 是素数。
证明
已知 \(k\mid n\)，且 \(\sigma(n)=n+k<2n\)，故 \(k<n\)。
\(\sigma(n)-n =k\)，即 \(n\) 的所有真因数的和为 \(k\)。
因 \(k\mid n\)，故 \(k\) 是 \(n\) 的真因数，且1也是 \(n\) 的真因数，因此真因数的和 \(\geq 1 +k\)。
若 \(k>1\)，则真因数的和 \(\geq1+k>k\)，与“真因数的和为 \(k\)”矛盾，故 \(k=1\)。
因此 \(n\) 的真因数的和为1，即 \(n\) 的真因数只有1，故 \(n\) 是素数，得证。
第17题
题目：证明：若 \(2\mid m\)，\(m\) 是完全数，则 \(m=2^{k-1}(2^k -1)\)，\(2^k -1\) 是素数。
证明（欧几里得-欧拉定理）
设 \(m\) 是偶完全数，故 \(m=2^{k-1}\cdot t\)，其中 \(t\) 是奇数，\(k\geq2\)。
因 \(\sigma\) 是积性函数，故 \(\sigma(m)=\sigma(2^{k-1})\sigma(t)=(2^k -1)\sigma(t)\)。
又 \(m\) 是完全数，\(\sigma(m)=2m=2^k t\)，因此：
因 \(2^k -1\) 与 \(2^k\) 互素，故 \(2^k -1 \mid t\)，设 \(t=(2^k -1)s\)，代入得：
若 \(s>1\)，则 \(1,s,2^k -1,(2^k -1)s\) 都是 \(t\) 的正因数，故：
矛盾，故 \(s=1\)。
因此 \(t=2^k -1\)，\(\sigma(t)=2^k = t+1\)，由第14题的结论，\(t=2^k -1\) 是素数。
故 \(m=2^{k-1}(2^k -1)\)，其中 \(2^k -1\) 是素数，得证。
第18题
题目：证明：若奇数 \(m\) 是完全数，则必有 \(m=p^{\mu+1} m_1^2\)，其中 \(p\) 为 \(4k+1\) 形式的素数，\(p\nmid m_1\)。
证明
设 \(m\) 是奇完全数，故 \(\sigma(m)=2m\)，\(m\) 是奇数，其素分解均为奇素数：\(m=\prod q^\alpha\)。
\(\sigma(m)=\prod \sigma(q^\alpha)=2m\)，即 \(\sigma(m)\) 中2的指数为1，因此恰好有一个 \(\sigma(q^\alpha)\) 是偶数（且为2 mod4），其余 \(\sigma(q^\alpha)\) 均为奇数。
- \(\sigma(q^\alpha)\) 为奇数当且仅当 \(\alpha\) 为偶数，因此除一个素因子 \(p\) 外，其余素因子的指数均为偶数，即 \(m=p^e \cdot m_1^2\)，\(p\nmid m_1\)，\(e\geq0\)。
- 对素数 \(p\)，\(\sigma(p^e)=1+p+\dots+p^e\) 是2 mod4的偶数：
- 若 \(p\equiv3\pmod4\)，则 \(\sigma(p^e)\) 要么是奇数（\(e\) 偶），要么是0 mod4（\(e\) 奇），不符合要求；
- 因此 \(p\equiv1\pmod4\)，即 \(p=4k+1\) 形式的素数，此时 \(\sigma(p^e)\equiv e+1\pmod4\)，要求 \(e+1\equiv2\pmod4\)，即 \(e\) 为奇数，可表示为 \(e=\mu+1\)。
综上，\(m=p^{\mu+1} m_1^2\)，其中 \(p\) 是 \(4k+1\) 形式的素数，\(p\nmid m_1\)，得证。
第19题
题目：设 \(\omega(n)\) 表示 \(n\) 的不同素因数个数，\(d\) 是无平方因子数。证明：满足 \([d_1,d_2]=d\) 的正整数组 \(d_1,d_2\) 共有 \(3^{\omega(d)}\) 组。
证明
因 \(d\) 是无平方因子数，故 \(d=p_1p_2\cdots p_k\)，其中 \(k=\omega(d)\)，\(p_1,\dots,p_k\) 是不同素数。
\([d_1,d_2]=d\)，故 \(d_1,d_2\) 的素因子只能是 \(p_1,\dots,p_k\)，且对每个素数 \(p_i\)，有 \(\max(v_{p_i}(d_1),v_{p_i}(d_2))=1\)（因 \(d\) 无平方因子，\(p_i\) 的指数为1）。
对每个 \(p_i\)，\(v_{p_i}(d_1),v_{p_i}(d_2)\) 的可能取值为0或1，且满足最大值为1，共有3种组合：\((0,1),(1,0),(1,1)\)。
不同素数的选择相互独立，共有 \(k=\omega(d)\) 个素数，因此总组数为 \(3^k=3^{\omega(d)}\)，得证。
第20题
题目：设 \(g,l\) 是正整数，\(g\mid l\)。证明：满足 \((x,y)=g\)，\([x,y]=l\) 的正整数组 \(x,y\) 共有 \(2^k\) 组，这里 \(k=\omega(l/g)\)。
证明
令 \(x=gx'\)，\(y=gy'\)，则：
- \((x,y)=g(x',y')=g \implies (x',y')=1\)；
- \([x,y]=g[x',y']=l \implies [x',y']=l/g\)。
因 \((x',y')=1\)，故 \([x',y']=x'y'=l/g\)，即 \(x'y'=l/g\) 且 \((x',y')=1\)。
设 \(l/g\) 的标准素分解为 \(l/g=\prod p^\alpha\)，因 \((x',y')=1\)，故每个素因子 \(p\) 只能全部属于 \(x'\) 或全部属于 \(y'\)，共2种选择。
共有 \(k=\omega(l/g)\) 个不同素因子，因此总选择数为 \(2^k\)，即正整数组 \(x,y\) 共有 \(2^k\) 组，得证。
第21题
题目：设 \(n\) 是奇数，\(n\) 表示为两个整数平方之差的表示法有多少种？
解答
设 \(n=a^2 -b^2=(a-b)(a+b)\)，\(n\) 是奇数，故 \(a-b,a+b\) 均为奇数，且同奇偶，满足条件。
令 \(d_1=a-b\)，\(d_2=a+b\)，则 \(d_1d_2=n\)，\(d_1\leq d_2\)，且 \(a=\frac{d_1+d_2}{2}\)，\(b=\frac{d_2-d_1}{2}\) 均为整数（\(d_1+d_2,d_2-d_1\) 均为偶数）。
1. 不计符号与顺序的正表示法（\(a>b\geq0\)）
表示法的数量等于 \(n\) 的正因数对 \((d_1,d_2)\) 的数量：
- 若 \(n\) 不是完全平方数，\(\tau(n)\) 为偶数，共有 \(\tau(n)/2\) 组；
- 若 \(n\) 是完全平方数，\(\tau(n)\) 为奇数，共有 \((\tau(n)+1)/2\) 组（包含 \(b=0\) 的情况）。
统一表示为 \(\boldsymbol{\left\lceil \frac{\tau(n)}{2} \right\rceil}\)（向上取整）。
2. 包含正负整数的表示法
每组正表示法 \((a,b)\) 对应4种整数组合 \((\pm a,\pm b)\)；若 \(b=0\)，对应2种组合 \((\pm a,0)\)，总数量为 \(2\tau(n)\)。
第22题
题目：证明：\(\log_2 10\)，\(\log_3 7\)，\(\log_{15}21\) 都是无理数。
证明
用反证法，假设对数为有理数，则存在互素正整数 \(p,q\)，使得 \(\log_b a = \frac{p}{q}\)，即 \(a^q = b^p\)，结合算术基本定理的唯一性导出矛盾。
-
证明 \(\log_2 10\) 是无理数
假设 \(\log_2 10 = \frac{p}{q}\)，则 \(10^q=2^p\)，即 \(2^q 5^q=2^p\)。
左边有素因子5，右边无素因子5，与算术基本定理矛盾，故 \(\log_2 10\) 是无理数。 -
证明 \(\log_3 7\) 是无理数
假设 \(\log_3 7 = \frac{p}{q}\)，则 \(7^q=3^p\)。
左边素因子为7，右边为3，矛盾，故 \(\log_3 7\) 是无理数。 -
证明 \(\log_{15}21\) 是无理数
假设 \(\log_{15}21 = \frac{p}{q}\)，则 \(21^q=15^p\)，即 \(3^q 7^q=3^p 5^p\)。
左边有素因子7，右边无；右边有素因子5，左边无，矛盾，故 \(\log_{15}21\) 是无理数。
整除理论小结 核心解读 + 习题六完整解答
一、整除理论小结 核心解读
本节是对初等数论整除理论的体系性总结，核心厘清了整除理论的逻辑结构、核心定理的地位，以及背后的数学思想，关键要点如下：
1. 整除理论的二元结构：加性性质与积性性质
整除理论的所有结论可分为两类，二者的逻辑关系是整个理论的核心：
| 类别 | 核心特征 | 包含内容 | 逻辑关系 |
|---|---|---|---|
| 加性性质 | 涉及整数的加法运算 | 仅§4的定理8（核心是带余除法、贝祖定理、最大公约数的加性不变性 \((a,b)=(a,b+ka)\)） | 是整除理论的逻辑基础：可推出全部积性性质，进而推出算术基本定理 |
| 积性性质 | 仅涉及乘法、除法运算 | 最大公约数的积性结论、算术基本引理、算术基本定理、除数函数相关结论 | 是整除理论的核心应用工具，但无法反向推出加性性质，逻辑上弱于加性性质 |
2. 算术基本定理的核心地位
算术基本定理是初等数论的基石，具有双向的理论构建能力：
- 自下而上的构建：无需依赖最大公约数理论，仅用整数基本性质、最小自然数原理、带余除法，即可直接证明算术基本定理与算术基本引理（即5.2节的第二种证明途径）。
- 自上而下的构建：以算术基本定理为起点，通过“素因子指数取min定义最大公约数、取max定义最小公倍数”，可反向建立完整的最大公约数积性理论，论证更直观简洁。
- 理论局限：算术基本定理仅保证了素分解的存在性与唯一性，但大数的素因数分解至今没有理论上的有效算法，这也是现代密码学（如RSA）的数学基础。
3. 理论的数学思想与拓展价值
本节的核心不是重复结论，而是强调“不同途径建立理论”的数学思想：
- 不同的证明路径不是技巧的重复，而是数学体系结构、思想方法的体现，这种公理化、体系化的思维是现代数学的核心。
- 理论的拓展性：整数集\(\mathbb{Z}\)的整除理论不是普适的，例如在集合\(\mathbb{Z}[\sqrt{-5}]\)中，算术基本定理、最大公约数的核心结论均不成立；而在有理系数多项式环\(\mathbb{Q}[x]\)、整系数多项式环\(\mathbb{Z}[x]\)、Gauss整数环\(\mathbb{Z}[\sqrt{-1}]\)中，可建立与\(\mathbb{Z}\)本质相同的整除理论，这些内容是代数数论的起源，属于“整环算术”的研究范畴。
- Gauss在《算术探索》中特别强调了算术基本定理证明的必要性，反驳了“结论不证自明、只需掌握应用技巧”的错误认知：证明的核心价值是理解方法的本质，为解决更复杂的问题提供思想工具。
二、习题六 第1题 完整解答
题目核心
证明整数集\(\mathbb{Z}\)中，两个非零整数\(u_0,u_1\)的最大公约数的五种定义等价，并分析各定义的合理性、特点与理论构建路径。
（一）五种定义的等价性证明
我们通过闭环循环证明的方式，完成等价性推导：\((i)\implies(ii)\implies(iii)\implies(iv)\implies(v)\implies(i)\)。
前置约定
默认\(u_0,u_1\)不全为0，且最大公约数为正整数（整除理论中默认gcd取正值）。
1. \((i)\implies(ii)\)：最大数值公约数 ⇒ 公约数的倍数
证明：
设\(D\)是\(u_0,u_1\)的最大公约数（定义(i)），显然\(D>0\)，且\(D\)是\(u_0,u_1\)的公约数。
对\(u_0,u_1\)的任意公约数\(d\)，有\(d\mid u_0\)，\(d\mid u_1\)，故\(d\)整除\(u_0,u_1\)的任意线性组合，特别地，\(d\mid D\)（若\(d>D\)，与\(D\)是最大公约数矛盾，故\(d\leq D\)，且\(d\mid D\)）。
因此\(D\)满足定义(ii)的全部条件，得证。
2. \((ii)\implies(iii)\)：公约数的倍数 ⇒ 贝祖最小正整数
证明：
设\(D\)满足定义(ii)，令\(S = \{u_0x + u_1y \mid x,y\in\mathbb{Z},\ u_0x+u_1y>0\}\)，显然\(S\)是非空正整数集合（例如\(u_0^2+u_1^2\in S\)）。
由最小自然数原理，\(S\)中存在最小正整数，记为\(m\)。
第一步：证明\(m\)是\(u_0,u_1\)的公约数。
由带余除法，\(u_0 = qm + r\)，\(0\leq r<m\)。
则\(r = u_0 - qm = u_0 - q(u_0x+u_1y) = u_0(1-qx) + u_1(-qy)\)，若\(r>0\)，则\(r\in S\)，与\(m\)是\(S\)的最小元矛盾，故\(r=0\)，即\(m\mid u_0\)。
同理可证\(m\mid u_1\)，因此\(m\)是\(u_0,u_1\)的公约数。
第二步：证明\(m=D\)。
由定义(ii)，所有公约数都整除\(D\)，故\(m\mid D\)，即\(D=km\)，\(k\geq1\)。
同时\(D\)是公约数，故\(D\mid u_0\)，\(D\mid u_1\)，因此\(D\mid m\)（\(m\)是\(u_0,u_1\)的线性组合），即\(m\mid D\)且\(D\mid m\)，故\(m=D\)。
因此\(D\)是形如\(u_0x+u_1y\)的最小正整数，满足定义(iii)，得证。
3. \((iii)\implies(iv)\)：贝祖最小正整数 ⇒ 辗转相除法的最终非零余数
证明：
设\(m\)是形如\(u_0x+u_1y\)的最小正整数（定义(iii)），对\(u_0,u_1\)做辗转相除法（欧几里得算法）：
最终非零余数为\(u_{k+1}\)（定义(iv)）。
第一步：证明\(u_{k+1}\)是\(u_0,u_1\)的公约数。
由辗转相除的最后一步，\(u_{k+1}\mid u_k\)，反向递推可得\(u_{k+1}\mid u_{k-1},\dots,u_{k+1}\mid u_1,u_{k+1}\mid u_0\)，故\(u_{k+1}\)是公约数。
第二步：证明\(u_{k+1}=m\)。
由辗转相除法的每一步，\(u_{k+1}\)都可表示为前两项的线性组合，反向递推可得\(u_{k+1}\)可表示为\(u_0x+u_1y\)的形式，因此\(u_{k+1}\in S\)。
而\(m\)是\(S\)的最小元，故\(m\mid u_{k+1}\)；同时\(m\)是公约数，故\(m\mid u_{k+1}\)，因此\(u_{k+1}=m\)，满足定义(iv)，得证。
4. \((iv)\implies(v)\)：辗转相除法结果 ⇒ 素分解指数取min
证明：
设\(u_{k+1}\)是辗转相除法的最终非零余数（定义(iv)），即\(D=(u_0,u_1)\)。
设\(u_0,u_1\)的标准素分解为：
令\(D' = p_1^{\delta_1}p_2^{\delta_2}\cdots p_s^{\delta_s}\)，其中\(\delta_j=\min(\alpha_j,\beta_j)\)（定义(v)）。
第一步：证明\(D'\mid D\)。
\(D'\)的素因子指数均不超过\(u_0,u_1\)的对应指数，故\(D'\mid u_0\)，\(D'\mid u_1\)，即\(D'\)是公约数。而\(D\)是最大公约数，故\(D'\mid D\)。
第二步：证明\(D\mid D'\)。
对任意素因子\(p_j\)，设\(p_j^{\gamma_j}\parallel D\)（即\(p_j^{\gamma_j}\mid D\)，\(p_j^{\gamma_j+1}\nmid D\)），因\(D\mid u_0\)，\(D\mid u_1\)，故\(\gamma_j\leq\alpha_j\)，\(\gamma_j\leq\beta_j\)，即\(\gamma_j\leq\min(\alpha_j,\beta_j)=\delta_j\)，因此\(D\mid D'\)。
综上\(D=D'\)，满足定义(v)，得证。
5. \((v)\implies(i)\)：素分解指数取min ⇒ 最大数值公约数
证明：
设\(D = p_1^{\min(\alpha_1,\beta_1)}\cdots p_s^{\min(\alpha_s,\beta_s)}\)（定义(v)），显然\(D\)是\(u_0,u_1\)的公约数。
对\(u_0,u_1\)的任意公约数\(d\)，其素因子只能是\(p_1,\dots,p_s\)，且对应指数\(e_j\leq\min(\alpha_j,\beta_j)\)，故\(d\mid D\)，因此\(d\leq D\)，即\(D\)是公约数中最大的，满足定义(i)，得证。
至此，五种定义形成闭环，完全等价。
（二）各定义的合理性、特点与理论构建路径
| 定义编号 | 核心描述 | 合理性 | 核心特点 | 理论构建路径 |
|---|---|---|---|---|
| (i) 最大数值公约数 | 公约数中数值最大的正整数 | 符合对“最大”的直观认知，是最朴素的定义 | 1. 直观易懂，是入门级定义； 2. 仅依赖“公约数”的基本概念，无额外前置知识； 3. 仅给出了数值特征，未揭示gcd的本质性质 |
以“大小比较”为核心，先定义公约数，再通过自然数的良序性保证“最大元存在”，进而推导gcd的基本性质（如\((a,b)=(b,a)\)、\((a,0)=|a|\)），再通过带余除法推导加性性质，最终建立完整理论。 局限：难以直接推导贝祖定理、积性性质等核心结论。 |
| (ii) 公约数的倍数 | 所有公约数都整除它的正公约数 | 刻画了gcd的“泛性质”：是公约数集合的“最大元”（整除意义下） | 1. 是抽象代数中“最大公因子”的通用定义，可推广到任意交换环； 2. 不依赖数值大小，仅依赖整除关系，更具代数本质； 3. 直接保证了gcd的整除传递性 |
以“整除偏序”为核心，先定义整除关系，再证明gcd的存在性与唯一性，可直接推导gcd的积性性质，是从代数结构出发的定义方式。 优势：可无缝拓展到多项式环、Gauss整数环等其他代数结构。 |
| (iii) 贝祖最小正整数 | 形如\(u_0x+u_1y\)的最小正整数 | 揭示了gcd与整数线性组合的本质联系，是加性性质的核心 | 1. 直接给出了贝祖定理的核心结论，是加性性质的浓缩； 2. 仅依赖最小自然数原理，逻辑基础最底层； 3. 同时刻画了gcd的存在性与构造性 |
以“线性组合+最小自然数原理”为起点，先证明最小正整数是公约数，再推导gcd的全部性质（加性、积性），无需依赖带余除法，是最具理论深度的定义方式。 核心价值：是连接整除理论与线性丢番图方程的桥梁。 |
| (iv) 辗转相除法结果 | 欧几里得算法的最终非零余数 | 给出了gcd的可计算、可操作的构造方法，是唯一的算法化定义 | 1. 是唯一能高效计算gcd的定义，是计算机算法的核心； 2. 依赖带余除法，每一步都保持gcd不变，逻辑严谨可追溯； 3. 可反向构造贝祖系数（扩展欧几里得算法） |
以“带余除法”为核心，通过辗转相除将大数化小，最终得到gcd，再反向推导贝祖定理、加性性质，是最实用的定义方式。 历史意义：是人类最早的算法之一，也是数论中最经典的构造性证明。 |
| (v) 素分解指数取min | 素因子指数取最小值的乘积 | 基于算术基本定理，将gcd转化为素因子的指数运算，是积性性质的核心 | 1. 将复杂的整除问题转化为简单的指数比较，计算直观； 2. 直接揭示了gcd与lcm的对偶关系（min与max的对偶）； 3. 是处理积性数论问题的核心工具 |
以“算术基本定理”为起点，先证明素分解的存在唯一性，再通过指数运算定义gcd与lcm，可直接推导gcd的全部积性性质，是最简洁的定义方式。 局限：依赖大数素分解，实际计算效率低于辗转相除法。 |
posted on 2026-03-14 09:10 Indian_Mysore 阅读(0) 评论(0) 收藏 举报
浙公网安备 33010602011771号