【中国剩余定理】笔记

1. 一般形式

先拿一段古文作为引入：

今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何?

这是一个同余方程组，让我们把它翻译一下：

$$\{\begin{array}{l}x\equiv 2(\mathrm{mod}3)\\ x\equiv 3(\mathrm{mod}5)\\ x\equiv 2(\mathrm{mod}7)\end{array}$$

而中国剩余定理就可以解决部分类似的同余方程组，具体来说：

$$\{\begin{array}{l}x\equiv a_1(\mathrm{mod}{b}_1)\\ x\equiv a_2(\mathrm{mod}{b}_2)\\ \cdots \\ x\equiv a_n(\mathrm{mod}{b}_n)\end{array}$$

其中 $b_1,b_2,\cdots ,b_n$ 均两两互质

2. 使用方法

我们设：$M=\prod _{i=1}^n{b}_i,M_i=\frac{M}{b_i},M_i{M}_i^{-1}\equiv 1(\mathrm{mod}{b}_i)$

则原方程最小整数解为 $x=(\sum _{i=1}^n{a}_i\times M_i\times M_i^{-1})\mathrm{mod}M$

3. 证明

首先，假设 $x$ 是原方程的解，那么，对于方程组中的第 $i$ 个方程而言，都可进行如下分解：

$$\begin{array}{rl}x& \equiv a_i(\mathrm{mod}{b}_i)\\ \sum _{j=1}^n{a}_j\times M_j\times M_j^{-1}& \equiv a_i(\mathrm{mod}{b}_i)\\ a_i\times M_i\times M_i^{-1}+\sum _{j=1,j\ne i}^n{a}_j\times M_j\times M_j^{-1}& \equiv a_i(\mathrm{mod}{b}_i)\end{array}$$

我们先来看最复杂的一团东西：$\sum _{j=1,j\ne i}^n{a}_j\times M_j\times M_j^{-1}$

考虑如何化简

首先，对于任意 $i,j(i\ne j)$ 来说，都有 $b_i\mid M_j$

显然，因为 $M_j=\frac{\prod _{i=1}^n{b}_i}{b_j}$，而 $i\ne j$，所以 $b_i\mid M_j$ 成立

由此可得：

$$\begin{array}{rl}{M}_j& \equiv 0(\mathrm{mod}{b}_i)\\ a_j\times M_j\times M_j^{-1}& \equiv 0(\mathrm{mod}{b}_i)\\ \sum _{j=1,j\ne i}^n{a}_j\times M_j\times M_j^{-1}& \equiv 0(\mathrm{mod}{b}_i)\end{array}$$

因此，上面的式子可化简为：

$$a_i\times M_i\times M_i^{-1}\equiv a_i(\mathrm{mod}{b}_i)$$

又由 $M_i^{-1}$ 的定义可得：$M_i{M}_i^{-1}\equiv 1(\mathrm{mod}{b}_i)$，所以该式子还可进一步化简：

$$a_i\equiv a_i(\mathrm{mod}{b}_i)$$

式子恒成立，所以 $x$ 就是原方程的解

我们回头来看看这个方程：

$$\{\begin{array}{l}x\equiv 2(\mathrm{mod}3)\\ x\equiv 3(\mathrm{mod}5)\\ x\equiv 2(\mathrm{mod}7)\end{array}$$

显然，有 $M=105,M_1=35,M_1^{-1}=2,M_2=21,M_2^{-1}=1,M_3=15,M_3^{-1}=1$

所以 $x=(2\times 35\times 2+3\times 21\times 1+2\times 15\times 1)\mathrm{mod}105=23$