Vous êtes sur la page 1sur 4

Existncia de innitos nmeros primos e a srie dos inversos dos primos, qual a relao?

Matheus Cunha Motta 11 de julho de 2013


Resumo A existncia de innitos nmeros primos foi provada por Euclides (360 a.C. - 295 a.C.), h mais de 2000 anos. A demonstrao, que segue a proposio 20 do livro IX dos Elementos, feita utilizando recursos elementares da Teoria dos Nmeros. Dois milnios depois, em 1734, Euler apresenta duas novas demonstraes desse fato e as tcnicas utilizadas por ele para tal feito serviram de base para a fundao de uma nova teoria, chamada Teoria Analtica dos Nmeros. Neste texto veremos duas demonstraes, dando enfase particular aos conceitos introduzidos.

A funo zeta : R R, estudada por Leonhard Euler (1707 - 1783), denida como

(s) =
n=1

1 1 1 1 = 1 + s + s + s + s n 2 3 4

A extenso dessa funo ao conjunto {z C; Re(z ) > 1}, conhecida como a funo zeta de Riemann. Alm do papel central na Teoria Analtica dos Nmeros (SIMMONS, 1987, p.714), essa funo possui propriedades interessantes, por exemplo, o nmero (3) irracional (POORTEN, 2005) enquanto que o nmero (k ) racional, para todo inteiro negativo k . Em 1734 Euler descobriu a seguinte identidade, que relaciona com todos os nmeros primos. Teorema 1. Para todo primo p e s R, s = 0, vale (s) =
p

1 . 1 p1s

(1)

Demonstrao. Sendo p um nmero primo arbitrariamente xado, temos 1/ps < 1, para todo s R, s = 0. Pois, 1 < 1 1 < ps 1 < p. ps Assim, utilizando a srie geomtrica, obtemos 1 1 1 1 1 = 1 + s + 2s + 3s + = p p p 1 ps

n=0

1 . pns

Calculando o produto da srie anterior para todas as possibilidades distintas de primos p, digamos p1 , p2 , . . . (a priori, esta lista pode ser nita ou no!), segue que 1 1 p1s = 1+ 1 1 + 2s + s p 1 p1 1+ 1 1 + 2s + s p2 p2 ...

= 1+

=
n=1

1 1 1 1 + s + s + + s + s 2 3 4 n 1 ns

= (s) Na segunda igualdade utilizamos o Teorema Fundamental da Aritmtica. Calculando (1), um fato que salta aos olhos a existncia de innitos nmeros primos. Com efeito, suponha por absurdo que exista uma quantidade nita de nmeros primos. Ento, o produto no membro direito da equao (1) nito para todo s R, em particular para s = 1. Mas, usando a denio da funo zeta, temos

(1) =
n=1

1 1 1 = 1 + + + n 2 3

Contradio, visto que a srie na expresso anterior a srie harmnica, que divergente. Euler fez ainda outra grande descoberta, que permite demonstrar a existncia de innitos nmeros primos de modo essencialmente diferente da que exibimos anteriormente. Teorema 2. A srie dos inversos dos primos diverge. Isto , 1 1 1 1 1 = + + + + = . pn 2 3 5 7 2

Demonstrao. Considere uma lista ordenada pi de n nmeros primos, digamos p1 = 2 < 3 < < pn . Sendo 1/pi < 1, para todo 1 i n, temos pela srie geomtrica 1 = 1 1/pn =
k=1

1+
pn

1 1 + 2 + 2 2

... 1 +

1 1 + 2 + pn pn

1 . k

Assim, da desigualdade seguinte 1 1 obtemos 1 1 = 1 p1 n 1 2


pn

1 2

k=1

1 > k 1 3

pn +1 1

dx = ln(pn + 1) > ln pn x 1 pn 1 . ln pn

... 1

<

Aplicando ln em ambos os membros da desigualdade anterior, segue


n

ln 1
k=1

1 pk

< ln ln pn .

(2)

Ocorre que ln(1 + x) 2x > 0, para todo x [1/2, 0), visto que neste intervalo temos, 1/(1 + x) 2 0. Assim, como pk 2 para todo k , pondo x = 1/pk , vale a desigualdade 1 2 < ln 1 pk pk . (3)

Usando a desigualdade (3) em (2), obtemos


n

2
k=1

1 < ln ln pn , pk

isto ,
n k=1

1 1 > ln ln pn . pk 2

Logo, como ln ln pn , segue do teste da comparao que a srie 1/pn diverge. 3

Referncias
[1] http://mathworld.wolfram.com/RiemannZetaFunction.html ; Consultado em 11/07/2013 s 10:00 hrs. [2] https://en.wikipedia.org/wiki/Leonhard_Euler 11/07/2013 s 10:08 hrs. ; Consultado em

[3] NIVEN, I. A Proof of the Divergence of 1/p. The American Mathematical Monthly, Vol. 78, No. 3 (Mar., 1971), pp. 272-273. [4] SIMMONS, G. F. Clculo com Geometria Analtica. So Paulo, Brasil: McGraw-Hill, 1987. [5] POORTEN, A. J. V. D. A proof that Euler missed, Aprys proof of the irrationality of (3). Sydney, Australia: ceNTRE, 2005.