ADECIO DA SILVA SANTOS, RG: 2425510 SSPPI

PROVA DA HIPÓTESE DE RIEMANN PELO

PROBLEMA E?

1 PROBLEMA E
O Problema E é equivalente à Hipótese de Riemann. Abaixo deixamos seu enunci-
ado.
n
X 1 X
PROBLEMA E: Seja Hn = a n-ésima soma harmônica e d a soma de
j=1
j
d|n
X
Hn
todos os divisores de n então d ≤ Hn + e · ln(Hn ) para todo n ≥ 1.
d|n
X
Prova: Suponhamos, por absurdo, que ∃N ∈ N tal que d > HN +eHN ·ln(HN ),
d|N
Agora, pela desigualdade das médias geométrica e aritmética, temos que
X
d
HN
p HN + e · ln(HN ) d|N
HN · eHN · ln(HN ) ≤ <
2 2

Este último resultado nos fornece que

 2
X
 d
d|N 1 HN · eHN · ln(HN ) 1
1 ≤ HN · eHN · ln(HN ) < ⇒ 2 ≤ 2 <
4 4

X X
 d  d
d|N d|N

e ainda temos da última desigualdade que

1 HN · ln(HN ) 1
2 ≤  2 < HN
4e

X X
eHN · d  d
d|N d|N

ou seja,

1
 1 HN 1
2 ≤  2 < (I)
4eHN ln(HN )

X X
eHN · ln(HN ) ·  d  d
d|N d|N
.
 2
X
Finalmente, deixando o termo  d como uma constante, e tomando todo
d|N
HN
n > N , temos que e ln(HN ) → ∞. Logo, pelo teorema do sanduı́che aplicado na
HN
expressão (I) obtemos  2 → 0, ou seja, uma subsequencia da serie harmônica
X
 d
d|N
tendendo a zero, o que é um absurdo, pois são somas de termos positivos.
Portanto, o Problema E é verdadeira para todo n ≥ 1 e consequentemente o
Hipótese de Riemann é verdadeira.

C.Q.D