求最大公约数的欧几里德算法

因为D是A和B的公约数，所以两者都可以被D整除，假设a=xd，b=yd，我们可以从a=kb+r得到xd=kyd+r，那么r=xd-kyd=(x-ky)d，所以R也可以被D整除，即D是(B，a mod b)。