欧几里得算法详解

欧几里得算法的目的是简单的求出两个正整数的最大公因子。

基本定义：两个整数是互素的，当且仅当它们只有一个正整数因子1。

对于两个整数a、b。由于两个正整数存在 gcd(|a|,|b|)=gcd(a,b),所以我们可以假设a>=b>0。

因此可以写出关系式： a=q₁+r₁, 0<=r₁<b

首先当r₁=0的时候，d=gcd(a,b)=b。这是易于理解的。

另外当r₁！=0的时候，我们是易知d|r₁的。

这个是好推导的，因为d|a,d|b,所以d|(a-q₁b),即d|r₁。

例如56与49公因子都是最大公因子是7，作差结果同样模7。

那么进一步由于 d|b 且 d|r₁,所以一定有 c | (q₁b+r₁)(c是b和r₁的一个公因子)，且易知c<=d恒成立。因此d = gcd(b,r₁) 。

所以可以继续迭代计算。

直到gcd(d,d)=0,则可得到d。