我将示范如何合并前两行,其余方程的合并和它完全相同。
x ≡ a1 (Mod m1) -> x = k1*m1 + a1
x ≡ a2 (Mod m2) -> x = k2*m2 + a2 (其中k1,k2为满足条件的某整数,具体的值目前未知)
所以我们联系上面两式得到 k1m1 + a1 = k2m2 + a2 发现这里有两个变量,可以想到利用扩展欧几里得求解,所以我们把它稍稍变化:
k1m1 - k2m2 = a2-a1 【Wo,这不是ax+by=z的标准格式么!】这样我们就可使用扩展欧几里得算法求出一个满足条件的k1了。【请注意:这是伏笔】