欧几里德算法及python脚本实现

欧几里德算法又称辗转相除法， 用于计算两个整数a, b的最大公约数。其计算原理依赖于下面的定理：

定理： gcd(a, b) = gcd(b, a mod b)

定理证明：
  a可以表示成a = kb + r, 则r = a mod b
 （1） 先假设d是a, b的一个公约数， 则有  d|a, d|b, 而r = a - kb, 等式两边同时除以d，则r/d=a/d - kb/d。因为d是a,b的一个公约数，则r也可以被d整除，因此d|r。所以，d是(b, a mod b)的公约数。