Você está na página 1de 6

Congruncias

Introduo
A teoria das congruncias uma ferramenta bastante til para a resoluo de problemas
de diversas reas da Matemtica, pois torna bem mais simples as questes que, priori,
exigem muito raciocnio.

Definio
Dizemos que dois nmeros inteiros, a e b, so congruentes, quando na diviso por um
mesmo nmero (m), deixam o mesmo resto. Diz-se ento que:
a congruente a b mdulo m
Notao: a b (mod m) a e b quando divididos por m deixam o mesmo resto.
Exemplos:
12 2 (mod 5)
10 1 (mod 3)
24 3 (mod 7)
22 2 (mod 4)
28 1 (mod 9) *
No ltimo exemplo acima (*), 28 quando dividido por 9 deixa resto 1 (28 = 3.9 + 1). Isto
estamos acostumados a fazer, trabalhar com o menor resto positivo (diviso euclidiana).
Mas tambm podemos escrever que 28 = 4.9 8, logo o resto seria -8. De fato, isso no
permitido na diviso euclidiana, por trabalhar com o menor resto positivo, mas na teoria
das congruncias podemos trabalhar com restos negativos, ou seja, podemos dizer que
28 -8 (mod 9).

Material elaborado por Lucas Lemos

Congruncias

Propriedades
Se a b (mod m) e c d (mod m), ento a c b d (mod m).
Se a b (mod m) e c d (mod m), ento a.c b.d (mod m).
Se a b (mod m) e k um nmero inteiro, ento a k b k (mod m).
Se a b (mod m) e k um nmero inteiro, ento a.k b.k (mod m).
Se a b (mod m), ento an bn (mod m).
(Teorema de Fermat) Se a natural, e p primo, ento a (mod p).
(Corolrio do Teorema de Fermat) Se p primo e no divisor de a, ento 1 1
(mod p).
(Teorema de Wilson) Se p primo, ento (p 1)! -1 (mod p).

Teorema Chins dos Restos


Tal teorema recebeu esse nome devido ao fato de que este resultado j era conhecido
pelos matemticos chineses na antiguidade.
Sejam m1, m2, . . . , mr, r inteiros positivos que so primos entre si, dois a dois, e sejam a1, a2,
. . . , ar, r inteiros quaisquer, ento o sistema:
x 1 (mod 1 )
x 2 (mod 2 )
.
.
.
x (mod )
possui soluo e a soluo nica mdulo m, onde m = m1.m2.m3 . . . mr.

Material elaborado por Lucas Lemos

Congruncias

Problemas Resolvidos
Problema 01. Determine o algarismo da unidade do nmero n = 1 + 6 + 6 + 6 + . . . +
62006.
Soluo: Determinar o algarismo da unidade de um nmero n a mesma coisa que
determinar o resto da diviso de n por 10.
Observe a seqncia de congruncias abaixo:

60 = 1 1 (mod 10)
61 = 6 6 (mod 10)
62 = 36 6 (mod 10)
63 = 216 6 (mod 10)
.
.
.

E assim repete-se sucessivamente. Conclumos ento que a partir de 61 o resto sempre


ser 6 mdulo 10. Portanto,
1 + 6 + 6 + 6 + . . . + 620 06 1 + 6 + 6 + 6 + + 6 (mod 10)
2006 vezes

1 + 6 + 6 + 6 + . . . + 620 06 1 + 2006.6 (mod 10)


1 + 6 + 6 + 6 + . . . + 620 06 1 + 6.6 (mod 10)
1 + 6 + 6 + 6 + . . . + 620 06 1 + 6 = 7(mod 10)

Problema 02. Mostre que os inteiros 3 e 3+4 terminam direita pelo mesmo algarismo.
Soluo: Se 3 K (mod 10), temos 3+4 = 3 . 34 = 3 .81 3 .1 = K (mod 10). Portanto,
3 3+4 K (mod 10). Tendo assim o mesmo algarismo da unidade, ou seja, terminam
direita pelo mesmo algarismo.

Problema 03. Demonstre que, para todo n natural, o nmero 7 - 1 divisvel por 3.
Soluo: Para um nmero ser divisvel por outro, o resto da diviso dever ser zero. Logo,
devemos demonstrar que 7 1 0 (mod 3). Usando seus conhecimentos em
congruncia, fica fcil demonstrar, vejamos:
7 1 (mod 3) 7 1 = 1 mod 3 7 1 0 mod 3 . . .

Material elaborado por Lucas Lemos

Congruncias

Problema 04. Prove que n + 2n divisvel por 3, para todo n natural.


Soluo: Do Teorema de Fermat temos n n (mod 3). Somando 2n aos dois lados da
congruncia teremos n + 2n 3n 0 (mod 3).
Problema 05. Mostre que se p um primo mpar, ento 2(p 3)! -1 (mod p).
Soluo: Sendo p primo, pelo Teorema de Wilson temos que (p 1)! -1 (mod p). Sabendo
que (p 1)! = (p 1)(p - 2)(p 3)! e como p 1 -1 (mod p) e p 2 -2 (mod p) para p
2, temos (p 1)(p 2)(p 3)! (-1)(-2)(p 3)! 2(p 3)! - 1 (mod p).

Problemas Propostos
Problema 1. Se n um inteiro divisvel por 3, mostre que 2n 1 divisvel por 7.
Problema 2. Se n no divisvel por 3, mostre que 2n 1 no divisvel por 7.
Problema 3. Se p e p + 2 so nmeros primos estritamente maiores que 3, prove que 6
um divisor de p + 1.
Problema 4. Prove que para qualquer inteiro positivo n, N = n + 2 no divisvel por 3.
Problema 5. Se p > 3 primo, prove que o resto da diviso de p por 12 igual a 1.
Problema 6. Existe algum natural n para o qual existem n 1 progresses aritmticas com
razes 2, 3, . . . , n tais que qualquer natural est em pelo menos uma das progresses?
Problema 7. Existe uma progresso aritmtica infinita de nmeros mpares, nenhum
deles da forma 2k + p, onde k + e p primo?
Problema 8. Seja n > 1 um inteiro positivo tal que a soma dos cubos dos nmeros n 1, n e
n + 1 igual ao cubo de um inteiro. Prove que n um mltiplo de 4.

Material elaborado por Lucas Lemos

Congruncias
Problema 9. Seja n > 6 um inteiro positivo tal que n 1 e n + 1 so primos. Mostre que
n(n + 16) divisvel por 720. A recproca verdadeira?
Problema 10. Seja n um inteiro. Prove que se 2 + 2 282 + 1 um inteiro, ento ele um
quadrado perfeito.
Problema 11. Dados os inteiros positivos a, c e o inteiro b, prove que existe um inteiro
positivo x tal que ax + x b (mod c).
Problema 12. Mostre que para qualquer sistema reduzido 1 , 2 , . . . , 1 de resduos
mdulo p (p primo), temos
1

1 (mod )
=1

Problema 13. Resolva o seguinte sistema de congruncias:


2 1 (mod 2)
3 2 (mod 7)
5 7 (mod 11)
Problema 14. Mostre que 47 divisor de 223 1.
Problema 15. Mostre que se p um mpar e a + 2b = 2p, ento a par e b mpar.
Problema 16. Mostre que p divisor de

onde 0 < k < .

Problema 17. Mostre que para n 4 o resto da viso por 12 de 1! + 2! + 3! + . . . + n! 9.


Problema 18. Mostre que 5n + 75 0 (mod 12) para todo inteiro n.
Problema 19. Mostre que 3x + 4x 3 (mod 5) equivalente a 3x - x + 2 0 (mod 5).

Material elaborado por Lucas Lemos

Congruncias
Problema 20. Prove que, para todo nmero composto n, n 4, a congruncia (n 1)! 0
(mod n) verdadeira.
Problema 21. Mostre que se p e q so primos, p q 5, ento p - q 0 (mod 24).
Problema 22. Mostre que 7 a (mod 21) para todo inteiro a.
Problema 23. Seja f(x) um polinmio com coeficientes inteiros, mostre que se f(-1), f(0) e
f(1) no so divisveis por 3, ento f(n) 0 para todo inteiro n.

Material elaborado por Lucas Lemos