欧几里得算法

首先感谢 C20210413 大佬， C20211711LJS 社花大佬，14大佬对于正确使用 $markdown$ 语法给予的帮助

人物介绍

欧几里得：（英文：$Euclid$；希腊文：Ευκλειδης ，约公元前330年—公元前275年），古希腊人，数学家，被称为“几何之父”。他最著名的著作《几何原本》是欧洲数学的基础，提出五大公设，欧几里得几何，被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。

算法本身

欧几里得算法，即辗转相除法，用于求 $a,b$ 两数的最大公约数数------ $\gcd (a,b)$

结论：$\gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$

证明：我们设 $r=a\mathrm{m}\mathrm{o}\mathrm{d}b$，显然 $r$ 也可以表示为 $r=a-k\times b$，其中 $k=a/b$。

假设 $d$ 是 $a,b$ 的一个公约数，则有：$a\mathrm{m}\mathrm{o}\mathrm{d}d=0$，$b\mathrm{m}\mathrm{o}\mathrm{d}d=0$。

设 $a=x\times d,b=y\times d$，且 $x,y$ 为整数。而 $r=a-k\times b$。

所以 $r=x\times d-y\times d\times k=(x-k\times y)\times d$，显然，$x-k\times y$ 为整数。

所以 $r$ 是 $d$ 的倍数。所以 $r\mathrm{m}\mathrm{o}\mathrm{d}d=0$，又因为 $b\mathrm{m}\mathrm{o}\mathrm{d}d=0$，且 $r=a\mathrm{m}\mathrm{o}\mathrm{d}b$。

所以有：$d=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$

根据以上原理，经过一步代换后，一定会出现 $a>b$。以后的每次代换一定会将 $a,b$ 不断的缩小，而当 $b=0$ 时，它们的最大公约数为 $a$。

---

代码实现

int gcd(int a, int b) {
   
	if(b == 0) return a;
	return gcd(b, a % b);
}	

已被严格证明时间复杂度为：$O(\log max(a,b))$

扩展欧几里得算法

简称扩欧。
可以在已知整数 $a,b$ 的情况下求不定方程 $a\times x+b\times y=\gcd (a,b)$ 的一组整数解。

首先，我们来证明一个结论：对于整数 $a,b$，必定存在整数 $x,y$ 满足 $a\times x+b\times y=\gcd (a,b)$。

证明：设 $a\times x1+b\times y1=\gcd (a,b)$，且 $b\times x2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)\times y2=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$。

由欧几里得算法知：$\gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$。

所以 $a\times x1+b\times y1=b\times x2+$