我所理解的中国剩余定理

前两天，看离散数学的时候，突然对中国剩余定理有种新的理解和解释方式。

中国剩余定理表述如下，注意m1,m2,,...都是两两互素的

离散数学中并没有给出如何求解该线性同余方程组，只是给出了一种构造X的方式，并证明构造的X是满足条件的。

我想讲讲为啥要如此构造。

首先，X要满足线性同余方程组，即X中要包含方程组中全部的信息。那最简单的包含方式是加法的形式，于是构造出如下

X = x1+x2+x3+....xn；

为了更简单，我们希望x1,x2..分别只包含一项方程的信息。即xk只包含第k个方程的信息，而与其他方程无关。

由于是同余方程，所以Xmodmk，所以，只要当x1...xk-1,xk+1,...xn均包含mk，这样在去模的过程中就会将其他项都去掉，而只剩下xk，即此时变成了xk mod mk = ak.

由上面这一条，我们可以归纳出，xk要包含m1,m2,,,mk-1,mk+1,,,,mn的乘积，为方便叙述，不妨将Mk = m1*m2*m3....*mk-1*mk+1*...mn;

则此问题变成了

tMk = ak(mod mk)（不是=，而是同余，不知道怎么输入，，࿰