c++最大公约数，最小公倍数详解

定义1：最大公约数，也称最大公因数、最大公因子，指两个或多个整数共有约数中最大的一个。英文是Greatest Common Divisor,简称GCD。

求多个数的最大公约数一般是多少调用求两个数的最大公约数，例如：

GCD(30,12,9) = GCD ( GCD(30,12), 9 ) = GCD (6,9) = 3.

因此本课下面提到的GCD默认是处理两个数的。

简单判断：根据定义直接求两个整数A，B的最大公约数：

参考程序1

定义2：最小公倍数，指两个或多个整数共有公倍数中最小一个。英文是Least Common Multiple,简称LCM。

求多个数的最小公倍数一般是多少调用求两个数的小公倍数，例如：

LCM(3,5,10) = LCM ( LCM(3,5), 10 ) = LCM (15,10) = 30.

因此本课下面提到的LCM默认是处理两个数的。

简单判断：根据定义直接求两个整数A，B的最小公倍数：

参考程序2

性质1：把每个数分别分解质因数，再把两个数中的全部公有质因数提取出来连乘，所得的积就是这两个数的最大公约数。

例如：求24和60的最大公约数，先分解质因数，得24=2×2×2×3，60=2×2×3×5，24与60的全部公有的质因数是2、2、3，它们的积是2×2×3=12，所以，gcd(24，60)=12。

性质2：把每个数分别分解质因数，再把各数中的全部公有的质因数和独有的质因数提取出来连乘，所得的积就是这几个数的最小公倍数。

例如：求6和15的最小公倍数。先分解质因数，得6=2×3，15=3×5，公有的质因数是3，6独有质因数是2，15独有的质因数是5，所以lcm(6，15)=3×2×5=30。

根据性质1和性质2，显然有公式：

lcm(a,b) = a×b/gcd(a,b) --- 最小公倍数可用最大公约数数计算得到。

或

lcm(a,b)×gcd(a,b) = a×b --- 最小公倍数*最大公约数等于两数乘积。

参考程序3（质因数分解法求GCD或LCM）

这个程序有点长，省略。

定理1：如果(a-b)%x = 0 一定有 a%x==b%x;反之亦然。

定理2：如果a>b，则GCD(a,b)=GCD(a-b,b)。

例如： GCD(21,14) = GCD(7,14) = GCD(14,7) = GCD(7,7) = 7。

由定理2可以得到一种求GCD算法。参考程序4：

定理3：如果b>0，有GCD(a,b)=GCD(b,a%b)。

证明：多次使用定理2:

GCD(a,b)=GCD(a-b,b)= GCD(a-b-b,b)=...=GCD(a%b,b)=GCD(b,a%b)。

例如：GCD(377,319) = GCD(319,58) = GCD(58, 29) = GCD(29,0)=29

由定理3可以得到著名的辗转相除法（也叫欧几里德算法）。

参考程序5：

更短的递归函数。参考程序6：

辗转相除法是非常简明高效的算法，体现了程序设计中的数学之美。