问个欧几里德扩展算法的理解问题x,y的方法的理解”这一栏其中有这样一句话“根据恒等定理得:x1=y2; y1=x2-(a/b)*y2; ”他是如何得出x1=y2还有y1=x2-(a/b)*y2的?我推了好久都没推出来我推出来的式子都是那种:x1=y2+x1-y2的类型,晕死我了,他怎么得出来了

问题描述:

问个欧几里德扩展算法的理解问题
x,y的方法的理解”这一栏
其中有这样一句话“根据恒等定理得:x1=y2; y1=x2-(a/b)*y2; ”
他是如何得出x1=y2还有y1=x2-(a/b)*y2的?
我推了好久都没推出来
我推出来的式子都是那种:x1=y2+x1-y2的类型,晕死我了,他怎么得出来了

ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
这句啊
然后使用系数比对,左边a、b的系数和右边的a、b的系数相等
即x1=y2
y1=x2-(a/b)*y2