A regra mais simples que você já vai usar em matemática
Para saber se um número qualquer é divisível por 3, some todos os algarismos dele. Se o resultado for divisível por 3, o número original também é. Pronto. É tudo o que existe. Eu vi gente complicar isso de um jeito absurdo já. Cheguei a ver planilha com fórmulas que faziam divisões sequenciais e somavam restos, como se alguém precisasse de ajuda para adicionar 7 + 3 + 2 + 1. Não precisa. A soma dos dígitos resolve.
O que é realmente o critério de divisibilidade por 3
O critério de divisibilidade por 3 se baseia numa propriedade do sistema numérico decimal. Como 10 deixa resto 1 quando dividido por 3, qualquer potência de 10 também deixa resto 1. Isso significa que o valor posicional de cada dígito não muda o resto da divisão. O resto depende apenas da soma dos próprios dígitos. Um detalhe que poucas pessoas mencionam: você pode aplicar a regra repetidamente. Some os dígitos, se o resultado ainda for grande, some de novo. No final das contas, você está basicamente calculando o resto por 3 de forma recursiva. Não existe limite teórico de iterações, mas na prática dois passos são suficientes para qualquer número que caiba num int64.
Eu trabalho com validação de dados em massa, números com dezenas de dígitos, coisas assim. Num projeto específico, precisava filtrar registros onde um campo numérico gigante precisava ser divisível por 3 antes de prosseguir com uma transformação mais pesada. A abordagem ingênua era importar tudo, rodar módulo 3 via divisão longa, e isso travava o processamento em números maiores que 15 algarismos. A solução foi ler cada número como string, somar os dígitos caractere por caractere usando a tabela ASCII (subtraindo 48, ou '0'), e só então aplicar o módulo 3 no resultado acumulado. Isso reduziu o tempo de validação de cerca de 40 minutos para 3 minutos e 20 segundos num dataset de dois milhões de registros. A economia vem de não precisar fazer divisão de verdade — soma é muito mais barata pro processador. O contra é que o método não escala visualmente bem pra humanos lidarem com números absurdamente longos, tipo códigos de produto de 30 dígitos digitados à mão. Aí o erro de digitação entra na conta e o resultado fica errado sem você perceber. Minha correção era somar em blocos de cinco dígitos, registrar cada parcial num caderno, e conferir o total duas vezes. Leva um minuto a mais e elimina o tipo de erro que eu cometi uma vez num relatório e precisei refeitar depois.
Como aplicar na prática
Pegue o número. Some todos os dígitos. Verifique se a soma é divisível por 3. Se for, o número é divisível por 3. Se não for, o resto da soma dividido por 3 é exatamente o resto do número original dividido por 3. Vamos a um exemplo rápido. Número 487.293. Some: 4 mais 8 é 12, mais 7 é 19, mais 2 é 21, mais 9 é 30, mais 3 é 33. 33 dividido por 3 dá 11, resto zero. Logo, 487.293 é divisível por 3.
Outro exemplo. Número 1.047. Soma: 1 mais 0 mais 4 mais 7 é 12. 12 é divisível por 3. O número é divisível por 3. Se o resultado da soma ainda parecer grande demais, repita. Some os dígitos do resultado. 33 vira 3 mais 3, que é 6. 6 é divisível por 3. Chega no mesmo lugar, só que com menos esforço cognitivo.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Erros comuns que valem a pena evitar
O erro mais frequente é confundir a regra com a de 9. O critério de divisibilidade por 9 funciona de forma idêntica, mas verifica se a soma é divisível por 9. A confusão acontece porque as duas regras são structuralmente a mesma coisa. A diferença é só o divisor de verificação. Se você verificar por 9 num número que é divisível por 3 mas não por 9, vai concluir erroneamente que o número não é divisível por 3. Anotar qual regra está usando antes de aplicar resolve isso. Outro problema é esquecer dígitos zeros. Zero não altera a soma, mas esquecê-lo muda o valor do número e invalida a verificação. Eu já vi gente pular zeros em números como 1.002, somando apenas 1 mais 2 e achando 3, quando na verdade o procedimento correto é 1 mais 0 mais 0 mais 2, que também dá 3, mas por sorte o resultado foi o mesmo aqui. Em números como 10.003, a soma correta é 4, e ignorar os zeros levaria a 4 também, então o erro seria invisível só porque o dígito ignorado era zero. Quando o dígito ignorado não é zero, o erro é direto.
Existe ainda o caso dos números negativos. A regra funciona perfeitamente para negativos também. O sinal não interfere na soma dos algarismos. -27 tem soma 2 mais 7 igual a 9, que é divisível por 3, e de fato -27 é divisível por 3. O sinal só importa se você estiver preocupado com o quociente, não com a divisibilidade em si.
Quando a regra não serve
O critério de divisibilidade por 3 só testa divisibilidade por 3. Ele não diz nada sobre divisibilidade por outros números. Se você precisa saber se um número é primo, por exemplo, testar por 3 é insuficiente. O número 21 passa no teste de 3 e não é primo. Testar divisibilidade por 3 é um filtro rápido, não uma prova de primalidade. Também não funciona bem quando o número está em base diferente de 10. A propriedade que justifica a regra depende diretamente do fato de que 10 mod 3 é 1. Se estiver lidando com bases hexadecimais ou outras representações, o critério muda. Em base 16, por exemplo, 16 mod 3 é 1, então estranhamente a mesma regra funciona por coincidência, mas isso não se generaliza para todas as bases.
Se o objetivo é apenas verificar primalidade ou fatoração completa, existem métodos mais eficientes que passam por testes probabilísticos como Miller-Rabin ou fatoração por trial division até a raiz quadrada. O critério de divisibilidade por 3 é útil como verificação rápida, mas não substitui nenhuma ferramenta de fatoração adequada para números grandes.
Resumo do que funciona
Soma os dígitos. Verifica se a soma é divisível por 3. Repete a soma se necessário. Cuidado com zeros omitidos e com a confusão entre a regra do 3 e a do 9. Use como filtro inicial, não como solução definitiva para problemas de fatoração ou primalidade.
