辗转相除法
设两数为a、b(b<a),用gcd(a,b)表示a,b的最大公约数,r=a (mod b) 为a除以b以后的余数,k为a除以b的商,即a÷b=k…r。辗转相除法即是要证明gcd(a,b)=gcd(b,r)。
int gcd(int a,int b){
if(!b) return a;
return gcd( b , a % b);
其实自己理解下就是
要证明gcd(a,b)=gcd(b,r)相等
就是证明 a=mc b=nc
b=nc r=?c
且证明n 和 r 一定互素 所以四个的约素都是c
第一步:令c=gcd(a,b),则设a=mc,b=nc
第二步:根据前提可知r =a-kb=mc-knc=(m-kn)c
第三步:根据第二步结果可知c也是r的因数
第四步:可以断定m-kn与n互质【否则,可设m-kn=xd,n=yd (d>1),则m=kn+xd=kyd+xd=(ky+x)d,则a=mc=(ky+x)dc,b=nc=ycd,故a与b最大公约数成为cd,而非c,与前面结论矛盾】,因此c也是b和r的最大公约数。
从而可知gcd(b,r)=c,继而gcd(a,b)=gcd(b,r)。