Chinese Remainder Theorem/General Result 2

Theorem
Let $n_1, n_2, \ldots, n_k$ be positive integers.

Let $b_1, b_2, \ldots, b_k$ be integers such that:


 * $\forall i \ne j: \gcd \set {n_i, n_j} \divides b_i - b_j$

Then the system of linear congruences:

has a simultaneous solution which is unique modulo $\lcm \set {n_1, \ldots, n_k}$.

Existence
We prove this by induction on $k$.

Basis for the induction
Let $k = 2$.

Let $d = \map \gcd {n_1, n_2}$.

From Bézout's Lemma:


 * $d = s n_1 + t n_2$

for some $s, t \in \Z$.

Let $\tuple {q_1, r}$ and $\tuple {q_2, r}$ be the quotient and remainder of $b_1$ and $b_2$ upon division by $d$.

Then $x = q_1 s n_2 + q_2 t n_2 + r$ is a solution.

Induction step
Let $n = \map \lcm {n_2, \ldots, n_k}$.

By the induction hypothesis, the last $k - 1$ congruences are equivalent to a single congruence:
 * $x \equiv b \pmod n$

for a certain $b \in \Z$ which satisfies $b \equiv b_i \pmod {n_i}$ for all $i \in \set {2, \ldots, k}$.

It remains to be shown that
 * $\map \lcm {n, n_1} = \map \lcm {n_1, \ldots, n_k}$
 * $b \equiv b_1 \pmod {\map \gcd {n, n_1} }$

to apply the case $k = 2$ and conclude.

The first statement follows from Lowest Common Multiple is Associative.

From GCD and LCM Distribute Over Each Other:
 * $\map \gcd {n, n_1} = \map \lcm {\map \gcd {n_1, n_2}, \ldots, \map \gcd {n_1, n_k} }$

For all $i \in \set {2, \ldots, k}$:
 * $b \equiv b_i \pmod {n_i}$

and:
 * $b_i \equiv b_1 \pmod {\map \gcd {n_1, n_i} }$

Thus:
 * $b \equiv b_1 \pmod {\map \gcd {n_1, n_i} }$

Therefore:
 * $b \equiv b_1 \pmod {\map \lcm {\map \gcd {n_1, n_2}, \ldots, \map \gcd {n_1, n_k} } }$