2016.1.26
由于比较懒,于是先copy百度一发
-------------------我是分割线--------------------
用现代数学的语言来说明的话,中国剩余定理给出了以下的一元线性同余方程组:
有解的判定条件,并用构造法给出了在有解情况下解的具体形式。
中国剩余定理说明:假设整数
m1,
m2, ... ,
mn两两互质,则对任意的整数:
a1,
a2, ... ,
an,方程组

有解,并且通解可以用如下方式构造得到:
设

是整数
m1,
m2, ... ,
mn的乘积,并设

是除了
mi以外的
n- 1个整数的乘积。
方程组

的通解形式为
在模

的意义下,方程组

只有一个解:
-------------------我是分割线--------------------
设来设去一大堆容易把人搞晕了,但是如果先看最后的式子就好理解了。
显然除了aitiMi这一项外,其余项模mi都得0,又因为ti是Mi的逆元,所以x mod mi=ai
于是就都符合我们求的一元同余线性方程组啦~
中国剩余定理
原文:http://www.cnblogs.com/16er/p/5159549.html