道理很简单:a÷b 取余数,其实可以看做从 a 里连续减去 b 直到减不开为止。而公约数 c(姑且不管是不是最大)是 a 和 b 共同的约数,即 a 、b 都是 c 的倍数,所以从 a 中连续减去 b ,两个同为 c 倍数的数做减法,得到的余数(这里是第一余数)当然还是 c 的倍数,此即前面提到的预备知识。以后辗转进行下去,每一次得到的余数当然也还是 c 的倍数。直到得到这个 c ,也就是整除了。
那为什么是最大公约数呢?因为如果不是最大的,换句话说就是还有更大的,比如是 c' 。那么这个 c' 就在前面的过程中被“跳过去”了。那么显然就违背了预备知识。因为本来任何一步里两个数的全部约数都满足预备知识,结果这么一来肯定有的不满足了。