LICENCIATURA EM MATEMÁTICA

TEORIA DOS NÚMEROS

PARTE 05

TÓPICOS ABORDADOS: DIVISIBILIDADE E ALGORITMO DA DIVISÃO

TÓPICOS ABORDADOS “INDIRETAMENTE”:

Vamos “falar” sobre divisão no Conjunto dos Números inteiros, ℤ =

{… , −3, −2, −1,0, 1, 2, 3, 4, … }, dessa maneira estamos “pensando” em divisões com
quocientes e restos. Por exemplo, quando dividirmos 19 por 5, queremos pensar em
19
19 = 3 . 5 + 4 (quociente 3 e resto 4), e não em = 3,8 (3,8 é um número que não
5

pertence ao conjunto dos números inteiros, 3,8 pertence ao conjunto dos Números
Racionais).

A equação 𝑏𝑥 = 𝑎 (𝑎 e 𝑏 são números inteiros conhecidos e 𝑥 é a incógnita) pode ou

não ter solução no Conjuntos dos Números inteiros (ℤ = {… , −2, −1, 0, 1, 2, 3, … }).

DEFINIÇÃO – RELAÇÃO DE “DIVIDE”

D1) Sejam 𝑎 e 𝑏 números inteiros.
Diz-se que 𝑏 divide 𝑎 se existe um inteiro 𝑐 tal que 𝑏𝑐 = 𝑎.

Notação:
𝒃 | 𝒂 para indicar 𝒃 divide 𝒂
𝒃 ∤ 𝒂 para indicar 𝒃 não divide 𝒂

Observação 1) Podemos dizer que 𝑏 é um divisor de 𝑎, ou que 𝑎 é um múltiplo de 𝑏.

Observação 2) Temos que 0|𝑎, se e somente se, 𝑎 = 0. Como 0. 𝑐 = 0, não possui
solução única, vamos considerar que o divisor sempre será diferente de zero.
PROPOSIÇÕES
P9) Se 𝑏|𝑎, 𝑎 ≠ 0 e 𝑏 ≠ 0, então |𝑏| ≤ |𝑎|.
Queremos mostrar que: se 𝑏 divide 𝑎 e 𝑎 ≠ 0, então o módulo de 𝑏 é menor ou igual
ao módulo de 𝑎.
Hipótese: 𝑏|𝑎 e 𝑎 ≠ 0
Tese: |𝑏| ≤ |𝑎|

P10) Seja os inteiros 𝑎 ≠ 0 e 𝑏 ≠ 0.

i) Os únicos divisores de 1 são 1 e −1.
Hipótese: 𝑎 ≠ 0 e 𝑏 ≠ 0, 𝑎 e 𝑏 números inteiros
Tese: Os únicos divisores de 1 são 1 e −1.
ii) Se 𝑎|𝑏 e 𝑏|𝑎, então 𝑎 = ±𝑏.
Hipótese: 𝑎|𝑏 e 𝑏|𝑎, com 𝑎 ≠ 0 e 𝑏 ≠ 0
Tese: 𝑎 = 𝑏 ou 𝑎 = −𝑏

Na proposição P11 abaixo, vamos “apresentar” uma sequência de propriedades

relativas a relação de “divide” no Conjunto dos Números Inteiros.
P11) Quaisquer que sejam os números inteiros 𝑎, 𝑏, 𝑐 e 𝑑 (com 𝑎 ≠ 0, 𝑏 ≠ 0, 𝑐 ≠ 0).
i) 𝑎|𝑎.
Hipótese: 𝑎 ∈ ℤ e 𝑎 ≠ 0
Tese: 𝑎|𝑎
ii) Se 𝑎|𝑏 e 𝑏|𝑐, então 𝑎|𝑐.
iii) Se 𝑎|𝑏 e 𝑐|𝑑, então 𝑎𝑐|𝑏𝑑.
iv) Se 𝑎|𝑏 e 𝑎|𝑐, então 𝑎|(𝑏 + 𝑐).
Hipótese: 𝑎|𝑏 e 𝑎|𝑐, com 𝑎 ≠ 0
Tese: 𝑎|(𝑏 + 𝑐)
v) Se 𝑎|𝑏, então para todo 𝑚 ∈ ℤ, tem-se que 𝑎|𝑚𝑏.
vi) Se 𝑎|𝑏 e 𝑎|𝑐, então, para todos 𝑚, 𝑛 ∈ ℤ, tem-se que 𝑎|(𝑚𝑏 + 𝑛𝑐).
Na proposição P12 abaixo, vamos apresentar uma proposição que introduz a “ideia”
de divisão de dois números inteiros positivos.
P12) Sejam 𝑎 e 𝑏 inteiros. Se 𝑎 ≥ 0 e 𝑏 > 0, então existem 𝑞 e 𝑟, tais que 𝑎 = 𝑏𝑞 + 𝑟 e
0 ≤ 𝑟 < 𝑏.
Hipótese: 𝑎 ≥ 0 e 𝑏 > 0
Tese: Existem 𝑞 e 𝑟, tais que 𝑎 = 𝑏𝑞 + 𝑟, com 0 ≤ 𝑟 < 𝑏

TEOREMA - Algoritmo da divisão

T2) Sejam 𝑎 e 𝑏 inteiros, com 𝑏 ≠ 0. Então, existem inteiros 𝑞 e 𝑟, únicos, tais que
𝑎 = 𝑏𝑞 + 𝑟 e 0 ≤ 𝑟 < |𝑏|.
Hipótese: 𝑎 ∈ ℤ, 𝑏 ∈ ℤ e 𝑏 ≠ 0
Tese: Existem 𝑞 e 𝑟, únicos, tais que 𝑎 = 𝑏𝑞 + 𝑟 e 0 ≤ 𝑟 < |𝑏|

DEFINIÇÃO – QUOCIENTE E RESTO

D2) Os números 𝑞 e 𝑟 determinados no teorema anterior chamam-se,
respectivamente, quociente e resto da divisão de 𝑎 por 𝑏.
EXEMPLOS
E05) Prove que: Todo número inteiro ímpar é da forma 4𝑘 + 1 ou 4𝑘 + 3, com 𝑘 ∈ ℤ.
Hipótese: Seja 𝑎 um número inteiro ímpar.
Tese: O número inteiro 𝑎 é da forma 4𝑘 + 1 ou 4𝐾 + 3.

E06) Prove que: O quadrado de um número inteiro é da forma 3𝑘 ou 3𝑘 + 1.

Hipótese: Seja 𝑎 um número inteiro.
Tese: O número inteiro 𝑎2 é da forma 3𝑘 ou 3𝑘 + 1.

E07) Seja 𝑎 um inteiro. Provar que um dos inteiros 𝑎, 𝑎 + 2, 𝑎 + 4 é múltiplo de 3.

Hipótese: Seja 𝑎 um número inteiro.
Tese: Um dos três números inteiros 𝑎, 𝑎 + 2 e 𝑎 + 4 é múltiplo de 3.

E08) Seja o número inteiro 𝑛 ≥ 1. Provar que 7|(23𝑛 − 1). Sugestão: Utilize a Indução
completa.
Hipótese: Seja 𝑛 ≥ 1 um número inteiro.
Tese: 7|(23𝑛 − 1).