版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/xvshu/article/details/83109272
欧几里德算法依据的算法定理是：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