辗转相除法的原理

百科解释：

设两数为a、b(b<a)，用gcd(a,b)表示a，b的最大公约数，r=a(modb)为a除以b以后的余数，k为a除以b的商，即a÷b=k.......r。辗转相除法即是要证明gcd(a,b)=gcd(b,r）。

　　第一步：令c=gcd(a,b），则设a=mc，b=nc

　　第二步：根据前提可知r=a-kb=mc-knc=(m-kn)c

　　第三步：根据第二步结果可知c也是r的因数

　　第四步：可以断定m-kn与n互质【否则，可设m-kn=xd，n=yd(d>1)，则m=kn+xd=kyd+xd=(ky+x)d，则a=mc=(ky+x)dc，b=nc=ycd，故a与b最大公约数成为cd，而非c，与前面结论矛盾】

　　从而可知gcd(b,r)=c，继而gcd(a,b)=gcd(b,r)。

　　证毕。

　　以上步骤的操作是建立在刚开始时r!=0的基础之上的。即m与n亦互质。

假设有两个数x和y，存在一个最大公约数z=(x,y)，即x和y都有公因数z，
那么x一定能被z整除，y也一定能被z整除，所以x和y的线性组合mx±ny也一定能被z整除。（m和n可取任意整数）


对于辗转相除法来说，思路就是：若x>y，设x/y=n余c，则x能表示成x=ny+c的形式，将ny移到左边就是x-ny=c，由于一般形式的mx±ny能被z整除，所以等号左边的x-ny（作为mx±ny的一个特例）就能被z整除，即x除y的余数c也能被z整除。


完毕。希望对还没理解辗转相除法求最大公因（约）数原理的同学有所帮助。

辗转相除法又叫欧几里得辗转相除法，最早出现在公元前300年古希腊著名数学家欧几里得的《几何原本》》(第VII卷,命题i和ii)中。而在中国则可以追溯至东汉出现的《九章算术》。而在现代数学中，这应该是属于数论的部分的。

要想解释辗转相除法的原理，需要先知道以下两点：
一、一个一般定理：
    如果a是任一整数而b是任一大于零的整数，则我们总能找到一整数q，使
                     a=bq+r
    这里r是满足不等式0<=r<b的一个整数。

二、最大公因子的表示方法：
    如果整数a和b的最大公因子是d，则表示为d=(a,b)  （不知道现在教科书上是怎么表示的）

    给定a和b（a>=b)两个整数，求最大公因子d。
    根据上边给的定理，可以将a写成
    a=bq+r
    辗转相除法是告诉我们
    (a,b)=(b,r)
    即a和b的最大公因数和b和r（r是a除以b的余数）的最大公因数是相等的。

原理：因为对任意同时整除a和b的数u，有
      a=su，b=tu，
      它也能整除r，因为r=a-bq=su-qtu=(s-qt)u。
      反过来每一个整除b和r的整数v，有
      b=s'v , r=t'v
      它也能整除a，因为a=bq+r=s'vq+t'v=(s'q+t')v.
      因此a和b的每一个公因子同时也是b和r的一个公因子，反之亦然。这样由于a和b的全体公因子集合与b和r的全体公因子集合相同，所以a和b的最大公因子必须等于b和r的最大公因子，这就证明了上边的等式。即(a,b)=(b,r)。