设gcd(a,b)=m;
a=Am,b=Bm,其中A,B互质;
a-b=m(A-B),于是gcd(a-b,b)=m;
简单证明:
设gcd(A-B,B)=k;
k|A-B,k|B;
==>K|A,k|B,又因为gcd(A,B)=1;
所以k=1;
gcd(a,b)=gcd(a-b,b);
//
gcd(a,b)=gcd(b,a%b)
证明gcd(a,b)=gcd(a-b,b)=gcd(a-2b,b)=gcd(a-nb,b);
又a-nb=r;
所以gcd(a,b)=gcd(a-b,b)=gcd(b,a%b);