O Teorema dos Números Primos

Alysson Tobias Ribeiro da Cunha(alyxz 2@yahoo.com.br)

III Bienal da SBM - IME/UFG - 2006

Se σ > 1 então 7 converge uniformemente em cada subconjunto com-

Resumo pacto deste semiplano, logo a função (7) é holomorfa no semiplano
σ > 1. Temos que
Conclusões
Seja π(x) = quantidade de primos ≤ x. Gauss procurou uma função Z N +1 N Z n+1 N
[x] X dx X 1 N
f (x) que satisfizesse s 1+s
dx = s n 1+s
= s − s .
1 x n x n (N + 1)
n=1 n=1 A identidade de Euler
π(x)
lim = 1. Como σ > 1 temos que (NN → 0, comN → ∞. Logo
Y 1
x→∞ f (x) +1)s ζ(s) = , (σ > 1),
1
Em 1792 ele conjecturou(sem conseguir provar) que Z ∞ p 1 − ps
[x]
Z x ζ(s) = s 1+s
dx. faz a conexão entre propriedades dos números primos e a Análise
x dt 1 x
e ϕ(x) = Matematica. Isso justifica o fato de que a na demonstração do Teorema
log(x) 2 log t
Pondo b(x) = [x] − x, temos que de Distribuição dos Números Primos (1) usa-se muito mais análise do
eram boas aproximações. Z ∞ que técnicas da teoria dos números.
Em 1896, Hadamard e de la Vallée Poussin, independentemente, mas s b(x)
ζ(s) = +s 1+s
dx. (8)
baseados nas idéias de Riemann demonstrarão que s−1 1 x

log(x) Como b é limitada a última integral é uma função holomorfa no semi-

lim π(x) = 1. (1) Referências
plano σ > 0. Logo (8) define uma continuação analı́tica para ζ em
x→∞ x
σ > 0, que é holomorfa exceto no pólo simples s = 1, cujo resı́duo é 1.
Considere a identidade de Euler
[1] Rudin, Walter , Functional Analysis, McGraw-Hill Book Com-
Y 1
ζ(s) = , (σ > 1). pany,USA,(1973).
1
Objetivo p 1 − ps [2] Apostol, T.M, Introduction to Analytic Number Theory, Springer-
Verlag,(1976).
Desta identidade temos ζ(s) 6= 0 se σ > 1 e [3] Simmons, George F. Calculo com Geometria Analitica,Makron
∞
Books do Brasil Editora Ltda, Sao Paulo.
A seguir p denotara um número primo, pn sera sequência primos e se
n−1p−ns
XX
x ∈ R, x > 0, então [x] sera o maior inteiro tal que [x] ≤ x. Considere log ζ(s) = (σ > 1)
as funcões p n=1
log p, se n = p, p2, p3, ...

λ(n) = (2) Seja t 6= 0, então da igualdade anterior temos Apoios
0, caso contrário.
X
ψ(x) = λ(n), (3)
log |ζ 3(σ)ζ 4(σ+it)ζ(σ+2it)| = n−1p−nσ Re{3+4p−int+p−2int} ≥ 0,
X
n≤x
p,n
Mostraremos que se x > e então
ψ(x) log(x) 1 ψ(x) n log x o pois Re{3 + 4eiθ + e2iθ } = 2(1 + cos θ)2 para todo θ ∈ R. Logo
≤ π(x) < + , (4)
x x log x x log x − 2 log(log x)  ζ(σ + it) 4 1
3
|(σ − 1)ζ(σ)|   |ζ(σ + 2it| ≥ . (9)
 
logo (1) estará demonstrado se provarmos que (σ − 1) σ−1

ψ(x) Daı́ se ζ(1 + it) = 0, para algum t então o primeiro membro anterior
lim
x→∞ x
= 1. (5) converge para o limite finito |ζ 0(1 + it)|4|(1 + 2it)| quando σ → 1. Pois
s = 1 e pólo simples de ζ com resı́duo 1 e
Prova de (4): [log x/ log p] e o número de potências de p que não
excedem x.Então ζ(σ + it) ζ(σ + it) − ζ(1 + it)
= → ζ 0(1 + it), quando σ → 1.
X h log x i X (σ − 1) (σ + it) − (1 + it)
ψ(x) = log p ≤ log x = π(x) log x.
log p Isto é uma contradição pois o segundo membro de (9) tende a infinito
p≤x p≤x
com σ → 1, por valores maiores do que 1.
Assim obtemos a primeira desigualdade (4). Se 1 < y < x, então A prova do teorema anterior pode ser encontrada em [1]. Segue de
(1) que o n-ézimo primo é aproximadamente n log n. De fato como
X X log p ψ(x) π(pn) = n temos que
π(x) − π(y) = 1≤ ≤ , pn
log y log y lim =1
y<p≤x y<p≤x n→∞ n log pn

ψ(x) Tomando o logaritmo e usando suas propriedades temos

logo π(x) < y + log y , fazendo y = x2 obtemos a segunda desigual-
log x
dade em (4). Seja log n
∞   lim =1
X x n→∞ log pn
F (x) = ψ .
n logo
n=1
pn pn log pn
Então e possı́vel mostrar(veja[1]) que lim = lim · = 1.
n→∞ n log n n→∞ n log pn log n
b(x) log x para maiores detalhes veja [3]. Usando integração por partes é possı́vel
F (x) = x log x − x + xc(x), onde c(x) = , (6)
x provar que (1) é equivalente a
e b(x) permanece limitada quando x → ∞. A prova de (5) segue de π(x)
(6) e do próximo teorema, fazendo g = ψ. lim = 1,
x→∞ ϕ(x)
Teorema 1. Seja g não decrescente definida em R tal que g(x) = 0
se x < 1. Seja onde ϕ é a função definida no Resumo. Para maiores detalhes veja [3].
∞   Uma demonstração alternativa do Teorema de Distribuição do
X x
G(x) = g . Números Primos ou simplesmente Teorema dos Números Primos
n
n=1 (1) pode ser encontrada em [2].
Se G puder ser escrita na forma G(x) = ax log x + bx + x(x), onde
a, b são constantes e (x) → 0 com x → ∞. Então

g(x)
lim = a.
x→∞ x

A prova deste teorema se baseia em transformada de Fourier,

convoluções de funcões, convoluções de medidas, o teorema de
Wiener(veja[1]) e numa propriedade da função zeta de Riemann que
ilustraremos a seguir. A função Zeta de Riemann é definida por
∞
X 1
ζ(s) = s , (σ > 1) (7)
n
n=1

onde s = σ + it ∈ C. A propriedade referida é ζ(1 + it) 6=

0, para todo t ∈ R. Antes de provar esta identidade veremos que
ζ possui uma continuação analı́tica ao semiplano σ > 0.