辗转相除法求最大公约数

设两数为a、b(b＜a)，求它们最大公约数(a，b)的步骤如下：用b除a，得a＝bq......r1(0≤r)。若r1=0，则(a，b)＝b；若r1≠0，则再用r1除b，得b＝r1q......r2 (0≤r2).若r2＝0，则(a，b)＝r1，若r2≠0，则继续用r2除r1,……如此下去，直到能整除为止。其最后一个非零余数即为(a，b)。

从某处找的证明：

原理及其详细证明

　　在介绍这个方法之前，先说明整除性的一些特点（下文的所有数都是正整数，不再重覆），我们可以这样给出整除性的定义：

　　对于二个自然数a和b，若存在正整数q，使a=bq，则a能被b整除，b为a的因子，a为b的倍数。

　　如果a能被c整除，并且b也能被c整除，则c为a、b的公因数（公有因数）。

　　由此我们可以得出以下推论：

　　推论1、如果a能被b整除（a=qb），若k为正整数，则ka也能被b整除（ka=kqb）

　　推论2、如果a能被c整除（a=hc），b也能被c整除（b=tc），则(a±b)也能被c整除

　　因为：将二式相加：a+b=hc+tc=(h+t)c 同理二式相减：a－b=hc－tc=(h－t)c

　　所以：(a±b)也能被c整除

　　推论3、如果a能被b整除（a=qb），b也能被a整除（b=ta），则a=b

　　因为：a=qb　b=ta　a=qta qt=1 因为q、t均为正整数，所以t=q=1

　　所以：a=b

辗转相除法是用来计算两个数的最大公因数，在数值很大时尤其有用，而且应用在电脑程式上也十分简单。其理论如下:

　　如果 q 和 r 是 m 除以 n 的商及余数，即 m=nq+r，则 gcd(m,n)=gcd(n,r)。

　　证明是这样的: 设 a=gcd(m,n)，b=gcd(n,r)

　　证明：

　　∵a为m,n的最大公约数，

　　∴m能被a整除，且n也能被a整除，

　　∴由推论1得：qn也能被a整除，

　　∴ 由推论2得：m-qn也能被a整除，

　　又 ∵m-qn=r，

　　∴r也能被a整除，即a为n和r的公约数（注意：还不是最大公约数）

　　∵b为n和r的最大公约数，a为n和r的公约数

　　∴a≤b，

　　同理

　　∵b为n, r的最大公约数，

　　∴n能被b整除，且r也能被b整除，

　　∴由推论1得：qn也能被b整除，

　　∴由推论2得：qn+r也能被b整除，

　　又∵m=qn+r，

　　∴m也能被b整除，即b为m和n的公约数，（注意：还不是最大公约数）

　　∵a为m,n的最大公约数，b为m和n的公约数，

　　∴b≤a，

　　由以上可知：

　　a≤b与b≤a同时成立，

　　故可得

　　a=b，

　　证毕。