求两个整数的最小公倍数和最大公约数的算法及其C++实现

今天碰到一道C++练习题“求两个整数的最小公倍数和最大公约数的算法及其C++实现”，感觉可以做个整理笔记。

最大公约数
最大公约数（英语：Greatest Common Divisor，简写为G.C.D.；或Highest Common Factor，简写为H.C.F.），指某几个整数共有约数中最大的一个。
求两个整数最大公约数主要的方法：

• 列举法：各自列出约数，再找出最大的公约数
• 素因数分解法：两数各作素因数分解，然后取出共有的项相乘，所得的积就是这几个数的最大公约数。
• 短除法：短除法求最大公约数，先用这几个数的公约数连续去除，一直除到所有的商互质为止，然后把所有的除数连乘起来，所得的积就是这几个数的最大公约数。
• 辗转相除法：辗转相除法是求两个自然数的最大公约数的一种方法，也叫欧几里德算法。
  例如，求（319，377）：
  ∵ 319÷377=0（余319）
  ∴（319，377）=（377，319）；
  ∵ 377÷319=1（余58）
  ∴（377，319）=（319，58）；
  ∵ 319÷58=5（余29），
  ∴ （319，58）=（58，29）；
  ∵ 58÷29=2（余0），
  ∴ （58，29）= 29；
  ∴ （319，377）=29.
• 扩展欧几里德算法：扩展欧几里得算法（又称扩充欧几里得算法）是用来解某一类特定的不定方程的一种方法，常用用来求解模线性方程及方程组。扩展的欧几里得算法可以用来计算模逆元，而模逆元在公钥密码学中占有举足轻重的地位。
  基本算法：对于不完全为 0 的非负整数 a，b，gcd（a，b）表示 a，b 的最大公约数，必然存在整数对 x，y ，使得 gcd（a，b）=ax+by。
  证明：设 a>b。
  1，显然当 b=0，gcd（a，b）=a。此时 x=1，y=0；
  2，ab≠0 时
  设 ax1+by1=gcd(a,b);
  bx2+(a mod b)y2=gcd(b,a mod b);
  根据朴素的欧几里德原理有 gcd(a,b)=gcd(b,a mod b);
  则：ax1+by1=bx2+(a mod b)y2;
  即：ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
  根据恒等定理得：x1=y2; y1=x2-(a/b)*y2;
  这样我们就得到了求解 x1,y1 的方法：x1，y1 的值基于 x2，y2.
  上面的思想是以递归定义的，因为 gcd 不断的递归求解一定会有个时候 b=0，所以递归可以结束。
• 更相减损法：也叫更相减损术，是出自《九章算术》的一种求最大公约数的算法，它原本是为约分而设计的，但它适用于任何需要求最大公约数的场合。
  第一步：任意给定两个正整数；判断它们是否都是偶数。若是，则用2约简；若不是则执行第二步。
  第二步：以较大的数减较小的数，接着把所得的差与较小的数比较，并以大数减小数。继续这个操作，直到所得的减数和差相等为止。
  则第一步中约掉的若干个2与第二步中等数的乘积就是所求的最大公约数。
  其中所