【Math】最大公约数（gcd）

最大公约数

最大公约数即为 Greatest Common Divisor，常缩写为 gcd。

一组数的公约数，是指同时是这组数中每一个数的约数的数。而最大公约数，则是指所有公约数里面最大的一个。

那么如何求最大公约数呢？我们先考虑两个数的情况。

欧几里德算法

如果我们已知两个数 $a$ 和 $b$ ，如何求出二者的最大公约数呢？

不妨设 $a>b$

我们发现如果 $b$ 是 $a$ 的约数，那么 $b$ 就是二者的最大公约数。
下面讨论不能整除的情况，即 $a=b\times q+r$ ，其中 $r<b$ 。

我们通过证明可以得到 $\gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$ ，过程如下：

---

设 $a=bk+c$ ，显然有 $c=a\mathrm{m}\mathrm{o}\mathrm{d}b$ 。设 $d|ad|b$ ，则 $c=a-bk$ $\frac{c}{d}=\frac{a}{d}-\frac{b}{d}k$ 由右边的式子可知 $\frac{c}{d}$ 为整数，即 $d|c$ 所以对于 $a,b$ 的公约数，它也会是 $a\mathrm{m}\mathrm{o}\mathrm{d}b$ 的公约数。

反过来也需要证明

设 $d|bd|(a\mathrm{m}\mathrm{o}\mathrm{d}b)$ ，我们还是可以像之前一样得到以下式子 $\frac{a\mathrm{m}\mathrm{o}\mathrm{d}b}{d}=\frac{a}{d}-\frac{b}{d}k$ a   m o d   b d + b d k = a d \frac{a\bmod b}{d}+\frac{b}{d}k=\frac{a}{d} damodb​+db​k=