https://zh.wikipedia.org/wiki/扩展欧几里得算法
用类似辗转相除法,求二元一次不定方程的整数解。
然后把它们改写成“余数等于”的形式
然后把它们“倒回去”
得解 。
这个过程可以用矩阵表示(其中q表示商,r表示余数)
或者用初等变换
[2]