Prof. Márcio Bessa @marcio.−.

bessa

MATEMÁTICA
PROBLEMAS
E
EXERCÍCIOS
RESOLVIDOS

TEORIA ELEMENTAR
DOS NÚMEROS
divisibilidade...

1
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 1
 2 + 1.
Prove que se a ∈ Z, então 4|a

Uma solução
Pelo algoritmo da divisão, podemos escrever a = 2q + r para q ∈ Z e r ∈ {0, 1}.
Assim vamos considerar os casos a = 2q e a = 2q + 1.
(i) Se a = 2q então:

a2 + 1 = (2q)2 + 1 = 4q 2 + 1
com j = q 2 ∈ Z, ou seja,

a2 + 1 = 4j + 1 ⇒ 4|(a
 2 + 1)

(ii) Se a = 2q + 1 então:

a2 + 1 = (2q + 1)2 + 1 = 4q 2 + 4q + 1 + 1 = 4(q 2 + q) + 2

com j = q 2 + q ∈ Z, ou seja,

a2 + 1 = 4j + 2 ⇒ 4|(a
 2 + 2)

1
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 2
Seja n ∈ Z.
(a) Mostre que se 3|n e 4|n, então 12|n.
(b) Use o item anterior para mostrar que se n > 3 é primo, então 12|(n2 −1).

Uma solução
(a) Por hipótese 3|n e 4|n, n ∈ Z, logo existem k, q ∈ Z tais que n = 3q e n = 4k.
Então:
4k = 3q ⇒ k + 3k = 3q ⇒ k = 3q − 3k ⇒ k = 3(q − k)
ou seja,
4.k = 4.3(q − k) ⇒ 4k = 12(q − k) ⇒ n = 12(q − k)
com j = q − k ∈ Z, logo,
n = 12j ⇒ 12|n
(b) Suponhamos n ∈ Z tal que n > 3 é primo.
Como n é primo então é um ı́mpar, isto é, n = 2r + 1 e r ∈ Z. Então:

n2 − 1 = (2r + 1)2 − 1 = 4r2 + 4r + 1 − 1 = 4(r2 + r)

com s = r2 + r ∈ Z, ou seja,

n2 − 1 = 4s ⇒ 4|(n2 − 1)

Daı́ usando o item (a) resta mostrar que 3|(n2 − 1). Como pela hipótese n é primo
tal que n > 3, então, sabemos que 3|n,
 assim pelo algoritmo da divisão devemos ter
n = 3p + 1 e n = 3p + 2 com p ∈ Z. Analisando esses casos:
Se n = 3p + 1 temos,

n2 − 1 = (3p + 1)2 − 1 = 9p2 + 6p + 1 − 1 = 3(3p2 + 2p)

ou seja,
n2 − 1 = 3(3p2 + 2p) ⇒ 3|(n2 − 1)
Se n = 3p + 2 temos,

n2 − 1 = (3p + 2)2 − 1 = 9p2 + 12p + 4 − 1 = 3(3p2 + 4p + 1)

ou seja,
n2 − 1 = 3(3p2 + 4p + 1) ⇒ 3|(n2 − 1)

Portanto para n primo n > 3, 3|(n2 − 1) e 4|(n2 − 1) então 12|(n2 − 1) .

2
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 3
Seja n ∈ Z. Mostre que n3 + n2 − n + 3 é múltiplo de 3, então n é um
múltiplo de 3.

Uma solução
Seja n ∈ Z temos
3|(n3 + n2 − n + 3) ⇒ 3|n
Suponhamos, por absurdo, que 3|n.
 Então de acordo com o algoritmo da divisão
devemos ter n = 3q + 1 e n = 3q + 2 e q ∈ Z. Analisando esses casos temos:
(i) se n = 3q + 1:

n3 + n2 − n + 3 = (3q + 1)3 + (3q + 1)2 − (3q + 1) + 3

= 27q 3 + 36q 2 + 12q + 4
= 3(9q 3 + 12q 2 + 4q + 1) + 1
| {z }
k∈Z
= 3k + 1

ou seja,
n3 + n2 − n + 3 = 3k + 1 ⇒ 3|(n
 3 + n2 − n + 3)

Mas isso é um absurdo pois, contraria nossa hipótese.

(ii) se n = 3q + 2:

n3 + n2 − n + 3 = (3q + 2)3 + (3q + 2)2 − (3q + 2) + 3

= 27q 3 + 63q 2 + 45q + 13
= 3(9q 3 + 21q 2 + 15q + 4) + 1
| {z }
k∈Z
= 3k + 1

ou seja,
n3 + n2 − n + 3 = 3k + 1 ⇒ 3|(n
 3 + n2 − n + 3)

o que é um absurdo pois, contraria nossa hipótese.

Portanto, concluı́mos que 3|n para n ∈ Z.

3
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 4
 3 + y 3 ) se, e somente se, 3|(x
Seja x, y ∈ Z. Prove que 3|(x  + y).


Uma solução
(⇒) Suponhamos 3|(x 3 + y 3 ) e mostremos que 3|(x
 + y), para x, y ∈ Z. Aplicando

a contrapositiva devemos mostrar que

3|(x + y) ⇒ 3|(x3 + y 3 )

Se 3|(x + y) existe k ∈ Z tal que x + y = 3k. Então:

(x + y)3 = x3 + 3x2 y + 3xy 2 + y 3

ou seja,

x3 + y 3 = (x + y)3 − 3xy(x + y) ⇒ x3 + y 3 = (3k)3 − 3xy.3k

isto é
x3 + y 3 = 3(9k 3 − 3xyk), onde j = 9k 3 − 3xyk ∈ Z
Portanto,
x3 + y 3 = 3j ⇒ 3|(x3 + y 3 )
(⇐) Suponhamos agora 3|(x  + y). Assim pelo algoritmo da divisão temos os casos,
x + y = 3q + 1 e x + y = 3q + 2 com q ∈ Z.
(i) se x + y = 3q + 1 então:

x3 + y 3 = (x + y)3 − 3xy(x + y)
= (3q + 1)3 − 3xy(3q + 1)
= 3(9q 3 + 9q 2 + 3q − 3qxy − xy ) + 1
| {z }
j∈Z
= 3j + 1

logo , x3 + y 3 = 3j + 1, portanto, 3|(x

 3 + y 3 ).
(ii) se x + y = 3q + 2 então:

x3 + y 3 = (3q + 2)3 − 3xy(3q + 2)

= 3(9q 3 + 18q 2 + 12q − 3qxy − 2xy + 2) + 2
| {z }
j∈Z
= 3j + 2

ou seja, x3 + y 3 = 3j + 2, portanto, 3|(x

 3 + y 3 ).

4
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 5
Para todo n, k ∈ Z, prove que se k|(2n + 1) e k|(4n2 + 1) então k ∈ {−1, 1}.

Uma solução
Sejam n, k ∈ Z. Se k|(2n + 1) então existe p ∈ Z tal que

2n + 1 = kp (1)

Ainda da hipótese k|(4n2 + 1) então existe q ∈ Z tal que

4n2 + 1 = kq (2)

Elevando a equação (1) ao quadrado e em seguida substituindo a equação (2) obte-

mos:
4n2 + 4n + 1 = k 2 p2 ⇒ 4n + kq = k 2 p2
ou seja,
4n = k 2 p2 − kq (3)
Multiplicamos a expressão em (1) por 2 temos:

4n + 2 = 2kp (4)

Subtraindo as equações (3) e (4) podemos escrever:

2 = 2kp − k 2 p2 + kq ⇒ 2 = k(2p − kp2 + q) ⇒ k|2

onde (2p − kp2 + q) ∈ Z.

Como k é um inteiro divisor de 2, ou seja, k|2, logo os possı́veis valores de k são

k = −2, k = −1, k = 1 e k = 2

Devemos ter k ı́mpar, pois k|(2n + 1). Assim os valores de k que satisfazem as
hipóteses são
k ∈ {−1, 1}

5
Prof. Márcio Bessa MATEMÁTICA @marcio.− .bessa

Questão 6
Prove que não existe n ∈ N tal que 7|(4n2 − 3).

Uma solução
Vamos supor, por absurdo, que 7|(4n2 − 3) e n ∈ N. Como 7|7 e aplicando as
propriedades de divisibilidade podemos escrever:

7|(4n2 − 3)
⇒ 7|(4n2 − 3 + 7) ⇒ 7|(4n2 + 4) ⇒ 7|4(n2 + 1)
7|7

Pelo lema de Euclides, como mdc(4, 7) = 1 então 7|(n2 + 1). Assim existe p ∈ N tal
que n2 + 1 = 7p de onde obtemos

n2 = 7p − 1 ⇒ n2 = 7p − 7 + 6 ⇒ n2 = 7(p − 1) + 6
| {z }
q∈N

ou seja,
n2 = 7q + 6
Assim n2 deixa resto 6 na divisão por 7. Por outro lado, vamos mostrar que isso
não pode ocorrer. De fato, pelo algoritmo da divisão existem inteiros j e r tais que

n = 7j + r e 06r<7

Elevando n ao quadrado temos:

n2 = 49j 2 + 14jr + r2 ⇒ n2 = 7(7j 2 + 2jr) + r2 ⇒ n2 = 7s + r2

| {z }
s∈N

Substituindo os valores de r temos:

r = 0: n2 = 7s + 02 = 7s
r = 1: n2 = 7s + 12 = 7s + 1
r = 2: n2 = 7s + 22 = 7s + 4
r = 3: n2 = 7s + 32 = 7s + 9 = 7(s + 1) + 2
r = 4: n2 = 7s + 42 = 7s + 16 = 7(s + 2) + 2
r = 5: n2 = 7s + 52 = 7s + 25 = 7(s + 3) + 4
r = 6: n2 = 7s + 62 = 7s + 36 = 7(s + 5) + 1
Assim os possı́veis restos de n2 na divisão por 7 são 0, 1, 2 e 4.
Portanto, podemos concluir que 7 não divide n2 +1, e como consequência, 7 também
não pode ser um divisor de 4n2 − 3.

Obs.: Lema de Euclides - Se a|bc e mdc(a, b) = 1 então a|c.