扩展欧几里得算法求逆元

最近经常会遇到RSA的题目，都会用到扩展欧几里得算法来求逆元，所以去系统的学习了一下这个算法的原理。
先奉上dalao的博客 https://blog.sengxian.com/algorithms/gcd-extgcd

前置说明

a | b 表示：a可以整除b

用途

扩展欧几里得算法是用来求解方程$ax+by=c(a,b,c\in Z)$的

可解条件

$gcd(a,b)|c$

实现

记 exgcd(a, b, x, y) 为求解方程 $ax+by=gcd(a,b)$ 的函数

先考虑边界情况：
当b = 0时，有 ax = gcd(a, 0) 解得$\{\begin{array}{rl}x& =1\\ y& =0\end{array}$
对于一般情况，设 $a^{{}^{\prime }}=a$, $b^{{}^{\prime }}=a\%b$
则有：
$$a^{{}^{\prime }}$$