Congruncia

Sejam a , b Z e n IN * , ento dado um natural n diremos que dois inteiros a e b so congruentes mdulo n
se, e somente se n dividir a diferena ( a b ) , ou seja:
a b (mod . n )
n divide ( a b ) .
1442443
a congruente a b mdulo n

Ex.1:
52 40 = 6 2

52 40 (mod . 6) .
144
42444
3

52 congruente a 40 mdulo 6

Ex.2:
25 + ( 15) = 5 8

25 15 (mod . 5) .
14442444
3

25 congruente a 15 mdulo 5

A relao de congruncia uma relao de equivalncia e possui as seguintes propriedades:

Propriedades:
P1) a b (mod .n ) a + c b + c (mod .n ) , c Z.
a b (mod .n )
P 2)
c d (mod .n )

a + c b + d (mod .n ).

P3) a b (mod .n ) ac bc (mod .n ) , c Z.

a b (mod .n )
P 4)
a c b d (mod .n ).
c d (mod .n )
P5) a b (mod .n ) ac bc (mod .n ) , m.d.c(n , c) = 1.
P6) a b (mod .n ) a k b k (mod .n ) , k IN * .
a b (mod .n )

P7) a b (mod .m) a b (mod .nm).

m.d.c.(m, n ) = 1

Seja n IN * denomina-se Z n = { 0,1, 2, ..., n 1 } , o sistema de restos mdulo n.

Dado N Z , pelo algoritmo da diviso existe e nico o inteiro q, chamado quociente, e o natural r Z n ,
chamado resto, tais que:
N = n q + r.
N e n so chamados respectivamente de dividendo e divisor.
Logo podemos afirmar que:
a Z, ! r Z n : a r (mod .n ), n IN * .
.

Exerccios:
1. Prove que a relao de congruncia uma relao de equivalncia.
Sejam n IN * , a , b e c Z, ento :
Re flexiva :
a a = 0 = n 0 a a (mod .n ).
Simtrica :
a b (mod .n ) q Z : a b = n q b a = n ( q ) b a (mod .n )
Transitiva :
q Z : a b = n q 1
a b (mod .n )
1
a c = (a b ) + (b c ) = n (q 1 + q 2 ) a c (mod .n ).

b c (mod .n )
q 2 Z : b c = n q 2

Logo a relao de congruncia uma relao de equivalncia.

2. Prove que:
a ) a b (mod .n ) a + c b + c (mod .n ) , c Z.
Soluo :
a b (mod .n ) q Z : a b = n q.

Como c Z, temos que (a + c ) (b + c ) = a b , ento:

a b (mod .n ) a + c b + c (mod .n ) , c Z.
a b (mod .n )
b)
c d (mod .n )
Soluo :

a + c b + d (mod .n ).

q Z : a b = n q 1
a b (mod .n )
1

c d (mod .n )
q 2 Z : c d = n q 2
(a + c ) (b + d ) = (a b ) + (c d ) = n (q 1 + q 2 ) a + c b + d (mod .n ).
c) a b (mod .n ) ac bc (mod .n ) , c Z.
Soluo :
a b (mod .n ) q Z : a b = n q.
a b (mod .n ) c Z , ac bc = (a b )c = (nq )c = n (qc ) ac bc (mod .n ) , c Z.
a b (mod .n )
d)
c d (mod .n )

a c b d (mod .n ).

Soluo :
q 1 Z : a b = n q 1
a b (mod .n )

c
d
(mod
.
n
)

q 2 Z : c d = n q 2
ac bd = (a b )c + (c d )b = (nq 1 )c + (nq 2 )b = n (q 1 c + q 2 b ) a c b d (mod .n ).

e) a b (mod .n ) ac bc (mod .n ) , m.d.c(n, c) = 1.

Soluo :
Basta pro var que : ac bc (mod .n ) , m.d.c(n, c) = 1 a b (mod .n ).
ac bc (mod .n ) q Z : (a b ) c = n q .
m.d.c(n, c) = 1 q ' Z : a b = n q ' a b (mod .n ) .
f ) a b (mod .n ) a k b k (mod .n ) , k IN * .
Seja k IN * . Defino :
P(k ) Verdadeiro a k b k (mod .n ).
1 Da hiptese P(1) Veradeiro.
2 Seja k IN * tal que P(k ) verdadeiro., ento :
a b (mod .n )
(P 4) a k +1 b k +1 (mod .n ).
k
a b k (mod .n )
Logo pelo Pr incpio de Induo Finita , temos que :
a b (mod .n ) a k b k (mod .n ) , k IN * .

3. Prove que 1110 1 (mod .100) .

1 Soluo :
112 121 = 21 (mod .100).
Logo

( )( )

1110 ( 112 ) 5 215 212 212 (21) (41)(41)(21) (1681)(21) (81)(21) ( 19 )(21) 399 1 (mod .100).

4. Prove que 2 20 1 (mod .41 ).

5. Prove que n (n + 1) 0 (mod .2) , n Z.
Soluo :
1 caso :

n 0 (mod .2) n (n + 1) 0(0 + 1) 0 1 0 (mod .2).

2 caso :

n 1 (mod .2) n (n + 1) 1(1 + 1) 1 2 2 0 (mod .2).

Logo n (n + 1) 0 (mod .2).

6. Prove que n (n + 1)(2n + 1) 0 (mod .6 ), n Z.

7. Prove que n (n + 1)(n + 2 ) 0 (mod .3) , n Z.

8. Prove que n 3 n 0 (mod .3), n Z.

1 Soluo :

n 3 n = n n 2 1 = n (n 1)(n + 1), basta usar o exerccio (05).

2 Soluo :
1 caso :
n 0 (mod .3) n 3 n 0 3 0 0 (mod .3) .
2 caso :
n 1 (mod .3) n 3 n 13 1 0 (mod .3).
.3 caso :
n 2 (mod .3) n 3 n 2 3 2 6 0 (mod .3) .

9. Prove que n (n + 1)(n + 2 )(n + 3)(n + 4) 0 (mod .5) , n Z.

10 Prove que n 5 n 0 (mod .5) , n Z.
11. Prove que: a mpar a 2 1 (mod .8) .
Soluo :
a = 2n + 1, n Z a 2 1 (2n + 1)2 1 4n 2 + 4n 4n (n + 1) 0 (mod .8) , devido ao exerccio (05).

12. Prove que: a Z a 3 0, 1, 8 (mod .9 ).

13. (UFRJ) Prove que, se o quadrado de um nmero natural n par, ento o prprio nmero n tem que ser, obrigatoriamente, par
(isto , n N, n2 par n par).
Soluo :

(p q ) (q p ).
n 1 (mod .2) n

12 1 (mod .2).

Teorema de Fermat:
Sejam p IN um nmero primo e a Z , tais que p no divide a, ento:
a p 1 1 (mod .p) .

Obs.: a p 1 1 (mod .p) a p a (mod .p) .

Ex.3:
Determine o resto da diviso de 3 21 por 5.
Soluo:
5 primo
(Fermat) 3 4 1 ( mod . 5 ) 3 4

5
no
divide
3

( )

15 ( mod .5 ) 3 20 1 ( mod .5 ) 3 21 3 ( mod .5 ) .

14. (IME) Prove que para qualquer nmero inteiro k, os nmeros k e k 5 terminam sempre com o mesmo algarismo
(algarismo das unidades).
Soluo :
(1)
1 caso : k 0 (mod .2) k 5 k 0 5 0 0 (mod .2).
2 caso : k 1 (mod .2) k 5 k 15 1 0 (mod .2).
Logo k 5 k 0 (mod .2).
(2)
5 primo (Fermat) k 5 k 0 (mod .5).
Como m.d.c (2,5) = 1.
(1) e (2) k 5 k 0 (mod .10 ).

15. (IME) Considere quatro nmeros inteiros a, b, c e d. prove que o produto:

(a b) (c a) (d a) (d c) (d b) (c b) divisvel por 12.
16. (IME) Sejam a, b, c nmeros inteiros tais que 100a + 10b + c seja divisvel por 109.
Mostre que (9a c)2 + 9b2 tambm divisvel por 109.
Soluo :
100a + 10b + c 0 (mod .109) 109 a 9a + 10b + c 0 (mod .109)
10b = 9a c (mod .109) (10b )2 (9a c )2 (mod .109)
100b 2 (9a c )2 (mod .109) 109b 2 9b 2 (9a c )2 (mod .109)
9b 2 (9a c )2 (mod .109) (9a c )2 + 9b 2 0 (mod .109).

Teorema:
Sejam a , n IN * ,
m.d.c. (a , n ) = 1 ! b Z n : a b 1 ( mod .n )

Obs.: b o inverso multiplicativo de a mdulo n.

Ex.4:
2x 1 (mod .7) 4(2x ) 4 (mod .7) 8x 4 (mod .7) x 4 (mod .7).
Seja

: IN IN
n a (n ) = n

i =1

Onde n =

p
i =1

1 p

a decomposio de n em fatores primos.

A funo acima definida chamada Funo de Euler, e tal que a imagem de um nmero natural n a quantidade
nmeros menores que n que so primos com n, ou seja,
: IN IN
n a (n ) = # { m IN : m < n e m.d.c (n , m ) = 1 }

Ex.4:
12
1 1
24 = 2 3 3 (24 ) = 24 1 1 = 24
= 8. ( # {1, 5, 7,11, 13, 17, 19, 23} = 8 )
23
2
3

124
1 1 1
1800 = 2 3 3 2 5 2 = 1800 1 1 1 = 1800
= 480.
235
2 3 5

Teorema de Euler:
Sejam a , n IN *
m.d.c. (a , n ) = 1 a (n ) 1 ( mod .n ) .

Ex.5:
Determine o ltimo algarismo do desenvolvimento de 23 2009 .
Soluo:
O enunciado pode ser reformulado da seguinte maneira: Determine o resto da diviso de 23 2009 por 10, logo

m.d.c.( 23,10 ) = 1 23 (10 ) 1 ( mod . 10 )

( )

23 4 1 ( mod 10 ) 23 4

502

1502 ( mod . 9 ) 23 2008 1 ( mod .10 ) 23 2009 2 3 3 (mod .10).