数论2：最大公因子及其性质

最大公因子及其性质

如果 $A$ 和 $B$ 为不全为 $0$，则它们的公因子的集合是一个有限的整数集，通常包括 $+1$ 和 $-1$，我们对其中最大的那个公因子感兴趣。

定义2

不全为 $0$ 的整数 $A$ 和 $B$ 的最大公因子是指能够同时整除 $A$ 和 $B$ 的最大整数。
$A$ 和 $B$ 的最大公因子记作 $gcd(A,B)$。
$gcd(0,N)=N$，虽然所有的正整数都能整除 $0$，我们还是定义 $gcd(0,0)=0$。（这样可以确保关于最大公因子的相关结论在所有情况下均成立。）
例如：$24$ 和 $84$ 的公因子有 $\pm 1$、$\pm 2$、$\pm 3$、$\pm 4$、$\pm 6$、$\pm 12$，因此 $gcd(24,84)=12$。类似的，通过查看公因子集合，我们有 $gcd(0,44)=44$，$gcd(-6,-15)=3$，$gcd(-17,289)=17$

定义3

设 $A$、$B$ 均为非 $0$ 整数，如果 $A$ 和 $B$ 的最大公因子 $gcd(A,B)=1$，则称 $A$ 与 $B$ 互质。
注意由于 $-A$ 的因子与 $A$ 的因子相同，故有 $gcd(A,B)=gcd(|A|,|B|)$，其中 $ \vert A \vert$ 表示 $A$ 的绝对值，因此，我们只关注正整数对的最大公因子。

定理4

$A$、$B$ 是整数，且 $gcd(A,B)=D$，那么 $gcd(A÷D,B÷D)=1$。

证明

已知 $A$、$B$ 是整数，且 $gcd(A,B)=D$。我们将证明 $A÷D$、$B÷D$ 除了 $1$ 之外没有其他的公因子。假设还有正整数 $E$ 使得 $E\mid (A/D)$ 且 $E\mid (B/D)$。
那么存在整数 $K$ 和 $L$ 使得 $A÷D=KE$，$B÷D=LE$，于是 $A=DEK$，$B=DEL$。因此 $DE$ 是 $A$、$B$ 的公因子，因为 $D$ 是 $A$、$B$ 的最大公因子，故 $DE⩽D$，于是 $E=1$。
因此 $gcd(A÷D,B÷D)=1$。

推论 1

如果 $A$、$B$ 为整数，且 $B\ne 0$，则 $A÷B=P÷Q$，其中 $P$、$Q$ 为整数，且 $gcd(P,Q)=1$，$Q\ne 0$。

证明

假设 $A$、$B$ 为整数且 $B\ne 0$，令 $P=A÷D$，$Q=B÷D$，其中 $D=gcd(A,B)$，则 $P÷Q=(A÷D)÷(B÷D)$，由定理4可知 $gcd(P,Q)=1$，命题得证。

定理5

令 $A$、$B$、$C$ 是整数，那么 $gcd(A+CB,B)=gcd(A,B)$。

证明

令 $E$ 是 $A$、$B$的公因子，由定理2可知 $E\mid (A+CB)$，所以 $E$ 是 $A+CB$ 和 $B$ 的公因子。
如果 $F$ 是 $A+CB$ 和 $B$ 的公因子，由定理2可知 $F$ 整除 $(A+CB)-CB=A$，所以 $F$ 是 $A$、$B$ 的公因子，因此 $gcd(A+CB,B)=gcd(A,B)$。

定义4

如果 $A$、$B$ 是整数，那么它们的线性组合具有形式 $MA+NB$，其中 $M$、$N$ 都是整数。

定理6

两个不全为 $0$ 的整数 $A$、$B$ 的最大公因子是 $A$、$B$ 的线性组合中最小的正整数。

证明

令 $D$ 是 $A$、$B$ 的线性组合中最小的正整数，$D=MA+NB$，其中 $M$、$N$ 是整数，我们将证明 $D\mid A$、$D\mid B$。
由带余除法，得到 $A=DQ+R$，$0⩽R<D$。
由 $A=DQ+R$ 和 $D=MA+NB$，得到 $R=A-DQ=A-Q(MA+NB)=(1-QM)A-QNB$。
这就证明了整数 $R$ 是 $A$、$B$ 的线性组合。因为 $0⩽R<D$，而 $D$ 是 $A$、$B$ 的线性组合中最小的正整数，于是我们得到 $R=0$ （如果 $R\ne 0$，那意味着 $R$ 才是所有线性组合中最小的正整数，这与 $D$ 是所有线性组合中最小的正整数矛盾），因此 $D\mid A$，同理可得，$D\mid B$。
我们证明了 $A$、$B$ 的线性组合中最小的正整数 $D$ 是 $A$、$B$ 的公因子，剩下要证的事它是 $A$、$B$ 的最大公因子，为此只需证明 $A$、$B$ 所有的公因子都能整除 $D$。
由于 $D=MA+NB$，因此如果 $C\mid A$ 且 $C\mid B$，那么由定理2有 $C\mid D$，因此 $D>C$，这就完成了证明。

定义5

令 $A_1$,、$A_2$、$\dots$、$A_N$ 是不全为 $0$ 的整数，这些整数的公因子中最大的整数就是最大公因子。
$A_1$,、$A_2$、$\dots$、$A_N$ 的最大公因子记为 $gcd(A_1,A_2,\dots ,A_N)$。（注意 $A_i$ 在这里面出现的顺序并不影响结果。)

引理1

如果 $A_1$、$A_2$、$\dots$、$A_N$，是不全为 $0$ 的整数，那么 $gcd(A_1,A_2,\dots ,A_{N-1},A_N)=gcd(A_1,A_2,\dots ,gcd(A_{N-1},A_N))$。

证明

$N$ 个整数 $A_1$、$A_2$、$\dots$、$A_N$ 的任意公因子也是 $A_{N-1}$ 和 $A_N$ 的公因子，因此也是 $gcd(A_{N-1},A_N)$ 的因子。
同样 $N-2$ 个整数 $A_1$、$A_2$、$\dots$、$A_{N-2}$ 和 $gcd(A_{N-1},A_N)$ 的公因子也是 $N$ 个整数 $A_1$、$A_2$、$\dots$、$A_N$ 的公因子，因为如果某整数整除 $gcd(A_{N-1},A_N)$，那么它一定同时整除 $A_{N-1}$ 和 $A_N$。
因此，这 $N$ 个整数的公因子由前 $N-2$ 个整数与后两个整数组成的集合的公因子完全相同，它们的最大公因子也一定相同。