1.定义：
1.1.维基百科定义：
已知整数a、b，扩展欧几里得算法可以在求得a、b的最大公约数的同时，能找到整数x、y（其中一个很可能是负数），使它们满足贝祖等式。
1.2.定义总结：
给定两个整数a、b，必存在整数 x、y 使得ax+by=gcd(a,b)
2.扩展欧几里得算法简介：
已知欧几里得算法是辗转相除求两数的最大公约数，我们是在算法中利用的是带余除法所得的余数。而扩展欧几里得算法还利用了带余除法所得的商，这使得我们在辗转相除的同时也能得到贝祖等式中的x、y两个系数。并且以欧几里得算法求得的系数是满足贝祖等式的最简系数。