欧几里得算法

定义

欧几里得算法用于求两个正整数的最大公因数，其内容为：设\(\gcd(a,b)\)为正整数\(a,b\)的最大公因数，则\(\gcd(a,b)=\gcd(b,a \bmod b)\)。