更新时间：2023-09-04 15:25
所以 满足：
这说明 就是方程组 的一个解。
另外，假设 和 都是方程组 的解，那么：
而 两两互质，这说明 整除 . 所以方程组 的任何两个解之间必然相差 的整数倍。而另一方面， 是一个解，同时所有形式为：
的整数也是方程组 的解。所以方程组所有的解的集合就是：
一元线性同余方程组问题最早可见于中国南北朝时期（公元5世纪）的数学著作《孙子算经》卷下第二十六题，叫做“物不知数”问题，原文如下：
有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。问物几何？
即，一个整数除以三余二，除以五余三，除以七余二，求这个整数。《孙子算经》中首次提到了同余方程组问题，以及以上具体问题的解法，因此在中文数学文献中也会将中国剩余定理称为孙子定理。
宋朝数学家秦九韶于1247年《数书九章》卷一、二《大衍类》对“物不知数”问题做出了完整系统的解答。明朝数学家程大位将解法编成易于上口的《孙子歌诀》：
三人同行七十稀，五树梅花廿一支，七子团圆正半月，除百零五使得知
这个歌诀给出了模数为3、5、7时候的同余方程的秦九韶解法。意思是：将除以3得到的余数乘以70，将除以5得到的余数乘以21，将除以7得到的余数乘以15，全部加起来后除以105（或者105的倍数），得到的余数就是答案。比如说在以上的物不知数问题里面，按歌诀求出的结果就是23。
在西方，与《孙子算经》同类的算法，最早见于1202年意大利数学家斐波那契的《算经》。1801年，德国数学家高斯的《算术探究》中，才明确写出了这一问题的求法。
设R是一个主理想整环，m1, m2, ... , mk是其中的k个元素，并且两两互质。令M m1m2...mn为这些元素的乘积，那么可以定义一个从商环R/MR映射到环乘积R/m1R × … × R/mkR的同态：
并且 是一个环同构。因此 的逆映射也存在。而这个逆映射的构造方式就如同中国剩余定理构造一元线性同余方程组的解一样。由于mi和Mi=M/mi互质，所以存在si和ti使得
而映射
就是 的逆映射。
也是一个主理想整环。将以上的R换成 ，就能得到中国剩余定理。因为
设R是一个有单位元的交换环，I1,I2, ... ,Ik是为环 的理想，并且当 时 ，，则有典范的环同构：
按研究方法来看，数论大致可分为初等数论和高等数论。初等数论是用初等方法研究的数论，它的研究方法本质上说，就是利用整数环的整除性质，主要包括整除理论、同余理论、连分数理论。高等数论则包括了更为深刻的数学研究工具。它大致包括代数数论、解析数论、计算数论等等。
初等数论主要就是研究整数环的整除理论及同余理论。此外它也包括了连分数理论和少许不定方程的问题。本质上说，初等数论的研究手段局限在整除性质上。
初等数论中经典的结论包括算术基本定理、欧几里得的质数无限证明、中国剩余定理、欧拉定理（其特例是费马小定理）、高斯的二次互反律， 勾股方程的商高定理、佩尔方程的连分数求解法等等。
例一：一个数，除以5余1，除以3余2。问这个数最小是多少？
采用通用的方法：逐步满足法
把除以5余1的数从小到大排列：1，6，11，16，21，26，……
然后从小到大找除以3余2的，发现最小的是11.
所以11就是所求的数。
先满足一个条件，再满足另一个条件，所以称之为“逐步满足法”。
例二：一个数除以5余1，除以3也余1。问这个数最小是多少？（1除外）
特殊的方法：最小公倍法
除以5余1：说明这个数减去1后是5的倍数。
除以3余1：说明这个数减去1后也是3的倍数。
所以，这个数减去1后是3和5的公倍数。要求最小，所以这个数减去1后就是3和5的最小公倍数。即这个数减去1后是15，所以这个数是15+1=16.
例三：一个数除以5余4，除以3余2。问这个数最小是多少？
这种情况也可以用最小公倍法。
数除以5余4，说明这个数加上1后是5的倍数。
数除以3余2，说明这个数加上1后也是3的倍数。
所以，这个数加上1后是3和5的公倍数。要求最小，所以这个数加上1后就是3和5的最小公倍数。即这个数加上1后是15，所以这个数是15－1=14。
多个数的，比如3个数的，有时候其中两个可以用特殊法，那就先用特殊法，用特殊法求出满足两个条件的数后再用通用的方法求满足最后一个条件的数。
例四：有1个数，除以7余2．除以8余4，除以9余3，这个数至少是多少？
除以7余2的数可以写成7n+2。
7n+2这样的数除以8余4，由于2除以8余2，所以要求7n除以8余2。
7n除以8余2，7除以8余7，要求n除以8余6（乘数之余等于余数之乘），则n最小取6。
所以满足“除以7余2，除以8余4”的最小的数是7×6+2=44，
所有满足“除以7余2，除以8余4”的数都可以写成44+56×m。
要求44+56×m除以9余3，由于44除以9余8，所以要求56×m除以9余4。（加数之余等于余数之加）
56×m除以9余4，由于56除以9余2，所以要求m除以9余2（乘数之余等于余数之乘），则m最小取2。
所以满足“除以7余2，除以8余4，除以9余3”的最小的数是44+56×2=156。
例五：三三数之剩二，五五数之剩三，七七数之剩二。问物几何？
即，一个整数除以三余二，除以五余三，除以七余二，求这个整数。
除以3余2和除以7余2的数可以写成21n+2。
21n+2除以5余3，要求21n除以5余1。
21n除以5余1，21除以5余1，要求n除以5余1（乘数之余等于余数之乘），则n最小取1。
所以满足“除以3余2，除以5余3，除以7余2”的最小的数是21×1+2=23。
15÷7=2……余1，
21÷5=4……余1，
70÷3=23……余1.
再用找到的三个较小数分别乘以所要求的数被7、5、3除所得的余数的积连加，
15×2+21×3+70×2=233. (将233处用i代替，用程序可以求出)
最后用和233除以3、5、7三个除数的最小公倍数.
233÷105=2……余23，
这个余数23就是合乎条件的最小数.
例六：一个数被5除余2，被6除少2，被7除少3，这个数最小是多少?
题目可以看成，被5除余2，被6除余4，被7除余4 。看到那个“被6除余4，被7除余4”了么，有同余数的话，只要求出6和7的最小公倍数，再加上4，就是满足后面条件的数了，6X7+4=46。
下面一步试下46能不能满足第一个条件“一个数被5除余2”。不行的话，只要再46加上6和7的最小公倍数42，一直加到能满足“一个数被5除余2”。这步的原因是，42是6和7的最小公倍数，再怎么加都会满足“被6除余4，被7除余4”的条件。
46+42=88
46+42+42=130
46+42+42+42=172
例7：一个班学生分组做游戏，如果每组三人就多两人，每组五人就多三人，每组七人就多四人，问这个班有多少学生?
题目可以看成，除3余2，除5余3，除7余4。没有同余的情况，用的方法是“逐步约束法”，就是从“除7余4的数”中找出符合“除5余3的数”，就是再7上一直加7，直到所得的数除5余3。得出数为18，下面只要在18上一直加7和5得最小公倍数35，直到满足“除3余2”
4+7=11
11+7=18
18+35=53