本来看的是这个教程：https://zhuanlan.zhihu.com/p/100587745

但是因为他对扩欧没有证明和描述，所以找了个别的：https://zhuanlan.zhihu.com/p/449221995

他在扩展欧几里德定理一个小节里有这样一段话

两个整数相乘等于 $1$ ，则他们要么都等于 $1$，要么都等于 $-1$，又因为任何两个数的最大公约数不可能为负数，所以 $g = 1$。

他上面给的例子不是 $ax + by = 1$ 吗，为什么会有乘积是 $1$ 啊，没有看懂

求大佬解释一下 UwU