扩展欧几里得算法-公钥密码数学基础

 欧几里得(Euclid)算法-公钥密码数学基础

        扩展欧几里得算法（简称扩欧）是欧几里得算法（又称辗转相除法）的扩展。扩欧可以在求得 a、b的最大公约数的同时，能找到整数 x、y，使它们满足贝祖等式：ax+by = gcd(a, b) 。如果 a 是负数，可以把问题转化成 |a| (-x) + by = gcd(|a|, b) ，然后令 x' = (-x) 。

        例如 a=6，b=9，使用欧几里得算法我们可以得到 gcd(6, 9) = 3，通过使用扩欧算法，不仅可以计算得到最大公约数 3 ，而且可以得到方程 6x+9y = 3 的整数解 x、y 。

---

贝祖定理

在了解扩展欧几里得算法前需先知道贝祖定理，贝祖定理告诉我们该方程必有整数解，且可以简单证明：

方程 ax+by = c 有整数解 <=>c 是 a 和 b 的最大公约数的倍数，即c mod gcd(a, b) = 0成立。