gcd性质

gcd 满足结合性，可推广到多个数：gcd(a,b,c)=gcd(gcd(a,b),c)。还有更相减损：gcd(a,b)=gcd(a-b,b)（a>b），欧几里得正是它的取模加速版。