A Hip

otese de Riemann:
Um Problema de um Milh
ao de D
olares
Paulo Sergio C. Lino 1
Abril de 2012

1 - Introduc
ao
Em agosto de 1900, o grande matematico
David Hilbert inaugurou o Congresso Internacional de
Matematica realizado em Paris, apresentando uma lista
de 23 problemas que, segundo ele, ditariam o rumo dos
exploradores matematicos do seculo XX. De todos os
desaos lancados por Hilbert, o oitavo tinha algo de especial. Ha um mito alemao sobre Frederico Barba-Ruiva,
um imperador muito querido que morreu durante a Terceira Cruzada. Segundo a lenda, Barba-Ruiva ainda estaria vivo, adormecido em uma caverna nas montanhas
Kyhauser, e so despertaria quando a Alemanha precisasse dele. Conta-se que alguem perguntou a Hilbert:
E se, como Barba-Ruiva, voce pudesse acordar 500
anos, o que faria?Hilbert respondeu: Eu lhe perguntaria:
Figura 1: Bernhard Riemann
Alguem conseguiu provar a hipotese de Riemann?
Os matematicos sabem que a prova da hipotese de Riemann tera um signicado
muito maior para o futuro da matematica do que saber se a equacao de Fermat tem
ou nao tem solucoes. Este problema matematico, procura compreender os objetos mais
fundamentais da matematica - os numeros primos.
A busca pela origem secreta dos primos ja dura mais de dois mil anos. Atualmente,
e oferecida uma recompensa de um milhao de dolares para a solucao da hipotese de
Riemann. Em 1997, Andrew Wiles recebeu 75 mil marcos por sua prova do ultimo
teorema de Fermat, gracas a um premio oferecido por Paul Wolfskehl em 1908.
Durante geracoes, os matematicos estiveram obcecados pela tentativa de prever a
localizacao precisa do proximo numero primo, produzindo formulas que gerassem esses
numeros. Por exemplo, em 1772, Euler observou que a expressao p(n) = n2 + n + 41,
produz numeros primos para 0 n 39. Carl F. Gauss, teve uma ideia inovadora
e deparou com uma especie de padrao ao fazer uma pergunta mais ampla buscando
descobrir a quantidade de primos entre um e um milhao em vez de localizar os primos
com precisao. Apesar da importancia dessa descoberta, Gauss nao a revelou a ninguem,
mas um de seus alunos, Riemann, foi quem realmente desatou toda a forca das harmonias
1

O autor e mestre em matematica pura pela UFSCar e articulador do blog Fatos Matematicos.

ocultas por tras da cacofonia desses numeros.

O pai de Riemann, que era o pastor de Quickoborn, tinha muitas expectativas em
relacao ao lho. Embora Bernhard Riemann fosse infeliz na escola, trabalhava rme e
era muito dedicado a nao decepcionar seu pai. Porem, tinha de lutar contra um perfeccionismo quase incapacitante. Schumalfuss foi quem encontrou uma maneira de animar
o jovem a explorar sua obsessao pela perfeicao, oferecendo a Riemann sua biblioteca,
com uma otima colecao de livros de matematica, onde o rapaz poderia escapar das
pressoes sociais dos colegas. A famlia de Riemann era pobre, e o pai de Bernhard
esperava que o lho tambem entrasse na vida clerical, o que lhe faria uma fonte de
renda regular com a qual poderia sustentar suas irmas. A unica universidade do Reino
de Hanover que oferece a catedra de teologia - a Universidade de Gottingen - nao era
um desses novos estabelecimentos, havendo sido fundada mais de um seculo antes, em
1734. Assim, atendendo aos desejos de seu pai, Riemann rumou, em 1846, para a umida
Gottingen.
Em 1859, George F. B. Riemann, com 32 anos, foi eleito para a Academia de Ciencias
de Berlim. Como regra desta instituicao, os novos membros deviam fazer um relatorio
sobre o assunto que estava pesquisando. O seu relatorio era curto (foi publicado com
8 paginas) e tinha por ttulo Sobre a quantidade de n
umero primos que nao excedem
uma grandeza dada. Essas oito paginas de densa matematica foram as unicas que
Riemann publicou, em toda sua vida, sobre os numeros primos, mas o artigo teria um
efeito fundamental sobre a maneira como eram percebidos. Escondido neste documento
de oito paginas, estava declarado o problema cuja solucao possui hoje uma etiqueta com
o valor de um milhao de dolares: a hipotese de Riemann.
Apesar de sua relevancia, temos uma escassa literatura em lngua portuguesa sobre
o assunto. O presente trabalho e uma pequena contribuicao para aqueles que tenham
interesse, ou mesmo curiosidade a respeito da funcao zeta de Riemann, e nao tenham
acesso `a literatura estrangeira.

2 - A Fun
c
ao Zeta de Euler
Para compreender o problema, convem recuar a 1650,
ano em que foi publicado o livro Novae quadraturae arithmeticae seu se additione fractionum, de Pietro Mengoli.
um sobre somas de series, duas das quais sao
E
(1) = 1 +
e
(2) = 1 +

Figura 2: Leonhard Euler

1 1 1
+ + + ...
2 3 4

1
1
1
+
+
+ ...
22 32 42

a demonstrado que a primeira (a serie harmonica) diverge

E
e o autor levanta o problema de saber qual e a soma da segunda. Este problema foi novamente levantado por Jacques
2

Bernoulli em 1689. Tres anos mais tarde, o mesmo Jacques Bernoulli comeca a estudar
as series
1
1
1
(s) = 1 + s + s + s + . . .
2
3
4
para s N {1}.
Em 1735, Euler provou que a soma da serie acima para s = 2 e 2 /6 e, pouco tempo
depois, mostrou que
(2n) =

(2)2n
|B2n |,
2(2n)!

n = 1, 2, . . .

onde Bk sao os numeros de Bernoulli denidos como os coecientes da expansao de

Taylor da funcao t/(et 1), isto e,
Bk
t
=
tk
et 1 k=0 k!

Os primeiros numeros de Bernoulli sao

B0 = 1,

1
B1 = ,
2

1
B2 = ,
6

B3 = 0,

B4 =

1
,...
30

Uma questao ainda em aberto e se o mesmo e verdadeiro quando o argumento de

e um inteiro positivo mpar. Por exemplo, sera que (3) e proporcional a 3 ?. Em
1978, R. Apery provou que (3) e pelo menos irracional. Nos pontos mpares negativos
o valor da funcao zeta tambem pode ser expresso em termos dos numeros de Bernoulli,
a saber
B2n
(1 2n) =
,
n = 1, 2, . . .
2n
Usando o teste da razao, vemos que se s > 1 a serie
(s) =

1
ns
n=1

e convergente.
Defini
c
ao 1: Seja s > 1. A funcao zeta de Euler e denida por:
(s) =

1
ns
n=1

A funcao zeta de Euler tambem pode ser expressa atraves de uma integral impropria
dada na proposicao seguinte:
Proposic
ao 1: Se (s) e a funcao zeta de Euler, entao
s1
t
1
dt
(s) =
(s) 0 et 1
3

m!
Demonstrac
ao: Note que se f (t) = tm , m N, entao L{tm }(p) = m+1 , de modo
p
que:
{ s1 }
t
1
L
= s
(s 1)!
n
de modo que
{ s1 }

t
1
1
(s) =
=
L
=
ent ts1 dt
s
n
(s 1)!
(s 1)! 0
n=1
n=1
n=1

s1

s1 t

1
1
1
t e
t
s1
nt
dt =
=
t
e dt =
dt
t
t1
(s) 0
(s)
1

e
(s)
e
0
0
n=1

A conexao entre a funcao zeta de Euler e os numeros primos e dado pelo seguinte
teorema:
Proposic
ao 2: [Produto de Euler] Se s > 1, entao

1
1
=
s
n
1 p1s
n=1
p primo

Demonstrac
ao:
que

(1)

Seguindo as ideias de Euler para provar esta identidade, notamos

1
= 1 + x + x2 + . . .
1x
para |x| < 1. Logo, para cada p, temos
1
1
1
=
1
+
+
+ ...
1 1/ps
ps p2s
Assim,

p primo
k=1

1
1
1
1
...
1 =
1
1
1 ps
1 ps 1 ps 1 p1s
1

1 1 1

...
s
s
s
p
p
p
1
2
3
k=0
k=0
(
) k=0
(
)
1
1
1
1
= 1 + s + 2s 1 + s + 2s . . .
p1 p 1
p 2 p2
1
1

1
=1+
+
+
+ ...
s
s s
s s s
p
p
p
p
p
p
i
i
j
i
j
k
1i
1ij
1ijk

1
1
1
1
+
+
.
.
.
+
+
.
.
.
=
2s 3s
ns
ns
n=1

=1+


4

A ultima expressao foi obtida lembrando que cada inteiro n > 1 e expresso de modo
unico como produto de potencias de diferentes primos. Alem disso, esta proposicao
mostra que ha uma relacao entre a funcao de Euler e a distribuicao dos numeros primos.
Usando sua funcao, Euler deduziu dois resultados importantes que apresentaremos a
seguir.
Corol
ario 1: [Euclides] Existem innitos n
umeros primos.
Demonstrac
ao: Se houvesse um numero nito de primos, entao o produto do segundo
membro de (1) seria um produto nito e teria evidentemente um valor nito, de modo
que a serie do primeiro membro tambem seria nita para todo s > 0. Entretanto, a
expressao do primeiro membro de (1) para s = 1 e a serie harmonica
1+

1 1
+ + ...
2 3

que diverge pelo teste da integral. Logo, existem innitos primos.


Na proposicao a seguir, provaremos que a serie dos inversos dos primos diverge. Mas
antes, veremos o lema seguinte:
Lema 1: Para x [1/2, 0), vale a desigualdade:
2x < ln(1 + x)

Demonstrac
ao: Seja f (x) = ln(1+x)2x para x [1/2, 0]. Note que f (1/2) =
1 ln 2 > 0 e f (0) = 0. Como
f (x) =

1
2
1+x

f (x) =

1
<0
(1 + x)2

para todo x R {1}. Assim, f e concava para baixo, de modo que f (x) > 0 para
x [1/2, 0), donde segue o resultado.

Proposic
ao 3: A serie dos inversos dos primos diverge, ou seja:
+

1 1 1 1
1
1
= + + + +
+ . . . = +
p
2 3 5 7 11
n=1 n

(2)

Demonstrac
ao:
s = 1, ou seja,

A prova de (2) e semelhante a apresentada na Prop. 2, tomando

1
1

1
2

1
1

1
3

1
1

1
5

...

1
1
1 =
k
1 pn
fps p

(3)

Como todo inteiro maior que 1 expressa-se de modo unico como produto de potencias de
primos diferentes, o produto das series geometricas acima representa a serie dos inversos
de todos os inteiros positivos cujos fatores primos sao menores ou iguais a pn . Em
particular, vemos que
pn
1
1

(4)
k
k
fps p
k=1
n

Substituindo (4) em (3), temos:

1
1

1
2

1
1

1
3

1
1

1
1
1
k
1 pn
k=1
pn

1
5

...

(5)

Considere agora a funcao f (x) = 1/x para x [1, pn ] representada no graco abaixo:

Temos a seguinte desigualdade para a area aproximada:

1
1
1
+ (4 3) + . . . + (pn pn + 1)
2
3
pn
pn
pn

1 1
1
1
1
= 1 + + + ... +
=
>
dx = ln pn
2 3
pn
k
x
1
k=1

Sn = (2 1) 1 + (3 2)

(6)

Substituindo (6) em (5), segue que

(

1
) > ln pn
)(
) (

1
1
1
1
1
1
1
... 1
2
3
5
pn
(
)
)(
)(
) (
1
1
1
1
1
1
<
1
1
... 1
2
3
5
pn
ln pn
)(

Aplicando o logaritmo em ambos os lados de (7), temos

(
)
)
(
)
(
)
(
1
1
1
1
ln 1
< ln ln p1
+ ln 1
+ ln 1
+ . . . + ln 1
n
2
3
5
pn
6

(7)

(
)
n

1
ln 1
< ln ln pn
pk
k=1

(8)

Sendo pk 2, entao 1/pk 1/2 para k N . Do Lema (1), segue que

)
(
2
1

< ln 1
pk
pk
(
)
n
n

1
1
2
<
ln 1
p
pk
k
k=1
k=1

(9)

De (8) e (9), conclumos que

n

1
1
> ln ln pn + quando n +
pk
2
k=1

Para ver isso, seja f (x) = ln ln x, para x > 1. Como f (x) = 1/(x ln x) > 0, segue que
f e crescente neste intervalo, de modo que lim ln ln pn = +.
n+


Observa
c
ao 1: Viggo Brun, em 1919, demonstrou que a serie dos recprocos dos
primos gemeos converge. Esta serie gera o n
umero denominado de constante de
Brun.
(

) (
) (
) (
) (
)
1 1
1 1
1
1
1
1
1
1
B2 =
+
+
+
+
+
+
+
+
+
+
3 5
5 7
11 13
17 19
29 31
1, 9021605823
O teorema de Brun arma que mesmo que existam innitos termos nesta soma, a
serie resultante e ainda assim convergente.
Ha outras ligacoes da funcao zeta com `a Teoria dos Numeros. Por exemplo, se s > 1,
entao

d(n)
(s)2 =
,
s
n
n=1
onde d(n) e o numero de divisores de n. Alem disso, se s > 2, entao
(s)(s 1) =

(n)
n=1

ns

onde (n) e a soma dos divisores de n.

3 - O Teorema dos N
umeros Primos
Ao perceberem das limitacoes de descobrir uma formula que gerasse o enesimo

numero primo, os matematicos voltaram-se para a estrategia de pesquisar sobre a distribuicao media dos primos ao longo dos numeros naturais.
Defini
c
ao 2: Para cada x R, denimos a funcao (x) como sendo a quantidade
de n
umeros primos menores ou iguais a x, ou seja:
(x) = quantidade de primos x
O matematico frances Legendre, apos um exame arduo
de uma tabela contendo um grande numero de primos observou que aparentemente se tem
(x)

Figura 3: Carl F. Gauss

x
ln x

(10)

querendo isto dizer que o quociente das duas funcoes tende

para 1 quando x tende para +. Pela mesma altura, Gauss
com apenas 15 ou 16 anos de idade tambem conjecturou que
se tem (10), mas tambem fez a conjectura
x
1
(x)
dt
2 ln t

Proposic
ao 4: As conjecturas de Legendre e Gauss sao equivalentes, ou seja:
x

lim x ln1x

x+

2 ln t

dt

=1

Demonstrac
ao: Usando a regra de LHospital, temos:
( ln x1 )
(
)
x
ln x 1
1
2
ln
x
ln
x
lim x 1
= lim
= lim
= lim 1
=1
x+
x+
x+
ln x
ln x
dt x+ ln1x
2 ln t


Figura 4: Graficos de (x) (vermelho),

8

x
2

1/ ln tdt (verde), e x/ ln x (azul).

x
No entanto, 2 1/ ln tdt e uma melhor aproximacao de (x) do que x/ ln x como se
pode ver no graco abaixo. Esta gura tambem sugere que (x) e sempre maior do que
x/ ln x e que a diferenca vai aumentando `a medida que x cresce. Isto levou Legendre a
conjecturar, em 1800, que uma funcao que aproxima (x) ainda melhor do que x/ ln x
e
x
ln x 1.08366
Gauss nao publicou nada sobre este topico, o que se sabe sobre as observacoes dele
sobre o assunto vem nas suas cartas pessoais e no seu diario. No entanto, nem mesmo
o grande Gauss conseguiu provar sua conjectura. Esforcos matematicos foram feitos no
sentido de que em 1848, o matematico russo Chebyshev demonstrou que
x
x
1
1
0, 89
dt < (x) < 1, 11
dt
2 ln t
2 ln t

Figura 5: Matematicos que provaram a conjectura de Legendre-Gauss

Em 1896, os matematicos, Jacques Hadamard e De La Vallee Poussin, trabalhando
independentemente e baseando-se nos escritos de Riemann, conseguiram nalmente
demonstrar que
(x)
lim
=1
x+ x/ ln x
Este resultado passou a ser conhecido por Teorema dos Numeros Primos.

4 - A Fun
c
ao Zeta de Riemann
Riemann estendeu a denicao da funcao Zeta de Euler para os numeros complexos.
Escrevendo s = + it, temos que:
|ns | = |es ln n | = |e(+it) ln n | = |e ln n | |eit ln n | = |e ln n | = n
Usando este resultado, juntamente com o teste M de Weierstrass, segue-se que a funcao
zeta de Riemann dada por

1
ns
n=1
9

e analtica para Re(s) > 1. Podemos estender a analiticidade de , para 1 < Re(s) < 1
e tambem para todo o plano complexo, exceto no ponto z = 1, onde ocorre o unico
polo da funcao , como ilustrado na gura abaixo.

Figura 6: Grafico da funcao |(s)| para s C.

A Proposicao 1, apresentada anteriormente para a funcao zeta de Euler tambem e
valida para a funcao zeta de Riemann, ou seja:
Proposic
ao 5: Seja s C. Se Re(s) > 1, entao
s1
t
1
(s) =
dt
(s) 0 et 1

(11)

onde (z) e a funcao gama de Euler, denida por

(s) =
et ts1 dt
0

A prova desta Proposicao pode ser encontrada em [3]. A expressao (11) e conhecida
por representacao integral da funcao zeta de Riemann. Usando a Prop. 4 e possvel
estender a funcao zeta de Riemann para 1 < Re(s) < 1, obtendo a expressao
[ 1 (
)
)
]
(
1 1 s1
1
1 s1
1
1
1
+
+

t dt
t
(s) =
(s) 0 et 1 t 2
2s
et 1 t
1
Para maiores detalhes, consulte [3]. Alem disso, notamos um aparente problema no
ponto s = 0 o qual pode ser resolvido da seguinte forma: Sendo (s + 1) = s(s),
entao:
1
1
=
2s(s)
2(s + 1)
10

obtendo 1/2 no ponto s = 0. Portanto, a funcao esta denida e e analtica na faixa

1 < Re(s) < 1, com um polo simples em s = 1.
A expressao a seguir valida para s = 1 e uma relacao de fundamental importancia
na teoria da funcao zeta de Riemann cuja prova pode ser encontrada em [5].
Proposic
ao 6: Se s C {1}, entao
(s) = 2(2)s1 (1 s)(1 s) sin(

s
)
2

5 - A Conjectura ou Hip
otese de Riemann
A famosa conjectura ou hipotese de Riemann esta
relacionada com os zeros da funcao . Os zeros da
funcao zeta localizados em zn = 2n, n = 1, 2, . . .
sao chamados zeros triviais. Aquele grande matematico armou que a funcao tem innitos zeros na
faixa 0 Re(s) 1, conhecida por faixa crtica. J.
Hadamard foi o primeiro a provar esta armacao, em
1893.
Uma das mais famosas questoes em aberto da
Matematica e a hipotese de Riemann sobre os zeros
nao triviais da funcao zeta. A hipotese de Riemann
Figura 7: Faixa crtica
estabelece que todos os innitos zeros da funcao ,
pertencentes a faixa crtica 0 Re(s) 1, estao sobre a reta Re(s) = 1/2, que e chamada de reta crtica. Desta forma, os zeros nao
triviais da funcao , de acordo com a conjectura de Riemann, sao innitos e da forma
s = 1/2 + i, com real. Ate o momento, nenhuma prova foi apresentada para esta
conjectura. Este problema nao um tipo de problema que pode ser abordado por metodos
elementares. Ja deu origem a uma extensa e complicada bibliograa.
Riemann enunciou, tambem sem provar, a seguinte formula assintotica para o numero
N (T ) de zeros da faixa crtica, 0 Re(s) 1, 0 < Im(s) T ,
N (T ) =

1
1 + ln(2)
T ln T
T + O(ln T )
2
2

Uma prova rigorosa desta formula foi dada, pela primeira vez, por H. V. Mangoldt em
1905 e pode ser vista em [5]. Nove anos mais tarde, G. H. Hardy provou que existe uma
innidade de zeros sobre a reta Re(s) = 1/2. Mas, uma innidade nao signica que sao
interessante notar que se a parte real de s e igual a 1, entao a funcao de
todos. E
Riemann nao admite nenhum zero sobre esta linha. Para ver uma prova deste fato, veja
[5].
E. C. Titchmarsh mostrou em 19351936, que ha 1041 zeros na regiao 0 Re(s)
1 e 0 < Im(s) < 1468. Todos estes zeros estao sobre a reta crtica Re(s) = 1/2. Com
o auxlio de supercomputadores, vericou que os primeiros 10 trilhoes de zeros estao
sobre a linha crtica, sugerindo portanto, que a hipotese deve ser realmente verdadeira.

11

Os matematicos se referem ao problema de Riemann como uma hipotese, e nao como uma conjectura, pela existencia de muitos resultados que dependem de sua solucao. A palavra hipotese tem uma
conotacao muito mais forte, pois representa uma premissa necessaria que o matematico aceita para poder
construir uma teoria. Uma conjectura, por outro
lado, representa apenas uma previsao do matematico
sobre o modo como o mundo se comporta. Muitas
pessoas tiveram de assumir sua incapacidade de resolver o enigma de Riemann e decidiram adotar sua
previsao como uma hipotese de trabalho. Se alguem
conseguir transformar a hipotese em teorema, todos
Figura 8: Zeros da funcao zeta
esses resultados pendentes serao validados. (A Musica
sobre a linha crtica
dos Numeros Primos, pp 19).

Figura 9: (1/2 + it), para 0 < t < 50

natural nesta fase ocorrer uma pergunta. O que e que tudo isto tem a ver com o
E
teorema dos numeros primos?
Para ver a relacao entre as duas coisas, considere a funcao denida abaixo:
Defini
c
ao 3: A funcao de Mobius : N {1, 0, 1} e denida por:

se n for m
ultiplo de algum quadrado perfeito maior do que 1;
(n) = 0
(n) = 1
se n possui um n
umero par de fatores primos;

(n) = 1
se n possui um n
umero mpar de fatores primos.
Seja tambem a funcao logaritmo integral denida por:
Defini
c
ao 4: Para x (1, +), denimos a func
ao logaritmo integral:
)
( 1
x x
x
1
1
1
Li(x) =
dt = lim+
dt +
dt
s0
ln t
0 ln t
0
1+ ln t
0
12

Riemann conjecturou que

1
1
1
1
(n)
3
5
6
Li(x) Li( x) Li( x) Li( x) + Li( x) + . . . =
Li( n x) (12)
2
3
5
6
n
n=1

seria uma excelente aproximacao de (x). Empiricamente isto e plausvel; por exemplo,
se n 1.000.000, entao a diferenca entre (n) e a soma dos quatro primeiros termos
nao nulos da serie (12) nao excede 37. Convem ressaltar que existe uma relacao direta
entre a funcao de Mobius e a funcao : se s C e se Re(s) > 1, entao
(n)
1
=
(s) n=1 ns

6 - Problemas Relacionados
Os Condensados de Bose-Einstein
Os Condensados de Bose-Einstein (BECs) sao nuvens de atomos ultrafrios, com temperaturas proximas
ao zero absoluto que se comportam como um unico e
gigantesco objeto cujo comportamento so e conhecido
com a interpretacao quantica, pois e um objeto de natureza quantica.
Este fenomeno foi teorizado nos anos 20 por Albert
Einstein, ao generalizar o trabalho de Satyendra Nath
Bose sobre a mecanica estatstica dos Fotons (sem
Figura 10: Condensados de massa) para atomos (com massa). Einstein especulou
Bose-Einstein
que arrefecendo os atomos bosonicos ate temperaturas muito baixas os faria colapsar (ou condensar) para o mais baixo estado quantico
acessvel, resultando numa nova forma de materia.
Esta transicao ocorre abaixo de uma temperatura crtica, a qual, para um gas tridimensional uniforme consistindo de partculas nao-interativas e sem graus internos de
liberdade aparentes, e dada por:
(
)2/3
n
h2
Tc =
(3/2)
2mkB
onde:
Tc e a temperatura crtica,
n a densidade da partcula,
m a massa do boson,
h a constante de Planck,
kB a constante de Boltzmann, e
13

 a funcao zeta de Riemann, sendo (3/2) 2, 6124.

Sistemas Din
amicos, Caos, Probabidade e Estatstica
As estatsticas dos zeros da funcao zeta de Riemann e um assunto interessante devido
a sua ligacao com a hipotese de Riemann e com a distribucao dos numeros primos. Os
pesquisadores descobriram que esta hipotese tambem esta relacionada com a teoria de
matrizes aleatorias e o caos quantico. Por exemplo, M. Berry apontou que as correlacoes
entre os zeros de (s) sao como as correlacoes entre os nveis de energia de um sistema
quantico caotico. Alem disso, a regularizacao da funcao zeta de Riemann e usada para
regularizar series divergentes que surgem na Teoria Quantica de Campos. Num exemplo
notavel, a funcao zeta de Riemann surge explicitamente no calculo do efeito Casimir
(Atracao entre duas pequenas placas metalicas que estao muito proximas entre si, da
ordem de varios diametros atomicos).
A Diferenca Entre Primos G
emeos
Outra questao envolvendo a hipotese de Riemann e referente aos numeros primos
consecutivos. Se pk denota o kesimo numero primo (de modo que p1 = 2, p2 =
3, p3 = 5 e assim por diante), um resultado provado por Cramer em 1919 estabelece
que a diferenca entre dois numeros primos consecutivos, pk+1 pk , cresce na mesma

velocidadeque pk ln(pk ). Mais especicamente, existe uma constante real positiva

M > 0 de modo que vale a desigualdade

pk+1 pk < M pk ln(pk )

para todo k sucientemente grande. Para provar este resultado, Cramer utilizou crucialmente a Hipotese de Riemann, de maneira que este resultado pode em princpio ser
falso, caso a Hipotese tambem seja.
A Hip
otese de Riemann e a Internet
Nao e facil elaborar um sistema de criptograa seguro na era dos supercomputadores. Contudo, os cientistas R. Rivest, A. Shamir e L. Adleman, desenvolveram um
criptosistema de chave publica, denominado RSA, que tem se mostrado inviolavel.
Esse criptosistema depende do conhecimento matematico dos numeros primos e suas
propriedades.
A pesquisa sobre a Hipotese de Riemann fornece informacoes tao preciosas, sobre o
padrao dos numeros primos, que avancos nessa investigacao poderiam nos levar a um
progresso substancial nas tecnicas de fatoracao e, consequentemente, levar `a quebra da
seguranca na transmissao de dados via Internet.

8 - Palavras Finais
Tudo que foi comentado anteriormente explica porque a hipotese de Riemann e uma
problema em aberto tao famoso. Este problema desde de sua formulacao tem captado
a imaginacao de alguns dos maiores matematicos do mundo. Andre Weil, matematico
14

ingles fascinado pela hipotese de Riemann, declarou certa vez numa entrevista que, durante muito tempo cou obcecado em demonstra-la e publica-la em 1959, no centenario
da publicacao da hipotese. Mas aquele ano passou sem que ele tivesse tido sucesso.
Depois, a sua ambicao cou apenas em compreender a demonstracao quando alguem
a publicasse. Perto do m da vida, desejava somente que a demonstracao fosse feita
enquanto ele estivesse vivo, mas nem essa ambicao foi satisfeita. Convem dizer que
uma conjectura formulada por Weil sobre os zeros de certas funcoes de uma variavel
complexa analoga `a hipotese de Riemann foi demonstrada por Pierre Deligne em 1974.
Em maio de 2000, o Clay Mathematics Institute (CMI) - ONG norte-americana que
desenvolve e dissemina conhecimentos matematicos - ofereceu sete premios no valor de
um milhao de dolares cada. Para receber a bolada, basta solucionar um dos problemas
de matematica propostos. Mas a riqueza nao vem facil; os problemas sao considerados
por um comite de matematicos como os mais complicados e mais importantes desta area
em nossos dias. Esta lista com 7 problemas extremamentes difceis, contem a hipotese
de Riemann e conjectura de Poincare que foi resolvida pelo matematico russo Grigory
Perelmann, o qual recusou o premio de 1 milhao de dolares.
A comunidade matematica esta esperando surgir outro Grigori para solucionar o
enigma de Hipotese de Riemann.

9 - Refer
encias Bibliogr
aficas
[1] http://pt.wikipedia.org/wiki/Hipotese-de-Riemann
[2] Santos, Jose Carlos. A Hipotese de Riemann - 150 anos.
[3] Aguilera-Navarro, Maria Ceclia K. et. al. A Func
ao Zeta de Riemann.
[4] Du Sautoy, Marcus. A M
usica dos N
umeros Primos: A historia de um problema
n
ao resolvido na matematica. Trad. Diego Alfaro, Jorge Zahar Ed. Rio de Janeiro,
2007.
[5] Borwein, P. et. ali. The Riemann Hypothesis: A Resource for the Acionado and
Virtuoso Alike. Springer, 2007.
[6] http://pt.wikipedia.org/wiki/Condensado-de-Bose-Einstein.
[7] Simmons, G. F. Calculo com Geometria Analtica. Vol. 2. Ed. Makron Books,
Sao Paulo, 1987.
[8] Conrey, J. Brian. The Riemann Hypothesis. Notices of the AMS. Vol. 50, n. 3.
[9] http://pt.wikipedia.org/wiki/Serie-dos-inversos-dos-primos

15