本章主要考虑的是最大公因数的问题。最大公因数第一次出现记得是在小学的时候,那时老师要求用短除法(实质就是质因子分解)来解决,但是,到高中貌似是必修三的时候才知道,有“辗转相除法”和“更相减损术”等方法能够更快的求出两个数的最大公因数。其中“辗转相除法”就是本章介绍的“欧几里得算法”,但是当时并没有对其正确性进行证明,而今天才知道它的证明过程。
对于欧几里得算法,我们知道其计算过程为:
所以我们可以得到Rn可以整除Rn-1,而由于Rn-1有一个因子是Rn,所以Rn-2也能被Rn整除,如此递推上去,可得Rk都可以被Rn整除,而把a和b看成是R-1和R0(为了分清字母和下标,所以在这里R都用大写,后面的部分都为下标),因此可以推出Rn是a和b的公因数。
那么如何判断该数是最大的公因数呢?假设d是a和b的公因数ÿ