CONGRUNCIAS EM

Definio 3. Consideremos um inteiro positivo . Dizemos que congruente a

mdulo , quando dividir a b e denotamos por a b (mod m). Se no dividir
a b , dizemos que incongruente a mdulo e denotamos por a b (mod m).
Exemplo: 7 2 (mod 5), pois 5 divide 7 2 5 . 10 1(mod 8), pois 8 no divide
10 1 9 .

Proposio 3. Sejam , , inteiros com m 0 . Se a b (mod m) e

b c (mod m), ento a c (mod m).

Prova: Se a b (mod m) e b c (mod m), ento existem inteiros tais que

a b x m e b c m y . Agora, somando essas duas igualdades, obtemos
a c m ( x y ) , ou seja, m a c ; isto , a c (mod m).

Proposio 4. Sejam , , , inteiros com m 0 . Se a b ( mod ) e

c d (mod ), ento a c b d (mod ).

Prova: Se a b (mod m) e c d (mod m), ento existem inteiros tais que

a b m x e c d m y . Agora, somando e subtraindo as duas igualdades obtemos:
(a c) (b d ) m ( x y ) e (a c) (b d ) m ( x y ) . Isso quer dizer que
a c b d (mod m).

Proposio 5. Sejam , , , inteiros com m 0 . Se a b (mod ) e c d

(mod ), ento ac bd (mod ).
Prova: Por hiptese, temos a b m x e c d m y para algum par de inteiros x e
y. Agora, multiplicando a primeira equao por c e a segunda por b, obtemos
a c b c m x c e cb db m y b e somando obtemos
a c d b m ( x c y b) , ou seja, ac bd (mod m).

Teorema 9. Sejam , inteiros com m 0 . Se a b (mod m), ento a n b n (mod

) para todo inteiro n 1 .
Prova: claro que se n 1 , no temos nada o que provar. Usaremos induo sobre n.
Passo indutivo: Suponhamos que a k b k (mod m) para algum inteiro k 1 . Sabemos,
por hiptese, que a b (mod m), ento usando a proposio anterior, temos:
a k a b k b (mod m), ou seja, a k 1 b k 1 (mod m). Assim, a n b n (mod m) para todo
n 1.

PROBLEMAS PROPOSTOS
1. (LUS/2007) Prove que o nmero 2006 2009 2008 2005 divisvel por 2007.
2. (LUS/2007) Ache todas as solues inteiras de x2 4000 y 2 3 .
3. (ARGENTINA) Determine todos os inteiros positivos que satisfazem a
equao 5 x 2 17 y .
4. Calcular o resto da diviso do inteiro: (116 + 1717 )21 por 8.
5. Calcular o resto da diviso do inteiro 7100 + 11100 por 13.
6. Mostrar que o inteiro: 1316 243 517 divisvel por 3.
7. Mostrar que a expresso: 3 52+1 + 23+1 divisvel por 17 para qualquer
que seja o inteiro positivo .
8. Achar os restos das divises dos inteiros: 250 4165 por 7.
9. Prove que a equao x2 7 y 10 no possui soluo inteira.
10. Prove que no existe inteiro , tal que 4n 2 3 seja um mltiplo de 7.
11. (CHILE) Determine todos os pares de inteiros positivos (, ) tais que
3n 5m 4 .
12. (USA) Ache todas as triplas (, , ) de inteiros no negativos tais que
3a 1 5b 7c .
13. (HUNGRIA/ISRAEL) Ache todos os inteiros positivos tais que
5 x 3 y 16 .
14. (RSSIA) Ache todos os inteiros positivos tais que 3a 7 2b .
15. (BANCO CONE SUL) Ache todos os inteiros positivos tal que
2m 3n 1 .
16. (OBM/2005) Prove que 12005 22005 32005 ... 2005 2005 mltiplo de
1 2 3 ... 2005 .
17. (ARGENTINA) Ache todos os primos , de modo que 2 p p 2 tambm
primo.