辗转相除法， 欧几里德算法（Euclidean algorithm）

2019独角兽企业重金招聘Python工程师标准>>>

证明：

 

设两数为a、b(a>b)，用  表示a，b的最大公约数，r=a (mod b) 为a除以b的余数，k为a除以b的商，即  。辗转相除法即是要证明  。
第一步：令  ，则设 
第二步：根据前提可知 
第三步：根据第二步结果可知，  也是  的因数
第四步：可以断定  与  互质（这里用反证法进行证明：设  ，则  ，则  ，则a与b的一个公约数  ，故c非a与b的最大公约数，与前面结论矛盾，因此c也是b与r的最大公约数）从而可知  ，继而  。
证毕
注：以上步骤的操作是建立在刚开始时  的基础之上的，即m与n亦互质。

 

伪代码描述如下：

function gcd(a,b)

{

if b< >0

return gcd(b,a mod b);

else

return a；

}

 

参考

https://baike.baidu.com/item/%E8%BE%97%E8%BD%AC%E7%9B%B8%E9%99%A4%E6%B3%95/4625352?fr=aladdin

转载于:https://my.oschina.net/zhongwenhao/blog/3003705