Sejam . Dizemos que divide , o que se escreve , se existe com . Dizemos também que é múltiplo de .
Matemática · Glossário
O que é Divisibilidade?
Para , divide (escreve-se ) quando para algum . Consequências básicas: se e , então para todos ; se e , então ; e junto com forçam .
Exemplos
Exemplo 6.3 (Numeração posicional por divisões sucessivas)
Escreva na base . Divida repetidamente por , guardando os restos:
Lendo os restos do último ao primeiro: . Verificação: . A unicidade da divisão euclidiana é exatamente o que torna cada algarismo forçado: em cada passo, o resto é o único inteiro de congruente ao valor corrente módulo , de modo que a escrita na base é única — fato usado silenciosamente sempre que o problema de fim de semana manipula “os algarismos de na base ”.
Exemplo 6.9 (Resolvendo uma equação diofantina linear)
Encontre todos os com . Primeiro, o teste de existência: divide , 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: . Uma solução particular está à vista: . Para a geral, subtraia: , de modo que e o lema de Gauss () dá : , e então . Reciprocamente, todo par desses serve:
O padrão é geral: uma solução particular mais os múltiplos inteiros de — a mesma estrutura “particular mais homogênea” do Capítulo 5, com o lema de Gauss desempenhando o papel da unicidade.