Divisão euclidiana
$D=d\cdot q+r$, com $0\leq r\lt d$, e o resto é único. Traduz “deixa resto 3 na divisão por 5” em $n=5k+3$, forma que resolve problemas de periodicidade — dia da semana, último algarismo, ciclos de $i^{n}$. Somar ou multiplicar preserva restos: é a aritmética modular disfarçada.
Aprofundar ▾
Na divisão euclidiana, ao dividir um inteiro $D$ por um divisor positivo $d$, existem quociente $q$ e resto $r$ inteiros tais que $D=d\cdot q+r$, com $0\leq r<d$; essa restrição não é detalhe técnico, é o que garante a unicidade do par ordenado $(q,r)$, e é por isso que dizemos que o resto está bem definido. Observe que $q$ pode ser negativo, mas $r$ nunca é: dividir $-17$ por $5$ dá $q=-4$ e $r=3$, pois $-17=5\cdot(-4)+3$, e não $q=-3$ com $r=-2$. Essa escolha do quociente por falta (e não por excesso) é o que sustenta toda a teoria dos restos e explica por que, na linguagem cotidiana, dizemos que $-17$ dividido por $5$ "dá $-4$ e deixa resto $3$".