数论算法——欧几里得算法证明

欧几里得算法（辗转相除法）

$$gcd(a,b)=gcd(b,amodb)$$

证明

必要性：

假设 $A,B$ 是整数，$R$ 是 $A,B$ 的余数，即$R=AmodB$ .

$A,B$ 是整数，所以 $A$ 可以写成
$$\begin{gathered} A=Bq+R \\ \text{\hspace{1em}(1)} \end{gathered}$$
假设 $u$ 是 $A,B$ 的一个公因数，即 $u=(A,B)$ ，则 $A,B$ 可以写成：
$$\begin{gathered} A=a^{\prime }u \\ B=b^{\prime }u\text{\hspace{1em}(2)} \end{gathered}$$
将 $(2)$ 式代入 $(1)$ 式，得：
$$a^{\prime }u=b^{\prime }uq+R\text{\hspace{1em}(3)}$$
整理得:
$$R=u(a^{\prime }-b^{\prime }q)\text{\hspace{1em}(4)}$$
又因为，$a^{\prime },b^{\prime },q$ 均为整数，所以 $a^{\prime }-b^{\prime }q$ 也为整数，则$R可以写成:$
$$R=u{r}^{\prime }\text{\hspace{1em}(5)}$$
所以 $u$ 也是 $R$ 的因数，即 $u$ 是 $A,B,R$ 的公因数，即
$$(A,B)=(B,R)\text{\hspace{1em}(6)}$$
即
$$(A,B)=(B,AmodB)\text{\hspace{1em}(7)}$$
充分性：

同样假设 $v$ 为 $B,R $ 的公因数，即：
$$\begin{gathered} B=b^{\prime }v \\ R=r^{\prime }v\text{\hspace{1em}(8)} \end{gathered}$$
代入 $(1)$ 式得：
$$A=b^{\prime }vq+r^{\prime }v\text{\hspace{1em}(9)}$$
整理得
$$A=v(b^{\prime }q+r^{\prime })\text{\hspace{1em}(10)}$$
即
$$A=v{a}^{\prime }\text{\hspace{1em}(11)}$$
所以，$v$ 为 $A,B,R$ 的公因数。

综上，因为 $u,v$ 均为任意公因数，所以 $(A,B)=(B,R)$ ，即两公因数集合相等，易知集合中的最大值（最大公因数）也相等

得证：$gcd(A,B)=gcd(B,AmodB)$