理解 欧几里德算法

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

因为 a==a%b+a//b*b

因为gcd(a//b*b,b)==b
而b%gcd(a%b,b)==0
所以gcd(a,b)==gcd(b,a%b)
最后当a%b==0,gcd(a,b)=b

不知道这样理解对不..