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

4.最大公约数理论

最大公约数理论核心知识点详解

作为初等数论整除理论的核心内容，最大公约数（gcd）与最小公倍数（lcm）的8个核心定理，完整刻画了二者的本质属性与运算规则，所有定理的证明均以带余除法为核心基石，第一种证明途径形成了完整的逻辑推导链。

首先明确基础符号约定：

$(a_1,a_2,\dots,a_k)$：不全为零的整数$a_1,a_2,\dots,a_k$的最大公约数（gcd）
$[a_1,a_2,\dots,a_k]$：整数$a_1,a_2,\dots,a_k$的最小公倍数（lcm）
$a|b$：整数$a$整除整数$b$，即存在整数$q$使得$b=aq$
$(m,a)=1$：整数$m$与$a$互素（互质），即二者最大公约数为1
$\mathbb{Z}$：整数集

一、核心定理逐一定理详解

定理1 最小公倍数的本质性质

定理内容：$a_j | c\ (1\leq j\leq k)$ 的充要条件是 $[a_1,a_2,\dots,a_k] | c$。
通俗表述：所有$a_j$的公倍数，一定是它们最小公倍数的倍数。

核心内涵解读
打破了“最小公倍数是公倍数中数值最小的正数”的浅层认知，揭示了lcm的本质：它是整除意义下的“最小元”——所有公倍数都能被它整除，是公倍数集合的“公约数”。这是最小公倍数的核心定义级属性。

证明过程详解

充分性（右推左）：设$L=[a_1,\dots,a_k]$，由lcm定义，$a_j|L$对所有$j$成立。若$L|c$，根据整除的传递性，必然有$a_j|c$，充分性得证。
必要性（左推右，核心）：由带余除法定理，对整数$c$和正整数$L$，存在唯一整数$q,r$使得 $c=qL+r,\ 0\leq r<L$。
已知$a_j|c$且$a_j|L$，故$a_j|r=c-qL$，即$r$是$a_1,\dots,a_k$的公倍数。
结合$0\leq r<L$与$L$是最小正公倍数的定义，仅当$r=0$时无矛盾，因此$c=qL$，即$L|c$，必要性得证。

应用场景：判断一个数能否同时被多个数整除，只需判断它能否被这些数的lcm整除；是中国剩余定理、同余方程组求解的核心基础。

定理2 最大公约数的本质性质

定理内容：设$D$是正整数，$D=(a_1,a_2,\dots,a_k)$ 的充要条件是：
(i) $D | a_j\ (1\leq j\leq k)$（$D$是所有$a_j$的公约数）；
(ii) 若$d | a_j\ (1\leq j\leq k)$，则$d | D$（所有公约数都整除$D$）。
通俗表述：所有$a_j$的公约数，一定是它们最大公约数的约数。

核心内涵解读
与定理1形成对偶，揭示了gcd的本质：它不是“公约数中数值最大的正数”，而是整除意义下的“最大元”——所有公约数都是它的约数，是公约数集合的“公倍数”。这是最大公约数的核心判定属性。

证明过程详解

充分性（由(i)(ii)推$D=(a_1,\dots,a_k)$）：条件(i)说明$D$是公约数；条件(ii)说明所有公约数$d$都满足$|d|\leq D$，因此$D$是绝对值最大的公约数，符合gcd的定义，充分性得证。
必要性（由$D=(a_1,\dots,a_k)$推(i)(ii)）：条件(i)是gcd定义的直接结论。
对条件(ii)，设$d_1,\dots,d_s$是$a_1,\dots,a_k$的全体公约数，令$L=[d_1,\dots,d_s]$。由定理1，$L|a_j$对所有$j$成立，即$L$是公约数，且所有$d_i|L$。结合充分性结论，满足(i)(ii)的$L$就是gcd，即$L=D$，因此所有公约数都整除$D$，必要性得证。

应用场景：最大公约数的核心判定工具，无需枚举所有公约数，只需证明目标数满足“是公约数+所有公约数都整除它”即可；是后续所有gcd性质证明的核心依据。

定理3 最大公约数的数乘性质

定理内容：设$m>0$，有 $m(b_1,b_2,\dots,b_k) = (mb_1,mb_2,\dots,mb_k)$。
通俗表述：若干个数同乘正整数$m$后，它们的gcd等于原gcd乘以$m$。

核心内涵解读
是小学“提取公因数”计算方法的严格理论依据，保证了提取公因子后gcd计算的合法性，是简化gcd计算的核心工具。

证明过程详解
令$D=(b_1,\dots,b_k)$，需证$mD=(mb_1,\dots,mb_k)$，根据定理2的判定规则：

条件(i)：因$D|b_j$，故$mb_j=mD\cdot t_j$（$t_j$为整数），即$mD|mb_j$，满足公约数要求。
条件(ii)：若$d|mb_j$对所有$j$成立，由公约数整除gcd的性质，$m|(mb_1,\dots,mb_k)$，结合$D$是$b_j$的gcd，可推得$d|mD$。
因此$mD$满足定理2的两个条件，即$mD=(mb_1,\dots,mb_k)$，定理得证。

应用场景：提取公因数简化gcd计算，例如$(12,18)=2\cdot(6,9)=2\cdot3\cdot(2,3)=6$。

定理4 最大公约数的结合律与分组性质

定理内容：
(i) $(a_1,a_2,a_3,\dots,a_k) = ((a_1,a_2),a_3,\dots,a_k)$；
(ii) $(a_1,\dots,a_{k+r}) = ((a_1,\dots,a_k),(a_{k+1},\dots,a_{k+r}))$。
通俗表述：多个数的gcd，可先求前两个的gcd再与后续数依次计算；也可任意分组，先求每组的gcd，再求结果的gcd，最终值不变。

核心内涵解读
解决了“多个数的gcd如何计算”的核心问题，将多变量gcd完全转化为熟悉的两变量gcd计算，是辗转相除法推广到多个数的理论基础。

证明过程详解

证明(i)：根据定理2，两个gcd相等的充要条件是它们的公约数集合完全相同。
- 若$d$是$a_1,\dots,a_k$的公约数，则$d|a_1,d|a_2$，故$d|(a_1,a_2)$，同时$d|a_3,\dots,d|a_k$，即$d$是$((a_1,a_2),a_3,\dots,a_k)$的公约数。
- 反之，若$d$是$((a_1,a_2),a_3,\dots,a_k)$的公约数，则$d|(a_1,a_2)$，故$d|a_1,d|a_2$，同时$d|a_3,\dots,d|a_k$，即$d$是$a_1,\dots,a_k$的公约数。
  二者公约数集合完全一致，故gcd相等，(i)得证。
证明(ii)：反复应用(i)的结合律，即可将多组数的gcd拆分为两组gcd的再计算，(ii)得证。

应用场景：多变量gcd的快速计算，例如$(6,10,-15)=((6,10),15)=(2,15)=1$。

定理5 最大公约数的互素消去性质

定理内容：设$(m,a)=1$，则有 $(m,ab)=(m,b)$。
通俗表述：求$m$与一个数的gcd时，可直接去掉该数中与$m$互素的因数，结果不变。

核心内涵解读
核心逻辑是“互素的因数不影响gcd的计算”，是简化复杂gcd计算的核心工具，将大数字的gcd转化为更小数字的计算。

证明过程详解
结合定理3、定理4与gcd的基本性质分步推导：

代入已知条件$(m,a)=1$，得$(m,b)=(m,b\cdot(m,a))$；
由定理3的数乘性质，$b(m,a)=(mb,ab)$，因此式子变为$(m,(mb,ab))$；
由定理4的结合律，$(m,(mb,ab))=(m,mb,ab)$；
由gcd的基本性质，$(m,mb)=m$，因此$(m,mb,ab)=((m,mb),ab)=(m,ab)$。
综上，$(m,b)=(m,ab)$，定理得证。

应用场景：快速简化gcd计算，例如$m$为奇数时，$(m,2^k\cdot b)=(m,b)$，可直接去掉2的幂次因子。

定理6 整除的互素消去性质

定理内容：设$(m,a)=1$，若$m|ab$，则$m|b$。
通俗表述：若$m$整除$ab$，且$m$与$a$互素，则$m$一定整除$b$。

核心内涵解读
初等数论最核心的整除性质之一，揭示了“互素的数不会分担整除性”：若$m$与$a$无公共因子，那么$m$的所有因子都必须包含在$b$中。注意：互素是该定理成立的必要条件，若$(m,a)\neq1$，结论不成立。

证明过程详解

由$m|ab$，可得$(m,ab)=|m|$（一个数与它的倍数的gcd等于自身的绝对值）；
由定理5，$(m,a)=1$时$(m,ab)=(m,b)$；
因此$(m,b)=|m|$，即$|m||b$，等价于$m|b$，定理得证。

核心推广与应用

常用推论：若$(m_1,m_2)=1$，$m_1|n$且$m_2|n$，则$m_1m_2|n$；
一般推广：若$m_1,\dots,m_k$两两互素，且每个$m_j|n$，则$m_1m_2\cdots m_k|n$（中国剩余定理的核心基础）；
素数性质：若素数$p|ab$，则$p|a$或$p|b$（算术基本定理的核心依据）。

定理7 最大公约数与最小公倍数的乘积关系

定理内容：$[a_1,a_2]\cdot(a_1,a_2) = |a_1a_2|$。
通俗表述：两个数的最小公倍数乘以它们的最大公约数，等于两数乘积的绝对值。

核心内涵解读
建立了gcd与lcm的直接联系，将lcm的计算完全转化为gcd的计算（辗转相除法），是计算两个数lcm的核心公式。注意：该定理仅对两个数成立，三个及以上数无此性质。

证明过程详解

先证互素情形：若$(a_1,a_2)=1$，则$[a_1,a_2]=|a_1a_2|$。
设$L=[a_1,a_2]$，由定理1，$L|a_1a_2$，故$|a_1a_2|\geq L$；
又$a_1|L$，即$L=a_1L'$，结合$a_2|L$与$(a_1,a_2)=1$，由定理6得$a_2|L'$，故$L=a_1a_2L''$，即$|a_1a_2||L$，故$L\geq|a_1a_2|$。
因此$L=|a_1a_2|$，互素情形得证。
推广到一般情形：设$(a_1,a_2)=d$，令$a_1'=a_1/d$，$a_2'=a_2/d$，则$(a_1',a_2')=1$。
由lcm的数乘性质，$[a_1,a_2]=[da_1',da_2']=d[a_1',a_2']=d|a_1'a_2'|$；
代入$a_1'=a_1/d$、$a_2'=a_2/d$，得$[a_1,a_2]=\frac{|a_1a_2|}{d}$；
两边同乘$d=(a_1,a_2)$，即得$[a_1,a_2]\cdot(a_1,a_2)=|a_1a_2|$，定理得证。

应用场景：两个数lcm的快速计算，例如$[24,36]=\frac{24\times36}{(24,36)}=\frac{864}{12}=72$。

定理8 最大公约数的线性组合定理（贝祖定理）

定理内容：设$a_1,\dots,a_k$是不全为零的整数，有：
(i) $(a_1,\dots,a_k) = \min\{ s=a_1x_1+\dots+a_kx_k \mid x_j\in\mathbb{Z},\ s>0 \}$，即gcd是这些数的所有整系数线性组合中最小的正整数；
(ii) 一定存在一组整数$x_{1,0},\dots,x_{k,0}$，使得 $(a_1,\dots,a_k) = a_1x_{1,0}+\dots+a_kx_{k,0}$，即gcd可表示为这些数的整系数线性组合。

核心内涵解读
揭示了gcd的代数本质：gcd是一组数通过整数倍加减运算能得到的最小正整数。是初等数论的核心定理，第一种证明途径（基于定理1的整除推导）无法证明该定理，需结合正整数集的良序原理与带余除法完成证明。

核心推论与应用

互素判定：$(a,b)=1$的充要条件是存在整数$x,y$，使得$ax+by=1$；
线性不定方程：$ax+by=c$有整数解的充要条件是$(a,b)|c$；
模逆元存在性：若$(a,m)=1$，则存在整数$x$使得$ax\equiv1\pmod{m}$（模运算的核心基础）。

二、核心定理归纳总结表

定理序号	定理名称	核心公式/内容	本质内涵	核心证明依据	关键应用场景
定理1	最小公倍数本质定理	$a_j	c \iff [a_1,\dots,a_k]	c$	公倍数一定是最小公倍数的倍数，lcm是整除意义下的最小元
定理2	最大公约数本质定理	$D=(a_1,\dots,a_k) \iff$ (i)$D	a_j$；(ii) 若$d	a_j$则$d	D$
定理3	gcd数乘性质定理	$m(b_1,\dots,b_k)=(mb_1,\dots,mb_k),\ m>0$	同乘正数后，gcd同步放大相同倍数	定理2、公约数整除gcd的性质	提取公因数简化gcd计算
定理4	gcd结合律/分组定理	(i) $(a_1,\dots,a_k)=((a_1,a_2),a_3,\dots,a_k)$；(ii) 多组gcd可分组计算	多变量gcd可完全转化为两变量gcd计算	定理2、公约数集合等价性	多变量gcd的快速计算、辗转相除法推广
定理5	gcd互素消去定理	若$(m,a)=1$，则$(m,ab)=(m,b)$	与m互素的因数不影响和m的gcd计算	定理3、定理4、gcd基本性质	简化复杂gcd计算、去除无关互素因子
定理6	整除互素消去定理	若$(m,a)=1$且$m	ab$，则$m	b$	互素的数不分担保整除性，整除因子完全落在另一数中
定理7	gcd与lcm乘积定理	$[a_1,a_2]\cdot(a_1,a_2)=	a_1a_2	$	两个数的gcd与lcm可通过乘积直接互推
定理8	贝祖定理（线性组合定理）	gcd是整系数线性组合的最小正整数，且可表示为整系数线性组合	gcd的代数本质，建立了整除与线性组合的联系	正整数良序原理、带余除法	互素判定、线性不定方程求解、模逆元存在性证明

三、第一种证明途径的逻辑链总结

第一种证明途径以带余除法为唯一基石，形成了闭环的推导逻辑：

\[\text{带余除法} \rightarrow \text{定理1（lcm本质）} \rightarrow \text{定理2（gcd本质）} \rightarrow \text{定理3（数乘）} \rightarrow \text{定理4（结合律）} \rightarrow \text{定理5（gcd互素消去）} \rightarrow \text{定理6（整除互素消去）} \rightarrow \text{定理7（gcd与lcm乘积）} \]

该途径完整证明了定理1-7，刻画了gcd与lcm的整除属性，但无法证明定理8（贝祖定理），后者需要结合数论的良序原理完成证明。

初等数论核心例题深度详解

这5道例题是最大公约数核心定理的直接应用，覆盖费马小定理、最大公约数运算恒等式、无理数判定、gcd幂次性质、模指数（阶）五大核心考点，是初等数论从整除理论过渡到同余理论的关键桥梁。以下逐题拆解证明逻辑、定理依据与结论意义，所有推导均严格关联前序8条核心定理。

例1 费马小定理的完整证明

设$p$是素数，证明以下三个结论：

(i) $p \mid \binom{p}{j},\ 1\leq j\leq p-1$

核心考点：素数的整除性质、组合数的整数性、定理5（gcd互素消去）、定理6（整除互素消去）

详细证明拆解

组合数的整数性：$\binom{p}{j}=\frac{p!}{j!(p-j)!}$ 是正整数，因此分母 $j!(p-j)! \mid p!$（整除分子）。
素数的互素性：$p$是素数，对任意$1\leq i\leq p-1$，$i$的所有因子都小于$p$，因此$(p,i)=1$。由此可得，$j!$和$(p-j)!$的所有因子都与$p$互素，根据互素的乘积性质，$(p,\ j!(p-j)!)=1$（定理5的直接推论）。
整除消去：由$j!(p-j)! \mid p! = p\cdot(p-1)!$，结合$(j!(p-j)!,\ p)=1$，根据定理6（若$(m,a)=1$且$m\mid ab$，则$m\mid b$），可推出$j!(p-j)! \mid (p-1)!$。
结论推导：$\binom{p}{j}=p\cdot\frac{(p-1)!}{j!(p-j)!}$，其中$\frac{(p-1)!}{j!(p-j)!}$是整数，因此$p$是$\binom{p}{j}$的因子，即$p\mid\binom{p}{j}$。

(ii) 对任意正整数$a$，有$p\mid a^p -a$

核心考点：数学归纳法、二项式定理、(i)的结论

详细证明拆解

基例验证：当$a=1$时，$a^p -a=1^p-1=0$，任意素数$p$都整除0，结论成立。
归纳假设：假设当$a=n$时结论成立，即$p\mid n^p -n$，也就是$n^p -n = p\cdot t$（$t$为整数）。
归纳步推导：当$a=n+1$时，由二项式定理展开：
\[(n+1)^p = \sum_{j=0}^p \binom{p}{j}n^{p-j} = n^p + \binom{p}{1}n^{p-1} + \dots + \binom{p}{p-1}n + 1 \]
因此：
\[(n+1)^p - (n+1) = n^p -n + \left(\binom{p}{1}n^{p-1} + \dots + \binom{p}{p-1}n\right) \]
由(i)的结论，所有$\binom{p}{j}\ (1\leq j\leq p-1)$都是$p$的倍数，因此括号内的部分可提取公因子$p$，记为$p\cdot A$（$A$为整数）。
结合归纳假设$n^p -n = p\cdot t$，上式可化为：
\[(n+1)^p - (n+1) = p\cdot t + p\cdot A = p(t+A) \]
即$p\mid (n+1)^p - (n+1)$，归纳步成立。
由数学归纳法，对所有正整数$a$，$p\mid a^p -a$成立。

(iii) 若$(a,p)=1$，则$p\mid a^{p-1}-1$

核心考点：定理6、(ii)的结论

详细证明拆解

由(ii)得$p\mid a^p -a = a(a^{p-1}-1)$。
已知$(a,p)=1$，根据定理6，可直接消去与$p$互素的因子$a$，推出$p\mid a^{p-1}-1$。

结论意义
(ii)(iii)合称费马小定理，是初等数论的核心定理之一：

是模运算简化的核心工具，例如计算$a^b\bmod p$时，可将指数$b$模$p-1$简化计算；
是素性测试、RSA公钥密码体系的数学基础；
是欧拉定理的特例（欧拉定理：若$(a,m)=1$，则$a^{\varphi(m)}\equiv1\pmod{m}$）。

例2 最大公约数的核心运算恒等式

证明以下三个结论：

(i) $(a,uv)=(a,(a,u)v)$

核心考点：gcd的结合律（定理4）、数乘性质（定理3）、gcd基本性质

详细证明拆解

第一步恒等变形：$(a,uv)=(a,uv,av)$。
原理：任何整除$a$和$uv$的数，必然整除$a$的倍数$av$，因此两组数的公约数集合完全一致，gcd相等。
第二步分组计算：由定理4（gcd结合律），$(a,uv,av)=(a,(uv,av))$。
第三步提取公因子：由定理3（gcd数乘性质），$(uv,av)=v(u,a)=v(a,u)$。
代入得：$(a,(uv,av))=(a,(a,u)v)$，即$(a,uv)=(a,(a,u)v)$，结论成立。

结论意义：这是定理5的推广，定理5是$(a,u)=1$时的特例（此时$(a,uv)=(a,v)$），该恒等式可拆分复杂gcd，是gcd运算的核心工具。

(ii) $(a,uv)\mid (a,u)(a,v)$

核心考点：定理2（gcd本质性质）、定理3、(i)的结论

详细证明拆解

由(i)得$(a,uv)=(a,(a,u)v)$，根据gcd的基本性质，$(x,y)\mid x$且$(x,y)\mid y$，因此$(a,(a,u)v)\mid (a,u)v$，同时$(a,(a,u)v)\mid a$。
由定理2，公约数必然整除两个数的gcd，因此$(a,(a,u)v)\mid \left(a\cdot(a,u),\ v\cdot(a,u)\right)$。
由定理3，提取公因子$(a,u)$，得$\left(a\cdot(a,u),\ v\cdot(a,u)\right)=(a,u)\cdot(a,v)$。
因此$(a,uv)\mid (a,u)(a,v)$，结论成立。

(iii) 若$(u,v)=1$，则$(a,uv)=(a,u)(a,v)$

核心考点：定理2、定理6的推论、(ii)的结论

详细证明拆解

由(ii)已证$(a,uv)\mid (a,u)(a,v)$，只需反向证明$(a,u)(a,v)\mid (a,uv)$，即可得两数相等。
设$d_1=(a,u)$，$d_2=(a,v)$。因$(u,v)=1$，$d_1\mid u$、$d_2\mid v$，故$(d_1,d_2)=1$。
由$d_1\mid a$、$d_2\mid a$且$(d_1,d_2)=1$，根据定理6的推论，互素的两个数都整除$a$，则其乘积也整除$a$，即$d_1d_2\mid a$。
同时$d_1\mid u$、$d_2\mid v$，故$d_1d_2\mid uv$。
因此$d_1d_2$是$a$和$uv$的公约数，根据定理2，公约数必然整除gcd，即$(a,u)(a,v)\mid (a,uv)$。
结合(ii)的结论，两数互相整除，故$(a,uv)=(a,u)(a,v)$。

结论意义：gcd的“分配律”，当$u,v$互素时，gcd对乘法满足分配律，可将复杂gcd拆分为多个简单gcd的乘积。

例3 有理数的整数幂判定定理

设$k$是正整数，证明：若一个有理数的$k$次方是整数，则这个有理数一定是整数。

核心考点：有理数的既约分数表示、定理6、整数的整除性质

详细证明拆解

有理数的标准形式：任何有理数都可表示为既约分数$\frac{b}{a}$，其中$a\geq1$为正整数，$b$为整数，且$(a,b)=1$（分子分母无公共因子）。
条件转化：已知$\left(\frac{b}{a}\right)^k = c$（$c$为整数），展开得$\frac{b^k}{a^k}=c$，即$b^k = c\cdot a^k$，因此$a^k\mid b^k$。
互素消去：由$(a,b)=1$，根据定理6的推广，若$(a,b)=1$且$a\mid b^k$，则$a\mid b$。
结论推导：$(a,b)=1$且$a\mid b$，说明$a$是$b$的约数且与$b$互素，唯一满足条件的正整数是$a=1$。
因此该有理数为$\frac{b}{1}=b$，是整数，结论成立。

结论意义
该定理是无理数判定的核心依据：整数的$k$次方根要么是整数，要么是无理数，不存在分数形式的$k$次方根。例如$\sqrt{2}$、$\sqrt[3]{5}$等都是无理数，其严格证明就来自该定理。

例4 最大公约数的幂次性质

设$k$是正整数，证明以下两个结论：

(i) $(a^k,b^k)=(a,b)^k$

核心考点：定理3、定理5、gcd的互素性质

详细证明拆解

提取公因子：设$d=(a,b)$，则$a=d\cdot a'$，$b=d\cdot b'$，且$(a',b')=1$（提取gcd后剩余部分互素）。
幂次展开：$(a^k,b^k)=\left((d a')^k,(d b')^k\right)=(d^k a'^k, d^k b'^k)$。
数乘性质：由定理3，提取公因子$d^k$，得$(d^k a'^k, d^k b'^k)=d^k\cdot (a'^k,b'^k)$。
互素证明：由$(a',b')=1$，根据定理5的推论，互素的两个数的任意次幂仍互素，即$(a'^k,b'^k)=1$。
代入得：$(a^k,b^k)=d^k\cdot1=(a,b)^k$，结论成立。

结论意义：gcd的幂次等于幂次的gcd，可大幅简化大数gcd的计算，例如$(12^5,18^5)=(12,18)^5=6^5=7776$，无需计算高次幂。

(ii) 设$a,b$是正整数，若$(a,b)=1$且$ab=c^k$，则$a=(a,c)^k$，$b=(b,c)^k$

核心考点：(i)的结论、定理3、定理5

详细证明拆解

由(i)的结论，$(a,c)^k=(a^k,c^k)$。
已知$ab=c^k$，代入得$(a^k,c^k)=(a^k,ab)$。
由定理3，提取公因子$a$，得$(a^k,ab)=a\cdot(a^{k-1},b)$。
由$(a,b)=1$，根据定理5的推论，$(a^{k-1},b)=1$。
因此$(a^k,ab)=a\cdot1=a$，即$(a,c)^k=a$。
同理可证$b=(b,c)^k$，结论成立。

结论意义：若两个互素的正整数的乘积是$k$次方数，则这两个数本身也都是$k$次方数。这是算术基本定理的核心推论，是整数分解、不定方程求解的关键工具。

例5 模指数（阶）的定义与核心性质

设$m\geq2$，$(m,a)=1$，证明以下两个结论：

(i) 存在正整数$d\leq m-1$，使得$m\mid a^d -1$

核心考点：带余除法、鸽巢原理、定理6

详细证明拆解

前提推导：由$(m,a)=1$且$m\geq2$，得$m\nmid a$；再由定理5的推论，对任意$j\geq1$，$(m,a^j)=1$，因此$m\nmid a^j$，即$a^j$除以$m$的余数$r_j$满足$0<r_j<m$。
鸽巢原理应用：考虑$a^0,a^1,a^2,\dots,a^{m-1}$共$m$个数，它们除以$m$的余数只能取$1,2,\dots,m-1$共$m-1$个值。根据鸽巢原理，至少存在两个数$a^i,a^k$（$0\leq i<k\leq m-1$）的余数相等，即$a^i\equiv a^k\pmod{m}$。
整除推导：$a^k -a^i = a^i(a^{k-i}-1)$，因此$m\mid a^i(a^{k-i}-1)$。
互素消去：由$(m,a)=1$得$(m,a^i)=1$，根据定理6，得$m\mid a^{k-i}-1$。
取$d=k-i$，则$1\leq d\leq m-1$，满足要求，结论成立。

(ii) 设$d_0$是满足(i)的最小正整数$d$，则$m\mid a^h -1\ (h\geq1)$的充要条件是$d_0\mid h$

$d_0$称为$a$对模$m$的指数（阶），记为$\delta_m(a)$。

核心考点：带余除法、最小正整数的定义、(i)的结论

详细证明拆解
充要条件需分别证明充分性和必要性：

充分性（$d_0\mid h \implies m\mid a^h-1$）
若$d_0\mid h$，则$h=d_0\cdot t$（$t$为正整数）。
因此$a^h -1 = (a^{d_0})^t -1 = (a^{d_0}-1)(a^{d_0(t-1)}+a^{d_0(t-2)}+\dots+1)$。
由$d_0$的定义，$m\mid a^{d_0}-1$，因此$m\mid a^h-1$，充分性得证。
必要性（$m\mid a^h-1 \implies d_0\mid h$）
对$h$和$d_0$做带余除法，存在唯一整数$q,r$，使得$h=q d_0 + r$，$0\leq r<d_0$。
因此$a^h -1 = a^{q d_0 + r} -1 = a^r\cdot (a^{d_0})^q -1$。
由$m\mid a^{d_0}-1$得$a^{d_0}\equiv1\pmod{m}$，因此$(a^{d_0})^q\equiv1\pmod{m}$，代入得$a^h -1\equiv a^r -1\pmod{m}$。
由$m\mid a^h-1$得$m\mid a^r-1$。
因$d_0$是满足$m\mid a^d-1$的最小正整数，且$0\leq r<d_0$，故仅当$r=0$时成立。
因此$h=q d_0$，即$d_0\mid h$，必要性得证。

结论意义
模指数是数论的核心概念，是原根理论、离散对数问题的基础，广泛应用于公钥密码、序列密码、编码理论等领域。其核心性质是：所有满足$a^d\equiv1\pmod{m}$的正整数$d$，都是最小指数$d_0$的倍数。

核心例题知识点归纳表

例题序号	核心结论	用到的核心定理	核心应用场景
例1	费马小定理：$p\mid a^p-a$；若$(a,p)=1$，则$p\mid a^{p-1}-1$	定理5、定理6、二项式定理、数学归纳法	模运算简化、素性测试、RSA密码体系
例2	gcd运算恒等式：$(a,uv)=(a,(a,u)v)$；互素时$(a,uv)=(a,u)(a,v)$	定理2、定理3、定理4、定理5	复杂gcd拆分、整除性推导
例3	有理数的$k$次方为整数$\implies$该有理数为整数	定理6、有理数既约表示	无理数判定、不定方程求解
例4	gcd幂次性质：$(a^k,b^k)=(a,b)^k$；互素数乘积为$k$次方则各自为$k$次方	定理3、定理5、例2结论	大数gcd计算、整数分解、不定方程
例5	模指数的存在性与整除性质：$m\mid a^h-1 \iff \delta_m(a)\mid h$	定理6、带余除法、鸽巢原理	原根理论、离散对数、密码学、序列设计

最大公约数理论：证明的第二种途径深度详解

最大公约数理论的第二种证明途径，是初等数论中代数化推导的核心范式，与第一种途径形成完全对偶的逻辑体系：

第一种途径：从整除的序属性（最小/最大）出发，以带余除法证明定理1（lcm本质），逐步推导定理2-7，无法覆盖定理8；
第二种途径：从gcd的代数本质（整系数线性组合）出发，以带余除法+最小自然数原理为唯一基石，先证明定理8（贝祖定理），再反向推导出定理1-7，形成完整闭环的理论体系，证明更简洁、代数性更强，也是数论研究中更常用的推导逻辑。

一、核心前提与定理8的完整证明

基础定义回顾

设不全为零的整数$a_1,a_2,\dots,a_k$，定义其整系数线性组合集合：

\[S = \left\{ s = a_1x_1 + a_2x_2 + \dots + a_kx_k \mid x_j \in \mathbb{Z} \right\} \]

定理8的核心结论是：$a_1,\dots,a_k$的最大公约数，恰好是集合$S$中的最小正整数。

定理8的详细证明拆解

步骤1：证明集合$S$中存在正整数

由于$a_1,\dots,a_k$不全为零，因此$0 < a_1^2 + a_2^2 + \dots + a_k^2$，且该式可表示为$a_1\cdot a_1 + a_2\cdot a_2 + \dots + a_k\cdot a_k$，属于集合$S$，因此$S$是正整数的非空子集。

步骤2：最小自然数原理保证最小正整数存在

正整数集的非空子集必有最小元（最小自然数原理，也叫正整数良序原理），因此$S$中存在唯一的最小正整数，记为$s_0$。

步骤3：证明$s_0$是$a_1,\dots,a_k$的公约数

对任意一个$a_j$，由带余除法，存在唯一整数$q_j,r_j$，使得：

\[a_j = q_j s_0 + r_j,\quad 0\leq r_j < s_0 \]

接下来证明$r_j \in S$：
由于$s_0 \in S$，因此$s_0 = a_1x_1 + a_2x_2 + \dots + a_kx_k$（$x_j\in\mathbb{Z}$），代入得：

\[r_j = a_j - q_j s_0 = a_j - q_j(a_1x_1 + \dots + a_kx_k) \]

该式是$a_1,\dots,a_k$的整系数线性组合，因此$r_j \in S$。

步骤4：矛盾推导，证明$r_j=0$

若$r_j>0$，则$r_j$是$S$中的正整数，且$r_j < s_0$，与$s_0$是$S$的最小正整数矛盾。因此仅当$r_j=0$时成立，即$s_0 \mid a_j$对所有$1\leq j\leq k$成立，$s_0$是$a_1,\dots,a_k$的公约数。

步骤5：证明$s_0$是最大公约数

对$a_1,\dots,a_k$的任意公约数$d$，由$d\mid a_j$，可知$d$整除$a_1,\dots,a_k$的任意整系数线性组合，因此$d\mid s_0$，故$|d| \leq s_0$。
由此，$s_0$是绝对值最大的公约数，即$(a_1,a_2,\dots,a_k) = s_0$。

步骤6：贝祖等式的成立性

$s_0$本身就是$S$中的元素，因此必然存在一组整数$x_{1,0},x_{2,0},\dots,x_{k,0}$，使得：

\[(a_1,a_2,\dots,a_k) = a_1x_{1,0} + a_2x_{2,0} + \dots + a_kx_{k,0} \]

定理8的(i)(ii)全部得证。

二、由定理8推导其余7个核心定理

第二种途径的核心优势是：定理2-6的证明仅需整除的基本性质+定理8，无需额外技巧，所有推导都围绕「gcd可表示为线性组合」这一核心展开。

定理2（gcd的本质属性）的证明

定理内容：正整数$D=(a_1,\dots,a_k)$的充要条件是：
(i) $D\mid a_j\ (1\leq j\leq k)$；(ii) 若$d\mid a_j\ (1\leq j\leq k)$，则$d\mid D$。

详细证明

必要性：
- 条件(i)是gcd定义的直接结论，自然成立；
- 由定理8，$D$可表示为$D=a_1x_{1,0}+\dots+a_kx_{k,0}$，若$d\mid a_j$，则$d$整除该线性组合，即$d\mid D$，条件(ii)成立。
充分性：
- 条件(i)说明$D$是$a_1,\dots,a_k$的公约数；
- 条件(ii)说明所有公约数$d$都满足$|d|\leq D$，因此$D$是最大公约数，即$D=(a_1,\dots,a_k)$。

定理3（gcd的数乘性质）的证明

定理内容：设$m>0$，则$m(b_1,b_2,\dots,b_k) = (mb_1,mb_2,\dots,mb_k)$。

详细证明
两个正整数相等的充要条件是互相整除，我们分两步证明：

证明$m(b_1,\dots,b_k) \mid (mb_1,\dots,mb_k)$：
设$D=(b_1,\dots,b_k)$，由定理8，$D=b_1y_1+\dots+b_ky_k$，两边乘$m$得：
\[mD = (mb_1)y_1 + (mb_2)y_2 + \dots + (mb_k)y_k \]
即$mD$是$mb_1,\dots,mb_k$的线性组合，因此$(mb_1,\dots,mb_k) \mid mD$。
证明$(mb_1,\dots,mb_k) \mid m(b_1,\dots,b_k)$：
设$D'=(mb_1,\dots,mb_k)$，由定理8，$D'=(mb_1)x_1+\dots+(mb_k)x_k = m\cdot(b_1x_1+\dots+b_kx_k)$，因此$m\mid D'$，且$D'/m$是$b_1,\dots,b_k$的线性组合，故$D\mid D'/m$，即$mD\mid D'$。

综上，$mD$与$D'$互相整除，因此$m(b_1,\dots,b_k) = (mb_1,\dots,mb_k)$。

定理4（gcd的结合律与分组性质）的证明

定理内容：
(i) $(a_1,a_2,a_3,\dots,a_k) = ((a_1,a_2),a_3,\dots,a_k)$；
(ii) $(a_1,\dots,a_{k+r}) = ((a_1,\dots,a_k),(a_{k+1},\dots,a_{k+r}))$。

详细证明（以(i)为例）
设$D_1=(a_1,a_2,\dots,a_k)$，$D_2=(a_1,a_2)$，$D_3=((a_1,a_2),a_3,\dots,a_k)$，仍通过互相整除证明相等：

证明$D_3\mid D_1$：
$D_3\mid D_2=(a_1,a_2)$，故$D_3\mid a_1,D_3\mid a_2$；同时$D_3\mid a_3,\dots,D_3\mid a_k$，因此$D_3$是$a_1,\dots,a_k$的公约数，由定理2得$D_3\mid D_1$。
证明$D_1\mid D_3$：
由定理8，$D_2=a_1y_1+a_2y_2$，因此：
\[D_3 = D_2 z_2 + a_3 z_3 + \dots + a_k z_k = a_1(y_1z_2) + a_2(y_2z_2) + a_3z_3 + \dots + a_k z_k \]
即$D_3$是$a_1,\dots,a_k$的线性组合，由定理2，$D_1$作为gcd整除所有线性组合，故$D_1\mid D_3$。

综上，$D_1=D_3$，(i)得证；(ii)的分组性质可通过反复应用(i)同理证明。

定理5（gcd的互素消去性质）的证明

定理内容：设$(m,a)=1$，则$(m,ab)=(m,b)$。

详细证明
核心是利用定理8的贝祖等式构造线性组合，仍通过互相整除证明：

证明$(m,b)\mid (m,ab)$：
$(m,b)\mid m$且$(m,b)\mid b$，因此$(m,b)\mid ab$，即$(m,b)$是$m$和$ab$的公约数，由定理2得$(m,b)\mid (m,ab)$。
证明$(m,ab)\mid (m,b)$：
由$(m,a)=1$，根据定理8，存在整数$z_1,z_2$使得贝祖等式成立：
\[mz_1 + az_2 = 1 \]
设$(m,b)=mx_1+bx_2$，将上式两边乘$(m,b)$，展开得：
\[(m,b) = (mx_1+bx_2)(mz_1+az_2) = m\cdot(mx_1z_1 + ax_1z_2 + bx_2z_1) + ab\cdot(x_2z_2) \]
该式说明$(m,b)$是$m$和$ab$的线性组合，因此$(m,ab)\mid (m,b)$。

综上，$(m,ab)=(m,b)$，定理得证。

定理6（整除的互素消去性质）的证明

定理内容：设$(m,a)=1$，若$m\mid ab$，则$m\mid b$。

详细证明
该定理是定理8的直接推论，证明极其简洁：

由$(m,a)=1$，定理8给出贝祖等式$mz_1 + az_2 = 1$；
两边同乘$b$，得：$m(bz_1) + (ab)z_2 = b$；
已知$m\mid ab$，因此$m$整除左边两项，故$m$整除右边的$b$，即$m\mid b$，定理得证。

定理7（gcd与lcm的乘积关系）的证明

定理内容：$[a_1,a_2](a_1,a_2) = |a_1a_2|$。

详细证明

只需证明$a_1,a_2>0$的情形（绝对值不影响gcd和lcm的取值）。
先证互素情形：若$(a_1,a_2)=1$，由lcm定义，$a_1\mid [a_1,a_2]$，$a_2\mid [a_1,a_2]$；结合$(a_1,a_2)=1$与定理6，得$a_1a_2\mid [a_1,a_2]$。
同时，$a_1a_2$是$a_1,a_2$的公倍数，由lcm的最小性，$[a_1,a_2]\leq a_1a_2$，因此$[a_1,a_2]=a_1a_2$，定理成立。
推广到一般情形：设$(a_1,a_2)=d>0$，令$a_1'=a_1/d$，$a_2'=a_2/d$，则$(a_1',a_2')=1$。
由lcm的数乘性质，$[a_1,a_2]=d[a_1',a_2']=d\cdot a_1'a_2' = \frac{a_1a_2}{d}$，两边乘$d$得：
\[[a_1,a_2]\cdot d = a_1a_2 \implies [a_1,a_2](a_1,a_2)=a_1a_2 \]
定理得证。

定理1（lcm的本质属性）的证明

定理内容：$a_j\mid c\ (1\leq j\leq k)$的充要条件是$[a_1,a_2,\dots,a_k]\mid c$。

详细证明

充分性：显然成立。$[a_1,\dots,a_k]$是$a_j$的公倍数，即$a_j\mid [a_1,\dots,a_k]$，若$[a_1,\dots,a_k]\mid c$，由整除的传递性得$a_j\mid c$。
必要性：
- 先证$k=2$的情形：设$l$是$a_1,a_2$的公倍数，令$d=(a_1,a_2)$，$a_1=da_1'$，$a_2=da_2'$，则$(a_1',a_2')=1$。
  由$a_1\mid l$得$a_1'\mid l/d$，由$a_2\mid l$得$a_2'\mid l/d$；结合$(a_1',a_2')=1$与定理6的推论，得$a_1'a_2'\mid l/d$。
  由定理7，$[a_1,a_2]=\frac{a_1a_2}{d}=da_1'a_2'$，因此$[a_1,a_2]/d = a_1'a_2'$，代入得$[a_1,a_2]/d \mid l/d$，两边乘$d$得$[a_1,a_2]\mid l$。
- 再用数学归纳法推广到$k$个的情形：假设$k=n$时结论成立，当$k=n+1$时，$[a_1,\dots,a_{n+1}]=[[a_1,\dots,a_n],a_{n+1}]$。
  $a_j\mid c\ (1\leq j\leq n+1)$等价于$[a_1,\dots,a_n]\mid c$且$a_{n+1}\mid c$，由$k=2$的结论，等价于$[[a_1,\dots,a_n],a_{n+1}]\mid c$，即$[a_1,\dots,a_{n+1}]\mid c$，归纳成立。

三、第二种证明途径的核心总结

1. 完整逻辑链

\[\text{带余除法 + 最小自然数原理} \rightarrow \text{定理8（贝祖定理）} \rightarrow \text{定理2（gcd本质）} \rightarrow \text{定理3-6（gcd运算性质）} \rightarrow \text{定理7（gcd与lcm乘积）} \rightarrow \text{定理1（lcm本质）} \]

2. 与第一种途径的核心对比

对比维度	第一种证明途径	第二种证明途径
逻辑起点	定理1（lcm的整除本质）	定理8（gcd的线性组合本质）
核心基石	带余除法	带余除法 + 最小自然数原理
覆盖范围	仅能证明定理1-7，无法推导定理8	完整覆盖定理1-8，形成闭环理论
推导风格	基于整除的序属性，技巧性较强	基于线性组合的代数构造，证明更简洁通用
核心侧重	刻画gcd/lcm的整除属性	揭示gcd的代数本质

3. 核心优势

理论闭环：解决了第一种途径无法证明贝祖定理的缺陷，从根源上完整建立了最大公约数理论；
代数化强：将gcd与线性代数的线性组合绑定，为后续同余方程、不定方程、模运算等内容提供了核心工具；
普适性高：该推导逻辑可直接推广到更一般的代数结构（如多项式环、主理想整环），是近世代数的核心思想源头。

贝祖定理应用例题深度详解

这3道例题是定理8（贝祖定理）的核心应用场景，覆盖了数论基础结论、素数整除性判定、组合数论染色问题三大类，充分体现了第二种证明途径（以贝祖定理为核心）的优势——将复杂的数论问题转化为线性组合的构造与推导，大幅降低证明的技巧性门槛。

例6 互素整数的线性组合遍历性

题干

若$(a,b)=1$，则任一整数$n$必可表示为

\[n = ax + by,\quad x,y\text{ 是整数}. \]

详细证明拆解

核心依据：由$(a,b)=1$，根据定理8（贝祖定理），必然存在一组整数$x_0,y_0$，使得贝祖等式成立：
\[ax_0 + by_0 = 1. \]
构造目标线性组合：将上式两边同时乘以整数$n$，得：
\[a(nx_0) + b(ny_0) = n. \]
结论：取$x=nx_0$，$y=ny_0$，显然$x,y$为整数，满足$n=ax+by$，命题得证。

核心意义与应用

这是贝祖定理最常用的推论，是初等数论的核心基础结论：

它揭示了互素的两个整数的整系数线性组合可以遍历全体整数；
是二元一次不定方程$ax+by=n$有整数解的充要条件（$(a,b)|n$）的直接来源；
为模逆元的存在性、同余方程求解、组合数论的同色传递性证明提供了核心工具。

例7 素数整除性的反证法证明

题干

设$a,b$是整数，$11\nmid a$，证明：$11\nmid a^2+5b^2$。

详细证明拆解（反证法+贝祖定理）

步骤1：反设与初步推导

反设$11\mid a^2+5b^2$，先证明$11\nmid b$：

若$11\mid b$，则$11\mid 5b^2$，结合$11\mid a^2+5b^2$，得$11\mid a^2$；
11是素数，素数整除平方数必整除其底数，因此$11\mid a$，与题设$11\nmid a$矛盾，故$11\nmid b$。

步骤2：贝祖定理构造同余逆元

由$11\nmid b$，11是素数，因此$(11,b)=1$。根据贝祖定理，存在整数$x,y$，使得：

\[11x + by = 1 \]

该式等价于$by \equiv 1 \pmod{11}$，即$y$是$b$在模11下的逆元。

步骤3：转化为单变量平方剩余问题

由$11\mid a^2+5b^2$，两边同时乘以$y^2$，整除性保持不变：

\[11\mid y^2(a^2+5b^2) = (ay)^2 + 5(by)^2 \]

结合$by\equiv1\pmod{11}$，得$(by)^2\equiv1\pmod{11}$，代入上式得：

\[11\mid (ay)^2 + 5 \implies (ay)^2 \equiv -5 \equiv 6 \pmod{11} \]

步骤4：平方剩余验证，推出矛盾

枚举模11的所有平方剩余（即$0\sim10$的平方模11的结果）：

原数	0	1	2	3	4	5	6	7	8	9	10
平方模11	0	1	4	9	5	3	3	5	9	4	1

可见，模11的平方剩余只有$\{0,1,3,4,5,9\}$，不存在平方数模11余6，因此$(ay)^2\equiv6\pmod{11}$不可能成立，与反设矛盾。

综上，反设不成立，即$11\nmid a^2+5b^2$，命题得证。

补充结论与方法对比

充要条件：$11\mid a^2+5b^2$的充要条件是$11\mid a$且$11\mid b$。
直接验证法：枚举所有平方剩余$r^2,s^2$，验证$r^2+5s^2$模11是否为0，仅当$r=s=0$时成立。但该方法的枚举量是反证法的2倍以上，贝祖定理的方法更简洁。

例8 组合数论染色问题

题干

设$n,k$是正整数，且$(k,n)=1\ (0<k<n)$，集合$M=\{1,2,\dots,n-1\}$。对$M$中每个数$i$涂蓝色或白色，满足：
(i) $i$和$n-i$要涂上同一种颜色；
(ii) 当$i\neq k$时，$i$和$|k-i|$要涂上同一种颜色。
证明：$M$中所有的数一定都涂上同一种颜色。

核心证明思路

要证明所有数同色，只需证明任意$i\in M$都和$k$同色，即可推出所有数颜色一致。

详细证明拆解

步骤1：线性组合表示

由$(k,n)=1$，根据例6的结论，对任意$i\in M$，必然存在整数$x,y$，使得：

\[i = xk + yn \]

结合$1\leq i\leq n-1$，$x,y$的取值仅有三种可能情形：
(a) $x>0,y=0$；(b) $x>0,y<0$；(c) $x<0,y>0$。

步骤2：分情形证明$i$与$k$同色

情形(a)：$x>0,y=0$，即$i=xk$
由条件(ii)，$i=xk$与$|k - xk|=(x-1)k$同色；递推可得$(x-1)k$与$(x-2)k$同色，最终递推至$k$，因此$i$与$k$同色。
情形(c)：$x<0,y>0$
由条件(i)，$i$与$n-i$同色，而$n-i = (-x)k + (-y+1)n$：
- 若$-y+1=0$，则$n-i=(-x)k$，转化为情形(a)，与$k$同色；
- 若$-y+1<0$，则转化为情形(b)。
  因此只需证明情形(b)即可。
情形(b)：$x>0,y<0$（核心情形）
此时$x>-y$，对$i$和$k$做带余除法：

\[i = qk + i',\quad 0\leq i'<k \]
- 若$i'=0$，则$i=qk$，转化为情形(a)，与$k$同色；
- 若$1\leq i'<k$，由条件(ii)，$i$与$i'=i-qk$同色；
  再由条件(ii)，$i'$与$k-i'$同色；
  再由条件(i)，$k-i'$与$n-(k-i')=(x-1)k+(y+1)n$同色。
  此时$y+1$比原$y$大1，重复上述推导，有限步后必然可将系数调整为$y^*=0$，转化为情形(a)，最终得到$i$与$k$同色。

步骤3：结论

所有$i\in M$都与$k$同色，因此$M$中所有数颜色一致，命题得证。

核心意义

该题是贝祖定理与辗转相除法思想在组合数论中的经典应用，通过互素的线性组合可表示所有整数的性质，结合染色的同色传递性，将所有数与基准数$k$绑定，完美体现了数论工具对组合问题的降维作用。

两种证明途径的最终总结

对比维度	第一种证明途径	第二种证明途径
逻辑起点	定理1（最小公倍数的整除本质）	定理8（贝祖定理，gcd的线性组合本质）
核心基石	带余除法	带余除法 + 最小自然数原理
理论覆盖	仅能证明定理1-7，无法推导贝祖定理	完整覆盖定理1-8，形成闭环的gcd理论
核心优势	贴合整除的直观序属性	代数构造性强，证明简洁，可直接推广到一般代数结构
应用局限	解决线性组合、不定方程类问题需额外技巧	直接为线性组合、不定方程、同余问题提供核心工具

两种途径的共同点：均以定理2（最大公约数的本质属性）为核心枢纽，完成定理3-6的推导，最终建立完整的最大公约数理论。第二种途径因先证明了贝祖定理，包含了更丰富的代数信息，是数论研究中更通用的理论框架。

最大公约数理论：证明的第三种途径深度详解

第三种证明途径是以辗转相除法（欧几里得算法）为核心的构造性证明路径，区别于前两种“存在性优先”的纯理论推导，它同时完成了「gcd算法实现、gcd本质属性证明、贝祖系数求解」三大目标，是理论与工程计算结合最紧密的路径，也是现代计算数论、密码学的核心基础。

一、核心前置基石：§3 定理5（辗转相除法核心结论）

第三种途径的唯一逻辑起点是辗转相除法，其完整过程与核心结论如下：
对任意两个正整数$u_0>u_1$，反复执行带余除法，有限步后必终止于余数为0：

\[\begin{align*} u_0 &= q_1 u_1 + u_2,\quad 0<u_2<u_1 \\ u_1 &= q_2 u_2 + u_3,\quad 0<u_3<u_2 \\ &\quad\vdots \\ u_{n-2} &= q_{n-1} u_{n-1} + u_n,\quad 0<u_n<u_{n-1} \\ u_{n-1} &= q_n u_n + 0 \end{align*} \]

最终非零余数$u_n$就是$(u_0,u_1)$，这就是§3定理5的核心内容，它包含三个不可替代的价值维度：

维度	核心内容	本质意义
(i) 算法价值	辗转相除法给出了求两个数gcd的高效、可执行算法	带余除法每一步余数严格递减，有限步必终止，时间复杂度仅为$O(\log\min(u_0,u_1))$，是计算机中求gcd的标准实现方案
(ii) 理论价值1	直接证明§4定理2（gcd本质属性）在$k=2$时成立	无需额外假设，通过余数递推直接验证gcd的两个核心条件：$u_n$是公约数、所有公约数都整除$u_n$
(iii) 理论价值2	直接证明§4定理8（贝祖定理）在$k=2$时成立，且给出贝祖系数的求解算法	对余数链反向回代，可将最终gcd$u_n$表示为$u_0,u_1$的整系数线性组合，既证明了贝祖系数的存在性，又给出了可落地的求解方法（扩展欧几里得算法）

二、第三种途径的完整逻辑链详解

整个证明路径以§3定理5为唯一起点，分两条并行分支推导，最终汇合得到一般形式的核心定理，再完整构建整个最大公约数理论，对应流程图的推导逻辑如下：

分支1：从两变量gcd本质到多变量gcd本质

起点：§3定理5 → 证明§4定理2（$k=2$，两变量gcd本质属性）
对辗转相除法的余数链做双向递推：
- 反向递推：$u_n|u_{n-1}$，结合$u_{n-2}=q_{n-1}u_{n-1}+u_n$，得$u_n|u_{n-2}$，最终递推得$u_n|u_1, u_n|u_0$，即$u_n$是$u_0,u_1$的公约数；
- 正向递推：若$d$是$u_0,u_1$的公约数，则$d|u_2=u_0-q_1u_1$，最终递推得$d|u_n$，即所有公约数都整除$u_n$。
  完全满足定理2的两个充要条件，两变量的gcd本质属性得证。
两变量定理2 → 证明§4定理4(i)（gcd结合律）
定理4(i)：$(a_1,a_2,a_3,\dots,a_k) = ((a_1,a_2),a_3,\dots,a_k)$。
证明核心是公约数集合等价性：
- 若$d$是$a_1,\dots,a_k$的公约数，则$d|a_1,d|a_2$，由两变量定理2得$d|(a_1,a_2)$，同时$d|a_3,\dots,d|a_k$，因此$d$是$((a_1,a_2),a_3,\dots,a_k)$的公约数；
- 反之，若$d$是$((a_1,a_2),a_3,\dots,a_k)$的公约数，则$d|(a_1,a_2)$，故$d|a_1,d|a_2$，同时$d|a_3,\dots,d|a_k$，因此$d$是$a_1,\dots,a_k$的公约数。
  二者公约数集合完全一致，故gcd相等，结合律得证。
定理4(i) → 证明一般形式的§4定理2 + 定理4(ii)（分组性质）
- 一般$k$变量的定理2：由结合律，多变量gcd可拆分为多次两变量gcd计算，而两变量gcd满足定理2的本质属性，因此多变量gcd也满足：$D=(a_1,\dots,a_k)$的充要条件是$D$是公约数，且所有公约数都整除$D$。
- 定理4(ii)分组性质：反复应用结合律，即可将多组数的gcd拆分为两组gcd的再计算，即$(a_1,\dots,a_{k+r}) = ((a_1,\dots,a_k),(a_{k+1},\dots,a_{k+r}))$。

分支2：从两变量贝祖定理到多变量贝祖定理

起点：§3定理5 → 证明§4定理8（$k=2$，两变量贝祖定理）
对辗转相除法的余数链反向回代：
- 最后一步非零余数$u_n = u_{n-2} - q_{n-1}u_{n-1}$；
- 将$u_{n-1}=u_{n-3}-q_{n-2}u_{n-2}$代入，可将$u_n$表示为$u_{n-3},u_{n-2}$的线性组合；
- 持续回代，最终可将$u_n=(u_0,u_1)$表示为$u_n = x u_0 + y u_1$（$x,y$为整数）。
  既证明了两变量贝祖定理的存在性，又直接给出了$x,y$的求解算法。
两变量定理8 → 证明一般$k$变量的§4定理8
用数学归纳法+gcd结合律推广：
- 基例：$k=2$时，已由辗转相除法证明；
- 归纳假设：$k=n$时，$(a_1,\dots,a_n) = a_1x_1+a_2x_2+\dots+a_nx_n$成立；
- 归纳步：$k=n+1$时，由结合律$(a_1,\dots,a_{n+1}) = ((a_1,\dots,a_n),a_{n+1})$。由两变量贝祖定理，存在整数$y,z$使得$((a_1,\dots,a_n),a_{n+1}) = y\cdot(a_1,\dots,a_n) + z\cdot a_{n+1}$。代入归纳假设的表达式，即可得到$(a_1,\dots,a_{n+1})$的整系数线性组合，归纳成立。

最终闭环

得到一般形式的定理2（gcd本质属性）和定理8（贝祖定理）后，即可完全沿用第一种、第二种途径的推导逻辑，推出定理3、定理5、定理6、定理7、定理1，完成整个最大公约数理论的构建。

注：该途径的推导严格约束为仅使用§1、§2的基础整除性质（如整除的传递性、线性性、带余除法等），不依赖§4的任何前置结论，保证了理论体系的逻辑自洽，无循环论证。

三、三种证明途径的全面对比总结

对比维度	第一种证明途径	第二种证明途径	第三种证明途径
核心起点	定理1（最小公倍数的整除本质）	定理8（贝祖定理，线性组合本质）	辗转相除法（欧几里得算法）
核心基石	带余除法	带余除法 + 最小自然数原理	带余除法（迭代执行）
证明性质	存在性证明，纯理论推导	存在性证明，代数构造推导	构造性证明，算法化推导
核心优势	贴合整除的直观序属性，符合入门认知	代数结构清晰，推导简洁，理论闭环完整	同时完成理论证明与算法实现，可直接落地工程计算
贝祖系数处理	仅能证明存在性，无求解方法	仅能证明存在性，无求解方法	直接给出贝祖系数的求解算法（扩展欧几里得）
理论覆盖	仅能证明定理1-7，无法推导定理8	完整覆盖定理1-8，形成理论闭环	完整覆盖定理1-8，形成算法化闭环
核心适用场景	数论入门教学，整除性质直观理解	代数数论，一般代数结构的推广	计算数论、密码学、工程算法实现

四、第三种途径的核心价值

工程价值：它是所有gcd相关计算的底层逻辑，RSA公钥密码、模逆元求解、线性同余方程求解、中国剩余定理的算法实现，都完全依赖于该途径给出的扩展欧几里得算法。
理论价值：它是构造性数学的经典范例——不仅证明了数学对象的存在性，还给出了可执行的构造步骤，打破了纯理论推导与实际计算的壁垒。
推广价值：辗转相除法的思想可直接推广到多项式环、高斯整数环等更一般的代数结构，是近世代数中「欧几里得整环」的核心定义依据，是初等数论向高等代数推广的核心桥梁。

例9 详细解题过程与原理讲解

本题是辗转相除法+贝祖定理（定理8）的经典综合应用，核心任务分为两部分：① 求三个数的最大公约数；② 将最大公约数表示为这三个数的整系数线性组合。以下是完整的分步拆解与原理说明。

一、核心定理依据

定理4(i)（gcd结合律）：多个数的最大公约数可分组计算，即
\[(a_1,a_2,a_3,\dots,a_k) = ((a_1,a_2),a_3,\dots,a_k) \]
三个数的gcd可先算前两个的gcd，再将结果与第三个数求gcd，大幅简化多变量gcd计算。
辗转相除法：对正整数$u>v$，有$(u,v)=(v,u\bmod v)$，反复执行带余除法直到余数为0，最后一个非零余数即为两数的gcd。
贝祖定理（定理8）：不全为零的整数$a_1,\dots,a_k$的最大公约数，一定可表示为它们的整系数线性组合：
\[(a_1,\dots,a_k) = x_1a_1 + x_2a_2 + \dots + x_ka_k \quad (x_1,\dots,x_k\in\mathbb{Z}) \]

二、第一步：计算198,252,924的最大公约数

步骤1：计算前两个数的gcd $(198,252)$

用辗转相除法反复执行带余除法：

$252 = 1\times198 + 54$，余数$54\neq0$，因此$(252,198)=(198,54)$
$198 = 3\times54 + 36$，余数$36\neq0$，因此$(198,54)=(54,36)$
$54 = 1\times36 + 18$，余数$18\neq0$，因此$(54,36)=(36,18)$
$36 = 2\times18 + 0$，余数为0，最后一个非零余数为18。

因此，$\boldsymbol{(198,252)=18}$。

步骤2：计算结果与第三个数的gcd $(18,924)$

继续用辗转相除法：

$924 = 51\times18 + 6$，余数$6\neq0$，因此$(924,18)=(18,6)$
$18 = 3\times6 + 0$，余数为0，最后一个非零余数为6。

因此，$\boldsymbol{(18,924)=6}$。

最终gcd结果

由gcd结合律：

\[(198,252,924) = ((198,252),924) = (18,924) = \boldsymbol{6} \]

三、第二步：将gcd=6表示为198、252、924的整系数线性组合

核心思路：反向回代辗转相除法的余数表达式，先将中间gcd表示为对应两个数的线性组合，再逐层代入合并，最终得到三个数的线性组合。

步骤1：将6表示为18和924的线性组合

从$(18,924)$的带余除法式子变形，移项得到余数的表达式：

\[924 = 51\times18 + 6 \implies \boldsymbol{6 = 924 - 51\times18} \tag{1} \]

步骤2：将18表示为198和252的线性组合

对$(198,252)$的辗转相除过程反向回代，消去中间余数，得到18的线性组合：

由$54=252-1\times198$，$36=198-3\times54$，代入得：
$36=198-3\times(252-198)=4\times198-3\times252$
再由$18=54-1\times36$，代入上述结果：
\[18=(252-198)-(4\times198-3\times252)=\boldsymbol{4\times252 - 5\times198} \tag{2} \]

步骤3：代入合并，得到三个数的线性组合

将式(2)代入式(1)，替换掉式中的18，展开整理：

\[\begin{align*} 6 &= 924 - 51\times18 \\ &= 924 - 51\times(4\times252 - 5\times198) \\ &= 924 - 204\times252 + 255\times198 \end{align*} \]

最终线性组合结果

\[\boldsymbol{6 = 255\times198 - 204\times252 + 1\times924} \]

其中整系数分别为$x=255$、$y=-204$、$z=1$，均为整数，满足题目要求。

四、结果验证与补充说明

1. 结果验证

代入计算验证等式成立：

右边：$255\times198 - 204\times252 + 924 = 50490 - 51408 + 924 = 6$，与左边相等，结果正确。

2. 关键补充

线性组合的不唯一性：贝祖系数不是唯一的。例如给198的系数加$252\times k$，同时给252的系数减$198\times k$（$k$为任意整数），等式依然成立，因为$198\times k\times252 - 252\times k\times198=0$，不改变最终结果。
方法的通用性：该方法可推广到任意多个数的gcd计算与线性组合构造，是多变量扩展欧几里得算法的核心逻辑，广泛应用于多元线性不定方程求解、模逆元计算、公钥密码算法等场景。

初等数论习题全解

以下是所有习题的详细解答，核心基于最大公约数、素数性质、费马小定理、欧拉定理、多项式理论等初等数论核心知识点，每道题均给出完整推导与原理说明。

1. 素数gcd计算

题干：设$p$是素数，$(a,p^2)=p$，$(b,p^3)=p^2$。求$(ab,p^4)$，$(a+b,p^4)$。

解答

素因子指数分析
由$(a,p^2)=p$，得$a = p \cdot a_1$，其中$(a_1,p)=1$（即$a$中$p$的指数为1）；
由$(b,p^3)=p^2$，得$b = p^2 \cdot b_1$，其中$(b_1,p)=1$（即$b$中$p$的指数为2）。
计算$(ab,p^4)$
$ab = p a_1 \cdot p^2 b_1 = p^3 a_1 b_1$，其中$(a_1 b_1,p)=1$，因此$ab$中$p$的指数为3。
对素数$p$，$\gcd$的$p$指数为$\min(3,4)=3$，故$\boldsymbol{(ab,p^4)=p^3}$。
计算$(a+b,p^4)$
$a+b = p a_1 + p^2 b_1 = p(a_1 + p b_1)$。
因$(a_1,p)=1$，故$a_1 + p b_1 \equiv a_1 \not\equiv 0 \pmod{p}$，即$(a_1 + p b_1,p)=1$，因此$a+b$中$p$的指数为1。
故$\boldsymbol{(a+b,p^4)=p}$。

2. 素数gcd的可能值

题干：设$p$是素数，$(a,b)=p$。求$(a^2,b)$，$(a^3,b)$，$(a^2,b^3)$所有可能取的值。

解答

设$a = p a_1$，$b = p b_1$，其中$(a_1,b_1)=1$。记$v_p(a)=s\geq1$，$v_p(b)=t\geq1$，由$(a,b)=p$得$\min(s,t)=1$，即$s,t$中至少一个为1。

$(a^2,b)$的可能值
$v_p(a^2)=2s$，$v_p(b)=t$，$\min(2s,t)$的可能值：
- 若$s=1,t=1$：$\min(2,1)=1$，得$p$；
- 若$s=1,t\geq2$：$\min(2,t)=2$，得$p^2$；
- 若$t=1,s\geq1$：$\min(2s,1)=1$，得$p$。
  综上，$\boldsymbol{(a^2,b)}$的可能值为$\boldsymbol{p,p^2}$。
$(a^3,b)$的可能值
$v_p(a^3)=3s$，$\min(3s,t)$的可能值：
- $s=1,t=1$：$\min(3,1)=1$，得$p$；
- $s=1,t=2$：$\min(3,2)=2$，得$p^2$；
- $s=1,t\geq3$：$\min(3,t)=3$，得$p^3$；
- $t=1,s\geq1$：$\min(3s,1)=1$，得$p$。
  综上，$\boldsymbol{(a^3,b)}$的可能值为$\boldsymbol{p,p^2,p^3}$。
$(a^2,b^3)$的可能值
$v_p(a^2)=2s$，$v_p(b^3)=3t$，$\min(2s,3t)$的可能值：
- $s=1,t\geq1$：$\min(2,3t)=2$，得$p^2$；
- $t=1,s=1$：$\min(2,3)=2$，得$p^2$；
- $t=1,s\geq2$：$\min(2s,3)=3$，得$p^3$。
  综上，$\boldsymbol{(a^2,b^3)}$的可能值为$\boldsymbol{p^2,p^3}$。

3. 命题真假判定（成立证明，不成立举反例）

(i) 若$(a,b)=(a,c)$，则$[a,b]=[a,c]$

不成立。反例：$a=2,b=2,c=4$，$(2,2)=(2,4)=2$，但$[2,2]=2$，$[2,4]=4$，不相等。

(ii) 若$(a,b)=(a,c)$，则$(a,b,c)=(a,b)$

成立。证明：$(a,b,c)=((a,b),c)=((a,c),c)=(a,c)=(a,b)$。

(iii) 若$d|a$，$d|a^2+b^2$，则$d|b$

不成立。反例：$d=4,a=4,b=2$，$4|4$，$4|4^2+2^2=20$，但$4\nmid2$。

(iv) 若$a^4|b^3$，则$a|b$

成立。证明：对任意素数$p$，设$v_p(a)=s$，$v_p(b)=t$，由$a^4|b^3$得$4s\leq3t$，故$t\geq\frac{4}{3}s\geq s$，即$v_p(a)\leq v_p(b)$对所有素数成立，故$a|b$。

(v) 若$a^2|b^3$，则$a|b$

不成立。反例：$a=8,b=4$，$a^2=64$，$b^3=64$，$64|64$，但$8\nmid4$。

(vi) 若$a^2|b^2$，则$a|b$

成立。证明：对任意素数$p$，$2s\leq2t\implies s\leq t$，故$a|b$；或由有理数性质，$(b/a)^2$为整数则$b/a$为整数，即$a|b$。

(vii) $ab|[a^2,b^2]$

成立。证明：对任意素数$p$，$v_p(ab)=s+t$，$v_p([a^2,b^2])=\max(2s,2t)$。不妨设$s\geq t$，则$s+t\leq s+s=2s=\max(2s,2t)$，故$ab|[a^2,b^2]$。

(viii) $[a^2,ab,b^2]=[a^2,b^2]$

成立。证明：$v_p([a^2,ab,b^2])=\max(2s,s+t,2t)=\max(2s,2t)=v_p([a^2,b^2])$，故等式成立。

(ix) $(a^2,ab,b^2)=(a^2,b^2)$

成立。证明：$v_p((a^2,ab,b^2))=\min(2s,s+t,2t)=\min(2s,2t)=v_p((a^2,b^2))$，故等式成立。

(x) $(a,b,c)=((a,b),(a,c))$

成立。证明：$v_p((a,b,c))=\min(s,t,u)=\min(\min(s,t),\min(s,u))=v_p(((a,b),(a,c)))$，故等式成立。

(xi) 若$d|a^2+1$，则$d|a^4+1$

不成立。反例：$d=5,a=2$，$5|2^2+1=5$，但$5\nmid2^4+1=17$。

(xii) 若$d|a^2-1$，则$d|a^4-1$

成立。证明：$a^4-1=(a^2-1)(a^2+1)$，故$a^2-1|a^4-1$，由整除传递性得$d|a^4-1$。

4. 无理数证明

题干：证明$\sqrt{2},\sqrt{3},\sqrt{15}$都不是有理数。

证明

用反证法，以$\sqrt{2}$为例：
假设$\sqrt{2}=\frac{p}{q}$（$p,q$为互素正整数），则$2=\frac{p^2}{q^2}\implies p^2=2q^2$，故$2|p^2$。因2是素数，故$2|p$，设$p=2k$，代入得$4k^2=2q^2\implies q^2=2k^2$，故$2|q$，与$(p,q)=1$矛盾。因此$\sqrt{2}$不是有理数。

同理可证：

$\sqrt{3}$：假设$\sqrt{3}=\frac{p}{q}$，则$p^2=3q^2$，推出$3|p$且$3|q$，矛盾；
$\sqrt{15}$：假设$\sqrt{15}=\frac{p}{q}$，则$p^2=15q^2$，推出$3|p$且$3|q$，矛盾。

5. 整系数多项式有理根定理

(i) 定理证明

题干：设整系数多项式$P(x)=x^n +a_{n-1}x^{n-1}+\dots+a_0$，$a_0\neq0$。证明：若$P(x)$有有理根$x_0$，则$x_0$必是整数，且$x_0|a_0$。

证明：设$x_0=\frac{p}{q}$（$p,q$互素，$q>0$），代入$P(x_0)=0$得：

\[\left(\frac{p}{q}\right)^n + a_{n-1}\left(\frac{p}{q}\right)^{n-1} + \dots + a_0 = 0 \]

两边乘$q^n$得：

\[p^n + a_{n-1}p^{n-1}q + \dots + a_0 q^n = 0 \]

移项得$p^n = -q(a_{n-1}p^{n-1} + \dots + a_0 q^{n-1})$，故$q|p^n$。因$(p,q)=1$，故$q|1$，即$q=1$，$x_0=p$为整数。

再代入$P(x_0)=0$，移项得$a_0 = -x_0(x_0^{n-1} + a_{n-1}x_0^{n-2} + \dots + a_1)$，故$x_0|a_0$。

(ii) 多项式无有理根证明

题干：证明$x^5+3x^4+2x+1$没有有理根。

证明：该多项式是首一整系数多项式，由(i)，有理根必为整除常数项1的整数，即$\pm1$。

代入$x=1$：$1+3+2+1=7\neq0$；
代入$x=-1$：$-1+3-2+1=1\neq0$。
故该多项式无有理根。

6. 余弦值的无理性证明

题干：设$\theta=r\pi$，$r$是有理数。证明：除了$\cos\theta=0,\pm1/2,\pm1$之外，$\cos\theta$一定是无理数。

证明

步骤1：证明切比雪夫多项式性质

用数学归纳法证明：存在首一整系数多项式$f_n(x)$，使得$2\cos n\alpha = f_n(2\cos\alpha)$。

$n=1$时，$2\cos\alpha = f_1(2\cos\alpha)$，$f_1(x)=x$，成立；
$n=2$时，$2\cos2\alpha=2(2\cos^2\alpha-1)=(2\cos\alpha)^2-2$，$f_2(x)=x^2-2$，成立；
归纳步：由和角公式$\cos(n+1)\alpha + \cos(n-1)\alpha=2\cos n\alpha\cos\alpha$，两边乘2得：
\[2\cos(n+1)\alpha = 2\cos\alpha\cdot 2\cos n\alpha - 2\cos(n-1)\alpha = x f_n(x) - f_{n-1}(x) \]
故$f_{n+1}(x)$是首一整系数多项式，归纳成立。

步骤2：无理性推导

设$r=\frac{m}{n}$（$m,n$为整数，$n>0$），则$n\theta=m\pi$，故$\cos n\theta=(-1)^m$。令$x_0=2\cos\theta$，则$f_n(x_0)=2\cos n\theta=2(-1)^m$，即$x_0$是首一整系数多项式$f_n(x)-2(-1)^m$的有理根。由第5题结论，$x_0$必为整数。

因$|\cos\theta|\leq1$，故$|x_0|=|2\cos\theta|\leq2$，即$x_0\in\{-2,-1,0,1,2\}$，对应$\cos\theta\in\{-1,-1/2,0,1/2,1\}$。除此之外，$\cos\theta$均为无理数。

7. 合数的真因子证明

题干：设$n$是正整数，$n|ab$，$n\nmid a$，$n\nmid b$，再设$a=d(a, ab/n)$。证明：$d|n$，$1<d<n$，并解释意义。

证明

证明$d|n$
设$g=(a,ab/n)$，则$a=dg$，故$d=a/g$。由$g|ab/n$，得$ab=ngk$（$k$为整数）。代入$a=dg$得$dg\cdot b = ngk \implies db=nk$，故$d|n$。
证明$1<d<n$
- 反设$d=1$，则$a=g$，故$(a,ab/n)=a$，即$a|ab/n$，得$n|b$，与题设$n\nmid b$矛盾，故$d>1$。
- 反设$d=n$，则$a=ng$，故$n|a$，与题设$n\nmid a$矛盾，故$d<n$。

意义

该结论说明：若合数$n$整除$ab$但不整除$a,b$中任意一个，则$n$必有真因子$d$（$1<d<n$），等价于素数的核心性质：若素数$p|ab$，则$p|a$或$p|b$，是素数与合数的本质区别之一。

8. 互素数的因数分解性质

题干：设$(a,b)=1$。证明：
(i) $(d,ab)=(d,a)(d,b)$；
(ii) $d$是$ab$的正因数的充要条件是$d=d_1d_2$，其中$d_1|a$，$d_2|b$，且表示法唯一。

证明

(i) 证明

设$g_1=(d,a)$，$g_2=(d,b)$，因$(a,b)=1$，故$(g_1,g_2)=1$。

一方面，$g_1g_2|d$且$g_1g_2|ab$，故$g_1g_2|(d,ab)$；
另一方面，设$g=(d,ab)$，则$g=(g,a)(g,b)|g_1g_2$。
故$(d,ab)=g_1g_2=(d,a)(d,b)$。

(ii) 证明

充分性：若$d_1|a$，$d_2|b$，则$d_1d_2|ab$，故$d=d_1d_2$是$ab$的正因数。
必要性：设$d|ab$，令$d_1=(d,a)$，$d_2=(d,b)$，由(i)得$d=(d,ab)=d_1d_2$，且$d_1|a$，$d_2|b$。
唯一性：若$d=d_1d_2=d_1'd_2'$，$d_1,d_1'|a$，$d_2,d_2'|b$，则$d_1|d_1'd_2'$，因$(d_1,d_2')=1$，故$d_1|d_1'$，同理$d_1'|d_1$，故$d_1=d_1'$，进而$d_2=d_2'$。

9. 最小公倍数的结合律

题干：证明：$[a_1,a_2,\dots,a_n]=[[a_1,a_2],a_3,\dots,a_n]=[[a_1,\dots,a_r],[a_{r+1},\dots,a_n]]$。

证明

对任意素数$p$，设$v_p(a_i)=s_i$，则：

$v_p([a_1,\dots,a_n])=\max(s_1,s_2,\dots,s_n)$；
$v_p([[a_1,a_2],a_3,\dots,a_n])=\max(\max(s_1,s_2),s_3,\dots,s_n)=\max(s_1,\dots,s_n)$；
$v_p([[a_1,\dots,a_r],[a_{r+1},\dots,a_n]])=\max(\max(s_1,\dots,s_r),\max(s_{r+1},\dots,s_n))=\max(s_1,\dots,s_n)$。

所有素数的指数均相等，故等式成立。

10. 三变量gcd与lcm恒等式

(i) 恒等式证明

题干：$[a,b,c](ab,bc,ca)=(a,b,c)[ab,bc,ca]=(a,b,c)[a,b,c][(a,b),(b,c),(c,a)]=abc$。

证明

对任意素数$p$，设$v_p(a)=x,v_p(b)=y,v_p(c)=z$，不妨设$x\geq y\geq z$：

$v_p([a,b,c](ab,bc,ca))=\max(x,y,z) + \min(x+y,y+z,z+x)=x + (y+z)=x+y+z=v_p(abc)$；
$v_p((a,b,c)[ab,bc,ca])=\min(x,y,z) + \max(x+y,y+z,z+x)=z + (x+y)=x+y+z=v_p(abc)$；
$v_p((a,b,c)[a,b,c][(a,b),(b,c),(c,a)])=z + x + \max(y,z,z)=x+y+z=v_p(abc)$。

所有项的素因子指数均等于$abc$的指数，故等式成立。

(ii) 充要条件证明

题干：$[a,b,c]=abc$的充要条件是$(a,b)=(b,c)=(c,a)=1$。

证明

必要性：若$[a,b,c]=abc$，由(i)得$abc\cdot(ab,bc,ca)=abc$，故$(ab,bc,ca)=1$。若$(a,b)\geq p>1$，则$p|ab,bc$，故$p|(ab,bc,ca)$，矛盾，故$(a,b)=1$，同理$(b,c)=(c,a)=1$。
充分性：若$(a,b)=(b,c)=(c,a)=1$，则$[a,b,c]=[[a,b],c]=[ab,c]=abc$，得证。

11-32题完整解答

11. 证明：$(a/(a,c), b/(b,a), c/(c,b))=1$

证明：对任意素数$p$，设$v_p(a)=x,v_p(b)=y,v_p(c)=z$，则：

\[v_p\left(\frac{a}{(a,c)}\right)=x-\min(x,z),\ v_p\left(\frac{b}{(a,b)}\right)=y-\min(x,y),\ v_p\left(\frac{c}{(b,c)}\right)=z-\min(y,z) \]

不妨设$x\geq y\geq z$，则$y-\min(x,y)=0$，故$\min(x-\min(x,z),0,z-\min(y,z))=0$，对所有素数$p$成立，故gcd=1。

12. 证明：$(a,b,c)(ab,bc,ca)=(a,b)(b,c)(c,a)$

证明：对任意素数$p$，$x\geq y\geq z$，左边指数为$\min(x,y,z)+\min(x+y,y+z,z+x)=z+y+z=y+2z$；右边指数为$\min(x,y)+\min(y,z)+\min(z,x)=y+z+z=y+2z$，指数相等，故等式成立。

13. 证明：$(a,[b,c])=[(a,b),(a,c)]$

证明：对任意素数$p$，左边指数$\min(x,\max(y,z))$，右边指数$\max(\min(x,y),\min(x,z))$，分情况验证二者相等，故等式成立。

14. 证明：$[a,(b,c)]=([a,b],[a,c])$

证明：对任意素数$p$，左边指数$\max(x,\min(y,z))$，右边指数$\min(\max(x,y),\max(x,z))$，分情况验证二者相等，故等式成立。

15. 证明：

(i) $([a,b],[b,c],[c,a])=[(a,b),(b,c),(c,a)]$；
(ii) $(a,b)(b,c)(c,a)[a,b,c]^2=[a,b][b,c][c,a](a,b,c)^2$。

证明：
(i) 对任意素数$p$，左边指数$\min(\max(x,y),\max(y,z),\max(z,x))$，右边指数$\max(\min(x,y),\min(y,z),\min(z,x))$，不妨设$x\geq y\geq z$，二者均等于$y$，故等式成立。
(ii) 对任意素数$p$，左边指数$\min(x,y)+\min(y,z)+\min(z,x)+2\max(x,y,z)$，右边指数$\max(x,y)+\max(y,z)+\max(z,x)+2\min(x,y,z)$，二者均等于$2x+y+2z$（$x\geq y\geq z$），故等式成立。

16. 费马小定理应用

(i) 若$(13,ab)=1$，则$13|a^{12}-b^{12}$；
(ii) 若$(91,ab)=1$，则$91|a^{12}-b^{12}$；
(iii) 对任意整数$n$，有$2730|n^{13}-n$。

证明：
(i) $(13,ab)=1$，故$(13,a)=(13,b)=1$，由费马小定理$a^{12}\equiv1\pmod{13}$，$b^{12}\equiv1\pmod{13}$，故$a^{12}-b^{12}\equiv0\pmod{13}$。
(ii) $91=7\times13$，$(91,ab)=1$，故$(7,ab)=(13,ab)=1$。由费马小定理，$a^6\equiv1\pmod{7}$，故$a^{12}\equiv1\pmod{7}$，同理$b^{12}\equiv1\pmod{7}$，故$7|a^{12}-b^{12}$；结合(i)的$13|a^{12}-b^{12}$，得$91|a^{12}-b^{12}$。
(iii) $2730=2\times3\times5\times7\times13$，由费马小定理，对素数$p\in\{2,3,5,7,13\}$，$n^p\equiv n\pmod{p}$，故$n^{13}\equiv n\pmod{p}$，即$p|n^{13}-n$。因素数两两互素，故$2730|n^{13}-n$。

17. 素数无穷多证明

题干：设$p_1,\dots,p_n$是两两不同的素数，$A_r$是其中$r$个素数的乘积。证明：任一$p_j$都不能整除$\frac{p_1\cdots p_n}{A_r} + A_r$，由此推出素数有无穷多个。

证明：

若$p_j\in A_r$，则$A_r=p_j\cdot B$，$\frac{p_1\cdots p_n}{A_r}$不含因子$p_j$，故$\frac{p_1\cdots p_n}{A_r} + A_r \equiv \text{非0} + 0 \not\equiv0\pmod{p_j}$；
若$p_j\notin A_r$，则$A_r$不含因子$p_j$，$\frac{p_1\cdots p_n}{A_r}$含因子$p_j$，故$\frac{p_1\cdots p_n}{A_r} + A_r \equiv 0 + \text{非0} \not\equiv0\pmod{p_j}$。

反设素数只有$p_1,\dots,p_n$，取$r=1$，$A_r=p_1$，则$N=\frac{p_1\cdots p_n}{p_1}+p_1=p_2\cdots p_n+p_1$，所有$p_j$都不整除$N$，故$N$的素因子不在$p_1,\dots,p_n$中，矛盾，故素数有无穷多个。

18. 欧拉函数与欧拉定理

(i) 设$p$是素数，证明$\varphi(p^k)=(p-1)p^{k-1}$；
(ii) 若$p\nmid a$，证明$p^k|a^{\varphi(p^k)}-1$。

证明：
(i) $1\sim p^k$中与$p^k$不互素的数是$p$的倍数，共$p^{k-1}$个，故$\varphi(p^k)=p^k-p^{k-1}=(p-1)p^{k-1}$。
(ii) 由欧拉定理，若$(a,m)=1$，则$a^{\varphi(m)}\equiv1\pmod{m}$。此处$m=p^k$，$(a,p^k)=1$，故$a^{\varphi(p^k)}\equiv1\pmod{p^k}$，即$p^k|a^{\varphi(p^k)}-1$。

19. 卡迈克尔函数性质

题干：设$m=p_1^{k_1}\cdots p_r^{k_r}$，$\lambda(m)=[\varphi(p_1^{k_1}),\dots,\varphi(p_r^{k_r})]$。证明：若$(a,m)=1$，则$m|a^{\lambda(m)}-1$。

证明：对每个$p_j^{k_j}$，$\varphi(p_j^{k_j})|\lambda(m)$，由第18题，$p_j^{k_j}|a^{\varphi(p_j^{k_j})}-1$，故$p_j^{k_j}|a^{\lambda(m)}-1$。因$p_j^{k_j}$两两互素，故$m|a^{\lambda(m)}-1$。

20. 2的幂次模性质

题干：设$2\nmid a$，$k_0\geq3$，证明$2^{k_0}|a^{2^{k_0-2}}-1$，并推广到一般$m$。

证明：用数学归纳法：

$k_0=3$时，$a$是奇数，$a^2-1=(a-1)(a+1)$，两个连续偶数，故$8|a^2-1$，成立；
假设$k_0=n$时成立，即$2^n|a^{2^{n-2}}-1$，设$a^{2^{n-2}}=1+2^n t$，则$a^{2^{n-1}}=(1+2^n t)^2=1+2^{n+1}t+2^{2n}t^2$，故$2^{n+1}|a^{2^{n-1}}-1$，归纳成立。

推广：若$m=2^{k_0}p_1^{k_1}\cdots p_r^{k_r}$，$(a,m)=1$，则$m|a^{\lambda_1(m)}-1$，其中$\lambda_1(m)=[2^{k_0-2},\varphi(p_1^{k_1}),\dots,\varphi(p_r^{k_r})]$，证明同第19题。

21. 证明：$m>1$时，$m\nmid2^m-1$

证明：反设存在$m>1$，$m|2^m-1$，则$m$是奇数。设$p$是$m$的最小素因子，则$2^m\equiv1\pmod{p}$。设$d$是2模$p$的阶，则$d|m$且$d|p-1$，故$d|\gcd(m,p-1)$。因$p$是$m$的最小素因子，$\gcd(m,p-1)=1$，故$d=1$，即$2^1\equiv1\pmod{p}$，得$p|1$，矛盾，故$m\nmid2^m-1$。

22. 高斯引理（本原多项式）

(i) 整系数多项式$f(x),g(x)$的系数gcd的乘积等于乘积多项式的系数gcd；
(ii) 有理系数多项式可唯一分解为本原多项式的乘积。

证明：
(i) 设$f(x)=d_1f_1(x)$，$g(x)=d_2g_1(x)$，$f_1,g_1$是本原多项式（系数gcd=1）。反设$f_1g_1$的系数gcd$>1$，取素数$p|d$，设最小的$i_0$使得$p\nmid a_{i_0}'$，最小的$j_0$使得$p\nmid b_{j_0}'$，则$c_{i_0+j_0}'=a_{i_0}'b_{j_0}'+\text{其他被p整除的项}$，不被$p$整除，矛盾。故$f_1g_1$是本原的，乘积多项式的系数gcd为$d_1d_2$。
(ii) 存在性：有理系数多项式可通分为有理数乘本原多项式，由(i)，本原多项式的乘积是本原的，故可分解；唯一性：若有两组分解，则系数比为$\pm1$，结合最高次项系数为正，故唯一。

23. 算术数列中的既约数

题干：设$(a,b)=1$，证明算术数列$a+kb$中有无穷多个数与$m$既约。

证明：设$m$的素因子为$p_1,\dots,p_t$。对$p_i|b$，因$(a,b)=1$，故$p_i\nmid a$，对任意$k$，$p_i\nmid a+kb$；对$p_i\nmid b$，同余式$a+kb\equiv0\pmod{p_i}$仅有解$k\equiv -ab^{-1}\pmod{p_i}$。根据中国剩余定理，存在无穷多$k$避开这些同余类，对应的$a+kb$与$m$既约。

24. 证明：$a>b>0,n>1$时，$a^n-b^n\nmid a^n+b^n$

证明：反设$a^n-b^n|a^n+b^n$，则$a^n-b^n|(a^n+b^n)-(a^n-b^n)=2b^n$。设$d=(a,b)$，$a=da_1,b=db_1$，$(a_1,b_1)=1$，则$a^n-b^n=d^n(a_1^n-b_1^n)$，$2b^n=2d^nb_1^n$，故$a_1^n-b_1^n|2$。但$a_1>b_1\geq1$，$a_1^n-b_1^n\geq2^n-1\geq3>2$，矛盾，故$a^n-b^n\nmid a^n+b^n$。

25. 幂差的gcd恒等式

题干：$a>b\geq1,n>1$，证明：$\left( \frac{a^n-b^n}{a-b}, a-b \right) = \left( n(a,b)^{n-1}, a-b \right)$。

证明：$\frac{a^n-b^n}{a-b}=a^{n-1}+a^{n-2}b+\dots+b^{n-1}$，令$t=a-b$，则$a\equiv b\pmod{t}$，故和式$\equiv nb^{n-1}\pmod{t}$。因此$\left( \frac{a^n-b^n}{a-b}, a-b \right)=(nb^{n-1},a-b)$。又$(b,a-b)=(a,b)=d$，故$(b^{n-1},a-b)=(d^{n-1},a-b)$，因此$(nb^{n-1},a-b)=(nd^{n-1},a-b)$，得证。

26. 伪素数

(i) 若$n|2^n-2$，$n$不一定是素数，反例$n=341=11\times31$，$341|2^{341}-2$；
(ii) 若$n|2^n-2$，则$m=2^n-1|2^m-2$；
(iii) $n=161038=2\times73\times1103$，验证得$161038|2^{161038}-2$。

27. 绝对伪素数

(i) $561=3\times11\times17$是绝对伪素数（对任意$a$，$561|a^{561}-a$），$341$不是（$341\nmid3^{341}-3$）；
(ii) 若$q_1=6m+1,q_2=12m+1,q_3=18m+1$均为素数，则$n=q_1q_2q_3$是绝对伪素数，例$m=1$时$n=1729$，$m=6$时$n=294409$。

28. 证明：存在无穷多$n$使得$n|2^n+1$

证明：用归纳法构造，$n=3$时$3|2^3+1=9$；假设$n=3^k$满足$3^k|2^{3^k}+1$，则$2^{3^k}=-1+3^k t$，$2^{3^{k+1}}=(2^{3^k})^3=-1+3^{k+1}t+\dots$，故$3^{k+1}|2^{3^{k+1}}+1$。因此$n=3^k$（$k\geq1$）均满足条件，有无穷多个。

29. 递推伪素数

(i) 若$n|2^n+2$，$n-1|2^n+1$，则$m=2^n+2$满足$m|2^m+2$，$m-1|2^m+1$；
(ii) 由(i)，从$n=2$开始递推$2,6,66,\dots$，有无穷多$n$使得$n|2^n+2$。

30. 证明：存在无穷多合数$n$，使得对任意$a$，$n|a^{n-1}-a$

证明：由第27题(ii)，存在无穷多$m$使得$q_1=6m+1,q_2=12m+1,q_3=18m+1$均为素数，对应的$n=q_1q_2q_3$是绝对伪素数，满足$n|a^n-a=a(a^{n-1}-1)$，对任意$a$成立，故存在无穷多这样的合数。

31. 模的负指数（阶）性质

设$\delta_m^-(a)$是满足$m|a^d+1$的最小正整数，$\delta_m^+(a)$是满足$m|a^d-1$的最小正整数，证明：
(i) 若$m|a^h\pm1$，则$\delta_m^-(a)|h$；
(ii) $m=2$时，$\delta_2^+(a)=\delta_2^-(a)=1$；
(iii) $m>2$时，$\delta_m^+(a)=2\delta_m^-(a)$；
(iv) $m>2$时，$m|a^h+1$的充要条件是$h=q\delta_m^-(a)$，$q$为奇数。

证明：
(i) 设$h=q\delta_m^-(a)+r$，$0\leq r<\delta_m^-(a)$，则$a^h\equiv(-1)^q a^r\equiv\pm1\pmod{m}$，推出$a^r\equiv\pm1$，由最小性得$r=0$，故$\delta_m^-(a)|h$。
(ii) $m=2$，$a$是奇数，$a^1\equiv1\pmod{2}$，$a^1+1\equiv0\pmod{2}$，故$\delta_2^+(a)=\delta_2^-(a)=1$。
(iii) $a^{\delta_m^-(a)}\equiv-1\pmod{m}$，故$a^{2\delta_m^-(a)}\equiv1\pmod{m}$，故$\delta_m^+(a)|2\delta_m^-(a)$；又$a^{\delta_m^-(a)}\equiv-1\neq1$，故$\delta_m^+(a)\nmid\delta_m^-(a)$，因此$\delta_m^+(a)=2\delta_m^-(a)$。
(iv) 必要性：$m|a^h+1$，由(i)得$h=q\delta_m^-(a)$，故$a^h\equiv(-1)^q\equiv-1$，得$q$为奇数；充分性：$h=q\delta_m^-(a)$，$q$奇数，则$a^h\equiv(-1)^q=-1\pmod{m}$，故$m|a^h+1$。

32. 3的幂次模性质

(i) 对任意正整数$k$，$3^k|2^{3^{k-1}}+1$，$3^{k+1}\nmid2^{3^{k-1}}+1$；
(ii) $3^k|2^s+1$的充要条件是$2\nmid s$且$3^{k-1}|s$。

证明：
(i) 归纳法：$k=1$时$3|2^1+1=3$，$9\nmid3$，成立；假设$k=n$时成立，$2^{3^{n-1}}=-1+3^n t$，$3\nmid t$，则$2^{3^n}=(-1+3^n t)^3=-1+3^{n+1}t+\dots$，故$3^{n+1}|2^{3^n}+1$，且$3^{n+2}\nmid2^{3^n}+1$，归纳成立。
(ii) 必要性：$3^k|2^s+1$，故$2^s\equiv-1\pmod{3}$，得$s$为奇数；由(i)，$\delta_{3^k}^-(2)=3^{k-1}$，故$3^{k-1}|s$。充分性：$s$为奇数，$3^{k-1}|s$，设$s=3^{k-1}q$，$q$奇数，则$2^s=(2^{3^{k-1}})^q\equiv(-1)^q=-1\pmod{3^k}$，故$3^k|2^s+1$。

初等数论习题完整解答

以下是所有习题的详细推导与证明，核心基于最大公约数理论、辗转相除法、贝祖定理、同余与平方剩余、十进制小数循环性等初等数论核心知识点。

第一部分习题解答

1. 证明：从定理8(ii)成立可推出定理8(i)成立

定理回顾

定理8(ii)：设$a_1,\dots,a_k$是不全为零的整数，则存在整数$x_1,\dots,x_k$，使得$(a_1,\dots,a_k) = a_1x_1 + a_2x_2 + \dots + a_kx_k$。
定理8(i)：$(a_1,\dots,a_k) = \min\left\{ s = a_1x_1+\dots+a_kx_k \mid x_j\in\mathbb{Z},\ s>0 \right\}$。

证明

记$g=(a_1,\dots,a_k)$，$S$为所有$a_1,\dots,a_k$的正整系数线性组合构成的集合。由定理8(ii)，$g\in S$，故$S$非空。
设$s_0$是$S$中的最小正整数，只需证明$g=s_0$：
- 一方面，$g$是$a_1,\dots,a_k$的公约数，故$g$整除任意整系数线性组合，因此$g\mid s_0$，得$g\leq s_0$。
- 另一方面，对任意$a_j$，由带余除法，$a_j = q s_0 + r_j$，$0\leq r_j<s_0$。则$r_j = a_j - q s_0$，仍是$a_1,\dots,a_k$的线性组合。若$r_j>0$，则$r_j\in S$，与$s_0$是最小元矛盾，故$r_j=0$，即$s_0\mid a_j$对所有$j$成立。因此$s_0$是$a_1,\dots,a_k$的公约数，得$s_0\leq g$。
综上$g=s_0$，定理8(i)成立。

2. 设$n,a,b,c$是正整数，$(b,c)=1$。证明：若$c\mid n!$，则$c\mid a(a+b)(a+2b)\cdots(a+(n-1)b)$。

证明

由$(b,c)=1$，$b$在模$c$下存在逆元$b^{-1}$，即存在整数$k$使得$bk\equiv1\pmod{c}$。
记乘积$P = a(a+b)(a+2b)\cdots(a+(n-1)b)$，两边乘$b^n$得：
\[b^n P = ab\cdot(ab+b^2)\cdot(ab+2b^2)\cdots(ab+(n-1)b^2) \]
模$c$化简得：$b^n P \equiv (ab)(ab+1)(ab+2)\cdots(ab+n-1)\pmod{c}$。
右边是$n$个连续整数的乘积，必被$n!$整除，即$n!\mid (ab)(ab+1)\cdots(ab+n-1)$。结合题设$c\mid n!$，得$c\mid (ab)(ab+1)\cdots(ab+n-1)$，即$c\mid b^n P$。
由$(b,c)=1$得$(b^n,c)=1$，根据互素的整除消去性质，得$c\mid P$，命题得证。

3. 设$a_1<a_2<a_3<\dots$是一个无穷正整数数列。证明：在这个数列中一定存在两个数$a_s,a_t$，使得有无穷多个$a_n$可表示为$a_n = x a_s + y a_t$，$x,y$是整数。

证明

取定数列首项$a_1$，考虑数列中所有项模$a_1$的余数，余数的可能取值为$0,1,\dots,a_1-1$，共$a_1$个剩余类。
数列是无穷正整数列，由鸽巢原理，至少存在一个剩余类$r$，包含数列中的无穷多项，记这些项为$a_{n_1},a_{n_2},\dots$，满足$a_{n_k}\equiv r\pmod{a_1}$。
取该剩余类中的任意一项$a_t$，则$a_t\equiv r\pmod{a_1}$。对该剩余类中任意无穷多的$a_n$，有$a_n \equiv r \equiv a_t\pmod{a_1}$，故$a_1\mid (a_n - a_t)$，即存在整数$x$使得$a_n - a_t = x a_1$，整理得：
\[a_n = x a_1 + 1\cdot a_t \]
取$a_s=a_1$，$y=1$，即满足要求，因此存在$a_s,a_t$使得无穷多个$a_n$可表示为$x a_s + y a_t$的形式。

4. 在例8中，当$(n,k)=d>1$时，若按条件(i)(ii)对集合$M=\{1,2,\dots,n-1\}$中的每个数涂一种颜色，问$M$中的数最多可涂上几种颜色？

例8条件回顾
(i) $i$和$n-i$同色；(ii) 当$i\neq k$时，$i$和$|k-i|$同色。

解答
设$d=(n,k)$，令$n=d n'$，$k=d k'$，则$(n',k')=1$。

对任意$i\in M$，记$i$模$d$的余数为$r=i\bmod d$。由条件(i)(ii)，同色的数的模$d$余数只能是$r$或$-r\pmod{d}$，即余数$r$和$d-r$属于同一个颜色类。
对每个固定的余数类，代入条件后可转化为$(n',k')=1$的例8情形，因此每个余数类内的所有数必同色。
模$d$的余数可分为：
- 余数$0$：1个独立颜色类；
- 余数对$\{r,d-r\}$，$r=1,2,\dots,\lfloor(d-1)/2\rfloor$：每个对对应1个颜色类；
- 若$d$为偶数，余数$d/2$：1个独立颜色类。

综上，最多可涂的颜色数为$\boldsymbol{\left\lfloor \frac{d}{2} \right\rfloor + 1 = \left\lceil \frac{d+1}{2} \right\rceil}$（$d$为奇数时为$\frac{d+1}{2}$，$d$为偶数时为$\frac{d}{2}+1$）。

5. 证明：$13\mid a^2-7b^2$的充要条件是$13\mid a$，$13\mid b$。

证明

充分性：若$13\mid a$且$13\mid b$，则$13\mid a^2$，$13\mid 7b^2$，故$13\mid a^2-7b^2$，充分性成立。
必要性：反设$13\mid a^2-7b^2$，且$13$不整除$a,b$中至少一个。若$13\mid b$，则$13\mid a^2$，得$13\mid a$，与反设矛盾，故$(b,13)=1$，$b$在模13下有逆元。
由$a^2\equiv7b^2\pmod{13}$，两边乘$b^{-2}$得$(ab^{-1})^2\equiv7\pmod{13}$，即7是模13的平方剩余。
枚举模13的平方剩余：$0^2\equiv0,1^2\equiv1,2^2\equiv4,3^2\equiv9,4^2\equiv3,5^2\equiv12,6^2\equiv10$，平方剩余集合为$\{0,1,3,4,9,10,12\}$，7不在其中，矛盾。因此反设不成立，$13\mid a$且$13\mid b$。

综上，命题得证。

6. 设$1\leq a<b$，$(a,b)=1$。证明：

(i) 既约分数$a/b$是十进制纯循环小数的充要条件是$(b,10)=1$。

证明

必要性：若$a/b$是纯循环小数，则存在正整数$t$，使得$a/b = \frac{C}{10^t-1}$（$C$为$t$位整数），即$a(10^t-1)=bC$。由$(a,b)=1$得$b\mid 10^t-1$，故$10^t\equiv1\pmod{b}$，因此$(b,10)=1$。
充分性：若$(b,10)=1$，由欧拉定理，存在$t=\varphi(b)$使得$10^t\equiv1\pmod{b}$，即$b\mid 10^t-1$。设$10^t-1=bk$，则$a/b = \frac{ak}{10^t-1}$。因$a<b$，故$ak<10^t-1$，即$ak$是$t$位整数，因此$a/b$是纯循环小数。

(ii) 若$a/b$是纯循环小数，最小的循环节为$t_0$，则$t_0$恰好是使$b\mid 10^d -1$成立的最小正整数$d$。

证明
由(i)的证明，$a/b$是循环节为$t$的纯循环小数当且仅当$b\mid 10^t-1$。因此最小的循环节$t_0$，就是满足$b\mid 10^d-1$的最小正整数$d$（即10模$b$的阶）。

7. 设$1\leq a<b$，$(a,b)=1$。证明：

(i) $b$可唯一地表示为$2^\alpha \cdot5^\beta \cdot b_1$的形式，其中$\alpha,\beta,b_1$为正整数，且$(b_1,10)=1$。

证明
由算术基本定理，对$b$做素因子分解，其素因子仅能为2、5和与10互素的素数，因此可唯一分解为$b=2^\alpha 5^\beta b_1$，其中$b_1$不含素因子2和5，即$(b_1,10)=1$，分解的唯一性由算术基本定理保证。

(ii) 当$\alpha=\beta=0$时，$a/b$是十进制纯循环小数，即第6题的情形。

证明
当$\alpha=\beta=0$时，$b=b_1$，故$(b,10)=1$，由第6题(i)，$a/b$是纯循环小数。

(iii) 当$b_1=1$时，$a/b$是有限小数。

证明
当$b_1=1$时，$b=2^\alpha 5^\beta$，取$\gamma=\max(\alpha,\beta)$，则$10^\gamma \cdot \frac{a}{b} = 2^{\gamma-\alpha}5^{\gamma-\beta}a$是整数，因此$\frac{a}{b} = \frac{C}{10^\gamma}$（$C$为整数），是有限小数。

(iv) 当$\gamma=\max(\alpha,\beta)>0$，$b_1>1$时，$a/b$是十进制混循环小数，最小的不循环位数$s_0=\gamma$，最小的循环节$t_0$等于使$b_1\mid 10^d -1$成立的最小正整数$d$。

证明

取$\gamma=\max(\alpha,\beta)$，则$10^\gamma \cdot \frac{a}{b} = \frac{C}{b_1}$，其中$C=2^{\gamma-\alpha}5^{\gamma-\beta}a$，且$(C,b_1)=1$。由$(b_1,10)=1$，$\frac{C}{b_1}$是纯循环小数，设为$k + 0.\dot{c_1}c_2\cdots\dot{c_{t_0}}$，因此$\frac{a}{b} = 0.d_1d_2\cdots d_\gamma \dot{c_1}c_2\cdots\dot{c_{t_0}}$，是混循环小数。
最小性证明：若存在更小的不循环位数$s<\gamma$，则$10^s \cdot \frac{a}{b}$是纯循环小数，故其分母与10互素，推出$s\geq\alpha$且$s\geq\beta$，即$s\geq\gamma$，矛盾，故最小不循环位数为$\gamma$。循环节的最小性由第6题(ii)得证。

第二部分习题解答

1. 用辗转相除法求以下数组的最大公约数，并把它表示为这些数的整系数线性组合

(i) $15,21,-35$

解答

求gcd：
- $(15,21)$：$21=1\times15+6$，$15=2\times6+3$，$6=2\times3+0$，故$(15,21)=3$；
- $(3,-35)$：$35=11\times3+2$，$3=1\times2+1$，$2=2\times1+0$，故$(3,-35)=1$；
- 最终$(15,21,-35)=\boldsymbol{1}$。
线性组合表示：
- 先将3表示为15和21的组合：$3=15-2\times6=15-2\times(21-1\times15)=3\times15-2\times21$；
- 再将1表示为3和-35的组合：$1=3-1\times2=3-1\times(35-11\times3)=12\times3-1\times35$；
- 代入得：$1=12\times(3\times15-2\times21) -1\times35 = \boldsymbol{36\times15 -24\times21 -1\times35}$。
  验证：$36\times15 -24\times21 -35 = 540-504-35=1$，正确。

(ii) $210,-330,1155$

解答

求gcd：
- $(210,-330)$：$330=1\times210+120$，$210=1\times120+90$，$120=1\times90+30$，$90=3\times30+0$，故$(210,-330)=30$；
- $(30,1155)$：$1155=38\times30+15$，$30=2\times15+0$，故$(30,1155)=15$；
- 最终$(210,-330,1155)=\boldsymbol{15}$。
线性组合表示：
- 先将30表示为210和-330的组合：$30=120-1\times90=2\times(330-1\times210)-1\times210=2\times330-3\times210=-2\times(-330)-3\times210$；
- 再将15表示为30和1155的组合：$15=1155-38\times30$；
- 代入得：$15=1155-38\times(-2\times(-330)-3\times210) = \boldsymbol{114\times210 +76\times(-330) +1\times1155}$。
  验证：$114\times210 +76\times(-330) +1155=23940-25080+1155=15$，正确。

2. 设$a>1$，证明：

(i) $(a^m -1, a^n -1) = a^{(m,n)} -1$

证明
设$d=(m,n)$，$m=dm'$，$n=dn'$，$(m',n')=1$。

一方面，$a^d-1\mid a^m-1$且$a^d-1\mid a^n-1$，故$a^d-1\mid (a^m-1,a^n-1)$。
另一方面，设$g=(a^m-1,a^n-1)$，则$a^m\equiv1\pmod{g}$，$a^n\equiv1\pmod{g}$，故$a$模$g$的阶$\delta$整除$m$和$n$，因此$\delta\mid d$，得$a^d\equiv1\pmod{g}$，即$g\mid a^d-1$。

综上，$(a^m-1,a^n-1)=a^{(m,n)}-1$。

(ii) $(a^m - (-1)^{m/(m,n)}, a^n - (-1)^{n/(m,n)}) = a^{(m,n)} +1$

证明
设$d=(m,n)$，$m=dm'$，$n=dn'$，$(m',n')=1$，原式化为$(a^{dm'}-(-1)^{m'},a^{dn'}-(-1)^{n'})$。

一方面，$a^d+1\mid a^{dm'}-(-1)^{m'}$（分$m'$奇偶性直接展开验证），故$a^d+1$是原式的公约数。
另一方面，设$g$是原式的公约数，则$a^{dm'}\equiv(-1)^{m'}\pmod{g}$，$a^{dn'}\equiv(-1)^{n'}\pmod{g}$。由$(m',n')=1$，存在整数$x,y$使得$m'x+n'y=1$，代入得$a^d\equiv-1\pmod{g}$，即$g\mid a^d+1$。

综上，原式$=a^{(m,n)}+1$。

(iii) 除去(i)(ii)中的情形，总有$(a^m \pm1, a^n \pm1) = \begin{cases}1, & 2\mid a \\ 2, & 2\nmid a\end{cases}$

证明
设$g=(a^m\pm1,a^n\pm1)$，则$a^{2m}\equiv1\pmod{g}$，$a^{2n}\equiv1\pmod{g}$，故$a^{2(m,n)}\equiv1\pmod{g}$，即$g\mid a^{2d}-1$（$d=(m,n)$）。

若$2\mid a$，则$a^m\pm1$是奇数，故$g$是奇数。若$g>1$，则存在奇素因子$p\mid g$，得$a^d\equiv\pm1\pmod{p}$，结合非(i)(ii)的符号条件，推出$1\equiv-1\pmod{p}$，即$p\mid2$，矛盾，故$g=1$。
若$2\nmid a$，则$a^m\pm1$是偶数，故$2\mid g$。同理，若$g>2$，则存在奇素因子$p\mid g$，推出矛盾，故$g=2$。

3. 设$a>b\geq1$，$(a,b)=1$。证明：$(a^m -b^m, a^n -b^n) = a^{(m,n)} - b^{(m,n)}$

证明
设$d=(m,n)$，$m=dm'$，$n=dn'$，$(m',n')=1$，令$x=a^d$，$y=b^d$，则$(x,y)=1$，需证$(x^{m'}-y^{m'},x^{n'}-y^{n'})=x-y$。

一方面，$x-y\mid x^{m'}-y^{m'}$且$x-y\mid x^{n'}-y^{n'}$，故$x-y$是公约数。
另一方面，设$g=(x^{m'}-y^{m'},x^{n'}-y^{n'})$，则$x^{m'}\equiv y^{m'}\pmod{g}$，$x^{n'}\equiv y^{n'}\pmod{g}$。由$(x,y)=1$得$(y,g)=1$，令$z=xy^{-1}\pmod{g}$，则$z^{m'}\equiv1$，$z^{n'}\equiv1$，结合$(m',n')=1$得$z\equiv1\pmod{g}$，即$x\equiv y\pmod{g}$，故$g\mid x-y$。

综上，$(a^m -b^m, a^n -b^n) = a^{(m,n)} - b^{(m,n)}$。

4. 设$m,n$是正整数，满足$mn\mid m^2+n^2+1$。证明：$m^2+n^2+1=3mn$

证明
由$mn\mid m^2+n^2+1$，存在正整数$k$使得$m^2+n^2+1=kmn$，只需证明$k=3$。
不妨设$m\geq n\geq1$，对$n$用数学归纳法：

基例：$n=1$时，$m\mid m^2+2$，故$m\mid2$，$m=1$或$2$。
- $m=1$：$1\times1\mid1+1+1=3$，得$k=3$，等式$1+1+1=3\times1\times1$成立；
- $m=2$：$2\times1\mid4+1+1=6$，得$k=3$，等式$4+1+1=3\times2\times1$成立。
归纳步：假设$n=t$时结论成立，当$n=t+1$时，设$m\geq t+1$，由$m(t+1)\mid m^2+(t+1)^2+1$，得$(t+1)\mid m^2+1$。
视$m^2 -k(t+1)m + (t+1)^2+1=0$为关于$m$的二次方程，设另一根为$m'$，由韦达定理$m+m'=k(t+1)$，$mm'=(t+1)^2+1$，故$m'=\frac{(t+1)^2+1}{m}\leq t+1$。由归纳假设，$m'^2+(t+1)^2+1=3m'(t+1)$，故$k=3$。

综上，$k=3$，即$m^2+n^2+1=3mn$。

5. 详细写出按第三种途径建立最大公约数理论的过程

第三种途径以辗转相除法为核心起点，先证明两变量的核心定理，再推广到多变量，完整建立最大公约数理论，过程如下：

步骤1：证明辗转相除法的正确性
对任意正整数$u_0>u_1$，反复执行带余除法，有限步后终止于余数为0，最后一个非零余数即为$(u_0,u_1)$。证明核心是带余除法的gcd不变性：$(u_i,u_{i+1})=(u_{i+1},u_{i+2})$，递推得$(u_0,u_1)=(u_{n-1},u_n)=u_n$。
步骤2：证明两变量的定理2（gcd本质属性）
由辗转相除法的结果，$D=(a,b)$满足：(i)$D\mid a,D\mid b$；(ii) 若$d\mid a,d\mid b$，则$d\mid D$，即定理2成立。
步骤3：证明两变量的定理8（贝祖定理）
对辗转相除法的余数链反向回代，可将最终的gcd表示为$a,b$的整系数线性组合，即存在整数$x,y$使得$(a,b)=ax+by$，同时给出贝祖系数的求解算法。
步骤4：推广到多变量的定理4（gcd结合律）
证明$(a_1,a_2,\dots,a_k)=((a_1,a_2),a_3,\dots,a_k)$，核心是公约数集合的等价性：$d$是$a_1,\dots,a_k$的公约数当且仅当$d$是$(a_1,a_2),a_3,\dots,a_k$的公约数。
步骤5：推广到多变量的定理2和定理8
由结合律，多变量gcd可转化为多次两变量gcd计算，因此多变量的gcd本质属性和贝祖定理成立。
步骤6：推导剩余核心定理
基于定理2和定理8，沿用前两种途径的逻辑，依次证明定理3（gcd数乘性质）、定理5（gcd互素消去）、定理6（整除互素消去）、定理7（gcd与lcm乘积关系）、定理1（lcm本质属性），完整建立最大公约数理论。

6. 贝祖系数的构造性算法

(i) 若$g_1\mid a_j(1\leq j\leq k)$，则$g_1=g=(a_1,\dots,a_k)$

证明
若$g_1\mid a_j$对所有$j$成立，则$g_1$是$a_1,\dots,a_k$的公约数，故$g\mid g_1$。同时$g_1$是$a_1,\dots,a_k$的线性组合，故$g_1\mid g$，因此$g_1=g$。

(ii) 若$g_1\nmid a_j$，则存在更小的正线性组合$g_2<g_1$

证明
由带余除法，$a_j=qg_1+r$，$0<r<g_1$。而$g_1=\sum a_i x_{i,1}$，故$r=a_j - q\sum a_i x_{i,1} = \sum a_i x_{i,2}$，即$r$是$a_1,\dots,a_k$的线性组合，取$g_2=r$，则$0<g_2<g_1$。

(iii) 有限步后可得到gcd与贝祖系数

证明
每次得到的$g$都是严格递减的正整数，由最小自然数原理，有限步后必得到$g_t$满足$g_t\mid a_j$对所有$j$成立，此时$g_t=g$，对应的系数即为贝祖系数。

(iv) 用该算法求解第1题

以(i)$15,21,-35$为例：

取初始组合$g_1=15\times1=15$，$15\nmid21$，构造$r=21-1\times15=6$，$g_2=6=21\times1+15\times(-1)$；
$6\nmid15$，构造$r=15-2\times6=3$，$g_3=3=15\times3+21\times(-2)$；
$3\nmid-35$，构造$r=-35+12\times3=1$，$g_4=1=15\times36+21\times(-24)+(-35)\times(-1)$；
$1\mid15,21,-35$，故$g=1$，贝祖系数为$36,-24,-1$，与之前结果一致。

posted on 2026-03-13 17:31 Indian_Mysore 阅读(1) 评论(0) 收藏举报

刷新页面返回顶部

例题序号	核心结论	用到的核心定理	核心应用场景
例1	费马小定理：\(p\mid a^p-a\)；若\((a,p)=1\)，则\(p\mid a^{p-1}-1\)	定理5、定理6、二项式定理、数学归纳法	模运算简化、素性测试、RSA密码体系
例2	gcd运算恒等式：\((a,uv)=(a,(a,u)v)\)；互素时\((a,uv)=(a,u)(a,v)\)	定理2、定理3、定理4、定理5	复杂gcd拆分、整除性推导
例3	有理数的\(k\)次方为整数\(\implies\)该有理数为整数	定理6、有理数既约表示	无理数判定、不定方程求解
例4	gcd幂次性质：\((a^k,b^k)=(a,b)^k\)；互素数乘积为\(k\)次方则各自为\(k\)次方	定理3、定理5、例2结论	大数gcd计算、整数分解、不定方程
例5	模指数的存在性与整除性质：\(m\mid a^h-1 \iff \delta_m(a)\mid h\)	定理6、带余除法、鸽巢原理	原根理论、离散对数、密码学、序列设计

维度	核心内容	本质意义
(i) 算法价值	辗转相除法给出了求两个数gcd的高效、可执行算法	带余除法每一步余数严格递减，有限步必终止，时间复杂度仅为\(O(\log\min(u_0,u_1))\)，是计算机中求gcd的标准实现方案
(ii) 理论价值1	直接证明§4定理2（gcd本质属性）在\(k=2\)时成立	无需额外假设，通过余数递推直接验证gcd的两个核心条件：\(u_n\)是公约数、所有公约数都整除\(u_n\)
(iii) 理论价值2	直接证明§4定理8（贝祖定理）在\(k=2\)时成立，且给出贝祖系数的求解算法	对余数链反向回代，可将最终gcd\(u_n\)表示为\(u_0,u_1\)的整系数线性组合，既证明了贝祖系数的存在性，又给出了可落地的求解方法（扩展欧几里得算法）

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

4.最大公约数理论

最大公约数理论核心知识点详解

一、核心定理逐一定理详解

定理1 最小公倍数的本质性质

定理2 最大公约数的本质性质

定理3 最大公约数的数乘性质

定理4 最大公约数的结合律与分组性质

定理5 最大公约数的互素消去性质

定理6 整除的互素消去性质

定理7 最大公约数与最小公倍数的乘积关系

定理8 最大公约数的线性组合定理（贝祖定理）

二、核心定理归纳总结表

三、第一种证明途径的逻辑链总结

初等数论核心例题深度详解

例1 费马小定理的完整证明

(i) \(p \mid \binom{p}{j},\ 1\leq j\leq p-1\)

(ii) 对任意正整数\(a\)，有\(p\mid a^p -a\)

(iii) 若\((a,p)=1\)，则\(p\mid a^{p-1}-1\)

例2 最大公约数的核心运算恒等式

(i) \((a,uv)=(a,(a,u)v)\)

(ii) \((a,uv)\mid (a,u)(a,v)\)

(iii) 若\((u,v)=1\)，则\((a,uv)=(a,u)(a,v)\)

例3 有理数的整数幂判定定理

例4 最大公约数的幂次性质

(i) \((a^k,b^k)=(a,b)^k\)

(ii) 设\(a,b\)是正整数，若\((a,b)=1\)且\(ab=c^k\)，则\(a=(a,c)^k\)，\(b=(b,c)^k\)

例5 模指数（阶）的定义与核心性质

(i) 存在正整数\(d\leq m-1\)，使得\(m\mid a^d -1\)

(ii) 设\(d_0\)是满足(i)的最小正整数\(d\)，则\(m\mid a^h -1\ (h\geq1)\)的充要条件是\(d_0\mid h\)

核心例题知识点归纳表

最大公约数理论：证明的第二种途径 深度详解

一、核心前提与定理8的完整证明

基础定义回顾

定理8的详细证明拆解

步骤1：证明集合\(S\)中存在正整数

步骤2：最小自然数原理保证最小正整数存在

步骤3：证明\(s_0\)是\(a_1,\dots,a_k\)的公约数

步骤4：矛盾推导，证明\(r_j=0\)

步骤5：证明\(s_0\)是最大公约数

步骤6：贝祖等式的成立性

二、由定理8推导其余7个核心定理

定理2（gcd的本质属性）的证明

定理3（gcd的数乘性质）的证明

定理4（gcd的结合律与分组性质）的证明

定理5（gcd的互素消去性质）的证明

定理6（整除的互素消去性质）的证明

定理7（gcd与lcm的乘积关系）的证明

定理1（lcm的本质属性）的证明

三、第二种证明途径的核心总结

1. 完整逻辑链

2. 与第一种途径的核心对比

3. 核心优势

贝祖定理应用例题深度详解

例6 互素整数的线性组合遍历性

题干

详细证明拆解

核心意义与应用

例7 素数整除性的反证法证明

题干

详细证明拆解（反证法+贝祖定理）

步骤1：反设与初步推导

步骤2：贝祖定理构造同余逆元

步骤3：转化为单变量平方剩余问题

步骤4：平方剩余验证，推出矛盾

补充结论与方法对比

例8 组合数论染色问题

题干

核心证明思路

详细证明拆解

步骤1：线性组合表示

步骤2：分情形证明\(i\)与\(k\)同色

步骤3：结论

核心意义

两种证明途径的最终总结

最大公约数理论：证明的第三种途径 深度详解

一、核心前置基石：§3 定理5（辗转相除法核心结论）

二、第三种途径的完整逻辑链详解

分支1：从两变量gcd本质到多变量gcd本质

分支2：从两变量贝祖定理到多变量贝祖定理

最大公约数理论：证明的第二种途径深度详解

最大公约数理论：证明的第三种途径深度详解

11-32题完整解答