欧几里得算法证明及python实现

1.欧几里得算法：

        欧几里得算法又称辗转相除法，是求两个整数的最大公约数非常有效的算法，具体内容是：两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数。

2.欧几里得算法证明 ：         

        a可以表示成a = kb + r（a，b，k，r皆为正整数，且r < b），则r = a mod b。

        假设d是a，b的一个公约数，记作d|a，d|b，即a和b都可以被d整除。而r = a - kb，两边同时除以d，r/d=a/d-kb/d=m，由等式右边可知m为整数，因此d|r。因此d也是b，a mod b的公约数。

        假设d是b,a mod b的公约数, 则d|b，d|(a - k * b)，k是一个整数。进而d|a，因此d也是a，b的公约数因此(a，b)和(b，a mod b)的公约数是一样的，其最大公约数也必然相等，得证。

3.欧几里得算法python实现：

        使用递归方法实现，当较小整数为0时，则表明上一次相除已除尽，所以上一次相除时的除数（当次输入gcd函数的较大数）是最大公约数。当较小整数不为0时，则继续递归调用gcd函数。

def gcd(a, b):
    if a < b:
        a, b = b, a
    return a if b == 0 else gcd(b, a % b)

if __name__ == "__main__":
    print(gcd(8, 16))
    print(gcd(8251, 6105))