扩展欧几里德（辗转相除法求最大公约数）

1. 欧几里德算法求解最大公约数

1.1 算法过程

欧几里德法又名辗转相除法，可以用于求解两个正整数的最大公约数。他认为，两个正整数的最大公约数等于他们二者中较小的数和较大数与叫较小数取余值的公约数，即，假设有两个正整数 $a$ 和 $b$，且$a\ge b$。用$gcd(a，b)$表示$a$和$b$的最大公约数，则$$gcd(a,b)=gcd(b,a\%b)$$ 其中，$a\%b$ 表示 $a$ 除 $b$ 的余数。

由上述表达式可以发现，欧几里德法将求两个较大值 $a$ 和 $b$ 的最大公约数的问题转为两个相对较小的值 $b$ 和 $a$ % $b$ 求最大公约数的问题。

令$$a_1=a,b_1=b,a_2=b_1,b_2=a_1\%b_1,\cdots ,a_n=b_{n-1},b_n=a_{n-1}\%b_{n-1}$$
则 $a_1和b_1$ 的最大公约数 $$gcd(a_1,b_1)=\cdots =gcd(a_n,b_n)$$如此递归n次，当传入的两个值中，$a_n$为$b_n$的倍数时，就可以很容易得到，$b_n$为二者的最大公约数，同时由于最大公约数相等，可以得出，$a_1和b_1$ 的最大公约数为$b_n$。

1.2 欧几里德法求解最大公约数证明

证明：假设 $c$ 为 $a$ ，$b$ 的最大公约数，则 $c$ 也一定为 $b$， $a$ % $b$ 的最大公约数。

需要证明1和2：

1. 证明 $c$ 为 $b$ 和 $a\%b$ 的公约数。

   设 $c$ 为 $a$ 和 $b$ 的公约数，则存在正整数 $m$ 和 $n$ 使得
   $$a=m\cdot c，b=n\cdot c\text{\hspace{1em}(1.1)}$$同时，根据余数的定义，a%b可以表示为$$a\%b=a-k\cdot b\text{\hspace{1em}(1.2)}$$其中，$k$表示 $a$ 除以 $b$ 向下取整的倍数。

   将公式(1.1)代入公式(1.2)可以得到，$$a\%b=c\cdot (m+k\cdot m)\text{\hspace{1em}(1.3)}$$由此得证c 为a % b 约数，同时$b=n\cdot c$，因此得证 $c$ 为 $b$ 和 $a\%b$ 的公约数。
     

2. 证明 $c$ 为 $b$ 和 $a$ % $b$ 的最大约数。

   我们采用反证法证明，我们假设 $b$ 和 $a$ % $b$ 的存在最大公约数$d$，且$d>c$则存在正整数$x、y$使得$$b=x\cdot d\text{\hspace{1em}(1.4)}$$$$a\%b=y\cdot d\text{\hspace{1em}(1.5)}$$
   将公式(1.4)(1.5)代入公式(1.2)中，$a$可以通过\tag{1.4}$x、y、d$表示为$$a=d\cdot (y+k\cdot x)\text{\hspace{1em}(1.6)}$$根据公式(1.4)(1.6)可以得到，$d为a和b$ 的约数，且 $d>c$，而且在最初的假设条件中 $c$ 为 $a和b$ 的最大公约数，因此与且 $d>c$ 矛盾，所以不存在大于 $c$ 的值 $d$ 为 $b$ 和 $a$ % $b$ 的存在最大公约数，即 $c$ 为 $b$ 和 $a$ % $b$ 的最大约数。

1.3 代码（c语言）

在书写代码过程中，当我们得到$a_n为b_n$的倍数时，我们会再进行一次辗转相除取余的操作，最后得到$a_{n+1}=gcd(a,b),b_{n+1}=0$，此时返回a的值即为所求最大公约数

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

ps：a和b的输入顺序不重要，如果a<b，经过一次函数运行后即会被调整。
 

2. 欧几里德算法求解$a\ast x+b\ast y=1$方程的一组整数解

2.1 算法思想

扩展欧几里德可以用于求解$a\cdot x+b\cdot y=1$的一组整数解，其中$a、b、x、y$均为整数。

第一部分中介绍了通过欧几里得算法求解最大公约数，他通过将求 $a$ 和 $b$ 的最大公约数的问题最终转为一个简单的状态，即一个数为另一个数倍数的时候来求解最大公约数，最终返回，这个过程和我们的递归过程类似。

通过欧几里得求解方程的整数解也是类似的，对于该方程，当$a=\pm 1且b=0$的时候，我们就可以很容易得到方程的解，即$x=\mp 1，y$为任意值。这就是一个简单的状态。

而通过观察方程可以发现，如果 $a$ 和 $b$ 存在大于1的公约数，则提取后等式右边会变成一个分数，那么方程将无整数解。因此，只有当系数 $a$ 和 $b$ 互质，即最大公约数为1时方程才会有整数解。对于两个最大公约数为1的数值，恰巧通过欧几里德法可以不断转换，将两个值转化为1和0，即求解该方程的简单的状态。其中1即为通过欧几里德求得a和b的最大公约数。

2.2 算法原理和过程

假设我们需要求解的是方程为公式：
$$a_1\cdot x_1+b_1\cdot y_1=1\text{\hspace{1em}(2.1)}$$通过欧几里德的规则迭代方程系数，令
$$a_2=b_1，b_2=a_1\%b_1=a_1-k\cdot b_1\text{\hspace{1em}(2.2)}$$可以得到第一个转换后的方程：$$a_2\cdot x_2+b_2\cdot y_2=1\text{\hspace{1em}(2.3)}$$将公式(2.2)代入公式(2.3)，可以得到$$a_1\cdot y_2+b_1\cdot (x_2-k\cdot x_1)=1\text{\hspace{1em}(2.4)}$$其中，$k$表示 $a$ 除以 $b$ 向下取整的倍数。

若我们已知转换后的方程(2.3)的解，即已知$x_2和y_2$的值，对比公式(2.1)和公式(2.4)可以发现，原 方程的解可以由$x_2{y}_2$通过如下运算得到： $$x_1=y_2，y1=x_2-k\cdot y_2\text{\hspace{1em}(2.5)}$$
以上过程中，我们通过对方程系数进行转变，得到一个新的方程，同时通过新方程的解，又可以推算出原方程的解。

因此我们通过不断重复以上过程，可以将方程系数转变到一个简单的转态，即$a_n=1，b_n=0$的时候，此时可以获得第n次转换后的方程的解为，即$x_n=1，y$为任意值，我们可以令$y=0$，并以此为基础不断返回推算出上一个方程解$x_{n-1}，y_{n-1}$的值，直到得到待求方程的整数解$x_1，y_1$的值。

2.3 代码（c语言）

void ex_gcd(int a, int b, int *x, int *y) { //*x和*y用来保存
	if (!b) {
		*x = 1, *y =  0;
		return ;
	}
	ex_gcd(b, a % b, x, y);
	int temp;
	temp = *x;
	*x = *y;
	*y = temp - a / b * (*y);
	return ;
}