Você está na página 1de 5

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

Obs: Quem teorema,

x a1 mod m1 x a2 mod m2

no os restos

(1)

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 mod m1 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 teorema, 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 est nas nose e somente se valem as duas relaes abaixo. x a mod m1 x a mod m2
tas do Henri

(2)

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 x = m2 y2 + a2 Subtraindo as duas equaes e reordenando temos m1 y1 m2 y2 = a2 a1 . (5) (3) (4)

Agora, como mdc(m1 , m2 ) = 1, sabemos [j foi explicado antes] que a equao (5) possui alguma soluo ( y1 , y2 ) Z2 . Fixe uma tal soluo e dena x = x0 pela equao (3). Ento usando (5) vemos que tambm vale a equao (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 y a2 a2 0 mod m2 (6) (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 xe 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 soluo se e somente se x x0 mdulo Mmk = m1 mk1 mk , como queramos demonstrar. x3

Exemplo do

A resolvemos na fora bruta. . .

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

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).

4 3 2 1 0 0 12 1 13 2 3

4 8 7 6 5

11 10

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 indenitamente 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 x2 0 (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 Observao. Usando a proposio acima e a existncia de inverso multiplicativo mdulo p primo, podemos mostrar que a frmula de Bscara vale mod p. A proposio falsa se o mdulo no primo; no exemplo seguinte veremos que um nmero pode ter mais de duas razes quadradas mdulo 35 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 x2 11 1 mod 5 x2 11 4 mod 7 Como 1 e 4 j so quadrados em Z, pela proposio anterior este sistema equivalente a x 1 mod 5 x 2 mod 7 Isso d quatro sistemas estilo TCR: x 1 mod 5 x 2 mod 7 x 1 mod 5 x 2 mod 7 x 9 mod 35 x 1 mod 5 x 2 mod 7 x 16 mod 35. 5 x 1 mod 5 x 2 mod 7
Como 5 e 7 so primos, uma vez encontradas duas razes quadradas no cisamos procurar outras preque a Lei do Corte falsa o

quando primo.

mdulo no

que do todas as solues procuradas: