数学小计--欧几里得算最大公约数

欧几里德算法依据的算法定理是：gcd(m,n)=gcd(n,m mod n)；

自己想的证明过程：

我们有A,B两个数
求最大公约数

如果存在，设为x

则:
A=x*a
B=x*b

ax mod bx = cx

证明：将x想象为1就可以理解，替换成任意数其实也是一样的~~~，因为x在这里作为单位出现就好理解了

c<a

bx mod cx = ex

e<b

cx mod ex = fx

f<c

......

x mod 0  = x

求出x