Hipótese de Riemann: o padrão oculto por trás dos números primos

Conte os números primos até 10: 2, 3, 5 e 7. Até 20, aparecem outros quatro. Em trechos maiores, a frequência muda e os intervalos entre primos variam. Não existe um espaçamento regular, como o de postes numa avenida. Mesmo assim, matemáticos conseguem descrever a distribuição média com enorme precisão. A hipótese de Riemann pergunta até onde podemos controlar os desvios dessa descrição.

Um número primo é um inteiro maior que um cujos divisores positivos são apenas um e ele mesmo. Eles funcionam como ingredientes básicos da multiplicação: todo inteiro maior que um admite uma decomposição em primos, única a menos da ordem. Isso não torna fácil entender onde o próximo primo aparecerá.

Da soma infinita aos números primos

A função zeta começa, na região em que a série converge, pela soma ζ(s) = 1 + 1/2ˢ + 1/3ˢ + 1/4ˢ + … . Leonhard Euler descobriu uma maneira de escrever essa função como um produto que envolve os primos. É a ponte que conecta uma função aparentemente feita de todos os inteiros à estrutura multiplicativa desses números.

Bernhard Riemann levou essa investigação ao plano complexo. Um número complexo tem parte real e parte imaginária; pode ser visto como um ponto em um mapa com dois eixos. Métodos de análise permitem estender a zeta para além da região em que aquela soma funciona, com uma exceção importante em s = 1, onde há um polo.

Que zeros são esses?

A zeta possui zeros nos inteiros negativos pares: −2, −4, −6 e assim por diante. São chamados triviais porque sua posição decorre de propriedades conhecidas da função. Os outros zeros relevantes ficam na faixa em que a parte real está entre zero e um, a chamada faixa crítica.

A hipótese diz que todos esses zeros não triviais estão na reta central da faixa: parte real 1/2. Eles podem ter partes imaginárias diferentes, formando uma sequência de posições ao longo dessa reta. “Não trivial” não significa que o zero é numericamente grande; distingue famílias de zeros.

Pense em um mapa que oferece uma faixa larga para localizar estações de uma linha ferroviária. A hipótese prevê que todas as estações relevantes obedecem a um alinhamento mais preciso. O desenho ajuda a visualizar o enunciado, mas não mostra por que as estações precisam estar ali. É essa necessidade matemática que uma prova teria de estabelecer.

O artigo de 1859 e o século de avanços

Riemann apresentou a hipótese no trabalho de 1859 sobre a quantidade de primos abaixo de um valor escolhido. O manuscrito introduziu uma abordagem em que propriedades analíticas da zeta informam a contagem dos primos. O Instituto Clay preserva uma reprodução desse documento histórico.

Em 1896, Jacques Hadamard e Charles-Jean de la Vallée Poussin demonstraram, independentemente, o teorema dos números primos. Ele afirma que a contagem de primos até x se aproxima de x dividido pelo logaritmo natural de x, no sentido de que a razão entre as duas quantidades tende a um. Esse resultado não exigiu provar toda a hipótese de Riemann.

Por que testar muitos zeros não basta

David Platt e Timothy Trudgian apresentaram uma verificação rigorosa dos zeros com parte imaginária positiva até a altura de 3 × 10¹². “Altura” mede uma coordenada no plano complexo; não é a quantidade de zeros examinados. O trabalho é um exemplo de evidência computacional certificada, não uma prova para todos os zeros.

Uma verificação finita pode excluir contraexemplos em sua região. A hipótese fala de uma família infinita, que continua depois dela. Se as primeiras páginas de um livro obedecem a um padrão, isso não determina todas as páginas de uma biblioteca sem fim. Essa é uma limitação lógica, mesmo quando o cálculo é rigoroso.

Também existem resultados teóricos sobre a posição e a quantidade de zeros. Hardy mostrou que infinitos deles ficam na reta crítica. “Infinitos na reta” ainda permite, logicamente, que outros estejam fora dela. Um único zero não trivial fora da reta bastaria para refutar a hipótese.

O que uma solução mudaria na ciência

Se verdadeira, a hipótese forneceria limites muito mais fortes para o erro em aproximações da contagem de primos. Na formulação de Enrico Bombieri, isso liga a posição dos zeros ao tamanho das flutuações aritméticas. Seria uma garantia sobre a precisão de estimativas, e não uma tabela completa com todos os primos.

Diversos resultados são conhecidos sob a suposição de que a hipótese seja verdadeira. Uma demonstração permitiria retirar essa condição onde ela é a única hipótese adicional. É preciso distinguir a hipótese clássica de versões generalizadas para outras funções L: provar a primeira não resolve automaticamente todas as outras.

Se falsa, teríamos de rever os limites que dependem dela e compreender o efeito dos zeros fora da reta. Isso não destruiria a aritmética nem invalidaria o teorema dos números primos. Resultados demonstrados de maneira independente continuariam válidos.

Ela permitiria quebrar todas as senhas?

Uma prova sobre a distribuição dos primos não é, por si só, um algoritmo rápido para fatorar um inteiro grande. Também não fornece um ataque universal a sistemas criptográficos. A proximidade entre primos e segurança digital torna a associação tentadora, mas são perguntas distintas.

Como interpretação do impacto científico, a maior mudança seria saber com que precisão o aparente desarranjo dos primos obedece a uma estrutura. Novas técnicas de demonstração poderiam alcançar outras áreas, mas aplicações concretas teriam de ser construídas e verificadas. Riemann importa porque faz uma pergunta exata sobre essa estrutura, mesmo sem uma promessa comercial imediata.

Problemas do MilênioCiênciaMatemáticaNúmeros primosTeoria dos números