Criterios De Divisibilidade Por 4

A regra prática que todo mundo esquece

Os criterios de divisibilidade por 4 são extremamente simples, mas existem nuances que as tabelas de matemática nunca explicam. A regra básica é esta: um número é divisível por 4 se os dois últimos algarismos formarem um número divisível por 4. Isso vale para qualquer inteiro positivo, não importa o tamanho. Números como 132, 5780 ou 100456 obedecem a esse teste imediatamente porque 32, 80 e 56 são todos divisíveis por 4. O motivo funciona assim. Qualquer número pode ser escrito como N = 100 × A + B, onde B são os dois últimos dígitos. Como 100 já é divisível por 4, só importa verificar se B é divisível por 4. A parte A do número desaparece da equação completamente. Isso é aritmética modular pura, mas você não precisa saber disso para aplicar a regra.

criterios de divisibilidade por 4

Na prática, o teste funciona assim. Pegue o número, isole os dois dígitos finais, divida por 4 e verifique se o resto é zero. Por exemplo, com 3476: os dois últimos dígitos formam 76. Dividindo 76 por 4, o resultado é 19, resto 0. O número é divisível. Agora 5818: os dois últimos dígitos formam 18. 18 dividido por 4 dá resto 2. Não é divisível por 4. Um erro comum é tentar dividir o número inteiro por 4 usando divisão longa quando o teste dos dois últimos dígitos resolve o problema em segundos. Eu já vi gente dividindo 123456 por 4 à mão repetidamente. Basta olhar para 56. 56 é divisível por 4, então o número inteiro também é. Não existe motivo para fazer a divisão completa. Outro ponto que merece atenção é o caso dos números que terminam em zeros. 4200 termina em 00, que é divisível por 4. 4210 termina em 10, que não é divisível por 4. A regra se mantém independente da quantidade de zeros no final, porque só os dois últimos dígitos importam. Se o número tiver menos de dois dígitos, o próprio número precisa ser divisível por 4 diretamente. 8 sim, 9 não.

Aqui vai um caso específico que enfrentei recentemente. Trabalhando com validação de CPF em um sistema legado, precisei verificar divisibilidade por 4 em números grandes processados em lote. A abordagem ingênua de converter tudo para string, fatiar os dois últimos caracteres e tentar fazer divisão direta funcionava, mas criava problemas com números negativos e com a forma como a linguagem tratava restos de divisão de números ímpares. A solução que adotamos foi simples: usar a operação bitwise AND com o valor 3. Se o resultado for zero, o número é divisível por 4. Isso é equivalente a verificar se os dois últimos bits do número em binário são ambos zero. Funciona porque 4 em binário é 100, e qualquer número divisível por 4 necessariamente termina em 00 na base binária. A operação bitwise é muito mais rápida que divisão real em processadores e eliminou uma classe inteira de erros na validação. Existe uma limitação importante que poucos mencionam. A regra dos dois últimos dígitos só funciona porque 100 é múltiplo de 4. Para outros divisores, como 7 ou 13, essa lógica não se aplica. Não tente usar o mesmo método para divisores primos maiores que não dividem 10 ou 100 de forma limpa. Para esses casos, as regras são diferentes e muito menos intuitivas. Também é útil saber que a divisibilidade por 4 implica diretamente na divisibilidade por 2, mas o inverso não é verdadeiro. Todo número divisível por 4 é par, mas nem todo número par é divisível por 4. Números como 2, 6, 10 e 14 são pares mas não divisíveis por 4. Confundir esses conceitos gera erro frequente em exercícios e em código de validação.

Para quem precisa validar muitos números rapidamente, como em sistemas de pagamento ou auditoria contábil, a verificação dos dois últimos dígitos é sempre a opção mais eficiente. Em vez de chamar uma função de módulo ou divisão em cada iteração de um laço, basta extrair os dois últimos dígitos e consultar uma tabela pré-computada. Com apenas 25 entradas possíveis (00, 04, 08 até 96), a tabela cabe em registradores e a consulta é instantânea. Isso transforma uma operação que poderia levar microssegundos em algo que leva nanosegundos por verificação.