中国剩余定理 理论介绍及代码实现

由来

中国剩余定理，别称 孙子定理 和 中国余数定理，相传来自于中国古代数学研究著作《孙子算经》。

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

形式化上述问题，即求出最小正整数 $m$ 同时满足

$$\begin{gathered} m\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}3) \\ m\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}5) \\ m\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}7) \end{gathered}$$

利用 枚举法，我们分别枚举满足单个条件的正整数共 $3$ 组，可以发现 $23$ 是同时满足所有条件的最小正整数。

$$\begin{array}{rl}3n+2& =(2,5,8,11,14,17,20,\text{23},26,29,32\dots )\\ 5n+3& =(3,8,13,18,\text{23},28\dots )\\ 7n+2& =(2,9,16,\text{23},30\dots )\end{array}$$

而中国宋朝数学家 秦九韶 在《数学九章》中提出了更为系统的解答，中国明朝数学家 程大位 则将其编成《孙子歌诀》：

三人同行七十希，五树梅花廿一支，七子团圆正半月，除百零五便得知

意思是将除以 3 的余数乘以 70，将除以 5 的余数乘以 21，将除以 7 的余数乘以 15，然后再减去一个 105 的倍数，得到：

$$70\times 2+21\times 3+15\times 2=233=105\times 2+23$$

所以求出的结果也是 23。是不是很神奇？

数学形式的中国剩余定理

中国剩余定理有很多种数学形式的定义，我们采用 张跃辉在《数学的天空》一书中给出的形式化定义。

若 m 1 , m 2 , ⋯   , m s m_1, m_2, \cdots, m_s m1​,m