数论5-辗转相除法（扩展欧几里得算法）

点个关注吧，谢谢！

目的： 给定整数$a,b;a>b$，通过有限步$n$次带余除法，使得最后的余数为0，而第$n-1$次的余数便是$a,b$的最大公因数。

通过下面一系列带余除法，求得最后余数为0：
$a=b{q}_1+r_1$
$b=r_1{q}_2+r_2$
$r_1=r_2{q}_3+r_3$
$....$
$r_{n-1}=r_n{q}_{n+1}+r_{n+1},r_{n+1}=0$
带余除法的性质知道：$0\le r_{n+1}<r_n<...<r_1<|b|$

通过上述辗转相除法，可得$gcd(a,b)=r_n$。
原理：$gcd(a,b)=gcd(b,r_1),...,=gcd(r_{n-1},r_n)$
因为最后一步$r_{n+1}=0$，所以$gcd(r_{n-1},r_n)=gcd(r_n{q}_{n+1},r_n)=r_n$

现证明：$gcd(a,b)=gcd(b,r_1)$
$gcd(a,b)|a,gcd(a,b)|b,r_1=a-b{q}_1\to gcd(a,b)|r_1,且gcd(a,b)|r,\to gcd(a,b)|gcd(b,r_1)$。
同理$gcd(b,r_1)|gcd(a,b)$
所以$gcd(b,r_1)=gcd(a,b)$

性质：
1.若$a,b$中有负数，直接把负数变为正数来求最大公因数。
证:即需证明$gcd(a,b)=gcd(a,-b)$。
直接用定义证明：设$gcd(a,b)=k$，那么$a=r_{1}k,b=r_{2}k，r_1,r_2互素$
对于$a,-b$，$a=r_{1}k,-b=-r_{2}k；gcd(a,-b)=k$

2.对任意$a,b$，有整数$s,y$使得$gcd(a,b)=xa+yb$
证：利用上述辗转相除法，反推：

$r_1=a-q_{1}b$
$r_2=b-r_1{q}_2=b-(a-q_{1}b)q_2=-q_{2}a+(1+q_1{q}_2)b$
$...$
每一步都能反推，最后得到
$gcd(a,b)=r_n=x_{n}a+y_{n}b$

举例
辗转相除法求$gcd(210,-33)$
$gcd(210,-33)=gcd(210,33)$
$210=33\ast 6+12$
$33=12\ast 2+9$
$12=9\ast 1+3$
$9=3\ast 3+0$
$gcd(210,33)=3$

求$gcd(210,-33)=210x-33y$
$3=12-9\ast 1$
$=12-(33-12\ast 2)\ast 1=-33+12\ast 3$
$=-33+(210-33\ast 6)\ast 3=210\ast 3+(-33)\ast 19$
所以$x=3,y=19$