Nesta seção veremos o enunciado de alguns resultados clássicos sobre números primos. Também veremos vários problemas em aberto famosos.
Teorema 1.29: (Dirichlet)
Dados naturais a, d com
,
existem infinitos primos da forma a + dn (com n natural).
A demonstração usual deste teorema usa variáveis complexas. Muitos casos particulares admitem demonstrações elementares mais ou menos simples. O leitor não deve ter dificuldade em demonstrar, por exemplo, que existem infinitos primos da forma 4n + 3 ou 6n + 5.
Existem vários refinamentos conhecidos do teorema de Dirichlet.
Definimos
como sendo o número de primos da forma
a + dn no intervalo [2,x]. De la Vallée Poussin provou que
Por outro lado, Tchebycheff observou que para valores pequenos de x,
e
são positivos. Um teorema de Littlewood, entretanto,
demonstra que estas funções mudam de sinal infinitas vezes.
Em 1957, Leech demonstrou que o menor valor de x para o qual
é 26861 e em 1978
Bays e Hudson demonstraram que o menor valor de x para o qual
é 608981813029.
Seja p(d,a) o menor primo da forma a + dn, n inteiro e
Por outro lado, não se sabe demonstrar que existam infinitos primos
da forma n2 + 1; aliás, não existe nenhum polinômio P em uma variável
e de grau maior que 1 para o qual se saiba demonstrar que existem
infinitos primos da forma P(n),
.
Por outro lado, existem muitos polinômios em mais de uma variável
que assumem infinitos valores primos:
por exemplo, prova-se facilmente que todo primo da forma 4n + 1pode ser escrito também na forma a2 + b2,
.
Por outro lado, Friedlander e Iwaniec provaram recentemente
um resultado muito mais difícil: que existem infinitos primos
da forma a2 + b4.
Um dos problemas em aberto mais famosos da matemática é a conjectura de Goldbach: todo número par maior ou igual a 4 é a soma de dois primos. Chen demonstrou que todo número par suficientemente grande é a soma de um primo com um número com no máximo dois fatores primos. Vinogradov demonstrou que todo ímpar suficientemente grande (por exemplo, maior do que 3315) é uma soma de três primos.
Quando p e p+2 são ambos primos, dizemos que eles são primos gêmeos.
Conjectura-se, mas não se sabe demonstrar, que existem infinitos primos gêmeos.
Brun, por outro lado, provou que primos gêmeos são escassos no seguinte sentido:
se
é o número de pares de primos gêmeos até x então
Seja pn o n-ésimo número primo.
O teorema dos números primos equivale a dizer que
Sierpinski provou que existem infinitos números naturais ktais que
é composto para todo natural ne Riesel provou o mesmo resultado para
.
Conjectura-se que os menores valores de k com as propriedades acima
são respectivamente 78557 e 509203. Há um projeto cooperativo,
que consiste em procurar primos grandes,
para demonstrar estas conjecturas
(veja http://vamri.xray.ufl.edu/proths/).
Outro problema famoso é o de determinar se existem progressões aritméticas
arbitrariamente longas formadas exclusivamente por primos.
Van der Corput provou em 1939 que há uma infinidade de progressões aritméticas
formadas por 3 primos ([Corput]).
Uma resposta afirmativa ao problema geral seguiria da veracidade
de uma conjectura de Erdös, segundo a qual se
é tal que a série dos inversos de seus elementos diverge,
então A contém progressões aritméticas arbitrariamente longas.
Atualmente, a maior progressão aritmética de primos que se conhece
é formada pelos 22 termos
11410337850553+4609098694200k,
com
,
e foi encontrada por Pritchard et al. em 1993.
M. Toplic, um dos membros de um projeto conjunto
realizado com o auxílio da internet,
encontrou em 15/01/1998 o primeiro exemplo de 10 números primos
consecutivos em progressão aritmética,
que são os primos p+210k com
,
onde
Por outro lado, em 23/4/1999, um grupo de 6 pesquisadores achou
10 primos palíndromos (i.e., cuja representação decimal é simétrica)
consecutivos (dentre os primos palíndromos)
em progressão aritmética, que são
O leitor interessado em aprender mais sobre problemas em aberto em teoria dos números pode consultar [Guy].