Exercícios Resolvidos Diego Oliveira - Vitória da Conquista/BA

Provas com Aritmética dos Restos

Contato: nibblediego@gmail.com

Escrito por Diego Oliveira - Publicado em 04/09/2016 - Atualizado em 21/04/2018

O que preciso saber?

Normalmente provas que envolvem a aritmética dos restos também envolvem pro-
priedades (ou representações) numéricas. Por exemplo:

É todo número par pode ser escrito sob a forma 2k com k ∈ Z;

É todo número ímpar pode ser escrito sob a forma 2k + 1 com k ∈ Z;
É todo numero inteiro pode ser escrito como 3k, 3k + 1 ou 3k + 2;
É se  ≡ b (mod m) então  = mq + b para algum m, q e b ∈ Z.

Exemplo 1: Prove que se  ≡ b (mod m) Se ( − 1) é divisível por 3, então ( − 1) =

e n é um divisor de m, maior que 1, então 3k para algum k ∈ Z.
 ≡ b (mod n).
Logo 3 −  = 3k ·  · ( + 1).
Solução:
Como  e  + 1 são de paridades difer-
Se  ≡ b (mod m) então  = mq + b entes então seu produto é par. Ou seja
(q ∈ Z). Se n é um divisor de m, então ( + 1) = 2q para algum q ∈ Z.
m = nk com k ∈ Z. Sendo assim:
Sendo assim:
 = mq + b
3 −  = 3k · 2q
⇒  = (nk)q + b
= 6(kq)
⇒  = n(kq) + b
⇒ 3 −  ≡ 0 (mod 6).
Essa última implicação resulta em  ≡ b
(mod n).
De forma similar se prova no caso de 
ou ( + 1) divisíveis por 3. Completando a
demonstração.
Exemplo 2: Demonstre que 3 ≡  (mod
6).
Exemplo 3: Demonstre que 3 ≡ 0, 1 ou
Solução: 8 (mod 9).
Dizer que 3 ≡  (mod 6) é equivalente a
dizer que 3 −  ≡ 0 (mod 6). Sendo assim, Solução:
podemos provar o que se pede provando
Todo número inteiro tem a forma: 3k,
apenas que 3 −  ≡ 0 (mod 6).
3k + 1 ou 3k + 2, para algum k ∈ Z.
Note que 3 −  = ( − 1)( + 1). Um
Para os seus cubos, temos:
resultado conhecido da Teoria dos Números
é o de que entre três números consecutivos
um deles é divisível por 3 então: (3k)3 = 27k 3 = 9(3k 3 ) + 0 ≡ 0 (mod 9)

1
Exercícios Resolvidos Diego Oliveira - Vitória da Conquista/BA

(3k + 1)3 = 9(3k 3 + 3k 2 + k) + 1 ≡ 1 (mod 2 = 9(2q)2 + 6(2q) + 1

9)
⇒ 2 = 36q2 + 12q + 1
(3k + 2)3 = 9(3k 3 + 6k 2 + 4k) + 8 ≡ 8 (mod
9). ⇒ 2 = 12q(3q + 1) + 1

Finalmente por indução podemos termi-

Exemplo 4: Prove que, se  é um inteiro nar a demonstração.
que não é divisível por 2 nem por 3, então
(Base:)
2 ≡ 1 (mod 24).
Para q = 0 temos 2 = 12(0)(3·0+ 1)+ 1 =
Solução: 1

Todo número inteiro tem a forma: 3k, Como 1 ≡ 1 (mod 24) então 2 ≡ 1 (mod
3k + 1 ou 3k + 2, com k ∈ Z. 24).

Note que  não pode ser igual 3k, pois  (Passo indutivo:)
não é divisível por 3. Assim, resta nos duas
possibilidades: ou  = 3k + 1 ou  = 3k + 2. Supondo que a proposição seja ver-
dadeira para  = k então:
Se  for igual a 3k + 1 então k deve ser
par, pois se k for impar implicará em  di-
visível por 2. Veja: 2 = 12k(3k + 1) + 1 ≡ 1 (mod 24)

⇒ 12k(3k + 1) ≡ 0 (mod 24)

(Prova de que k é par)
⇒ (12k(3k + 1)) + 24(3k + 3) ≡ 0 (mod 24)
 = 3k + 1
⇒  = 3(2q + 1) + 1 ⇒ (12(k + 1))(3(k + 1) + 1)) ≡ 0 (mod 24)

⇒  = 2(3q + 2) que é par. ⇒ (12(k + 1))(3(k + 1) + 1)) + 1 ≡ 1 (mod

24)
(Fim da prova de que k é par)

⇒ 2 ≡ 1 (mod 24)
Supondo  = 3k + 1 então:
Completando a demonstração do passo
2 = (3k + 1)2 = 9k 2 + 6k + 1 indutivo.

Como k é par pode-se fazer k = 2q com Analogamente se prova para o caso de

q ∈ Z, assim:  = 3k + 2.

2
Exercícios Resolvidos Diego Oliveira - Vitória da Conquista/BA

Este trabalho está licenciado com uma

Licença Creative Commons -
Atribuição-NãoComercial-
CompartilhaIgual 4.0 Internacional.

Esse documento está sujeito a constante atualização ou mesmo correções, por isso,
certifique se que o que você têm em mãos é de fato a última versão do mesmo. Para
saber, bem como ter acesso a vários outros exercícios resolvidos de matemática, acesse:
www.number.890m.com

E se alguma passagem ficou obscura ou se algum erro foi cometido por favor entre em
contato para que possa ser feito a devida correção.

.ƒ cebook.com/ theNmberType

nbbedego@gm.com

.nmber.890m.com