辗转相除法最简单最通俗证明

先上辗转相除的代码

while (true) {
    int t = a % b;
    if (t == 0) break;
    else {
        a = b;
        b = t;
    }
}

为什么要这么做？

我们来证明余数也是公因数的倍数

a，b两个数，（a>b），肯定是有一个公因数1的，或者也可能有一个更大的公因数z。不管是1还是更大的，我们把他视为z。

那么a % b = c可以看作a 除以 b = n 余 c，a = b * n + c => a - b * n = c  这个时候回到一开始，a，b都有一个公因数，所以左边的式子是可以整除公因数z的

所以余数c也是可以整除公因数z的。a，b，c都是公因数z的倍数，他们都是z的若干倍，但是这样一来，显而易见，他们的系数变得越来越小了。直到最后，a和b绝对是可以整除的。我们来证明这一点。做一个假设，a是7，b是2，t = a % b = 1；赋值后，a是2，b是1，这个时候t ==0 跳出循环。b的值是1，就代表公约数是1。通过这样一个简短的例子，我们明白了，这样不断的做小系数，我们一定会得到公约数，再不济也可以得到1。