浅谈欧几里德算法 GCD和LCM

首先介绍什么是GCD和LCM

         GCD 指的是 Greatest Common Divisor 即最大公约数。
         LCM 指的是 Least Common Multiple 即最小公倍数。

其次介绍什么是欧几里得算法

最大公约数问题是最早被研究的算法问题之一了，并且是ACM竞赛中能涉及到的很多数论内容，比如模线性方程，模线性方程组的基础。

欧几里得算法 (Euclidean algorithm) ，即大部分选手所知的“辗转相除法”，其核心在于不断将两数规模变小，最后实现对数时间内求解两个数的最大公约数。

其核心定理是：

gcd(a,b)=gcd(b,a%b）

下面先证明这个核心定理：

证明：
设a=kb+r,其中k和r分别为a除以b得到的商和余数。
则有r=a-kb成立。
设d为a和b的一个公约数，
那么由r=a-kb，得d也是r的一个约数。
因此d是b和r的一个公约数。
又由r= a%b，得d为b和a%b的一个公约数。
因此d既是a和b的公约数，也是b和a%b的公约数。
由d的任意性，得a和b的公约数都是b和a%b的公约数。
由a=kb+r，同理可证b和a%b的公约数都是a和b的公约数。
因此a和b的公约数与b和a%b的公约数全部相等，故其最大公约数也相等，
即有gcd(a,b)= gcd(b,a%b)。
证毕。

GCD