扩展欧几里德算法

计算d=gcd(a,b)=ax+by的x,y:

若b==0,则gcd(a,b)=a,有x=1,y=0满足算式.
若b!=0,设已得d'=gcd(b,a%b),并有x',y'满足d'=bx'+(a%b)y'.
又有d=gcd(a,b)=d'=gcd(b,a%b).
故d=d'=bx'+(a%b)y'=bx'+(a-[a/b]*b)y'=ay'+b(x'-[a/b]y').
则x=y',y=x'-[a/b]y'就可满足d=ax+by的条件了.