欧几里得算法

欧几里得算法又称辗转相除法，用于求两个数的最大公约数（greatest common divisor,简称gcd）。

原理：将求 gcd(a,b)的问题转为gcd(b,a%b)的问题，通过递归求得gcd(a,b).

不严格的简单证明：

若求a,b的最大公约数，不妨设a>b;若 a为b的倍数，即a%b==0，则明显gcd(a,b)=b;

若a%b！=0；令d=gcd(a,b)；则a,b均可以用d表示,不妨令a=x*d,b=y*d;那么a%b可表示为(x*d)%(y*d)，

然后容易得到a%b=(x*d)%(y*d)=(x%y)*d,到这一步我可以看出a%b也含有因子d=gcd(a,b);而a%b<b的，故a%b和b的最大公约数也为gcd(a,b);因此我们可以不断将gcd(a,b)的问题递归为

gcd（b,a%b）的问题，其中，递归到a%b==0时，b就是所求答案，就可以回溯了。

代码如下：

int gcd(int a,int b)
{
    return !b?a:gcd(b,a%b);
}