扩展欧几里得回溯过程中y值的变化

扩展欧几里得算法中y初值取0时在回溯结束后为什么可以使最终|x|+|y|最小？
$gcd(A,0)=A$

则有$A\ast x+0\ast y=A$

所以在递归终点 x为1，y可取任意整数

$gcd(a,b)=gcd(b,amodb)$

$a\ast x_1+b\ast y_1=b\ast x_0+(a-[\frac{a}{b}]\ast b)\ast y_0$

整理得

$a\ast (x_1-y_0)+b\ast (y_1+[\frac{a}{b}]\ast y_0-x_0)=0$

由于上式恒成立，所以

$x_1=y_0$

$y_1=-[\frac{a}{b}]\ast y_0+x_0$

a和b的值在递归的过程中已经确定，而在回溯的过程中，上一层的$y_0$越小，本层$x_1$越小

要证明$y_0$取0的时候，$|x_{final}|+|y_{final}|$最小

用数学归纳法证明:

(由于a和b的值已经确定，所以在下面设$[\frac{a}{b}]=k(k\in N_{+})$)

1、当在递归终点时，$x_0\equiv 1$,设$y_0=Y$

​ 则$x_1=Y$

$y_1=-k\ast Y+1$

​ $|x_1|+|y_1|=|Y|+|-k\ast Y+1|$

​ ①当Y≤0

​ $sum=-Y+1-k\ast Y=1-(k+1)\ast Y$

​ 当且仅当Y=0时,sum有min为1

​ ②当Y>0

​ 有两种，分别为

​ 第一种，$1-k\ast Y>0$时，$Y<\frac{1}{k}$，由于裴蜀定理中x,y均为整数，而此处Y<1，故不成立

​ 第二种，$1-k\ast Y\le 0$时，$Y\ge \frac{1}{k}$，$sum=(k+1)\ast Y-1$，由于Y此时最小为1（k=1），所以$sum\ge k\ge 1$

故当$y_0$取0时，$x_1$和$y_1$取得最小值
​
问题转化$x_n$和$y_n$取得最小值时，$x_{n+1}$和$y_{n+1}$也为最小值
怎么证明第n和第n+1项满足？？