Beruflich Dokumente
Kultur Dokumente
a1x ≡ b1 (modn1 )
a2x ≡ b2 (modn 2 )
ar x ≡ br (modnr )
x ≡ 8 (mod12)
x ≡ 6 (mod 9)
€
The solution is unique because if x and y are two
solutions to the system, then for all i, x ≡ y (modmi )
⇒ mi | (x − y), and since the mi are pairwise
relatively prime, it follows that m|(x – y) , or
x ≡ y (modm). //
€
€
The proof of the theorem also suggests a speedy
algorithm for computing a solution to the system.
€ We illustrate with our previous example:
c M M −1 cMM −1
x ≡ 8 (mod12) 8 13 1 104
x ≡ 6 (mod13) 6 12 −1 −72
x ≡ 32 (mod156)
x ≡ c1 (modm1 )
x ≡ c2 (mod m2 )
x ≡ cr (modmr )
€ €
€
Proof Consider the case r = 2 first. If the system
of congruences has a solution x = c, then we can
write
c ≡ c1 (mod m1 ) c = km1 + c1
⇒
c ≡ c2 (mod m2 ) c = lm2 + c2
€
Consider the first congruence in each of the two
lines above; if d1 ≥ e1, then by our assumption,
c1 ≡ c2 (mod p1e1 ), so the second congruence
x ≡ c2 (mod p1e1 ) is redundant with respect to the
€
first congruence x ≡ c (mod p d1 ) and we can discard
1 1
€ the second congruence. Doing the same for the
€ other prime power moduli, we can discard all the
congruences whose moduli are the smaller of the
€ of the prime that appears and retain
two powers
the congruences whose moduli are the larger of the
two powers. Finally, again using the CRT, we can
solve the remaining system and obtain a unique
solution modulo [m1,m2 ].
Example: To solve
€ x ≡ 3 (mod 8)
x ≡ 7 (mod12)
x ≡ 4 (mod15)