Obs: Quem

Teorema Chins do Restos. Dados dois inteiros m1 , m2 2 primos entre si

chins
(isto , mdc(m1 , m2 ) = 1), e dados outros dois inteiros quaisquer a1 , a2 , o sistema
o teorema,
no os restos
(
x a1 mod m1
(1)
x a2 mod m2

possui uma soluo x = x0 . Alm disso, um inteiro x ser soluo do sistema se e

somente se x x0 mod m1 m2 .

A concluso do Teorema tambm pode ser expressa assim: O conjunto

de solues do sistema sempre da forma {x0 + km1 m2 ; k Z}. Em particular, a
soluo nica modm1 m2 .

Exemplo 1. Considere o sistema

(
x 1 mod 2
x 5 mod 5

A primeira equao diz que x mpar, enquanto a segunda diz que o dgito
das unidades de x 0 ou 5. Portanto as solues do sistema so 0, 5, 15
etc. Ou seja, x soluo se e somente se x 5 mod 10. Em particular, a
soluo nica mod 10, como previsto pelo Teorema Chins dos Restos.

Exemplo 2. Para ver que a hiptese mdc(m1 , m2 ) = 1 necessria no teo-

rema, considere o sistema
(
x 2 mod 4
x 3 mod 6

Esse sistema no tem soluo. Por outro lado, o sistema

(
x 0 mod 4
x 0 mod 6

tem solues x = 0, 12, 24, . . . Porm a soluo no nica mod m1 m2 =

24.
Este o teo-
Corolrio. Suponha m1 , m2 2 primos entre si. Ento temos x a mod m1 m2 reminha que
se e somente se valem as duas relaes abaixo. est nas no-
( tas do Henri
x a mod m1
(2)
x a mod m2

Demonstrao. Dado qualquer inteiro a, o sistema (2) de equaes em x

obviamente possui uma soluo x0 = a. Pelo TCR, todas as outras solues
sero congruentes a esta mod m1 m2 . Portanto vale (2) se e somente se
x a mod m1 m2 . 

1
Prova do TCR. Primeiro veremos que existe pelo menos uma soluo. Um
inteiro x satisfaz o sistema (1) se e somente se existem inteiros y1 e y2 tais
que

x = m1 y1 + a1 (3)
x = m2 y2 + a2 (4)

Subtraindo as duas equaes e reordenando temos

m1 y1 m2 y2 = a2 a1 . (5)

Agora, como mdc(m1 , m2 ) = 1, sabemos [j foi explicado antes] que a equa-

o (5) possui alguma soluo (y1 , y2 ) Z2 . Fixe uma tal soluo e defina
x = x0 pela equao (3). Ento usando (5) vemos que tambm vale a equa-
o (4). Portanto este x = x0 uma soluo do sistema (1).
Uma vez encontrada uma soluo x0 , vejamos que qualquer x x0 mod
m1 m2 soluo: de fato x = x0 + km1 m2 implica x x0 mod m1 e x
x0 mod m2 .
Por outro lado, veremos que todas as solues so dessa forma. Suponha
x soluo do sistema (1). Como x1 tambm soluo, temos que y = x x0
satisfaz

y a1 a1 0 mod m1 (6)
y a2 a2 0 mod m2 (7)

Por (6), m1 divide y, isto , existe tal que y = m1 . Por (7), m2 divide
y = m1 . Como m1 e m2 so primos entre si, m2 divide , isto , existe k tal
que = km2 . Portanto y = km1 m2 0 mod m1 m2 , ou seja, x x0 mod m1 m2 ,
como queramos provar. 

Observao. A prova do teorema d um mtodo para encontrar solues dos

tais sistemas. Isso deve ser mostrado em aula com alguns exemplos.
Vejamos agora uma verso ainda melhor do TCR:
Teorema Chins do Restos (Verso forte). Sejam m1 , . . . , mk inteiros 2 dois
a dois primos entre si (isto , mdc(mi , m j ) = 1 sempre que i , j). Sejam a1 , . . . , ak
inteiros quaisquer. Ento o sistema



x a1 mod m1
x a mod m
2 2
(8)





x a mod m

k k

possui uma soluo x = x0 . Alm disso, um inteiro x soluo do sistema se e

somente se
x x0 mod m1 mk .

2
Demonstrao. A prova por induo no nmero k 2 de equaes. J
vimos que o teorema vale para 2 equaes. Agora fixe k > 2 e suponha que
o teorema vale para k 1 equaes. Dados m1 , . . . , mk dois a dois primos
entre si, e a1 , . . . , ak quaisquer, considere o sistema formado apenas pelas
k 1 primeiras equaes em (8). Pela hiptese de induo, existe um b tal
que este subsistema equivalente a uma nica equao, a saber,

x b mod M, onde M = m1 mk1 .

Portanto o sistema inteiro (8) equivalente a um sistema com duas equaes:

(
x b mod M
x ak mod mk

Notando que M e mk so primos entre si, e usando que o teorema vale

para duas equaes, temos que existe soluo x0 . Alm disso, x solu-
o se e somente se x x0 mdulo Mmk = m1 mk1 mk , como queramos
demonstrar. 
Exemplo do
x3
Exemplo 3. Resolver = 277 mod 360. caderno
Note que 360 = 8 9 5, e esses trs nmeros so primos entre si. Pelo
TCRverso forte, a equao equivalente ao sistema
3


x 277 mod 8
3

x 277 mod 9
x3 277 mod 5

A resolvemos na fora bruta. . .

Observao. Eu gostaria de mostrar na aula mais aplicaes do TCR! Quem

sabe isto? www.cut-the-knot.org/blue/chinese.shtml Ver tambm o [GKP].

Prova dinmica do Teorema Chins dos Restos

Vamos dar uma outra prova do TCR, que esclarece o que acontece
quando m1 e m2 no so primos entre si.
Sejam m1 e m2 inteiros 2 quaisquer. Considere um retngulo de
lados m1 e m2 , dividido em quadrados 1 1. Cada quadrado descrito por
coordenadas (x, y) onde x e y so inteiros com 0 x m1 1 e 0 y m2 1;
veja a Figura 1. Considere o seguinte passeio no retngulo:

No tempo t = 0 comeamos no quadrado (0, 0).

3
 4 4 9

3 13 3 8

2 12 2 7

1 1 6 11

0 0 5 10

0 1 2 3 4 5 6 7 8 9 10 11

Figura 1: Passeio no retngulo 12 5. No tempo t = 13 estamos no quadrado

(1, 3).

Se no tempo (inteiro no-negativo) t estamos no quadrado (x(t), y(t))

ento no tempo t + 1 pulamos para o nico quadrado (x(t + 1), y(t + 1))
no retngulo m1 m2 cujas coordenadas satisfazem

x(t + 1) x(t) + 1 mod m1 e y(t + 1) y(t) + 1 mod m2 .

Equivalentemente, x(t) t mod m1 e y(t) t mod m2 . Quando retornamos

pela primeira vez ao quadrado (0, 0)? Isso acontece no menor tempo t que
congruente a zero mdulo m1 e m2 , isto , no mnimo mltiplo comum de m1
e m2 , chamemos p = mmc(m1 , m2 ). Observe tambm que o tempo t = p a
primeira vez que visitamos um quadrado que j tinha sido visitado antes.
(Isso acontece pois no h dois quadrados diferentes que pulem para um
mesmo quadrado.) A partir do tempo p, visitaremos os mesmos quadrados
de novo, e na mesma ordem. Alm disso, cada um desses quadrados
visitado periodicamente uma vez a cada p unidades de tempo.
No caso que m1 e m2 so primos entre si, temos p = m1 m2 . Mas esse
o nmero total de quadrados no retngluo; portanto visitaremos todos os
quadrados. Isto prova o Teorema Chins dos Restos: Dados quaisquer x0 ,
y0 , o sistema t x0 mod m1 e t y0 mod m2 tem uma soluo t0 , e as outras
solues so exatamente os ts tais que t t0 mod p. (Podemos pensar que
o passeio se estende indefinitamente no passado para incluir ts negativos.)
No caso que m1 e m2 so primos entre si, temos p < m1 m2 e portanto
alguns quadrados jamais sero visitados.
Observao. Imagine o retngulo m1 m2 feito de borracha. A colamos a
aresta de baixo com a de cima, obtendo um cilindro. Depois colamos os
dois crculos correspondentes s arestas laterais do retngulo, obtendo um

4
toro (superfcie de uma rosquinha). Um vdeo do passeio no toro est aqui:
LINK YOUTUBE.
Observao. A prova acima tambm d a verso forte do teorema, desde
que usemos um retngulo de dimenso maior. . .

Alguns comentrios sobre equaes quadrticas

Proposio (Razes quadradas mdulo p). Se p > 2 primo ento para qualquer
a, a equao x2 a mod p cai em um dos trs casos:
a) ou no tem soluo;
b) ou as solues so da forma x 0 mod p;
c) ou as solues so da forma x x0 mod p.
Demonstrao. Basta mostrar que se x e x0 so solues da equao ento
x x0 mod p. Se x0 soluo ento
0 a a x2 x20 (x x0 )(x + x0 ) mod p
Suponha que x . x0 mod p. Ento podemos multiplicar os dois lados
da equao acima pelo inverso multiplicativo mod p de x x0 e obter
0 x + x0 mod p.  observar
que a Lei
Observao. Usando a proposio acima e a existncia de inverso multipli-
do Corte
cativo mdulo p primo, podemos mostrar que a frmula de Bscara vale
falsa
mod p.
quando o
A proposio falsa se o mdulo no primo; no exemplo seguinte mdulo no
veremos que um nmero pode ter mais de duas razes quadradas mdulo 35 primo.
incongruentes entre si:
Exemplo 4 (Refazendo o exemplo 4 das notas do Henri, pag 12). . Resolver
a equao x2 11 mod 35. Pelo TCR, isto equivalente ao sistema
( 2
x 11 1 mod 5
x2 11 4 mod 7
Como 1 e 4 j so quadrados em Z, pela proposio anterior este sistema Como 5 e 7
equivalente a ( so primos,
x 1 mod 5 uma vez
x 2 mod 7 encontradas
Isso d quatro sistemas estilo TCR: duas razes
( ( ( ( quadradas
x 1 mod 5 x 1 mod 5 x 1 mod 5 x 1 mod 5 no pre-
x 2 mod 7 x 2 mod 7 x 2 mod 7 x 2 mod 7 cisamos
que do todas as solues procuradas: procurar
outras
x 9 mod 35 x 16 mod 35.