《孙子算经》中记载了这个问题的解法,有人将其解法编成歌诀:“三人同行七十稀,五树梅花廿一支,七子团圆正半月,除百零五便得知.”它的意思是用3除的剩余数乘70,用5除的剩余数乘21,用7除的剩余数乘15,将所得的结果相加再减去105的倍数,即可得所求数.算式是2×70+3×21+2×15=233,233-105×2=23,所以,最小的正整数解是23.这种解法,实际上是特殊的一次同余式组的求解定理.1801年,德国数学家高斯在《算术探究》中明确提出一次同余式组的求解定理。西方数学著作中将一次同余式的求解定理称为中国剩余定理。是中国古代求解一次同余式组的方法。是数论中一个重要定理。
如:公元前后的《孙子算经》中有“物不知数”问题:“今有物不知其数,三三数之余二 ,五五数之余三,七七数之余二,问物几何?”答为“23”。
就是同余定理,如果正整数m1、m2、……、mk两两互直,那么同余方程组
x≡a,(mod mi), i=1,2,……k 有无穷多解。 且这些解关于模 M=m1,m2,……,mk同余,可表成
x≡a1,M'1M1+a2M'2M2+……+akM'KMK(mod M).其中Mk=M/m,而M'k是满足M'kMk=1(mod mk)的正整数。这一算法后来传入西方,被称为中国剩余定理。