Escolar Documentos
Profissional Documentos
Cultura Documentos
Congruência
A noção de congruência foi introduzida por Gauss no trabalho Disquisitiones Arithmeticae em 1801
quando tinha apenas 24 anos.
Por exemplo, 15 ≡ 3 (mod 4), pois 4|15 − 3 e 101 ≡ 11 (mod 10), pois 10|101 − 11. A congruência módulo
m define uma relação de equivalência, ou seja, a congruência módulo m satisfaz a proposição abaixo.
• a ≡ a (mod m),
A demonstração da Proposição pode ser encontrada no livro texto da disciplina, outras propriedades
interessantes da congruência são as seguintes:
• a + x ≡ b + x (mod m),
• a − x ≡ b − x (mod m),
• a · x ≡ b · x (mod m).
• a + c ≡ b + d (mod m),
• a · c ≡ b · d (mod m),
• an ≡ bn (mod m), ∀ n ∈ N.
Solução: No exercício anterior mostramos que 369 ≡ 1 (mod 13), da terceira propriedade da Proposição 2
segue que 369 · 3 ≡ 1 · 3 (mod 13), ou seja, 370 ≡ 3 (mod 13). Pela definição de congruência, 13|370 − 3, logo
existe k ∈ Z tal que 370 − 1 = 13 · k. Daí,
370 = 13 · k + 3.
Solução: Reescrevendo na notação de congruência, queremos provar que 270 +370 ≡ 0 (mod 13). Observe
que 24 ≡ 3 (mod 13), utilizando a última propriedade do Teorema 1 obtemos que
Como 33 ≡ 1(mod 13), segue da última propriedade da Proposição 1 que 212 ≡ 1(mod 13). Utilizando
agora a última propriedade do Teorema 1 obtemos que
Portanto, 260 ≡ 1 (mod 13). Por outro lado, sabemos que 24 ≡ 3 (mod 13) e 22 ≡ 4 (mod 13), da segunda
propriedade do Teorema 1 segue que
.
Como 13 ≡ 0 (mod 13) segue que 270 + 370 ≡ 0 (mod 13) e isto encerra a solução.
Exercício Resolvido 4 Mostre que para todo inteiro x tem-se que x2 ≡ 0 (mod 3) ou x2 ≡ 1 (mod 3).
Solução: Do algoritmo da divisão segue que o resto da divisão de x por 3 possui apenas as seguintes
possibilidades: 0, 1, 2. Podemos reescrver isso usando a noção de congruência da seguinte forma:
1. x ≡ 0 (mod 3),
2. x ≡ 1 (mod 3),
3. x ≡ 2 (mod 3).
Da terceira propriedade do Teorema 1, segue que no item 1, x2 ≡ 0 (mod 3).
Exercício Resolvido 5 Sejam a e b números inteiros tais que 3|a2 + b2 . Mostre que 3|a e 3|b.
Solução: Do exercício anterior temos que a2 ≡ 0 (mod 3) ou a2 ≡ 1 (mod 3), da mesma forma temos
que b2 ≡ 0 (mod 3) ou b2 ≡ 1 (mod 3). Utilizando a primeira propriedade do teorema 1, temos as seguintes
possibilidades:
• a2 + b2 ≡ 0 (mod 3)
• a2 + b2 ≡ 1 (mod 3)
• a2 + b2 ≡ 2 (mod 3)
Por hipótese 3|a2 + b2 , ou seja, a2 + b2 ≡ 0 (mod 3). Analisando as opções acima istó só poder ocorrer
se a2 ≡ 0 (mod 3) e b2 ≡ 0 (mod 3), ou seja, 3|a · a e 3|b · b. Como 3 é um número primo segue que 3|a e 3|b.
Solução: Observe que o dígito da unidade de um número é exatamente o resto da divisão por 10, em
outras palavras, basta encontrar x ∈ N com 0 ≤ x ≤ 9 tal que 3100 ≡ x (mod 10).
Note que 32 ≡ −1 (mod 10), da última propriedade do Teorema 1 segue que (32 )50 ≡ (−1)50 (mod 10), ou
seja, 3100 ≡ 1 (mod 10). Portanto, o dígito da unidade de 3100 é 1.
Exercício Resolvido 7 Seja a ∈ Z um número não divisível por 5, prove que existe q ∈ Z tal que
a4 = 5q + 1.
Solução: Do algoritmo da divisão segue que o resto da divisão de a por 5 possui apenas as seguintes
possibilidades: 0, 1, 2, 3, 4. Observe que o resto não pode ser zero pois por hipótese a não é divisível por 5,
as outras quatro possibilidades podem ser reescritas usando a noção de congruência da seguinte forma:
1. a ≡ 1 (mod 5)
2. a ≡ 2 (mod 5)
3. a ≡ 3 (mod 5)
4. a ≡ 4 (mod 5)
No item 4, a4 ≡ 256 (mod 5), como 256 ≡ 1 (mod 5) segue que a4 ≡ 1(mod 5).
Em qualquer um dos casos descritos, a4 ≡ 1 (mod 5) assim existe q ∈ Z tal que a4 − 1 = 5q.
Portanto, a4 = 5q + 1.
Problemas Propostos
1. Seja k um número natural tal que k ≡ 1 (mod 4). Mostre que 6k + 5 ≡ 3 (mod 4).
6. Seja p um número primo maior do que 2, mostre que p ≡ 1 (mod 4) ou p ≡ 3(mod 4).
7. Mostre que 199 + 299 + 399 + 499 + 599 é um número divisível por 5.
8. Calcule o resto da divisão de 4100 por 5.