数论

1、欧几里得算法

gcd(a,b) = gcd(b, a % b)

证明：

不妨设 a > b

假设d为gcd (a,b)的一个公约数

则d|a d|b

设 r = a % b

r= a - k * b 

r/d = a/d - (k * b) /d = m

m为整数

所以d|r 

因此两者公约数相等，最大公约数也相等

a = int(input())
b = int(input()) 
def gcd(x,y):
         while y:
                  x , y = y , x % y
         return x
print(gcd(a,b))