定义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:
辗转相除法是非常简明高效的算法,体现了程序设计中的数学之美。