国庆爆肝13小时，拓展欧几里得解贝祖等式

先看看问题吧，一般这些题目前废话越多的题就越难。
我口述一下题目吧,给出一个方程：

$ax+by=1$

其中a,b,x,y都是整数，其中a,b,x是非负整数，y可以是负数。
输入a，b，要求解出最小的x和y，如果无解则输出sorry。

这题一开始我想了各种方法，暴力法。最后还是去研究会长说的思路——拓展欧几里得算法。
爆肝13小时，从下午一点开始看别人的思路，到自己用笔一句一句推理证明，然后再找大佬请教如何表达代码，终于在凌晨一点半肝出来了。

来回忆一遍我走过的路吧。

一、前置数学知识说明：

欧几里得算法（辗转相除法）

$gcd(a,b)=gcd(b,a.mod.b)$

$gcd(a,b)$表示a，b的最大公约数，这个定理的意思就是：整数a，b的最大公约数，等于b和a÷b余数的最大公约数。

1、定理证明：

下面是一个简单的证明过程：（所有数均为整数）

$设d为a，b的因数，则满足：$

$a=dx$ , $b=dy$，（式①）

$取r=a.mod.b$

$于是可以有a=kb+r$

$移项可得r=a-kb$

$将式①代入得：$

$r=dx-dky=d（x-ky）$

所以d也是r的因数，所以d是b，r的公因数，且 当且仅当d是a，b最大公约数时，d也是b与r的最大公约数。证毕

2、等式 $ax+by=gcd（a，b）$的证明：

先设$d=$