欧几里得算法

    定理：两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数。最大公约数（Greatest Common Divisor）缩写为GCD。

gcd(a,b) = gcd(b,a mod b) (不妨设a>b 且r=a mod b ,r不为0)

该算法运用了递归，不断调用自身求解最大公约数，直至符合基线条件（base case）即两数整除。