扩展欧几里得算法（）是欧几里得算法（又叫辗转相除法）的扩展。已知整数a、b，扩展欧几里得算法可以在求得a、b的最大公约数的同时，能找到整数x、y（其中一个很可能是负数），使它们满足贝祖等式如果a是负数，可以把问题转化成通常谈到最大公因数时，我们都会提到一个非常基本的事实（由贝祖定理给出）：给定二个整数a、b，必存在整数x、y使得ax + by = gcd(a,b)。众所周知，已知两个数formula_5和formula_6，对它们进行辗转相除（欧几里得算法），可得它们的最大公约数。不过，在欧几里