欧几里得算法与同余方程

欧几里得算法

　　说起数学家不得不提起欧几里得，而欧几里得的欧几里得算法（gcd）直到现在仍在计算机与数学领域有着卓越的贡献

　　欧几里得算法非常简单，简而言之就是gcd（a，b）=gcd（b，a%b）。如果你是小升初时学奥数的受害者，那你一定会很眼熟：这不是辗转相除法吗！！  　　是的其实你早就接触过这个算法了，而求出最小公约数只是这个算法的最最基本的用法（当然也用的最多），但在算法这个版块里，它的用法基本就不同了。

证明方法（以下摘自百度百科）

　其计算原理依赖于下面的定理：

定理：两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数。最大公约数（Greatest Common Divisor）缩写为GCD。

gcd(a,b) = gcd(b,a mod b) (不妨设a>b 且r=a mod b ,r不为0)

 

证法一

a可以表示成a = kb + r（a，b，k，r皆为正整数，且r<b），则r = a mod b

假设d是a,b的一个公约数，记作d|a,d|b，即a和b都可以被d整除。

而r = a - kb，两边同时除以d，r/d=a/d-kb/d=m，由等式右边可知m为整数，因此d|r

因此d也是b,a mod b的公约数

假设d是b,a mod b的公约数, 则d|b,d|(a-k*b),k是一个整数。

进而d|a.因此d也是a,b的公约数

因此(a,b)和(b,a mod b)的公约数是一样的，其最大公约数也必然相等，得证。

证法二

第一步：令c=gcd(a,b)，则设a=mc，b=nc

第二步：可知r =a-kb=mc-knc=(m-kn)c

第三步：根据第二步结果可知c也是r的因数

第四步：可以断定m-kn与n互素【否则，可设m-kn=xd,n=yd,(d>1)，则m=kn+xd=kyd+xd=(ky+x)d，则a=mc=(ky+x)dc，b=nc=ycd，故a与b最大公约数≥cd，而非c，与前面结论矛盾】

从而可知gcd(b,r)=c，继而gcd(a,b)=gcd(b,r)，得证

注意:两种方法是有区别的。

 

 

---

 

裴蜀定理

　　欧几里得算法不仅仅用于求最大公约数，还可以用于求出形如ax+by=c，a mod b = c（这二者本质上是相差不大的）的解。当然只凭借欧几里得算法是不够的，这里补充一个数学定理，裴蜀定理

　　（以下摘自百度百科）

　　裴蜀定理说明了对任何整数a、b和它们的最大公约数d ，关于未知数 x 和 y 的线性丢番图方程（称为裴蜀等式）。

　　关于未知数x和y的线性不定方程（称为裴蜀等式）：若a,b是整数,且gcd(a,b)=d，那么对于任意的整数x,y,ax+by都一定是d的倍数，特别地，一定存在整数x,y，使ax+by=d成立。

　　它的一个重要推论是：a,b互