前两天,看离散数学的时候,突然对中国剩余定理有种新的理解和解释方式。
中国剩余定理表述如下,注意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)(不是=,而是同余,不知道怎么输入,,