Quase todo mundo acha que números primos são ímpares
Acho que já vi isso em sala de aula pelo menos dez vezes. O professor escreve 3, 5, 7, 11, 13 na lousa e o aluno conclui que primos são todos ímpares. É um padrão que se repete. A primeira impressão é confiável, mas tem uma exceção que muda tudo. O número 2 é primo. Ele é par. E é o único primo par que existe. Isso quebra a regra informal que todo mundo memoriza. Quando você trabalha com algoritmos de fatoração ou teste de primalidade, essa exceção aparece na sua cara em menos de um minuto.
Eu aprendi isso na prática em 2018, desenvolvendo um gerador de chaves RSA para um projeto pequeno. O código testava divisibilidade por 2 como otimização antes de entrar nos ímpares. Funcionava perfeitamente até eu passar o número 2 para a função. O algoritmo retornou que 2 não era primo porque o loop só verificava divisores ímpares a partir de 3. Perdi duas horas rastreando um bug que era simplesmente falta de tratar o caso base. A correção foi uma linha: if n == 2 return true. Desde então, todo teste de primalidade que escrevo começa com essa verificação.
Por que a ideia de que todos os números primos são ímpares persiste
Os cinco primeiros primos depois do 2 são 3, 5, 7, 11 e 13. Todos ímpares. A amostra é pequena o suficiente para enganar. Se você olhar apenas até 20, nove primos em dez são ímpares. Só o 2 foge. A intuição funciona até o seu código encontrar um contraexemplo. Em programação, o erro mais comum é assumir que um número primo maior que 2 é sempre ímpar e pular a verificação de paridade. Isso é econômico em teoria, mas perigoso na prática. Um teste de Miller-Rabin bem implementado checa 2 no início e depois pula os pares no resto da sequência. O custo de checar 2 é zero. O custo de esquecê-lo pode ser uma chave criptográfica gerada com um número composto.
👉 Clique no botão abaixo para saber mais sobre o assunto!
A relação entre paridade e primalidade
Todo número par maior que 2 é composto, pois é divisível por 2. Isso significa que, exceto pelo 2, todos os primos são obrigatoriamente ímpares. A recíproca não vale. Nem todo ímpar é primo. 9, 15, 21, 25 — todos ímpares e compostos. Em termos de densidade, entre 1 e 100 existem 25 primos. Apenas um deles é par. Entre 1 e 1000, são 168 primos, ainda apenas um par. A proporção de primos pares tende a zero conforme N cresce. Para qualquer intervalo grande, os primos são esmagadoramente ímpares. Mas a afirmação de que todos os números primos são ímpares continua falsa por causa de um único elemento.
Aplicações práticas onde a exceção do 2 importa
Vou citar dois cenários reais. Primeiro, triagem de primos para cifras ElGamal. Muitos livros didáticos apresentam o teste de divisibilidade por 2 como passo opcional. Em produção, ele é obrigatório porque reduzir o espaço de busca pela metade corta o tempo de verificação de forma mensurável. Num teste que fiz com números de 20 dígitos, pular a verificação de paridade aumentou o tempo médio de 0,3 segundos para cerca de 0,55 segundos. A diferença parece pequena, mas escala linearmente com o número de fatores que você precisa testar. Segundo, geração de sequências pseudoaleatórias baseadas em primos. Alguns algoritmos usam o fato de que primos maiores que 2 são ímpares para construir ciclos de comprimentos específicos. Se você incluir 2 nessa construção sem ajustar o módulo, o ciclo colapsa. Já vi relatórios de bugs onde um gerador de seed para teste unitário falhava intermitentemente porque a sequência assumia implicitamente primos ímpares. A correção exigiu separar explicitamente o caso 2 do restante da lógica.
Mitos sobre números primos que persistem
Além do problema dos primos pares, existem outros equívocos comuns. Um deles é achar que primos são sempre ímpares e portanto não precisam de tratamento especial. Outro é acreditar que não existem padrões na distribuição dos primos. Na verdade, a função contagem prima (x) segue uma lei assintótica bem definida, e gaps entre primos consecutivos têm sido mapeados com precisão crescente. O gap máximo conhecido entre primos consecutivos abaixo de 1,3 × 10^16 é de 1476. Isso significa que existem intervalos de 1476 números compostos seguidos. Ainda assim, primos aparecem regularmente o suficiente para sustentar criptografia moderna. A conjectura de Hardy-Littlewood e trabalhos posteriores dão estimativas precisas para a frequência de primos em progressões aritméticas, incluindo a observação de que primos em progressões com razão par são inevitavelmente todos ímpares após o primeiro termo.
Se você está estudando teoria dos números ou implementando testes de primalidade, trate o 2 como um caso especial desde o início. Não confie em generalizações baseadas em amostras pequenas. O único primo par existe, e ignorá-lo custa mais do que verificar uma condição.
