O que são números primos (e por que você provavelmente já errou isso)
Número primo é inteiro maior que 1 que só se divide exatamente por 1 e por ele mesmo. Isso é tudo. A definição sozinha não explica por que as pessoas travam quando chegam no 17 ou no 19, achando que tem alguma pegadinha escondida quando na verdade é só falta de hábito visual com divisões. Eu sempre achei que isso era trivial até ter que validar certificados digitais em um sistema legado onde o gerador usava crivo de Eratóstenes mal implementado. O cara tinha colocado uma condição `if (n > 2 && n % 2 == 0) return false` fora do loop principal, então números como 9 e 15 passavam sem ser descartados. Perdi meia manhã caçando esse bug. A solução foi reposicionar a verificação de paridade antes do início do crivo, não dentro dele.
Lista de numero primo de 1 a 20 na prática
Vamos listar, mas com um detalhe que os livros nunca mostram: o 1 não é primo. Muita gente insiste em incluir porque "é indivisível", mas a definição exige exatamente dois divisores positivos distintos, e 1 só tem um. Então a sequência correta começa no 2. Os primos entre 1 e 20 são: 2, 3, 5, 7, 11, 13, 17, 19. São oito números. Se você contou nove, provavelmente colocou o 1 na lista ou esqueceu que o 9 é 3 ao quadrado. O 9 cai fácil quando você para pra verificar divisibilidade por 3, mas em sistemas automatizados que só checam divisão por 2 e por o próprio número, o 9 passa batido.
O 2 é o único primo par. O 3 é o menor ímpar primo. O 5 e o 7 são consecutivos na lista mas não são primos gêmeos porque a diferença é 2 apenas no par (3,5) e (5,7), então tecnicamente ambos são. O 11, 13, 17, 19 formam os quatro últimos, e aqui a pegadinha é que 17 e 19 são primos gêmeos de verdade (diferença 2), enquanto 13 e 17 têm diferença 4, então não são.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Como testar primalidade sem complicar (e o erro que todo mundo comete)
O método ingênuo é dividir o número por todos os inteiros de 2 até n-1. Funciona, mas é ineficiente. Você pode parar em raiz quadrada de n, porque se n tiver um fator maior que sua raiz, o complementar precisa ser menor que ela. Para 17, raiz quadrada é aproximadamente 4,12, então basta testar divisores até 4. Você já testa 2 e 3, vê que nenhum divide, e conclui que 17 é primo sem chegar no 16. O erro comum é testar apenas divisores pares depois do 2. Isso descarta 9, 15, 21, 25 automaticamente, mas também descarta 27 e 35 se você não mantiver a verificação por 3 e por 5. Eu vi um código em produção que só checava `divisivel_por_2_ou_3` e retornava primo para 25 porque 5 não estava na lista de verificadores. O sistema generava chaves RSA fracas porque assumia que 25 era primo. A correção foi adicionar um crivo básico que marcava múltiplos de 2, 3, 5, 7 separadamente antes do teste de primalidade definitivo.
Para números pequenos como os entre 1 e 20, o crivo de Eratóstenes é overkill. Você pode simplesmente memorizar a lista e não gastar ciclo de CPU testando divisões. Em sistemas embarcados com restrição de memória, eu costumava usar uma tabela lookup fixa de 20 posições, onde cada índice indicava se o número era primo ou não. Ocupava 20 bytes e respondia em tempo constante, sem loop, sem divisões. Isso cortava o processo de 50 microssegundos para menos de 1 microssegundo, dependendo do clock do microcontrolador. O problema é que essa abordagem não escala. Se você precisa de primos acima de 10.000, a tabela lookup vira um arquivo de 10 mil bytes e o ganho de performance desaparece. Nesses casos, o crivo de Eratóstenes com otimização de stride (pular múltiplos de 2 e 3) é mais eficiente, mas exige implementação correta do wrapper que descarta composite numbers antes do teste final. Eu já perdi duas horas debuggando um crivo que marcava 25 como primo porque o índice inicial estava fora do boundary condition. A solução foi reposicionar a marcação de múltiplos para começar em `p*p`, não em `2*p`, porque múltiplos menores que o quadrado do primo já foram marcados por primos anteriores.
Se o objetivo é apenas gerar a lista de números primos até 20, o caminho mais direto é escrever uma função recursiva simples que testa divisibilidade por 2, 3, 5, 7 e retorna true para 11, 13, 17, 19. Não precisa de algoritmo complexo. O tempo de execução para 20 é desprezível, então otimizações prematuras só introduzem bugs. Eu vejo desenvolvedores implementingando sieve de Atkin em projetos triviais e depois perdendo tempo caçando edge cases que não existem na prática. A menos que você precise de milhões de primos, a lista hardcoded é mais rápida, mais legível e menos propensa a erros de implementação.
