欧几里得算法证明

之前在看算法图解提到过欧几里得算法，当时看了一下，就赶紧去找这个算法相关，并将公式推导了一遍，舒畅。今天还是想简单的写一下，记性太差，怕自己忘记。

欧几里得算法要解决的是求两个数最大公约数的问题。

这个算法的过程可以举个例子来展示，如果我要求168和44的最大公约数，用欧几里得算法可以这样求：

168=44*3+32

44=32*1+12

32=12*2+8

12=8*1+4

8=4*2+0

最后的可以整除，余数为0，所以168和44的公约数就是4。

用字母代替数字，过程就是如下：

证明如下：

这里只能证明是公约数，接下来证明是最大

证毕。我这个字也是一言难尽。。。

如果用python可以写成

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