IIIBienaldaSBM-IME/UFG-2006

O Teorema dos N

umeros Primos
Alysson Tobias Ribeiro da Cunha(alyxz 2@yahoo.com.br)
Resumo
Seja (x) = quantidade de primos x. Gauss procurou uma fun cao
f(x) que satiszesse
lim
x
(x)
f(x)
= 1.
Em 1792 ele conjecturou(sem conseguir provar) que
x
log(x)
e (x) =
_
x
2
dt
log t
eram boas aproxima coes.
Em 1896, Hadamard e de la Vallee Poussin, independentemente, mas
baseados nas ideias de Riemann demonstrarao que
lim
x
(x)
log(x)
x
= 1. (1)
Objetivo
A seguir p denotara um n umero primo, pn sera sequencia primos e se
x R, x > 0, entao [x] sera o maior inteiro tal que [x] x. Considere
as funcoes
(n) =
_
log p, se n = p, p
2
, p
3
, ...
0, caso contrario.
(2)
(x) =

nx
(n), (3)
Mostraremos que se x > e entao
(x)
x
(x)
log(x)
x
<
1
log x
+
(x)
x
_
log x
log x 2 log(log x)
_
, (4)
logo (1) estara demonstrado se provarmos que
lim
x
(x)
x
= 1. (5)
Prova de (4): [log x/ log p] e o n umero de potencias de p que nao
excedem x.Entao
(x) =

px
_
log x
log p
_
log p

px
log x = (x) log x.
Assim obtemos a primeira desigualdade (4). Se 1 < y < x, entao
(x) (y) =

y<px
1

y<px
log p
log y

(x)
log y
,
logo (x) < y +
(x)
log y
, fazendo y =
x
log
2
x
obtemos a segunda desigual-
dade em (4). Seja
F(x) =

n=1

_
x
n
_
.
Entao e possvel mostrar(veja[1]) que
F(x) = x log x x + xc(x), onde c(x) =
b(x) log x
x
, (6)
e b(x) permanece limitada quando x . A prova de (5) segue de
(6) e do proximo teorema, fazendo g = .
Teorema 1. Seja g nao decrescente denida em R tal que g(x) = 0
se x < 1. Seja
G(x) =

n=1
g
_
x
n
_
.
Se G puder ser escrita na forma G(x) = ax log x+bx+x(x), onde
a, b sao constantes e (x) 0 com x . Ent ao
lim
x
g(x)
x
= a.
A prova deste teorema se baseia em transformada de Fourier,
convolu coes de funcoes, convolu coes de medidas, o teorema de
Wiener(veja[1]) e numa propriedade da fun cao zeta de Riemann que
ilustraremos a seguir. A fun cao Zeta de Riemann e denida por
(s) =

n=1
1
n
s
, ( > 1) (7)
onde s = + it C. A propriedade referida e (1 + it) =
0, para todo t R. Antes de provar esta identidade veremos que
possui uma continua cao analtica ao semiplano > 0.
Se > 1 entao 7 converge uniformemente em cada subconjunto com-
pacto deste semiplano, logo a fun cao (7) e holomorfa no semiplano
> 1. Temos que
s
_
N+1
1
[x]
x
1+s
dx = s
N

n=1
n
_
n+1
n
dx
x
1+s
=
N

n=1
1
n
s

N
(N + 1)
s
.
Como > 1 temos que
N
(N+1)
s
0, comN . Logo
(s) = s
_

1
[x]
x
1+s
dx.
Pondo b(x) = [x] x, temos que
(s) =
s
s 1
+ s
_

1
b(x)
x
1+s
dx. (8)
Como b e limitada a ultima integral e uma fun cao holomorfa no semi-
plano > 0. Logo (8) dene uma continua cao analtica para em
> 0, que e holomorfa exceto no polo simples s = 1, cujo resduo e 1.
Considere a identidade de Euler
(s) =

p
1
1
1
p
s
, ( > 1).
Desta identidade temos (s) = 0 se > 1 e
log (s) =

n=1
n
1
p
ns
( > 1)
Seja t = 0, entao da igualdade anterior temos
log |
3
()
4
(+it)(+2it)| =

p,n
n
1
p
n
Re{3+4p
int
+p
2int
} 0,
pois Re{3 + 4e
i
+ e
2i
} = 2(1 + cos )
2
para todo R. Logo
|( 1)()|
3

( + it)
( 1)

4
|( + 2it|
1
1
. (9)
Da se (1 + it) = 0, para algum t entao o primeiro membro anterior
converge para o limite nito |

(1+it)|
4
|(1+2it)| quando 1. Pois
s = 1 e polo simples de com resduo 1 e
( + it)
( 1)
=
( + it) (1 + it)
( + it) (1 + it)

(1 + it), quando 1.
Isto e uma contradi cao pois o segundo membro de (9) tende a innito
com 1, por valores maiores do que 1.
A prova do teorema anterior pode ser encontrada em [1]. Segue de
(1) que o n-ezimo primo e aproximadamente nlog n. De fato como
(pn) = n temos que
lim
n
pn
nlog pn
= 1
Tomando o logaritmo e usando suas propriedades temos
lim
n
log n
log pn
= 1
logo
lim
n
pn
nlog n
= lim
n
pn
nlog pn

log pn
log n
= 1.
para maiores detalhes veja [3]. Usando integra cao por partes e possvel
provar que (1) e equivalente a
lim
x
(x)
(x)
= 1,
onde e a fun cao denida no Resumo. Para maiores detalhes veja [3].
Uma demonstra cao alternativa do Teorema de Distribuicao do
N umeros Primos ou simplesmente Teorema dos N umeros Primos
(1) pode ser encontrada em [2].
Conclusoes
A identidade de Euler
(s) =

p
1
1
1
p
s
, ( > 1),
faz a conexao entre propriedades dos n umeros primos e a Analise
Matematica. Isso justica o fato de que a na demonstra cao do Teorema
de Distribui cao dos N umeros Primos (1) usa-se muito mais analise do
que tecnicas da teoria dos n umeros.
Referencias
[1] Rudin, Walter , Functional Analysis, McGraw-Hill Book Com-
pany,USA,(1973).
[2] Apostol, T.M, Introduction to Analytic Number Theory, Springer-
Verlag,(1976).
[3] Simmons, George F. Calculo com Geometria Analitica,Makron
Books do Brasil Editora Ltda, Sao Paulo.
Apoios