Matemática · Glossário

O que é Divisibilidade?

Definição 29.1 Matemática do ensino médio · Capítulo 29 — Aritmética

Sejam a,bZa, b \in \Z. Dizemos que bb divide aa, o que se escreve bab \mid a, se existe kZk \in \Z com a=kba = kb. Dizemos também que aa é múltiplo de bb.

Ler no capítulo →
Definição 6.1 Matemática universitária — Graduação 1 · Capítulo 6 — Aritmética dos Inteiros

Para a,bZa, b \in \Z, bb divide aa (escreve-se bab \mid a) quando a=bqa = bq para algum qZq \in \Z. Consequências básicas: se bab \mid a e bab \mid a', então b(ua+va)b \mid (ua + va') para todos u,vZu, v \in \Z; se bab \mid a e a0a \neq 0, então ba\abs b \leq \abs a; e aba \mid b junto com bab \mid a forçam b=±ab = \pm a.

Exemplos

Exemplo 6.3 (Numeração posicional por divisões sucessivas)

Escreva 20262026 na base 77. Divida repetidamente por 77, guardando os restos:

2026=7×289+3,289=7×41+2,41=7×5+6,5=7×0+5.2026 = 7 \times 289 + 3, \quad 289 = 7 \times 41 + 2, \quad 41 = 7 \times 5 + 6, \quad 5 = 7 \times 0 + 5 .

Lendo os restos do último ao primeiro: 2026=(5623)72026 = (5\,6\,2\,3)_7. Verificação: 5×343+6×49+2×7+3=1715+294+14+3=20265 \times 343 + 6 \times 49 + 2 \times 7 + 3 = 1715 + 294 + 14 + 3 = 2026. A unicidade da divisão euclidiana é exatamente o que torna cada algarismo forçado: em cada passo, o resto é o único inteiro de [ ⁣[0,6] ⁣]\intint06 congruente ao valor corrente módulo 77, de modo que a escrita na base 77 é única — fato usado silenciosamente sempre que o problema de fim de semana manipula “os algarismos de nn na base pp”.

Exemplo 6.9 (Resolvendo uma equação diofantina linear)

Encontre todos os (x,y)Z2(x, y) \in \Z^2 com 6x+10y=46x + 10y = 4. Primeiro, o teste de existência: gcd(6,10)=2\gcd(6, 10) = 2 divide 44, de modo que há soluções (se o mdc não dividisse o lado direito, o lado esquerdo seria sempre um múltiplo dele e não haveria nenhuma). Divida tudo: 3x+5y=23x + 5y = 2. Uma solução particular está à vista: (x0,y0)=(1,1)(x_0, y_0) = (-1, 1). Para a geral, subtraia: 3(x+1)=5(y1)3(x + 1) = -5(y - 1), de modo que 35(y1)3 \mid 5(y-1) e o lema de Gauss (gcd(3,5)=1\gcd(3,5) = 1) dá 3y13 \mid y - 1: y=13ky = 1 - 3k, e então x=1+5kx = -1 + 5k. Reciprocamente, todo par desses serve:

(x,y)=(1+5k, 13k),kZ.(x, y) = (-1 + 5k,\ 1 - 3k), \qquad k \in \Z .

O padrão é geral: uma solução particular mais os múltiplos inteiros de (bgcd,agcd)\bigl(\frac b{\gcd}, -\frac a{\gcd}\bigr) — a mesma estrutura “particular mais homogênea” do Capítulo 5, com o lema de Gauss desempenhando o papel da unicidade.

Ler no capítulo →