互素,上面的同余式有唯一解


证明:

正确性就把这个解放上去每一个方程验证,只有一项是 其他都是 0(里面都含有 出现)

唯一性证明,假设有两个解,需要证明这两个解关于 m 同余

说明


两两互素的时候

等价于

实际操作是把 m 标准分解,然后写成一系列 的形式,因为取交集,如有 p 的幂次的重复,取大的那个(解更少)

如: