最大公约数：辗转相除法（欧几里得算法）

定义

定理

gcd(a,b) = gcd(b,a mod b)

证明

a可以表示成a = kb + r（a，b，k，r皆为正整数，且r<b），则r = a mod b
假设d是a,b的一个公约数，记作d|a,d|b，即a和b都可以被d整除。
而r = a - kb，两边同时除以d，r/d=a/d-kb/d=m，由等式右边可知m为整数，因此d|r
因此d也是b,a mod b的公约数。
因(a,b)和(b,a mod b)的公约数相等，则其最大公约数也相等，得证。

最大公约数

简单版本：

int gcd(int a,int b){ return a%b == 0 ? b : gcd(b,a%b); }

简化：把a%b==0？这步判断也放进gcd(b, a%b)。

int gcd(int a,int b){ return b == 0 ? a : gcd(b,a%b); }

–>

int gcd(int a,int b){ return b ? gcd(b,a%b) : a; }

最小公倍数

a * b = gcd(a, b) * lcm(a, b)

lcm(a,b) = ab/gcd(a, b)

最小公倍数相当于最大公约数（共同的质因数连乘）* 各自的质因数