设
m
1
,
m
2
,
.
.
.
,
m
n
m_1,m_2,...,m_n
m1,m2,...,mn是两两互质的整数,
m
=
∏
i
=
1
n
m
i
,
M
i
=
m
/
m
i
,
t
i
m=\prod_{i=1}^nm_i,M_i=m/m_i,t_i
m=∏i=1nmi,Mi=m/mi,ti是线性同余方程
M
i
t
i
≡
1
(
mod
m
i
)
M_it_i\equiv1(\operatorname{mod} m_i)
Miti≡1(modmi)的一个解。对于任意的n个整数
a
1
,
a
2
,
.
.
.
,
a
n
a_1,a_2,...,a_n
a1,a2,...,an,方程组
{
x
≡
a
1
(
mod
m
1
)
x
≡
a
2
(
mod
m
2
)
⋮
x
≡
a
n
(
mod
m
n
)
\begin{cases}x\equiv a_1(\operatorname{mod} m_1)\\x\equiv a_2(\operatorname{mod }m_2)\\\vdots\\x\equiv a_n(\operatorname{mod}m_n)\end{cases}
⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧x≡a1(modm1)x≡a2(modm2)⋮x≡an(modmn)
有整数解,解为 x = ∑ i = 1 n a i M i t i x=\sum_{i=1}^{n}a_iM_it_i x=∑i=1naiMiti
证明:
因为 M i = m / m i M_i=m/m_i Mi=m/mi是除 m i m_i mi之外所有模数的倍数,所以 ∀ k ≠ i , a i M i t i ≡ 0 ( mod m k ) \forall k \ne i,a_iM_it_i\equiv 0(\operatorname{mod} m_k) ∀k̸=i,aiMiti≡0(modmk)。又因为 a i M i t i ≡ a i ( mod m i ) a_iM_it_i\equiv a_i(\operatorname{mod}m_i) aiMiti≡ai(modmi),所以代入 x = ∑ i = 1 n a i M i t i x=\sum_{i=1}^na_iM_it_i x=∑i=1naiMiti,所以原方程组成立、