Professional Documents
Culture Documents
Theorem
Consider
Oystein Ore mentions a puzzle with a dramatic element from
Brahma-Sphuta-Siddhanta (Brahma's Correct System) by
Brahmagupta (born 598 AD):
An old woman goes to market and a horse steps on her basket and
crushes the eggs. The rider offers to pay for the damages and asks
her how many eggs she had brought. She does not remember the
exact number, but when she had taken them out two at a time,
there was one egg left. The same happened when she picked them
out three, four, five, and six at a time, but when she took them
seven at a time they came out even. What is the smallest number
of eggs she could have had?
The Chinese Remainder Theorem
Theorem: Suppose that m1, m2, ..., mr are pairwise relatively prime
positive integers, and let a1, a2, ..., ar be integers. Then the system of
congruences, x ai (mod mi) for 1 i r, has a unique solution
modulo M = m1 m2 ... mr, which is given by:
x a1M1y1 + a2M2y2 + ... + arMryr (mod M),
where Mi = M/mi and yi (Mi)-1 (mod mi) for 1 i r.
The Chinese Remainder Theorem
Theorem: Suppose that m1, m2, ..., mr are pairwise relatively prime positive integers, and let a1, a2, ..., ar be integers. Then the system of
congruences, x ai (mod mi) for 1 i r, has a unique solution modulo M = m1 m2 ... mr, which is given by:
x a1M1y1 + a2M2y2 + ... + arMryr (mod M),
where Mi = M/mi and yi (Mi)-1 (mod mi) for 1 i r.
Pf: Notice that gcd(Mi, mi) = 1 for 1 i r. Therefore, the yi all exist
(determined easily from the extended Euclidean Algorithm). Now, notice
that since Miyi 1 (mod mi), we have aiMiyi ai (mod mi) for 1 i r.
On the other hand, aiMiyi 0 (mod mj) if j i (since mj | Mi in this case).
Thus, we see that x ai (mod mi) for 1 i r.
If x0 and x1 were solutions, then we would have x0 - x1 0 (mod mi) for
all i, so x0 - x1 0 (mod M), i.e., they are the same modulo M.
Example
Find the smallest multiple of 10 which has remainder 2 when divided
by 3, and remainder 3 when divided by 7.