1 Introduo

A chamada srie harmnica,

n=1
1
n
= 1 +
1
2
+
1
3
+
1
4
+... desde cedo suscitou interesse entre os
matemticos. Infelizmente esta srie diverge, o que se verica por os termos termo
1
n
, apesar de
tenderem para 0, serem demasiado grandes. Assim, para que fazer a srie convergir substituimos
cada parcela
1
n
por uma parcela ligeiramente mais pequena,
1
n
s
, onde s > 1 um nmero real.
Assim se dene a funo zeta de Riemann:
(s) =

n=1
1
n
s
= 1 +
1
2
s
+
1
3
s
+
1
4
s
+ ...
Na realidade a funo zeta tem como domnio C \ {1}, ou seja, s pode ser qualquer nmero
complexo excepto o prprio 1. No entanto, para nmeros complexos cuja parte real seja menor
ou igual a 1 a funo no pode ser escrita nesta forma.
Por outro lado, Euler mostrou que
(s) =

p
_
1
1 p
s
_
(1)
onde o produtrio sobre todos os primos. Esta frmula vem de que se s > 1, ento p
s
< 1
e assim
1
1 p
s
= 1 + p
s
+ p
2s
+ ... =

c=0
p
cs
. Depois multiplicando as sries camos
com o termo geral do produto da forma p
c
1
s
1
...p
c
k
s
k
=
1
n
s
onde p
1
, ..., p
k
so primos distintos
e n = p
c
1
1
...p
c
k
k
. Como cada inteiro tem uma representao nica dessa forma, camos com
exactamente as parcelas de (s).
2 Convergncia
Se ainda no conheces a prova um bom exerccio provar que de facto a srie harmnica diverge
e que, por conseguinte (s) diverge para todo o s 1.
Apresetamos de seguida a prova desse facto:
Seja s 1. Ento temos
1
2
s

1
2
1
3
s
+
1
4
s

1
2
1
5
s
+ ... +
1
8
s

1
2
e por a fora. Assim (s) 1 +
1
2
+
1
2
+ ... e por isso diverge.
1
O recproco um resultado igualmente trivial. Se souberes um pouco de clculo podes usar o
integral da funo f(x) =
1
x
s
entre 1 e . Apresentamos de seguida uma demonstrao elementar
desse facto:
Seja s > 1. Ento temos que:
1
2
s
+
1
3
s

1
2
s
+
1
2
s
= 2
1s
1
4
s
+ ... +
1
7
s

1
4
s
+ ... +
1
4
s
=
_
2
1s
_
2
1
8
s
+ ... +
1
15
s

1
8
s
+ ... +
1
8
s
=
_
2
1s
_
3
Ento temos que (s) 1 +2
1s
+
_
2
1s
_
2
+
_
2
1s
_
3
+..., onde a srie geomtrica da direita
comverge porque 0 < 2
1s
< 1 para s > 1.
Chegmos ao resultado 1 < (s) <

n=0
_
2
1s
_
n
=
1
1 2
1s
e portanto temos que lim
s
(s) =
1
3 Aplicaes aos nmeros primos
Podemos com esta teoria provar de forma alternativa que existem innitos primos, pois (1)
diverge, mas se houvesse um nmero nito de primos, pela equao (1), (1) tambm seria
nito. Podemos extender esta ideia e provar o seguinte teorema:
Teorema 1 Seja p
n
o n-simo primo. Ento

n=1
1
p
n
=
1
2
+
1
3
+
1
5
+
1
7
+ ...
diverge.
Demonstrao.Se

1
pn
convergisse para um nmero nito, l, ento as somas parciais,

n=1
1
p
n
l

<
1
2
para N sucientemente grande. Assim

n>N
1
p
n

1
2
para esses N e ento:

k=1
_

n>N
1
p
n
_
k

k=1
_
1
2
_
k
= 1
2
Seja q = p
1
...p
N
. Todo o nmero da forma qr + 1 = p
n
1
...p
n
k
, r 1 tem todos os primos
que o dividem maiores que p
N
e portanto
1
pn
1
...pn
k
aparece em
_

n>N
1
p
n
_
k
e portanto a soma de
todos esses nmeros menor que 1.
Por outro lado, como a srie hamnica diverge,

r=1
1
qr + 1
>

r=1
1
qr + q
=
1
q

r=1
1
r + 1
=

n=2
1
r
que diverge, o que uma contradio.
Assim a assumpo que

1
pn
falsa e a soma diverge.
Exerccio 1 Prova que > 0, n Z tal que
(n)
n
< .
4 Inteiros Aleatrios
Nesta seco vamos comear por resolver o problema:
Problema 1 Calcula a probabilidade de um ponto do plano de coordenadas inteiras escolhido ao
acaso seja visivel da origem.
O enunciado deste problema no muito rigoroso mas passamos a explicar o que se pretende:
Um ponto (a, b) visvel da origem se no estiver outro ponto de coordenadas inteiras no segmento
entre esse ponto e a origem, ou seja, se a e b so primos entre si. Por outro lado, no existe
uma probabilidade (no sentido tradicional) nos inteiros porque se

p(n) = 1 onde a soma corre
todos os inteiros n (a probabilidade de tirar algum inteiro 1) e a probabilidade de cada inteiro
ser escolhido por a mesma, p, ento p = 0 e a srie no d 1, ou p > 0 e a srie diverge...
Para contornar este problema no se dene a probabilidade de sair um certo inteiro mas sim
a probabilidade de esse inteiro ser a (mod b) e que
1
b
.
Seja P a probabilidade prentendida, ou seja, de que dois inteiros escolhidos ao acaso sejam
coprimos. Assim escolhidos dois inteiros a e b ao acaso, a probabilidade do seu mximo divisor
comum ser n de: P(a 0 (mod n)) P(b 0 (mod n)) P(
a
n
e
b
n
sejam coprimos)=
P
n
2
.
Como o mximo divisor comum de a e b tem de existir e nico, a soma destas probabilidades
para todos os n tem de ser 1, ou seja:
1 =

n=1
P(mdc(a, b) = n) =

n=1
P
n
2
= P(2) P =
1
(2)
3
Exerccio 2 Calcula a probabilidade de, escolhidos k inteiros ao acaso no terem um divisor
comum maior que 1, ou seja, a probabilidade de, escolhido um ponto de coordenadas inteiras ao
acaso em R
n
ele ser visvel da origem.
Exerccio 3 Seja s 2 um inteiro. Calcula a probabilidade de, escolhido um inteiro ao acaso,
ele no ser mltiplo de nenhuma potncia com expoente s maior que 1.
5 Calculando (2)
H vrios argumentos modernos para calcular estes valores, no entanto o mtodo que apresenta-
mos de seguida baseia-se na ideia de Euler e, tal como ele fez, no vamos justicar com todo o
detalhe alguns passos.
Seja p(z) um polinmio em C[z], com razes
1
, ...,
k
. Possivelmente multiplicando P(z) por
uma constante, podemos escrever P(z) = (1
z

1
)...(1
z

k
).
A ideia essencial supor que a funo sinz um polinmio com razes em n para todo o
n Z e que pode ser escrito como:
sinz = z

n=0
_
1
z
n
_
= z

n1
_
1
z
2
n
2

2
_
(2)
Na realidade esta expanso do sin vlida mas no iremos provar isso aqui.
Expandindo o ltimo termo em (2) obtemos uma srie de potncias de z. Pelo teorema
de Taylor, h apenas uma extenso da funo analtica sinz em srie de potncias, e essa a
conhecida srie de Taylor, que no caso do sin tem como coeciente do termo z
3

1
3!
. Por outro
lado a expanso do ltimo termo de (2) tem como coeciente de z
3

n1
1
n
2

2
.
Como esse coeciente tem de ser o mesmo obtemos a expresso (2) =

2
6
.
Com argumentos similares, mas que so mais complexos, podemos calcular (2k) para qual-
quer k = 1, 2, ..., chegando a:
(2k) =
(1)
k
2
2k

2k
B
2k
2(2k)!
onde B
k
representa o k-simo nmero de Bernoulli, que aparecem da expanso em srie de
Taylor da funo
t
e
t
1
.
4
6 Sries de Dirichlet
Teorema 2
1
(s)
=

n=1
(n)
n
s
A demonstrao deixada como exerccio com a sugesto de usar o princpio de incluso
excluso. A sua demonstrao ser dada posteriormente.
Denio 1 Seja f uma funo aritmtica. Ento a sua srie de Dirichlet a srie:
F(s) =

n=1
f(n)
n
s
Da mesma forma que as funpes geradoras so teis para estudar sequncias denidas por
relaes de recurrncia, as sries de Dirichlet so teis para estudar funes aritmticas. Por
exemplo, foi usando sries destas que Dirichlet provou o famos so teorema de Dirichlet que
arma que se (a, b) = 1 ento existem innitos primos da forma an + b.
exemplo 1
1. Se f(n) 1 ento F(s) =

1/n
s
= (s)
2. Se f(n) = n, ento F(s) =

n/n
s
= (s 1)
Teorema 3 Sejam:
F(s) =

n=1
f(n)
n
s
G(s) =

n=1
g(n)
n
s
H(s) =

n=1
h(n)
n
s
com h = f g. Ento H(s) = F(s)G(s) para todo o s tal que F(s) e G(s) ambas convergem
absolutamente.
Demonstrao.Se F(s) e G(s) convergem absolutamente, ento podemos multiplicar os
termos e reordena-los como quisermos. Temos ento:
F(s)G(s) =

m=1
f(m)
m
s
.

n=1
g(n)
n
s
=

m=1

n=1
f(m)g(n)
(mn)
s
=
5
=

k=1

mn=k
f(m)g(n)
k
s
=

k=1
(f g)(k)
k
s
=

k=1
h(k)
k
s
= H(s)
Demonstramos agora rapidamente o teorema (2):
Demonstrao.Seja f(n) = 1 e g(n) = (n). Ento j vimos que (f g)(n) =
1,n
onde

1,n
= 1 se n = 1 e 0 se n > 1. Tambm j vimos no exemplo (1) que

f(n)/n
s
= (s) Assim,
usando o teorema anterior temos que:

n=1
(n)
n
s
.(s) =

n=1
(f g)(n)
n
s
= 1

n=1
(n)
n
s
=
1
(s)
Exerccio 4
Prova que:
1.

n=1
(n)
n
s
=
(s 1)
(s)
2.

n=1
(n)
n
s
= (s)
2
Exerccio 5 Calcula

n=1

k
(n)
n
s
em termo da funo zeta de Riemann, onde
k
(n) =

d|n
d
k
.
Exerccio 6 Seja (n) o nmero de primos distintos que dividem n. Prova que:

n=1
(n)
n
s
= (s)

p
1
p
s
onde a soma sobre todos os primos p. Para que reais s que a soma vlida?
Denio 2 Uma funo aritmtica completamente multiplicativa se f(ab) = f(a)f(b) para
todos os a e b inteiros positivos.
Por exemplo as funes f(n) = 1, f(n) = n ou f(n) =
1,n
so completamente multiplicativas
mas as funes f(n) = (n) e f(n) = (n) no so.
6
Teorema 4 Se f multiplicativa e

n=1
f(n) absolutamente convergente ento

n=1
f(n) =

p
(1 + f(p) + f(p
2
) + ...).
Se para alm disso f completamente multiplicativa ento

n=1
f(n) =

p
(
1
1 f(p)
)
Demonstrao.Para a primeira parte apenas multiplicar e utilizar a multiplicatividade
e o teorema fundamental da aritmtica, para a segunda basta utilizar a soma da progresso
geomtrica.
7