SRIE HARMNICA DE NMEROS PRIMOS

Lenimar Nunes de Andrade

UFPB Joo Pessoa, PB
1. Srie harmnica
H sculos que se sabe que a soma dos recprocos dos nmeros inteiros positivos
1 1 1
1
H n = 1 + + + + ... +
n
2 3 4
pode ultrapassar o valor de qualquer constante positiva pr-estabelecida, bastando, para isso, somar
determinada quantidade de parcelas, considerando o valor de n suficientemente grande. Quando
consideramos uma infinidade de parcelas desse tipo, temos uma srie infinita conhecida pelo nome
de srie harmnica, e, como a soma H n vai aumentando medida que n aumenta e ultrapassa
qualquer valor pr-estabelecido, temos que se trata de uma srie divergente. Existem pelo menos 20
demonstraes diferentes desse fato (veja, por exemplo, a referncia [3]) e algumas demonstraes
simples podem ser encontradas em [1] ou [2].1
Sabe-se que o crescimento das somas parciais H n da srie harmnica bastante lento. Se somarmos
1000 termos da srie, obtemos 7, 4855 como resultado. Se somarmos 1000000 de termos, obtemos
14,3927. Para a soma ultrapassar 100, estima-se que seja necessrio somar-se aproximadamente
1,5 1043 parcelas um nmero de parcelas to grande que nem os computadores mais modernos
de hoje em dia, trabalhando ininterruptamente ao longo de vrios milnios, conseguiriam efetuar
todos os clculos.
Se for escolhido um determinado algarismo, e retirados da srie harmnica todos os termos que
contenham esse algarismo, ento surpreendentemente, obtem-se uma srie infinita na qual a soma
dos n primeiros termos sempre inferior a 80, no importando qual seja o valor de n**. Obtemos,
portanto, o que chamamos de srie convergente.
2. Srie dos recprocos de nmeros primos
A sequncia de nmeros primos 2, 3, 5, 7, 11, 13,... infinita. Apesar de estarem bem prximos uns
dos outros, para valores pequenos, medida que aumentamos o valor de n, torna-se difcil encontrar
nmeros primos maiores do que n, e eles vo ficando cada vez mais distantes uns dos outros em
mdia.
Se retirarmos da srie hermnica todos os termos cujos denominadores no sejam primos, obtemos
ainda assim uma srie infinita:
1 1 1 1 1 1 1
+ + + + + + + ...
2 3 5 7 11 13 17
vamos denominar a srie assim obtida de srie harmnica de nmeros primos.
1

Nota do editor: Uma demonstrao particularmente simples deste fato a seguinte:

1 1 1 1 1 1 1
1
1
+ + + + + + + ... + k 1
+ ... + k
2 3 4 5 6 7 8
2
2 +1
1 1 1 1 1 1 1
1
1
1 1 1
1
1
1 + + + + + + + + ... + k + k + ... + k = 1 + + + + ... +
2 4 4 8 8 8 8
2
2
2 2 2
2
2
k
= 1 + , que pode ultrapassar o valor de qualquer constante positiva pr-estabelecida.
2
H 2k = 1 +

**

Veja o problema proposto no. 141, na pgina 60.

O principal objetivo deste artigo mostrar que essa srie harmnica de nmeros primos
divergente, ou seja, a soma dos seus n primeiros termos pode ultrapassar qualquer valor prestabelecido. Esse fato foi observado pela primeira vez por Leonhard Euler (17071783).
O crescimento do valor das somas dos n primeiros termos da srie harmnica de nmeros primos
exatamente lento. Muito mais lento do que o da srie harmnica.
Com os recursos computacionais atuais, impossvel realizar a tarefa de somar uma certa
quantidade de termos dessa srie e obtermos o resultado igual ou superior a 5,0.

3. Demonstrao da divergncia
Inicialmente, vamos mostrar que dado um n inteiro positivo temos que
k

k k2
1
1 + < 1 + + 2
n n
n
para todo inteiro positivo k tal que k n. Em particular, fazendo k = n, obtemos que
n

n n2
1
(1)
+
<
+
+
= 3.
1
1

n n2
n
Para isso, vamos usar o mtodo da induo matemtica. Para k = 1, a desigualdade reduz-se a
1
1 1
1 + < 1 + + 2 o que verdadeiro. Suponho a desigualdade vlida para k, vamos verificar que
n
n n
vale para k + 1 tambm:
k +1
k
2
k k2 1
1
1 1 k k 1
+
=
+
1
1

1 + < 1 + + 2 1 + = 1 + + 2 +
n n
n
n
n n n n n
k 2 n ( k + 1)
k k2
k + 1 ( k + 1)
k + 1 ( k + 1)
+
=
1
+
+
+
<1+
+
,
2
3
2
3
n
n
n
n
n
n
n2

 

<0

onde utilizamos que k < n ( k + 1) porque k n. Desse modo, a desigualdade fica demonstrada.
2

Escolhido n, um inteiro positivo qualquer, consideremos r o inteiro tal que 2r n < 2r +1 , ou seja, r
o expoente da maior potncia de 2 que no ultrapassa n. Sejam p1 = 2 , p2 = 3, p3 = 5,..., ps os primos
positivos menores ou iguais a n. Se m for um inteiro tal que 1 m n, ento o Teorema
Fundamental da Aritmtica nos garante que m pode ser escrito de modo nico como um produto de
potncias dos primos pk com expoentes inteiros no negativos t1 ,t2 ,...,ts :

m = p1t1 p2t2 p3t3 ...psts

Note que nenhum dos expoentes tk pode ser maior do que r , pois, se assim fosse, teramos
m pktk 2tk 2r +1 > n, o que seria um absurdo. Assim, para todo k, temos 0 tk r.
Temos, ento, a seguinte desigualdade:
1 1 1
1 1 1
1 1 1
1
1 + + + + ... + < 1 + + + ... + r 1 + + + ... + r
n 2 4
2 3 4
2 3 9
3

1
1
1
1
1 1
(2)
+ ... + r ... 1 +
+ 2 + ... + r
1 + +
5
ps ps
ps
5 25

Sua demonstrao consiste na observao de que cada parcela 1 m que aparece do lado esquerdo da
desigualdade pode ser escrita de modo nico na forma
1
1
1
1
= t1 t2 ... ts
m p1 p2
ps

e que cada frao da forma

1
ocorre uma nica vez como uma das parcelas do fator
pktk

1
1
1
+ 2 + ... + r que aparece no segundo membro da desigualdade.
1 +
pk pk
pk

Supondo q 2 , temos 2q q 2, ou seja, 2 ( q 1) q que equivale a

1
2
e calculando a
q 1 q

seguinte soma de uma progresso geomtrica de razo 1 q , obtemos:

1
1 r +1
( q 1) + 1 = 1 + 1
q
1 1
1
1
q
<
=
=
1 + + 2 + ... + r =
1
1
q q
q
q 1
q 1
q 1
1
1
q
q

1
Usando agora a desigualdade (1) obtida no incio desta seo, obtemos 1 +

q 1

q 1

< 3 que

1
< 3 q 1 .
q 1
Aplicando-se logaritmos, obtemos:

equivalente a 1 +

q11

1
<
log 1 +
log
3 ,

q 1

ou seja,

1 log 3 2 log 3
log 1 +

<
q
q 1 q 1
de onde finalmente obtemos

1 1
1
log 1 + + 2 + ... + r
q
q q

1 2log3
< log 1 +
<
q

q 1

(3)

Aplicando-se logaritmos aos dois membros da desigualdade (2), e usando-se propriedade

log ( ab ) = log a + log b, obtemos:

1
1
1 1 1
1 1
log 1 + + + + ... + < log 1 + + + ... + r +
2
n
2 3 4
2 4

1
1
1
1
1 1
log 1 + + + ... + r + ... + log 1 +
+ 2 + ... + r (4)
3
ps ps
ps
3 9

Usando-se vrias vezes o resultado (3) na desigualdade (4), obtemos:

1 2 log 3 2 log 3 2 log 3
2 log 3
1 1 1
log 1 + + + + ... + <
+
+
+ ... +
2
3
5
n
ps
2 3 4
1 1 1
1
= 2 log 3 + + + ... + .
ps
2 3 5
Se existisse uma constante L tal que

1 1
1
+ + ... +
< L para todo inteiro positivo s, ento teramos
2 3
ps

1
1 1 1
log 1 + + + + ... + < 2 log 3 L = log ( 32 L )
2
3
4
n

(5)

1 1 1
1
(6)
+ + + ... + < 32 L , para todo n natural,
n
2 3 4
o que seria um absurdo, pois a srie harmnica no limitada e, para algum n, a soma
1
1 1
2L
1 + + + ... + ultrapassaria a constante 3 .
2
3
n

o que implicaria 1 +

4. Algumas somas parciais

Sabe-se que quando maior o valor de n, mais prximo de ln ( ln ( n ) ) + B1 ser a soma de todos os
recprocos de primo inferiores a n. A constante B1 conhecida como constante de Mertens e tem
valor igual a 0,2614972128....
Com a ajuda de um computador, se somarmos os recprocos dos nmeros primos inferiores a 1000,
obtemos 2,1990 como resultado. Observe que esse valor prximo de ln ( ln (1000 ) ) + B1 2,1941.
Somando-se todos os recprocos de nmeros primos inferiores a 107 (dez milhes), obtemos uma

soma total igual a 3,041449. Calculando-se ln ln (107 ) + B1 , obtemos 3,041440 que muito

prximo da soma obtida.

A aproximao ln ( ln ( n ) ) + B1 S para a soma dos recprocos de primos inferiores a n pode ser
escrita na forma

n ee

S B1

.
5 B1

4 ,7385

Por exemplo, para chegar a 5,0, a soma necessitaria de n = ee = ee

4 , 2 1049 parcelas, o que
um nmero realmente assustador: nem o computador mais rpido de hoje em dia, trabalhando
incessantemente por milnios a fio, conseguiria somar tal quantidade de termos.

Referncias Bibliogrficas
[1] G. vila, As sries infinitas, RPM 30, 1996.
[2] G. Garbi, A surprendente srie harmnica, RPM 42, 2000.
[3] S.J. Kifowit, T. A. Stamps, The harmonic series diverges again and again, The AMATYC Review, Vol.
27, No. 2, 2006.
[4] D. O. Shkiyarsky, N. N. Chentsov, I. M. Yaglom, Selected problemas and theorems in elementary
Mathematics Arithmetic and Algebra, Mir Publishers, Moscow, 1979.