CF691 C题的证明

设gcd(x,y)=d，则满足x=k1 * d，y=k2 * d，易得k1与k2互质。
情况1：x=y。显然，gcd(x,y)=x=gcd(x,0)=gcd(x,y-x)。
情况2：不妨令x
用反证法。
假设k1,(k2 - k1)不互质，
令gcb(k1.k2-k1) = m(m为正整数且m>1);
k1 = m * a,k2 - k1 = m * b
k2 = (a+b) * m
即k1,k2有公约数m，与k1,k2互质矛盾
所以假设不成立
即k1,(k2 - k1)互质
所以gcb（x,x-y) = d = gcb(x,y)
综上，gcd(x,y)=gcd(x,y-x)。
命题得证
当然，此结论可用数学归纳法推广到一般，该性质对多个整数都成立。
即：gcd(x,y,z,…)=gcd(x,y-x,z-y,…)。
直观证明：
对于gcd(x,y,z)=gcd(x,y-x,z-y)：
gcd(x,y,z)=gcd(x,gcd(y,z))=gcd(x,gcd(y,z-y))=gcd(x,y,z-y)=gcd(gcd(x,y),z-y)=gcd(gcd(x,y-x),z-y)=gcd(x,y-x,z-y)。
更相损减法