中国剩余定理

中國剩餘定理，又稱孫子定理或中國餘數定理，是数论中的一個关于一元线性同余方程组的定理，说明了一元线性同余方程组有解的准则以及求解方法。该定理在中国古代也被称为「韓信點兵」、「求一术」（宋 沈括）、「鬼谷算」（宋 周密）、「隔-{zh-cn:墻;zh-tw:牆;}-算」（宋 周密）、「剪管術」（宋 杨辉）、「秦王暗點兵」、「物不知數」等。

物不知数 
一元线性同余方程组问题最早可见于中國南北朝时期（公元5世纪）的数学著作《孫子算經》卷下第二十六题，叫做“物不知數”问题，原文如下：

即，一個整數除以三-{zh-cn:余;zh-tw:餘;}-二，除以五-{zh-cn:余;zh-tw:餘;}-三，除以七-{zh-cn:余;zh-tw:餘;}-二，求這個整數。《孫子算經》中首次提到了同余方程组问题，以及以上具体问题的解法，因此在中文数学文献中也会将中国剩余定理称为孙子定理。孫子沒正式證明，但後來印度數學家及天文學家阿耶波多給出具體過程，徹底解決了此定理的任何給定實例。

最初对“物不知数”问题作出完整系统解答的是宋朝数学家秦九韶，载于1247年《数书九章》卷一、二《大衍类》中，从而使这一问题变为定理。明朝数学家程大位在《算法统宗》中将解法编成易于上口的《孙子歌诀》：

这个歌诀给出了模数为3、5、7时候的同余方程的秦九韶解法。意思是：将除以3得到的余数乘以70，将除以5得到的余数乘以21，将除以7得到的余数乘以15，全部加起来後再减去105或者105的整数倍，得到的数就是答案（除以105得到的余数则为最小答案）。比如说在以上的物不知数问题里面，使用以上的方法计算就得到

因此按歌诀求出的结果就是23。

《数书九章》最初由伟烈亚力在19世纪初译为英文，而西方世界最早的完整系统解法由高斯在1801年提出。

形式描述 
用现代数学的语言来说明的话，中国剩余定理给出了以下的一元线性同余方程组：

有解的判定条件，并用构造法给出了在有解情况下解的具体形式。

中国剩余定理说明：假设整数其中任两數互质，则对任意的整数：，方程组有解，并且通解可以用如下方式构造得到：
设是整数的乘积，并设，即是除了以外的个整数的乘积。
设为模的数论倒数：
方程组的通解形式为： 在模的意义下，方程组只有一个解：

证明
从假设可知，对任何，由于，所以 这说明存在整数使得 这样的叫做模的数论倒数。觀察乘积可知：

所以满足：

这说明就是方程组的一个解。

另外，假设和都是方程组的解，那么：

而两两互质，这说明整除. 所以方程组的任何两个解之间必然相差的整数倍。而另一方面，是一个解，同时所有形式为：

的整数也是方程组的解。所以方程组所有的解的集合就是：

例子
使用中国剩余定理来求解上面的“物不知数”问题，便可以理解《孙子歌诀》中的数字含义。这里的线性同余方程组是：

三个模数 3, 5, 7 的乘积是 105，对应的 35, 21, 15. 而可以计算出相应的数论倒数：2, 1, 1. 所以《孙子歌诀》中的 70、21 和 15 其实是这个“物不知数”问题的基础解：

而将原方程组中的余数相应地乘到这三个基础解上，再加起来，其和就是原方程组的解：

这个和是 233，实际上原方程组的通解公式为：

《孙子算经》中实际上给出了最小正整数解，也就是  时的解：。

交换环上的推广

主理想整环
设是一个主理想整环，是其中的个元素，并且两两互质。令为这些元素的乘积，那么可以定义一个从商环映射到环乘积的同态：

并且是一个环同构。因此的逆映射也存在。而这个逆映射的构造方式就如同中国剩余定理构造一元线性同余方程组的解一样。由于和互质，所以存在和使得

而映射

就是的逆映射。

也是一个主理想整环。将以上的换成，就能得到中国剩余定理。因为

一般的交换环
设是一个有单位元的交换环，是为环的理想，并且当时，，则有典范的环同构：

模不两两互质的同余式组
模不两两互质的同余式组可化为模两两互质的同余式组，再用孙子定理直接求解。

84=22×3×7,160=25×5,63=32×7，由推广的孙子定理可得

与

同解。

以及

，取數論倒數

，因 ，故兩邊可同除以32， 取數論倒數

所以最小正整數解為，通解為。

注意求解过程中应先检查同余式组上是否存在矛盾，存在矛盾的同余式组无解。

参见 
哈瑟原则

参考资料

参考书目 

数学的100个基本问题，靳平 主编，ISBN 7-5377-2171-8

包含证明的条目
Sun, Master
交換代數
同余
数论定理