Extended Euclidean algorithm

求解: $a\cdot x+b\cdot y=gcd(a,b)$

设: $c=b,\ d=a\%b=a-\lfloor\frac{a}{b}\rfloor\cdot b$
$\begin{cases} a\cdot x+b\cdot y=gcd(a,b)\\ c\cdot x’+d\cdot y’=gcd(c,d)=gcd(b,a\%b)=gcd(a,b)\\ \end{cases}$

得:
$\begin{align} a\cdot x+b\cdot y&=c\cdot x’+d\cdot y’\\ &=b\cdot x’+(a-\lfloor\frac{a}{b}\rfloor\cdot b)\cdot y’\\ &=a\cdot y’+b\cdot(x’-\lfloor\frac{a}{b}\rfloor\cdot y’) \end{align}$
$\begin{cases} x=y’\\ y=x’-\lfloor\frac{a}{b}\rfloor\cdot y’\ \end{cases}$

当且仅当: $d=0$时$\begin{cases}x'=1\\y'=0\\\end{cases}$

设: $a\cdot x+b\cdot y=gcd(a,b)$通过Exgcd解得得解为$(x_0,y_0)$

那么:
$a\cdot x+b\cdot y=a\cdot x_0+b\cdot y_0$
$a\cdot(x-x_0)=b\cdot(y_0-y)$

两边同时除以$gcd(a,b)$
$\frac{a}{gcd(a,b)}\cdot(x-x_0)=\frac{b}{gcd(a,b)}\cdot(y_0-y)$

显然: $\frac{a}{gcd(a,b)}$与$\frac{b}{gcd(a,b)}$互质

那么:
$\begin{cases} x-x_0=\frac{b}{gcd(a,b)}\cdot k\\ y_0-y=\frac{a}{gcd(a,b)}\cdot k \end{cases}$

得:
$\begin{cases} x=x_0+\frac{b}{gcd(a,b)}\cdot k\\ y=y_0-\frac{a}{gcd(a,b)}\cdot k \end{cases}$