欧几里德定理

欧几里德定理

欧几里德定理是用来求两个数的最大公因数的。

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

好像原本的定理上有一条：两个数的最大公因数等于（较小的那个数）与（较大数除以较小数的余数）的最大公因数，但是我没有找到这样的描述。

不过也是可以证明的，求两个整数a,b的最大公因数：

a=a%b + kb，   k是某个满足等式的整数。

然后：                                               

b%gcd(a,b)==0，得  kb%gcd(a,b)==0

a%gcd(a,b)==0，得  (a%b+kb)%gcd(a,b)==0

(a%b+kb)%gcd(a,b)==0 且 kb%gcd(a,b)==0，那么( a%b ) %gcd(a,b)==0

 

所以也就可以得到 gcd(a,b) 能够整除 a%b。

那么可以证明a%b仍然包含a和b的最大公因数。

 

所以求a，b的最大公因数，等于去求b,a%b的最大公因数，一直递归下去，直到b==0时，a的值就是最大公因数。

以上便是大概过程。

（之后还有一些小插曲被省略了）