数论第二节：最大公因数与辗转相除法证明

1、最大公因数定义

设$a_1,...,a_n$为n个整数（n≥2），若存在d，使得$d|a_i(1\le i\le n)$，则称d为$a_1,...,a_n$的一个公因数。在$a_1,...,a_n$的所有公因数中最大的那个d，称为最大公因数。最大公因数记为$(a_1,...,a_n)$。

2、最大公因数判别法

方法1：穷举法

列出所有公因数，并找到其中最大的一个。

方法2：整除法

列出所有公因数，若存在$d_k$，使得 d i ∣ d k ( i ∈ { 1 , 2 , . . . , l } d_i|d_k(i∈\{1,2,...,l\} di​∣dk​(i∈{1,2,...,l}恒成立，则$d_k$为最大公因数。
证明：（反证法）
若存在$d_x、d_y（d_x＜d_y）$，满足$d_x|(a_1,...,a_n)$且$d_y|(a_1,...,a_n)$。若$d_x$不能整除$d_y$,则必存在$d_z=d_x\ast d_y$，使得$d_z|(a_1,...,a_n)$，所以结论成立。

3、互质的定义

定义1： 若$(a_1,a_2,...,a_n)=1$，则称$a1,a_2,...,a_n$互质（互素）。
定义2（裴蜀定理推论）： 存在$S_1,S_2,...,S_n\in Z$，使得$S_1\ast a_1+S_2\ast a_2+...+S_n\ast a_n=1$，，则称$a1,a_2,...,a_n$互质（互素）。
定义2证明：(证明思路：带余除法）
设 K = { S 1 ∗ a 1 + S 2 ∗ a 2 + . . . + S n ∗ a n ∣ S i ∈ Z } K=\{S_1*a_1+S_2*a_2+...+S_n*a_n|S_i∈Z\} K={S1​∗a1​+S2​∗a2​+...+Sn​∗an​∣Si​∈Z}，且 k ′ = S 1 ′ ∗ a 1 + S 2 ′ ∗ a 2 + . . . + S n ′ ∗ a n = m i n { S 1 ∗ a 1 + S 2 ∗ a 2 + . . . + S n ∗ a n ∣ S i ∈ Z } k'=S_1'*a_1+S_2'*a_2+...+S_n'*a_n=min\{S_1*a_1+S_2*a_2+...+S_n*a_n|S_i∈Z\} k′=S1′​∗a1​+S2′​∗a2​+...+Sn′​∗an​=min{S1​∗a1​+S2​∗a2​+...+Sn​∗an​∣Si​∈Z}。
对于任意的$k\in K$，都可以将k表示为如下：
$$k=S_1\ast a_1+S_2\ast a_2+...+S_n\ast a_n=(S_1^{\prime }\ast a_1+S_2^{\prime }\ast a_2+...+S_n^{\prime }\ast a_n)\ast q+r$$
显然，r=0 (证明见数论第一节习题2) 。
所以$k^{\prime }|(a_1,a_2,...,a_n)$，因为$a_1,a_2,...,a_n$互质，所以k’=1，证毕。
注意：整体互素不等于两两互素，比如（2,4,7）=1而（2,4）=2，但是反过来成立。
参考链接

4、证：两两互素等于整体互素

方法1：方程证明

已知$a_1,a_2,...,a_n$两两互质，求$S_1,S_2,...,S_n\in Z$，使得$S_1\ast a_1+S_2\ast a_2+...+S_n\ast a_n=1$。
由$(S_1，S_2)=1、(S_1，S_3)=1，...$可列方程如下：

方程相乘，可以得到$x{a}_1+y{a}_2+...+z{a}_n=1$，即两两互素。

方法2：数学归纳法证明

思路较为简单，略。

5、相关定理

定理1：
$a_1,...,a_n$与$|a_1|,|a_2|,...,|a_n|$的公因数相同。
定理2：
$(a_1,...,a_n)=(|a_1|,...,|a_n|)$
定理3：
若b为一个正整数，则
（1）0与b的公因数就是b的因数。
（2）b的因数就是0与b的公因数。
（3）（0，b）=b
推论：$（0，b）=|b|$

定理4(辗转相除法的理论基础)：

证：a,b,c不全为0，且a=bq+c，则（a,b）=（b,c）
证明：
（1）设d∈Z，且$d|a，d|b$。
则$c=a-b\ast p$，由除数的分配率可知$d|c$。
所以：$d|a,d|b=>d|c$。
（2）设d∈Z，且$d|b，d|c$。
则$a=b\ast p+c$，由除数的分配率可知$d|a$。
所以：$d|b,d|c=>d|a$。
于是可以画图如下：

所以，可以容易的理解：(a,b)的公因数域与(b,c)的公因数域相同，所以（a,b）=（b,c）。
定理5：
若a，b不全为0，则：
（1）任意的m为正整数，则$(a\ast m,b\ast m)=(a,b)\ast m$
（2）若m是a,b的任意公因数，$(a/m,b/m)=(a,b)/|m|$
推论：$=>(a/(a,b),b/(a,b))=1$

定理6（求n个数的最大公因数）：

$(a_1,a_2,...,a_n)=d_n$，$d_n$的计算方式如下：
$(a_1,a_2)=d_2$,$(d_2,a_3)=d_3$，以此类推…，$(d_{n-1},a_n)=d_n$。
证明：
公因数证明：
由$(d_{n-1},a_n)=d_n$，可知$d_n|a_n$，$d_n|d_{n-1}$。
由$(d_{n-2},a_{n-1})=d_{n-1}$，可知$d_{n-1}|a_{n-1}$，$d_{n-1}|d_{n-2}$。
…
由$(a_1,a_2)=d_2$，可知$d_2|a_1$，$d_2|a_2$。
然后，只需要证明$d_n|a_1,d_n|a_2,..,d_n|a_n$，就可以证明$d_n$为公因数。
由于$(d_{n-1},a_n)=d_n$，且$(d_{n-2},a_{n-1})=d_{n-1}$，可得$d_n|a_n$、$d_n|a_{n-1}$（整除的传递性）
最大性证明：
假设d为$a_1,a_2,...,a_n$的任意公因数。
$d|a_1,d|a_2=>d|d_2$
$d|d_2,d|a_3=>d|d_4$
…
$d|a_n,d|d_{n-1}=>d|d_n$
由$d|d_n$可知$d_n$是最大公因数。