欧几里得算法计算证明其计算原理依赖于下面的定理：定理：两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数
最大公约数（Greatest Common Divisor）缩写为GCD
gcd(a,b) = gcd(b,a mod b) (不妨设a>b 且r=a mod b ,r不为0)
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
