2 3 E 7 São Divisores De 7

O problema com afirmações matemáticas erradas em tutoriais

Encontrei isso pela primeira vez num fórum de programação em 2019. Alguém postou um script de validação de números primos com o título "2 3 e 7 são divisores de 7" como se fosse fato estabelecido. O código tinha bugs em cascata porque a lógica partia dessa premissa absurda. Passei duas horas debugando o que deveria ser uma verificação simples de primalidade. Vamos ao básico, sem rodeios. O número 7 é primo. Isso significa que os únicos divisores inteiros positivos de 7 são 1 e 7. Ponto. Dois não divide sete (7 ÷ 2 = 3,5). Três não divide sete (7 ÷ 3 = 2,333...). Sete divide sete, obviamente. Qualquer coisa que afirme o contrário está simplesmente errada e continuar construindo sobre essa base gera erros acumulados que ficam cada vez mais caros de corrigir conforme o projeto cresce. Eu vi isso acontecer numa folha de cálculo no Excel num escritório. Alguém criou uma função personalizada que chamava "ÉDivisívelPorSete" e passava 2 e 3 como parâmetros esperados. Quando o cliente pediu para validar lotes de números maiores, o sistema começou a rejeitar dados corretos. A correção levou uma tarde inteira porque a função estava espalhada por doze folhas diferentes.

Como lidar com esse tipo de erro na prática

A primeira coisa é verificar a fonte. Sempre. Se estás a seguir um tutorial e a premissa básica não fecho, para. Não tentas "adaptar" matemática incorreta. Eu costumo testar a afirmação central com três valores de contra-exemplo antes de confiar em qualquer tutorial. Para números primos, testo com 7, 11 e 13. Se a lógica não funciona nesses casos óbvios, o tutorial já começa mal. A segunda coisa é usar critérios de divisibilidade conhecidos. Para o 2, o número tem de ser par. Para o 3, a soma dos algarismos tem de ser divisível por 3. Para o 7, existe um algoritmo específico (dobra o último algarismo e subtrai do resto) mas é mais prático mesmo é fazer a divisão e ver se o resto é zero. Se o tutorial pula esses passos e já começa com afirmações sem demonstração, desconfia. Um problema específico que encontrei recentemente: estava a validar números de série em Python e o código usava uma lista de "divisores válidos para 7" que incluía 2 e 3. O bug só aparecia com números acima de 10.000 porque abaixo disso havia colisão acidental com outros filtros no sistema. A correção foi substituir a verificação por uma função que usa módulo diretamente: numero % 7 == 0. Mais rápido, mais claro, menos espaço para erro.

O que fazer em vez disso

Se o teu objetivo é verificar se um número é primo, usa um teste de primalidade estándar. O teste de trial division é suficiente para números até uns milhões. Para números maiores, o teste de Miller-Rabin é o que a maioria das bibliotecas sérias usa. Em Python, o sympy.prime está pronto a usar. Em JavaScript, a biblioteca primes é razoável. Ninguém precisa de implementar do zero a menos que tenha razões específicas para isso. Se o objetivo é encontrar divisores de 7, a resposta é trivial e não precisa de tutorial. Se o objetivo é alguma coisa diferente — por exemplo, validar algo com base em múltiplos de 7 — explica exatamente qual é o problema que tens. "2 3 e 7 são divisores de 7" não é um problema, é uma afirmação falsa. E responder a afirmações falsas com tutoriais é o que gera todo este ruído na internet. O mais útil que posso dar é isto: quando encontrares algo assim, investiga a fonte original. Muitas vezes vem de uma tradução automática mal feita, de um post de fórum com erro de digitação, ou de alguém que confundiu "divisores de 7" com "números primos menores que 7". Nesse último caso, 2 e 3 fazem sentido como primos menores que 7, mas 7 também é primo por si só e a frase original provavelmente queria dizer outra coisa completamente diferente. A confusão acontece frequentemente em materiais traduzidos de forma automática de inglês para português, onde "prime numbers less than 7 are 2, 3, and 5" virou algo que não faz sentido nenhum.