朝花夕拾之欧几里得

$gcd(a, b) = gcd(b, a\%b)$.

证明：
设$r = gcd(a, b)$
那么存在 $r|a, r|b$.
又因为$a \% b = a - a/b * b = a - k * b$.
$a - k * b$是$a$和$b$的一个线性组合，因此$r|(a\%b)$。
所以$a$和$b$的公约数同样是$b$和$a \% b$的公约数，那么他们的最大公约数当然也是相同的。

扩展欧几里得

求解$ax + by = gcd(a, b)$的任意解。
令$ax_1 + by_1 = gcd(a, b)$
$bx_2 + (a\%b)y_2$
$= bx_2 + (a- \lfloor\frac{a}{b}\rfloor*b)y_2$
$= b(x_2- \lfloor\frac{a}{b}\rfloor y_2) + ay_2$
$= ax_1 + by_1$
所以得到等式
$y1 = x_2- \lfloor\frac{a}{b}\rfloor y_2$
$x1 = y_2$
当$b = 0$时，返回$x = 1, y = 0$.

以上我们可以得到一组特解，对于通解， 我们只要考虑
当$x$发生变化时，$y$需要改变多少才是有效解。
$x = x_0 + b/Gcd(a, b) * t$
$y = y_0 - a/Gcd(a, b) * t(其中t为任意整数)$

先到这里了，拜拜=v=