Академический Документы
Профессиональный Документы
Культура Документы
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
1 2
k=1
1 > k 1 3
pn +1 1
dx = ln(pn + 1) > ln pn x 1 pn 1 . ln pn
... 1
<
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)
2
k=1
1 < ln ln pn , pk
isto ,
n k=1
1 1 > ln ln pn . pk 2
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.