辗转相除法（Euclidean algorithm / 欧几里得算法）

在数学中，辗转相除法，又称欧几里得算法（英語：Euclidean algorithm），是求最大公约数的算法。

两个整数的最大公约数是能够同时整除它们的最大的正整数。

辗转相除法基于如下原理：两个整数的最大公约数等于其中较小的数和两数相除余数的最大公约数。

例如，252和105的最大公约数是21（252=21*12；105=21*5）；因为 252 − 105 = 21 × (12 − 5) = 147 ，所以147和105的最大公约数也是21。在这个过程中，252较大的数缩小变成了147，但是他们的最大公约数在减法算术中是不会变化的，我们可以利用这个性质，在不知道公约数的情况下，不断缩小除数，所以继续进行同样的计算可以不断缩小这两个数直至其中一个变成零。这时，所剩下的还没有变成零的数就是两数的最大公约数。

由辗转相除法也可以推出，两数的最大公约数可以用两数的整数倍相加来表示，如 21 = 5 × 105 + (−2) × 252。这个重要的結論叫做貝祖定理。

正确性的证明

辗转相除法的正确性可以分成两步来证明。

1. 在第一步，我們會證明算法的最终结果 $r_{N-1}$ 同时整除a和b。因为它是一个公约数，所以必然小于或者等于最大公约数g。
2. 在第二步，我們證明g能整除$r_{N-1}$。所以g一定小于或等于$r_{N-1}$。
3. 两个不等式只在$r_{N-1}$=g时同时成立。

具体证明如下：

1. 证明$r_{N-1}$同时整除a和b：

• 因为余数$r_N$是0，$r_{N-1}$能够整除$r_{N-2}$：
  $r_{N-2}$= $q_N$$r_{N-1}$
• 因为$r_{N-1}$能够整除$r_{N-2}$，所以也能够整除$r_{N-3}$：
  $r_{N-3}$ = $q_{N-1}$$r_{N-2}$$r_{N-3}$
• 同理可证$r_{N-1}$可以整除所有之前步骤的余数，包括a和b，即$r_{N-1}$是a和b的公约数，$r_{N-1}$ ≤ g。

2. 证明最大公约数g能整除rN-1：

• 根据定义，a和b可以写成g的倍数：a = mg、b = ng，其中m和n是自然数。因为 $r_0$ = a − $q_0$b = mg − $q_0$ng = (m − $q_0$n)g，所以g整除$r_0$。同理可证g整除每个余数$r_1$, $r_2$, …,$r_{N-1}$。因為最大公约数g整除$r_{N-1}$，因而g ≤ $r_{N-1}$。
  因为第一步的证明告诉我们$r_{N-1}$ ≤ g，所以g = $r_0$。即：

g = GCD(a, b) = GCD(b, $r_0$) = GCD($r_0$, $r_1) = … = GCD( $r_{N-2}$ , $r_{N-1}$) = $r_{N-1}$

代码实现

迭代版本：

int gcd(int m,int n)
{
        int t = 1;
        while(t != 0)
        {
                t=m%n;
                m=n;
                n=t;
        }
        return m;
}

递归版本：

int gcd(int n,int m)
{
        if(m==0)
                return n;
        else
                return gcd(m,n%m);
}

参考来源：
wikipedia - Euclidean algorithm