欧几里德算法欧几里德算法又称辗转相除法,用于计算两个整数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)的公约数。
综上的证