扩展欧几里得求通解和单变量的最小正整数解

假设$x_0,y_0$是 $$a{x}_0+b{y}_0=gcd(a,b)$$ 的特解，对该式左右同时除以$gcd(a,b)$得$$a\ast x_0/gcd(a,b)+b\ast y_0/gcd(a,b)=1$$ 则通解为$$x_1=x_0+b/gcd(a,b)\ast n$$ $$y_1=y_0-a/gcd(a,b)\ast n$$令$$b_1=b/gcd(a,b)$$ $$a_1=a/gcd(a,b)$$ 则 $x$ 的最小正整数解为$$x_2=((x_0+b_1\ast n)\%b_1+b_1)\%b_1$$ y的最小正整数解为$$y2=((y_0-a_1\ast n)\%a_1+a_1)\%a_1$$