Você está na página 1de 4

Congruncia

1.1 INTRODUO
O estudo das congruncias tem sua objetividade
na resoluo de equaes diofantinas, bem como na
verificao de algumas propriedades dos nmeros
inteiros.
Definio:- Sejam a e b dois inteiros e m um
inteiro
positivo.
Dizemos
que a e b so congruentes oucngruos mdulo m, se m
| (a b).
Indicamos a congruncia de a e b mdulo m
por: a b (mod.m)
So conseqncias da definio:
(1) a cngruo com b, se os restos da diviso de a e b
por m forem iguais. (lembre-se que 0 < r < m )
(2) a b (mod.m) existe k inteiro, tal que a b = km.
Note que a equivalncia implica na validade da
propriedade nos dois sentidos. Assim, se a b = km, k
inteiro, ento a b.
Exemplos: 5 3 (mod.2) pois 2 | 5 3 ou o resto da
diviso de 5 e 3 por 2 1;
-13 27 (mod.5) pois 5 | -12 27 ou resto da
diviso de 12 e 27 por 5 2. No segundo exemplo,
deve-se observar que -13 = 5.(-3) + 2. Portanto o resto
2.
8.2 PROPRIEDADES DAS CONGRUNCIAS
P1) a a (mod.m) (reflexiva)
0.

Temos a a = 0 e m |

P2) Se
ab
(mod.m)
ento
ba
(mod.m)
(simtrica)
Se a b (mod.m) ento m | a b a b
= km b a = -km b a = (-k)m m | b
a b a. P3) Se a b (mod.m) e b c (mod.m) ento
a c (mod. m) (transitiva)
De a b (mod. m)
tiramos a b = km e de b c (mod.m) tiramos b c =
km. Subtraindo a segunda igualdade da primeira,
resulta (a b) (b c) = km km a c = (k
k)m a c (mod.m)
P4) Se a b (mod.m) e se n | m, com n > 0, ento a b
(mod.n)
a b (mod.m) a b = km a b = k(kn)
pois n | m a b = (kk)n a b (mod.n). P5) Se a b
(mod.m) e se c d (mod.m), ento (I) a + c b + d
(mod.m) e (II) ac bd (mod.m).
De a b (mod.m) e
c d (mod.m) tiramos a b = km a = b + km e c = d
+ km. Somando as duas igualdades, tiramos: a + c = b
+ d + km + km a + c = b + d + (k + k)m a +
c b + d (mod.m). Multiplicando as duas igualdades, ac
= bd + bkm + kmd + kkm2 ac = bd + (bk + kd +
kkm)m ac bd (mod.m).
P6) Conseqncias da propriedade anterior:
a b (mod.m) ento a + c b + c (mod.m)

1) se

2) se a + b c (mod.m) ento a c b (mod.m)


3) se a b (mod.m) ento ac bc (mod.m)
A recproca no verdadeira. Isto se ac bc
(mod.m) no se pode garantir que a c (mod.m),
exceto quando mdc(c,m) = 1.
Exemplo: 3x15 3x5 (mod.15) pois 45 14 = 30 e 15 |
30, mas 15 5 (mod.15).
4) se
an bn (mod.m)
ento
ab
(mod.m)
A recproca no verdadeira como
pode ser visto no exemplo: 43 23 (mod.8) pois 43

23 = 64 8 = 56 e 8 | 56. Mas 4 2 (mod.8) pois 4 2


= 2 e 8 no divide 2.
P7) Se a b (mod.m) ento a b mk.
EXERCCIOS RESOLVIDOS
1 Indique por V ou F
a)
91 0 (mod. 7). A
congruncia verdadeira pois 91 0 = 91 e 91 =
13.7 7 | 91.
b)
2 2 (mod.8). A congruncia falsa pois 2
2 = -4 e 8 no divide 4.
2 Uma das aplicaes mais antigas com relao s
congruncias a prova dos 9 (tambm chamada noves
fora) onde as parcelas so convertidas em inteiros
cngruos. Faz-se o mesmo com a soma.
Assim, para verificar a possibilidade da exatido da
operao 423 + 112 + 313 + 237 = 1083, fazemos:
423 0 (mod.9), 112 4 (mod.9), 313 7 (mod.9),
237 3 (mod.9) e 1083 3 (mod.9). Somando as
parcelas, 0 + 4 + 7 + 3 5 (mod.9). Como a soma 1083
cngruo com 3 mod.9, a operao est errada.
bom observar que o processo serve para verificar
se h erro, mas no prova se a operao est certa.
3 Ache o menor inteiro positivo que representa a
soma 6 + 2 5 + 7 + 3 (mod. 7). Temos: 6 + 2 =
8 1 (mod.7); 1 5 = -4 -4 + 7 = 3; 3 + 3 6
(mod.7)
4 Mostre que 1110 1 (mod.100)
Fazendo 1110 = (112)5 = 1215 215 = (21)2.
(21)2.21 = 441 x 441 x 21 41 x 41 x 21 = 41 x 3 x 41
x 7 = 123 x 287 23 x 87 = 2001 1 (mod.100)
Observe que separamos potencias de 11 mais prximas
de 100.
EXERCCIOS:

1. Indique
(mod.2)
b)
(mod.17)

por Verdadeiro ou
42 -8
(mod.10)

falso a) 17 9
c)
1213 112

2. Ache o menor inteiro positivo e o maior inteiro


negativo que represente a soma:
a)

5 + 3 + 2 + 1 + 8 (mod. 6)

b)

2 + 3 1 + 7 2 (mod. 4)

3. Se 1066 1776 (mod. m), quais so os possveis


valores de m?
4. Ache todos os inteiros x, tais que 0 < x < 15 e 3x 6
(mod. 15)
5.- D todos os inteiros positivos menores que 100,
cngruos a 8 mod. 13.
6 Mostre que 41 divide 220 1. Sugesto prove que
220 1 (mod.41)
7 Ache os restos da diviso de 250 e 4165 mod. 7.
8 Mostre que 89 | 244 1

que 97 | 248 1.