level 1
莪是小样儿
楼主
设 ax1+by1=g和谐сd(a,b);
bx2+(a mod b)y2=g和谐сd(b,a mod b);.
根据朴素的欧几里德原理有 g和谐сd(a,b)=g和谐сd(b,a mod b);
则:ax1+by1=bx2+(a mod b)y2;
即:ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
根据恒等定理得：x1=y2; y1=x2-(a/b)*y2;
这样我们就得到了求解 x1,y1 的方法：x1，y1 的值基于 x2，y2.
上面的思想是以递归定义的，因为 g韩度сd 不断的递归求解一定会有个时候 b=0，所以递归可以
结束。
这个是百度百科里的
但是有个问题
ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
根据恒等定理得：x1=y2; y1=x2-(a/b)*y2;
这里很纳闷 这里最多就是变成
a(x1-y2)+b(y1-x2+(a/b)*y2)=0
怎么推导成了x1=y2; y1=x2-(a/b)*y2;
g和谐 сd是指最大公约数
