辗转相除法求最大公约数

辗转相除法又叫欧几里得算法，详情请见: 欧几里得算法
下面是算法的go实现

// i和j的大小无所谓，当i>j时，第一次循环完之后，i和j就交换了，构成了 i<j
func Gcb(i, j int) int{
	for i != 0 {
        i, j = j%i, i
    }
    return j
}

下面是关于这个算法的证明。
网上有很多相关讲解，但是大都难以理解或者冗长，这里我写下在别的地方看到的一个非常经典的证明。

1. 假设x和y的最大公约数为z
2. 那么x一定可以被z整除，y也一定可以被z整除
3. 所以mx $\pm$ ny也一定可以被z整除
4. 假设 x > y，那么 x / y 余 c 可以表示成 x - ny = c
5. 基于 3 的结论x - ny 是 mx $\pm$ ny 的一个特例，也一定可以被 z 整除
6. 所以 c 和 y 可以构成新的 x 和 y，直到 x / y 余 0，此时 y 即为我们要求解的 z 值