## 最大公约数
-最大公约数即为 Greatest Common Divisor,常缩写为 gcd
+最大公约数即为 Greatest Common Divisor,常缩写为 gcd 。
在[素数](/math/prime)一节中,我们已经介绍了约数的概念。
设 $d|b\ \ \ d|(a \bmod b)$ ,我们还是可以像之前一样得到以下式子 $\frac{a\bmod b}{d}=\frac{a}{d}-\frac{b}{d}k$ $\frac{a\bmod b}{d}+\frac{b}{d}k=\frac{a}{d}$ 因为左边式子显然为整数,所以 $\frac{a}{d}$ 也为整数,即 $d|a$ ,所以 $b,a\bmod b$ 的公约数也是 $a,b$ 的公约数。
-既然两式公约数都是相同的,那么最大公约数也会相同
+既然两式公约数都是相同的,那么最大公约数也会相同。
所以得到式子 $\gcd(a,b)=\gcd(b,a\bmod b)$
### 多个数的
-可以发现,当我们求出两个数的 $gcd$ 时,求最小公倍数是 $O(1)$ 的复杂度。那么对于多个数,我们其实没有必要求一个共同的最大公约数再去处理,最直接的方法就是,当我们算出两个数的 $gcd$ ,或许在求多个数的 $gcd$ 时候,我们将它放入序列对后面的数继续求解,那么,我们转换一下,直接将最小公倍数放入序列即可
+可以发现,当我们求出两个数的 $gcd$ 时,求最小公倍数是 $O(1)$ 的复杂度。那么对于多个数,我们其实没有必要求一个共同的最大公约数再去处理,最直接的方法就是,当我们算出两个数的 $gcd$ ,或许在求多个数的 $gcd$ 时候,我们将它放入序列对后面的数继续求解,那么,我们转换一下,直接将最小公倍数放入序列即可。
## 扩展欧几里得定理
-扩展欧几里德定理(Extended Euclidean algorithm , EXGCD),常用于求 $ax+by=\gcd(a,b)$ 的一组可行解
+扩展欧几里德定理(Extended Euclidean algorithm , EXGCD),常用于求 $ax+by=\gcd(a,b)$ 的一组可行解。
## 证明