A hiptese de Riemann 150 anos

Jos Carlos Santos

Em 1859, Bernhard Riemann, ento com 32 anos, foi eleito para a Academia
das Cincias de Berlim. Fazia ento parte do regulamento daquela instituio
que os novos membros deviam fazer um relatrio sobre a pesquisa que estavam
a fazer. O relatrio entregue por Riemann era curto (foi publicado em oito
pginas) e tinha por ttulo Sobre o nmero de nmeros primos que no excedem
uma grandeza dada. aqui que surge a hiptese de Riemann, que talvez o mais
famoso problema em aberto da Matemtica.

(n)
Para compreender o problema, convm recuar a 1650, ano em que foi publicado o livro Nov quadratur arithmetic seu se additione fractionum, de Pietro
Mengoli. um livro sobre soma de sries, duas das quais so
(1) = 1 +

1
2

1
3

1
4

e
(2) = 1 +

1
2

1
3

1
42

a demonstrado que a primeira (a srie harmnica) diverge e o autor levanta

o problema de saber qual a soma da segunda. Este problema foi novamente
levantado por Jacob Bernoulli em 1689.1 Trs anos mais tarde, o mesmo Jacob
Bernoulli comea a estudar as sries
(n) = 1 +

1
2

1
3

1
4n

(1)

para cada n N \ {1}.

1

O texto em questo foi publicado em Basileia, o que deu origem a designar-se por problema
de Basileia o problema de determinar o valor de (2).

Em 1735, Euler provou que (2) = 2/6 e, pouco tempo depois, calculou (n)
para cada nmero natural par n, para alm de ter obtido o produto euleriano
Y

1
(n) =
1 p n
,
(2)
p primo

o qual vlido para cada nmero real n > 1. Isto mostra que h uma relao
entre a funo e a distribuio dos nmeros primos. No a nica ligao da
funo Teoria dos Nmeros. Por exemplo, se s > 1, ento
(s)2 =

X
d (n)

ns

n=1

onde d (n) o nmero de divisores de n. Alm disso, se s > 2, ento

(s ) (s 1) =

X
(n)

ns

n=1

onde (n) a soma dos divisores de n.

Conjectura de Legendre
Para cada x R, seja (x) o nmero de nmeros primos menores ou iguais
a x. Por exemplo, (1) = 0, (2) = 1 e () = 2. No fim do sculo XVIII
Legendre observou que aparentemente se tem
(x)

x
log x

(3)

querendo isto dizer que o quociente das duas funes tende para 1 quando x
tende para +. Pela mesma altura, Gauss (com apenas 15 ou 16 anos de idade)
tambm conjecturou que se tem (3), mas tambm fez a conjectura equivalente
Zx
1
d t.
(x)
2 log t
Que as duas conjecturas so equivalentes resulta de se ter
x/log(x)
= 1,
lim R x 1
x+
d
t
2 log t

Rx
que algo que se prova facilmente. No entanto, 2 log1 t d t uma melhor aproximao de (x) do que x/log(x) como se pode ver pela figura 1.
2

1 250

1 000

750

500

250

2 000

4 000

6 000

Figura 1: Grficos de (x) (vermelho),

Rx

1
2 log t

8 000

10 000

d t (verde) e x/log(x) (azul).

A figura 1 tambm sugere que (x) sempre maior do que x/log(x) e que a
diferena vai aumentando medida que x cresce. Isto levou Legendre a conjecturar, em 1800, que uma funo que aproxima (x) ainda melhor do que x/log(x)

log(x) 1,08366
No claro o que que ele tinha em mente ao escrever isto, pois se o quociente
de (x) por x/log(x) tender de facto para 1, ento o quociente de (x) por qualquer
funo do tipo x/(log(x)+A) tambm tende para 1.
Gauss no publicou nada sobre este tpico; o que se sabe sobre as observaes dele sobre o assunto vem nas suas cartas pessoais e no seu dirio. Em
contrapartida, a conjectura de Legendre era bem conhecida dentro da comuni
dade matemtica e mencionada por, pelo menos, Abel, Dirichlet e Cebiev

na primeira metade do sculo XIX. Foi alis Cebiev

a primeira pessoa a fazer
progressos em direco a uma demonstrao da conjectura. Em 1848 provou que
para x suficientemente grande tem-se
Zx
Zx
1
1
d t < (x) < 1,11
d t;
0,89
2 log t
2 log t
num certo sentido (que ele precisou) nenhuma funo da forma
x 7

x
log(x) +
3

aproxima melhor a funo do que x/(log(x)1);

caso o limite

(x)
lim R x 1
x+
dt
2 log t

exista, ento o seu valor s pode ser 1.

O artigo de Riemann
O artigo de Riemann no um artigo de Matemtica no sentido usual do
termo. sobretudo um programa de pesquisa que pretende levar a uma demonstrao da conjectura de Legendre.
A expresso (1) para (n) foi definida para valores naturais de n > 1. Naturalmente, definir (n) daquele modo continua a fazer sentido para qualquer
n ]1, +[. O que Riemann fez foi definir (s ) para qualquer nmero complexo s diferente de 1. A definio dele complexa (sem trocadilhos!) mas vamos
ver como se pode prolongar ao conjunto dos nmeros complexos s tais que
Re(s ) > 0 (e com s 6= 1). Para comear, convm definir n s = e s log(n) , para cada
s C. No difcil provar que
(s) = 1 +

1
2s

1
3s

1
4s

(4)

converge (e at converge absolutamente) quando Re(s) > 1. No entanto, a srie (4) diverge quando Re(s) 1. Por outro lado, se Re(s ) > 1 tem-se
(s) =
=
=
=

X
1
n=1

X
n=1

ns
(1)n1
n

(2n) s

X
1

n=1

(1)n1
n

+2

+ 21s

n=1

n=1

(1)n1

n=1

ns

ns

+ 21s (s).

Logo,
P
(s ) =

n=1

(1)n1
ns
1s

12
4

(5)

Acontece que o numerador do membro da direita desta igualdade uma srie

que converge sempre que Re(s) > 0. Isto permite ento definir (s ) para cada
nmero complexo s com parte real positiva, excepto aqueles para os quais 21s =
n
1, ou seja, excepto os nmeros s da forma 1 2i
, com n Z. Por outro lado,
log 2
se se definir
(
2 se n for mltiplo de 3
(n N),
an =
1
caso contrrio
ento clculos semelhantes aos anteriores mostram que
P an
(s ) =

n=1 n s
1s

13

(6)

Isto permite definir (s) para cada nmero complexo s com parte real positiva,
n
excepto os nmeros s da forma 1 2i
, com n Z. As expresses (5) e (6) em
log 3
conjunto permitem definir (s ) para cada s C \ {1} tal que Re(s ) > 0.
Riemann encontrou uma expresso analtica que permitia definir (s) para
cada s C \ {1}. natural que no se possa prolongar a 1, pois o limite de | (s )|
quando s tende para 1 por valores reais maiores do que 1 +. Isto tanto pode
ser demonstrado a partir de (4) como (mais facilmente) a partir de (5).
Considerando agora como uma funo de C \ {1} em C, Riemann mostrou facilmente que (s) = 0 quando s um inteiro par menor do que 0 e observou que resulta do produto euleriano (2) que (s ) no tem zeros tais que
Re(s ) > 1. Riemann tambm provou que, a no ser quando s ou 1 s um
inteiro par menor do que 0, (s) = 0 se e s se (1 s) = 0. Resulta disto
tudo que, com excepo dos inteiros pares menores do que 0 (que se designam
por zeros triviais da funo ), todos os zeros da funo esto na faixa crtica:
{ s C | 0 Re(s) 1 }.
Prova-se facilmente que, para cada s C \ {1}, (s) = (s). Em particular,
se s for um zero da funo , ento s tambm o . Consequentemente, se se est
procura de zeros da funo basta procurar aqueles que tm parte imaginria
maior ou igual a 0 e vo ser s estes que sero considerados a partir deste ponto.
Riemann fez uma estimativa de quantos zeros h na faixa crtica com parte
imaginria entre 0 e T (T > 0) e obteve

T
T
T
log

(7)
2
2
2
Em seguida, Riemann afirmou que este nmero tambm era uma estimativa
para o nmero de zeros situados na recta crtica { 1/2 + t i | t R } tais que
0 Im() T . Foi neste contexto que formulou a sua famosa hiptese:
5

Todos os zeros no triviais da funo esto na recta crtica.

natural nesta fase ocorrer uma pergunta. O que que tudo isto tem a ver
com a conjectura de Legendre? At aqui, a nica relao que foi vista entre a
funo e nmeros primos foi o produto euleriano (2). Para se ver a relao
entre as duas coisas, considere-se a funo de Mbius : N {1,0,1}, assim
definida: se n N, ento
se n for mltiplo de algum quadrado perfeito maior do que 1, (n) = 0;
caso contrrio, (n) = 1 (respectivamente 1) caso n tenha um nmero
par (resp. mpar) de factores primos.
Seja tambm, para cada x ]1, +[,
Z 1"

Zx
Zx
1
1
1
d t = lim
dt +
d t.
Li(x) =
"0+
log t
0
1+" log t
0 log t
Riemann conjecturou que
1 p 1 p
1 p 1 p
Li(x) Li
x Li 3 x Li 5 x + Li 6 x + =
2
3
5
6

(n) p
Li n x (8)
=
n
n=1
seria uma excelente aproximao de (x). Empiricamente isto plausvel; por
exemplo, se n( N) 1 000 000, ento a diferena entre (n) e a soma dos
quatro primeiros termos no nulos da srie (8) no excede 37. Para se ter uma
ideia da ordem de grandeza dos nmeros com
R x que se est a trabalhar, basta ver
que (1 000 000) = 78 498. Como Li(x) e 2 log1 t d t diferem por uma constante
(' 1,04516), h uma relao clara entre a aproximao de (x) que Riemann
conjecturou e a conjectura de Legendre.
Convm observar que existe uma relao directa entre a funo de Mbius e
a funo : se s C e se Re(s ) > 1, ento
!
!

X
X
1
(n)
= 1.
(9)
s
s
n=1 n
n=1 n

Aps Riemann
O artigo de Riemann estava to avanado em relao ao seu tempo que tiveram de decorrer mais de trinta anos at haver avanos relativamente ao que
6

l vem. S em 1896 que Jacques Hadamard e Charles de la Valle Poussin

demonstraram (independentemente um do outro) a conjectura de Legendre, a
qual passou a ser conhecida por teorema dos nmeros primos. A demonstrao
envolveu o estudo dos zeros da funo , mas o que provaram foi somente que
esta no tem zeros na fronteira da faixa crtica, ou seja, no tem zeros da forma
i t ou 1 + i t (t R). Para se ter uma ideia da complexidade do estudo deste
problema, basta ver o grfico da restrio de | | ao eixo dos imaginrios puros, representado na figura 2. At hoje, ningum conseguiu provar que existe
algum < 1/2 tal que todos os zeros no triviais da funo estejam na faixa
{ s C | < Re(s ) < 1 }.
10

10

20

30

40

50

60

70

80

90

100

Figura 2: Grfico de t 7 | (t i)| (t [0,100])

O artigo de Riemann continuou a ser fonte de inspirao para muitos matemticos que trabalharam nesta rea. Parte desse trabalho consistiu em encontrar
as demonstraes de muitas afirmaes a feitas por Riemann as quais, aparentemente, eram por ele encaradas como estando completamente demonstradas.
Um exemplo entre outros consiste na estimativa (7) apresentada por Riemann
para o nmero de zeros da funo no rectngulo que tem por vrtices 0, 1,
1 + T i e T i (T > 0). S em 1905 que von Mangoldt conseguiu demonstrar que
estava correcta.
Desde o fim do sculo XIX que se estudam por mtodos numricos os zeros da funo na faixa crtica. De facto, o prprio Riemann j fizera isso,
mas no revelou esse facto no artigo de 1859. Foi somente em 1932 que Carl
Ludwig Siegel publicou uma anlise dos apontamentos de Riemann que estavam
depositados na Universidade de Gttingen. Foi a descoberta uma frmula, actualmente conhecida por frmula de Riemann-Siegel, que permite encontrar zeros
da funo . Riemann chegou a usar essa frmula para encontrar os trs primeiros zeros da funo da forma 1/2 + t i (t > 0): correspondem a tomar-se
t ' 14,135, t ' 21,022 e t ' 25,011. Levando essa anlise um pouco mais longe,
pode-se mostrar que no h mais zeros da funo na faixa crtica com parte
imaginria positiva e menor ou igual ao maior dos trs. Esta anlise numrica
aos zeros da funo foi levada cada vez mais longe ao longo dos anos; os primeiros dez zeros situados na faixa crtica podem ser vistos na figura 3. Conhecem-se
actualmente bilies de zeros da funo situados na faixa crtica e tm todos
parte real igual a 1/2.
7

50i
40i
30i
20i
10i

1/2

Figura 3: Os primeiros dez zeros no triviais da funo

Este tipo de verificaes numricas so provavelmente encaradas por muitas
pessoas como uma prova, para todos os efeitos prticos, da hiptese de Riemann.
Para se ver o cuidado que se deve ter com este tipo de demonstraes, considere-se novamente a figura
R x1. Como se pode a ver, tem-se sempre (i. e. sempre que 1 x 10 000) 2 log1 t d t > (x). Como Li(x) ligeiramente maior
Rx
que 2 log1 t d t tem-se, por maioria de razo, que Li(x) > (x). Ser que a desigualdade Li(x) > (x) se verifica para qualquer x 1? De facto no; em 1914
Littlewood provou que h nmeros x tais que Li(x) < (x). No entanto, os
nmeros para os quais se tem esta desigualdade so to grandes que nunca se
encontrou nenhum.
Naturalmente, foram surgindo ao longo dos anos resultados tericos cada
vez mais precisos sobre os zeros da funo Riemann. Por exemplo, em 1914
Hardy demonstrou que a funo tem uma infinidade de zeros na recta crtica.
Sete anos mais tarde, Hardy e Littlewood demonstraram que existe algum nmero K > 0 tal que o nmero de zeros da funo no segmento que une 1/2 a
1/2 + t i maior de que K t , desde que t seja suficientemente grande. Em 1942,
Selberg provou que o mesmo verdade se se tiver K t log(t ) em vez de K t .

Outras formulaes
A hiptese de Riemann formulada em termos da localizao dos zeros de
uma funo de C \ {1} em C cuja definio no trivial. Felizmente, h outros
enunciados equivalentes mais fceis de compreender. Um deles : a funo
x 7

(x) Li(x)
p
x log x

 limitada. Outro enunciado equivalente pode ser obtido a partir da funo de

Mbius. o seguinte: para cada " > 0,
Pn
(k)
lim k=1
= 0.
nN
n 1/2+"
Convm ver o que significa o numerador da expresso anterior. Diz-se que
um nmero natural n livre de quadrados se no for mltiplo de nenhum quadrado perfeito maior
 de que 1. Resulta da definio da funo que, se n N,

Pn
ento  k=1 (k) a diferena entre o nmero de naturais em [1, n] livres de
quadrados que tm um nmero par de factores primos e o nmero de naturais
em [1, n] livres de quadrados que tm um nmero mpar de factores primos.
Assim, por exemplo, h 13 nmeros livres de quadrados menores ou iguais a 20:
1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19,
estando sublinhados aqueles
que tm um nmero par de factores primos, que
P
 20

so 5 no total. Logo,  k=1 (k) = 3. Um enunciado equivalente hiptese de
P

 n

Riemann : se " > 0 e se n N for suficientemente grande, ento  k=1 (k)
n 1/2+" . Em 1897, Mertens props uma conjectura muito mais forte, a hiptese de
Mertens:


n
X
 p


Se n N, ento 
(k) n.
 k=1

Durante muito tempo, todos os dados numricos disponveis apoiavam esta hiptese, mas, de facto, falsa, o que s foi provado em 1985. No entanto, ainda
no se conhece nenhum contra-exemplo hiptese de Mertens, mas sabe-se que
um tal contra-exemplo tem que ser maior do que 1014 .

Concluso
Tudo o que foi escrito atrs deve explicar porque que a hiptese de Riemann um problema em aberto to famoso. Desde que foi formulada que tem
captado a imaginao de alguns dos maiores matemticos de mundo. Conta-se,
por exemplo, que o exemplar de Hurwitz das obras completas de Riemann tinha
a lombada gasta de tal modo que se se deixasse ca-lo ele abria na pgina onde est
formulada a hiptese. Outro matemtico fascinado por ela foi Andr Weil, que
declarou certa vez numa entrevista que, durante muito tempo, acalentou a ambio de a demonstrar e de publicar a demonstrao em 1959, no centenrio da
9

publicao da hiptese. Mas aquele ano passou sem que ele tivesse tido sucesso.
Depois, a sua ambio passou a ser somente a de compreender a demonstrao
quando algum a publicasse. Perto do fim da vida, desejava somente que a demonstrao fosse feita em vida dele, mas nem essa ambio foi satisfeita.
Convm dizer que uma conjectura formulada por Weil sobre os zeros de certas funes de uma varivel complexa anloga hiptese de Riemann e foi demonstrada por Pierre Deligne em 1974. Este facto frequentemente apresentado
como um dos argumentos mais convincentes para a plausibilidade da hiptese de
Riemann.
Em 1900, Hilbert fez uma palestra no Congresso Internacional de Matemticos onde exps uma lista de 23 problemas matemticos particularmente importantes. provavelmente a lista de problemas mais famosa da histria da Matemtica, mas no ano 2000 surgiu outra que tem rivalizado com a de Hilbert em
termos de impacto meditico: a lista dos problemas do milnio, do Instituto
Clay de Matemtica. No admira que o nico problema comum a ambas as listas
seja a hiptese de Riemann.

10