小皮从零学算法（一）：辗转相除法求最大公约数算法证明及Python代码

可整除两个整数的最大整数被称为两个整数的最大公约数（Greatest CommonDivisor：gcd）。求最大公约数的方法有很多，其中辗转相除法就是其中一种，是已知最古老的算法。

其算法步骤为：
1.大数除小数，如果能整除，那么小数就是所求的最大公约数
2.若不能整除，则用上一步的余数来除上一步的除数，所得余数若为0，则这一步的除数就是所求的最大公约数
3.若2中所得余数不为0，则重复2，直到所得余数为0即式子被整除，这时作为除数的数就是所求的最大公约数

实际上就是，将求gcd(a,b)不断转化成求gcd(b,a%b)的问题。（%表示取模）。比如，有整数a, b，a%b=c, b%c=d, d%e=0, 则gcd(a, b)=e。

那为什么能如此转化呢？下面来看一下相关证明吧。

1.算法证明

欧几里得辗转相除算法：两个整数的最大公约数等于其中较小的那个数和两数的相除余数的最大公约数。

证明：不妨设a>b, r=a%b(即两数相除的余数)，则a = bq + r。

假设d是a,b的任一公因数，则a和b都可以被d整除，可表示为：d|a,d|b。则r/d=(a-bq)/d=a/d-b/d*q=整数1-整数2 * 整数3=整数，即余数r也可被d整除，d|r。由此可得d是b,r的公因数。

同理，假设d是b,r的任一公因数，则b和r都可以被d整除，可表示为：d|b,d|r。则a/d=(bq+r)/d=b/d*q+r/d=整数1 * 整数2+整数3=整数，即被除数a也可被d整除，d|a。由此可得d是a,b的公因数。

综上，a,b和b,r的公因数集是相等。所以，最大公约数也是相等的。

2.Python算法

# 输入整数
a = int(input('请输入第一个整数：'))
b = int(input('请输入第二个整数：'))

# 将b变成较小的那个数
if a < b:
    smaller = a
    a = b
    b = smaller
    
# 不断将gcd(a,b)的问题转化成gcd(b,a%b)的问题
while b != 0:
    r = a % b 
    a = b
    b