Por que quase todos os algoritmos de dígito verificador deste site usam resto de divisão?

Porque resto de divisão sempre produz um valor dentro de um intervalo pequeno e previsível (dividir por 11 sempre dá resto entre 0 e 10, não importa o tamanho do número original), o que permite comprimir um número de qualquer tamanho num único dígito verificador — exatamente a propriedade que um dígito verificador precisa.

O que é aritmética modular, em termos simples?

É a área da matemática que estuda operações com resto, formalizando o comportamento 'cíclico' que um relógio já demonstra intuitivamente: 9 horas depois das 20h não são 29h, são 5h, porque o relógio reinicia a cada 24 unidades — exatamente o mesmo comportamento de 29 mod 24 = 5.

Resto de divisão tem aplicação prática em programação além de matemática de escola?

Sim, extensivamente — é usado para índices circulares de array, em criptografia (RSA depende de aritmética modular sobre números grandes), e em qualquer lógica que precise 'dar a volta' de forma previsível ao atingir um limite, como dias da semana ou posições numa lista cíclica.

Calculadora de Resto da Divisão

Documentação técnica

Resto da Divisão: a base de praticamente todo algoritmo de dígito verificador deste site

Quociente e resto de uma divisão inteira parecem um conceito de aritmética básica de escola — e são — mas a operação de "resto" (módulo) é, sozinha, a base matemática de praticamente todos os algoritmos de dígito verificador já documentados neste site: o Módulo 11 usado em CPF, CNPJ, PIS, Título de Eleitor e RENAVAM, o algoritmo de Luhn do cartão de crédito (Módulo 10), o CRC32 e o CRC16 do Pix (divisão polinomial, uma generalização do conceito de resto para outro tipo de "número"), e o MOD 97-10 do IBAN — todos, sem exceção, são variações da mesma operação fundamental: dividir e reter só o resto, descartando o quociente.

Por que "resto" é útil especificamente porque é limitado e cíclico

A propriedade que torna resto de divisão tão útil em dígitos verificadores é que ele é sempre limitado a um intervalo pequeno e previsível — o resto de uma divisão por 11 está sempre entre 0 e 10, não importa quão grande seja o número dividido. Isso permite "comprimir" um número de qualquer tamanho (um CPF de 9 dígitos, uma chave de NF-e de 43 dígitos) num único dígito verificador de intervalo fixo, através de uma soma ponderada seguida de resto — a mesma técnica, adaptada com pesos e regras de conversão diferentes, aparece repetidamente porque essa propriedade de "sempre cabe num intervalo pequeno" é exatamente o que um dígito verificador precisa.

Aritmética modular: o nome formal para "aritmética de relógio"

A área da matemática que estuda formalmente operações com resto é a aritmética modular — o exemplo mais intuitivo e cotidiano é o relógio: 9 horas depois das 20h não são "29h", são 5h da manhã, porque o relógio "reinicia" a cada 24 (ou 12) unidades — exatamente o comportamento de resto de divisão (29 mod 24 = 5). Essa mesma estrutura cíclica aparece em programação para índices circulares de array, em criptografia (RSA depende de aritmética modular sobre números muito grandes), e em qualquer sistema que precise "dar a volta" de forma previsível ao chegar num limite — dias da semana, graus de um círculo, posições numa roda de cores.