中国剩余定理

所有出现的数均为整数
假设m1、m2、m3…mn互质
xa1(mod m1)
xa2(mod m2)
xa3(mod m3)
…
xan(mod mn)----------------------------------------1）
则存在m=m1m2m3…*mn
使得x==a(mod m)

证明：

Mk=m/mk (Mk 是所有m的乘积（除了mk）)
因为所有m互质
因此gcd(mk,Mk)=1

根据贝祖定律

存在 Mk*yk+t*mk=1(很显然|Mk*yk|-|t*mk|=1)
则     Mk*yk==1(mod mk)

构造一个函数
x=a1*M1*y1+..+an*Mn*yn
显然该函数满足1）的假设系列

此时
x==ak*Mk*yk==ak*1(mod mk)

对于x存在x==a1*M1*y1+..+an*Mn*yn(mod m)//显然所有数都不被m整除

eg:
x==2(mod 3)
x==3(mod 5)
x==2(mod 7)

x=2*35*2_3*21*1+2*15*1=233==23(mod 105)