欧几里得算法之辗转相除法

欧几里德算法欧几里德算法又称辗转相除法，用于计算两个整数a,b的最大公约数：

定理：

        gcd（a，b） =  gcd（b，a mod b）

证明如下：

a = kb + r, 则r = a mod b;

1）假设d是a，b的一个公约数，则有d|a， d|b。

而 r = a - kb ，由于成线性关系，即d|r。因此d是(b, a mod b)的公约数。

2）假设d是（b，a mod b）的公约数，则d|b， d|r，

因为a = kb + r ，由于成线性关系，即d|a，所以d同样是（a， b）的公约数。

综上的证