Introducao `a Teoria dos N umeros

(com enfase em Aproximacoes Diofantinas)

Carlos Gustavo T. de A. Moreira
I M P A
Estrada Dona Castorina 110, Jardim Botanico
Rio de Janeiro-RJ
CEP 22.460-320 - Brasil
Correio eletronico: gugu@impa.br
P agina na internet: www.impa.br/ gugu
Conte udo
Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
PARTE I: CONGRU

ENCIAS E N

UMEROS PRIMOS
Captulo 1: Divisibilidade e Congruencias 7
1 Divis ao euclidiana e o teorema fundamental da aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3 A func ao de Euler e o pequeno teorema de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4 A func ao de M obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5 Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6 Corpos e polin omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
7 Ordens e razes primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
8 Razes primitivas em Z/(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
9 A lei da reciprocidade quadr atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
10 Extens oes quadraticas de corpos nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Captulo 2: N umeros Primos 37
1 Sobre a distribuic ao dos n umeros primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2 Outros resultados e conjecturas sobre primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 F ormulas para primos e testes de primalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4 Testes de primalidade baseados em fatora coes de n 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5 Primos de Mersenne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
PARTE II: APROXIMAC

OES DIOFANTINAS
Captulo 3: Fracoes Contnuas, Representacoes de N umeros e Aproximac oes 54
1 Reduzidas e boas aproxima coes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2 Boas aproximac oes sao reduzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3 Frac oes contnuas peri odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Aplicac ao: a equacao de Pell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Captulo 4: Propriedades Estatsticas de Frac oes Contnuas e Aproximacoes
Dioantinas: O Teorema de Khintchine 66
1 O Teorema de Khintchine via frac oes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2 O Teorema de Khintchine n-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Apendice: Aproximac oes diofantinas nao-homogeneas . . . . . . . . . . . . . . . . . . . 75
Captulo 5: Os Espectros de Markov e Lagrange 77
1 Denic oes e enunciados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2 Dimens oes de Hausdor e somas aritmeticas de conjuntos de Cantor
de frac oes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3 Ideias das demonstrac oes dos resultados sobre os espectros . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4 Espectros de Markov e Langrange din amicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Apendice: Conjuntos de Cantos Regulares e Dimens oes Fractais . . . . . . . . 85
1.0 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
1.1 Conjuntos de Cantor regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
1.2 Distorc ao limitada e geometrias limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
1.3 Dimens oes fractais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
Introducao
Estas s ao as notas de um mini-curso que fui convidado a dar no IMCA em novembro de 2001.
Boa parte do material aqui contido foi adaptado das notas dos cursos Primos de Mersenne
(e outros primos muito grandes), em colabora cao com Nicolau Saldanha e Conjuntos de
Cantor, Din amica e Aritmetica, que dei no XXII Col oquio Brasileiro de Matem atica, em
1999, e do artigo Propriedades Estatsticas de Fracoes Contnuas e Aproximacoes Diofantinas,
publicado na Revista Matem atica Universitaria.
O objetivo dessas notas e ser uma referencia introdut oria sobre teoria dos n umeros e
aproximac oes diofantinas, destinada a alunos de graduac ao ou mestrado em matematica. Boa
parte do material e totalmente elementar, sendo acessvel a bons alunos do ensino medio
(em particular aos olmpicos...). Agrade co aos Professores Cesar Camacho e Roger Metzger
pelo convite e a oportunidade de visitar o Peru e dar aulas sobre esse assunto t ao fascinante.
Rio de Janeiro, 26 de outubro de 2001.
3
4
PARTE I
CONGRU

ENCIAS E N

UMEROS PRIMOS
5
6
CAP

ITULO 1
Divisibilidade e Congruencias
Neste primeiro captulo veremos os t opicos b asicos de teoria dos n umeros, como divisibili-
dade, congruencias e aritmetica m odulo n.
1 Divisao euclidiana e o teorema fundamental da
aritmetica
A divisao euclidiana, ou divisao com resto, e uma das quatro opera coes que toda crianca aprende
na escola. Sua formulac ao precisa e: dados a Z, b Z

existem q, r Z com 0 r < [b[ e

a = bq + r. Tais q e r est ao unicamente determinados e sao chamados o quociente e resto da
divis ao de a por b. Se b > 0 podemos denir q = a/b| e se b < 0, q = ,a/b|; em qualquer caso,
r = abq. O resto r e `as vezes denotado por a mod b; denimos a mod 0 = a. Lembramos que
x| denota o unico inteiro k tal que k x < k +1 e ,x| o unico inteiro k tal que k 1 < x k.
Dados dois inteiros a e b (em geral com b ,= 0) dizemos que b divide a, ou que a e um
m ultiplo de b, e escrevemos b[a, se existir q Z com a = qb. Se a ,= 0, tambem dizemos que b
e um divisor de a. Assim, b[a se e somente se a mod b = 0.
Proposicao 1.1: Dados a, b Z existe um unico d N tal que d[a, d[b e, para todo c N,
se c[a e c[b ent ao c[d. Alem disso existem x, y Z com d = ax + by.
Esse natural d e chamado o m aximo divisor comum, ou mdc, entre a e b. Escrevemos
d = mdc(a, b) ou (se n ao houver possibilidade de confus ao) d = (a, b).
Dem: O caso a = b = 0 e trivial (temos d = 0). Nos outros casos, seja I(a, b) = ax+by; x, y
Z e seja d = ax
0
+ by
0
o menor elemento positivo de I(a, b). Como d N

, existem q, r Z
com a = dq +r e 0 r < d. Temos r = a dq = a(1 qx
0
) +b(qy
0
) I(a, b); como r < d e
7
d e o menor elemento positivo de I(a, b), r = 0 e d[a. Analogamente, d[b. Suponha agora que
c[a e c[b; temos c[ax + by para quaisquer valores de x e y donde, em particular, c[d.
O algoritmo de Euclides para calcular o mdc baseia-se nas seguintes observac oes simples.
Se a = bq + r, 0 r < b, temos (com a notacao da demonstra cao acima) I(a, b) = I(b, r),
donde (a, b) = (b, r). Denindo a
0
= a, a
1
= b e a
n
= a
n+1
q
n+2
+ a
n+2
, 0 a
n+2
< a
n+1
(ou
seja, a
n+2
e o resto da divis ao de a
n
por a
n+1
) temos (a, b) = (a
0
, a
1
) = (a
1
, a
2
) = (a
2
, a
3
) =
= (a
n
, a
n+1
) para qualquer valor de n. Seja N o menor natural para o qual a
N+1
= 0: temos
(a, b) = (a
N
, 0) = a
N
.
Lema 1.2: Se (a, b) = 1 e a[bc ent ao a[c.
Dem: Como (a, b) = 1, existem x, y Z com ax + by = 1, logo a[c = acx + bcy.
Quando (a, b) = 1 dizemos que a e b s ao primos entre si. Um natural p > 1 e chamado
primo se os unicos divisores positivos de p s ao 1 e p. Um natural n > 1 e chamado composto
se admite outros divisores alem de 1 e n.
Claramente, se p e primo e p a temos (p, a) = 1. Usando o lema anterior e induc ao temos
o seguinte resultado:
Corolario 1.3: Sejam p um n umero primo e sejam a
1
, . . . a
m
Z. Se p[a
1
a
m
ent ao p[a
i
para algum i, 1 i n.
Estamos agora prontos para enunciar e provar o teorema que diz que todo inteiro admite
fatorac ao unica como produto de primos.
Teorema 1.4: (Teorema fundamental da aritmetica) Seja n 2 um n umero natural. Podemos
escrever n de uma unica forma como um produto
n = p
1
p
m
onde m 1 e um natural e p
1
. . . p
m
s ao primos.
Dem: Mostramos a existencia da fatoracao por indu cao. Se n e primo nao ha o que provar
(escrevemos m = 1, p
1
= n). Se n e composto podemos escrever n = ab, a, b N, 1 < a < n,
8
1 < b < n. Por hip otese de inducao, a e b se decomp oem como produto de primos. Juntando
as fatorac oes de a e b (e reordenando os fatores) obtemos uma fatora cao de n.
Vamos agora mostrar a unicidade, tambem por indu cao. Suponha que
n = p
1
p
m
= q
1
q
m
,
com p
1
. . . p
m
, q
1
. . . q
m
. Como p
1
[q
1
q
m
temos p
1
[q
i
para algum valor de i, donde,
como q
i
e primo, p
1
= q
i
e p
1
q
1
. Analogamente temos q
1
p
1
, donde p
1
= q
1
. Mas por
hip otese de induc ao
n/p
1
= p
2
p
m
= q
2
q
m

admite uma unica fatorac ao, donde m = m

t
e p
i
= q
i
para todo i.
Outra forma de escrever a fatorac ao e
n = p
e
1
1
p
em
m
,
com p
1
< < p
m
, e
i
> 0. Ainda outra formulacao e escrever
n = 2
e
2
3
e
3
5
e
5
p
ep

onde o produto e tomado sobre todos os primos mas apenas um n umero nito de expoentes e
maior do que zero.
Segue deste teorema o outro algoritmo comum para calcular o mdc de dois n umeros: fa-
toramos os dois n umeros e tomamos os fatores comuns com os menores expoentes. Este al-
goritmo e bem menos eciente do que o de Euclides para inteiros grandes (que em geral nao
sabemos fatorar) mas e instrutivo saber que os dois algoritmos d ao o mesmo resultado.
Corolario 1.5: Se (a, n) = (b, n) = 1 ent ao (ab, n) = 1.
Dem: Evidente a partir do algoritmo descrito acima.
Teorema 1.6: (Euclides) Existem innitos n umeros primos.
Dem: Suponha por absurdo que p
1
, p
2
, ..., p
m
fossem todos os primos. O n umero N =
p
1
p
2
p
m
+1 > 1 n ao seria divisvel por nenhum primo, o que contradiz o teorema fundamental
da aritmetica.
9
Observe que n ao provamos que p
1
p
2
p
m
+ 1 e primo para algum conjunto nito de
primos (por exemplo, os m primeiros primos). Ali as, 2 3 5 7 11 13 + 1 = 30031 = 59 509,
2 3 5 7 1 = 209 = 11 19, 4! +1 = 25 = 5
2
e 8! 1 = 40319 = 23 1753 n ao s ao primos. Nao
existe nenhuma f ormula simples conhecida que gere sempre n umeros primos. Veja a sec ao 3.1.
2 Congruencias
Sejam a, b, n Z. Dizemos que a e congruente a b m odulo n, e escrevemos a b (mod n), se
n[b a. Como a congruencia m odulo 0 e a igualdade e quaisquer inteiros s ao c ongruos m odulo
1, em geral estamos interessados em n > 1.
Proposicao 2.1: Para quaisquer a, a
t
, b, b
t
, c, n Z temos:
(a)
1. a a (mod n);
2. se a b (mod n) ent ao b a (mod n);
3. se a b (mod n) e b c (mod n) ent ao a c (mod n);
4. se a a
t
(mod n) e b b
t
(mod n) ent ao a + b a
t
+ b
t
(mod n);
5. se a a
t
(mod n) ent ao a a
t
(mod n);
6. se a a
t
(mod n) e b b
t
(mod n) ent ao a b a
t
b
t
(mod n).
Dem: Para o item (a) basta observar que n[a a = 0. Em (b), se n[b a ent ao n[a b =
(ba). Em (c), se n[ba e n[cb ent ao n[ca = (cb)+(ba). Em (d), se n[a
t
a e n[b
t
b
ent ao n[(a
t
+b
t
)(a+b) = (a
t
a)+(b
t
b). Em (e), se n[a
t
a ent ao n[(a
t
)(a) = (a
t
a).
Em (f), se n[a
t
a e n[b
t
b ent ao n[a
t
b
t
ab = a
t
(b
t
b) + b(a
t
a).
10
Os itens (a), (b) e (c) da proposicao acima dizem, nesta ordem, que a relac ao (mod n)
(ser congruo m odulo n) e uma relac ao reexiva, simetrica e transitiva. Relacoes satis-
fazendo estas tres propriedades sao chamadas relac oes de equivalencia. Dada uma rela cao de
equivalencia sobre um conjunto X e um elemento x X denimos a classe de equivalencia
x de x como
x = y X[y x;
observe que x y se e somente se x = y. As classes de equivalencia formam uma partic ao de
X, i.e., uma cole cao de subconjuntos nao vazios e disjuntos de X cuja uniao e X. O conjunto
x[x X das classes de equivalencia e chamado o quociente de X pela relacao de equivalencia
e e denotado por X/ .
Aplicando esta constru cao geral ao nosso caso, denimos o quociente Z/( (mod n)),
chamado por simplicidade de notac ao de Z/(n), Z/nZ ou `as vezes Z
n
. Dado a Z, a deni cao
de a como um subconjunto de Z raramente ser a importante: o importante e sabermos que
a = a
t
se e somente se a a
t
(mod n). Se n > 0, a divis ao euclidiana diz que todo inteiro a
e c ongruo a um unico inteiro a
t
com 0 a
t
< n; podemos reescrever este fato na nosso nova
linguagem como
Z/(n) = 0, 1, . . . , n 1.
Quando nao houver possibilidade de confus ao omitiremos as barras e chamaremos os elementos
de Z/(n) simplesmente de 0, 1, . . . , n 1.
Os itens (d), (e) e (f) da proposic ao dizem que as operacoes de soma, diferenca e produto
s ao compatveis com a relac ao de congruencia.

E esta propriedade que torna congruencias tao
uteis, nos possibilitando fazer contas m odulo n. Podemos por exemplo escrever
196883 = 1 10
5
+ 9 10
4
+ 6 10
3
+ 8 10
2
+ 8 10
1
+ 3 10
0
1 1
5
+ 9 1
4
+ 6 1
3
+ 8 1
2
+ 8 1
1
+ 3 1
0
= 1 + 9 + 6 + 8 + 8 + 3
= 35
8 (mod 9),
11
j a que 10 1 (mod 9) (mostrando assim porque funciona o conhecido criterio de divisibilidade
por 9). Uma formulac ao mais abstrata da mesma ideia e dizer que as operac oes + e passam
ao quociente, i.e., que podemos denir
+ : Z/(n) Z/(n) Z/(n), : Z/(n) Z/(n) Z/(n)
por a + b = a + b e a b = a b. A d uvida ` a primeira vista seria se a escolha de a e b n ao
afeta a resposta: anal existem innitos inteiros a
t
e b
t
com a = a
t
e b = b
t
. Os itens (d)
e (f) da proposic ao s ao exatamente o que precisamos: eles nos dizem que nestas condi coes
a + b = a
t
+ b
t
e a b = a
t
b
t
.
Proposicao 2.2: Sejam a, n Z, n > 0. Ent ao existe b Z com ab 1 (mod n) se e
somente se (a, n) = 1.
Dem: Se ab 1 (mod n) temos nk = 1 ab para algum k, donde (a, n)[ab + nk = 1 e
(a, n) = 1. Se (a, n) = 1 temos ax + ny = 1 para certos inteiros x e y, donde ax 1 (mod n).

Dizemos portanto que a e invertvel

1
m odulo n quando (a, n) = 1 e chamamos b com
ab 1 (mod n) de inverso de a m odulo n. O inverso e sempre unico m odulo n: se ab ab
t
1
(mod n) temos b ab
2
abb
t
b
t
(mod n).
Corolario 2.3: Se (a, n) = 1 e ab ab
t
(mod n) ent ao b b
t
(mod n).
Dem: Basta escrever b abc ab
t
c b
t
(mod n) onde c e o inverso de a m odulo n.
Denimos (Z/(n))

Z/(n) por
(Z/(n))

= a; (a, n) = 1.
Observe que o produto de elementos de (Z/(n))

e sempre um elemento de (Z/(n))

(corol ario
1.5).
1
Alguns autores preferem escrever inversvel. Os interessados em discutir esta questao ortograca devem
escrever para o Prof. Zoroastro Azambuja, IMPA, Estr. D. Castorina 110, Rio de Janeiro, RJ
12
Teorema 2.4: (Teorema Chines dos restos) Se (m, n) = 1 ent ao
f : Z/(mn) Z/(m) Z/(n)
a (a, a)
e uma bijec ao. Alem disso, a imagem por f de (Z/(mn))

e (Z/(m))

(Z/(n))

.
Note que cada a na denicao de f e tomado em relac ao a um modulo diferente. A fun cao
est a bem denida pois a mod mn determina a mod m e a mod n.
Dem: Como Z/(mn) e Z/(m) Z/(n) tem mn elementos cada, para provar que f e bijetiva
basta vericar que f e injetiva. E, de fato, se a a
t
(mod m) e a a
t
(mod n) ent ao
m[(a a
t
) e n[(a a
t
), donde mn[(a a
t
) e a a
t
(mod mn). A imagem de (Z/(mn))

e
(Z/(m))

(Z/(n))

pois (a, mn) = 1 se e somente se (a, m) = (a, n) = 1.

Dados inteiros m
1
, m
2
, . . . , m
r
, dizemos que estes inteiros s ao primos entre si se (m
i
, m
j
) = 1
para quaiquer i ,= j.
Corolario 2.5: Se m
1
, m
2
, . . . , m
r
s ao inteiros primos entre si. Entao
f : Z/(m
1
m
2
m
r
) Z/(m
1
) Z/(m
2
) Z/(m
r
)
a (a, a, . . . , a)
e uma bijec ao.
Dem: Basta aplicar o teorema anterior r vezes.
A aplica cao mais comum deste teorema e para garantir que existe a com a a
i
(mod m
i
)
onde a
i
s ao inteiros dados quaisquer.
Problema resolvido: Prove que dado n N existe um conjunto de n elementos A N
tal que para todo B A, B ,= ,

xB
x e uma potencia n ao trivial (isto e, um n umero da
forma m
k
, onde m, k s ao inteiros maiores ou iguais a 2), ou seja, A = x
1
, x
2
, . . . x
n
tal que
x
1
, x
2
, . . . x
n
, x
1
+x
2
, x
1
+x
3
, . . . , x
n1
+x
n
, . . . , x
1
+x
2
+. . . x
n
s ao todos potencias n ao triviais.
Solucao: A = 4 e soluc ao para n = 1, A = 9, 16 e soluc ao para n = 2. Vamos provar a
existencia de um tal conjunto por inducao em n. Suponha que A = x
1
, . . . , x
n
e um conjunto
13
com n elementos e para todo B A, B ,= ,

xB
x = m
k
B
B
. Vamos mostrar que existe c N
tal que o conjunto

A = cx
1
, cx
2
, . . . , cx
n
, c satisfaz o enunciado.
Seja = mmck
b
, B A, B ,= o mnimo m ultiplo comum de todos os exponentes k
B
.
Para cada B A, B ,= associamos um n umero primo p
B
> , de forma que B
1
,= B
2

p
B
1
,= p
B
2
, e associamos um natural r com r
B
0 (m odulo p
x
), X ,= B, r
B
+1 0 (m odulo
p
B
) (tal r
B
existe pelo teorema chines dos restos), e tomamos
c =

BA
B,=
(1 + m
k
B
B
)
r
B
.
Como c e uma potencia -esima, c e uma potencia k
B
-esima para todo B A, B ,= , portanto,
para B
t
cx
1
, cx
2
, . . . , cx
n
, B
t
,= , teremos B
t
= cx [ x B para algum B A, B ,= .
Logo

xB

x ser a uma potencia k

B
-esima.
Alem disso,

XB

Uc
x = c(1 + m
K
B
B
) =
_

XA
X,=,B
(1 + m
K
X
X
)
r
X
_

_
(1 + m
K
B
B
)
r
B
+1
,
que e uma potencia p
B
-esima, pois r
X
e m ultiplo de p
B
para X ,= B e r
B
+ 1 e m ultiplo de
p
B
.
3 A funcao de Euler e o pequeno teorema de Fermat
Denimos (n) = [(Z/(n))

[ (onde [X[ denota o n umero de elementos de X). A func ao e

conhecida como a func ao de Euler. Temos (1) = (2) = 1, e, para n > 2, 1 < (n) < n. Se
p e primo, (p) = p 1; mais geralmente (p
k
) = p
k
p
k1
pois (a, p
k
) = 1 se e somente se a
n ao e m ultiplo de p e ha p
k1
m ultiplos de p no intervalo 0 a < p
k
.
Dizemos que os n n umeros inteiros a
1
, a
2
, . . . , a
n
formam um sistema completo de resduos
(ou s.c.r.) modulo n se a
1
, a
2
, . . . a
n
= Z/(n), isto e, se os a
i
representam todas as classes de
congruencia m odulo n. Por exemplo, 0, 1, 2, . . . n 1 formam um s.c.r. modulo n. Equivalen-
temente, podemos dizer que a
1
, a
2
, . . . , a
n
formam um s.c.r. modulo n se e somente se a
i
a
j
14
(mod n) implicar i = j. Os (n) n umeros inteiros b
1
, b
2
, . . . , b
(n)
formam um sistema completo
de invertveis (s.c.i.) m odulo n se
b
1
, b
2
, . . . b
(n)
= (Z/(n))

,
isto e, se os b
i
representam todas as classes de congruencias invertveis m odulo n. Tambem
equivalentemente, b
1
, b
2
, . . . , b
(n)
formam um s.c.i. modulo n se e somente se (b
i
, n) = 1 para
todo i e a
i
a
j
(mod n) implicar i = j.
Proposicao 3.1: Sejam q, r, n Z, n > 0, q invertvel modulo n, a
1
, a
2
, . . . , a
n
um s.c.r.
m odulo n e b
1
, b
2
, . . . , b
(n)
um s.c.i. modulo n. Ent ao qa
1
+r, qa
2
+r, . . . , qa
n
+r formam um
s.c.r. m odulo n e qb
1
, qb
2
, ...qb
(n)
formam um s.c.i. m odulo n.
Dem: Se qa
i
+ r qa
j
+ r (mod n) ent ao n[q(a
i
a
j
) e a
i
a
j
(mod n), donde i = j; com
isto provamos que qa
1
+ r, qa
2
+ r, . . . , qa
n
+ r formam um s.c.r..
Como (q, n) = (b
i
, n) = 1, temos (qb
i
, n) = 1. Por outro lado, se qb
i
qb
j
(mod n) temos
b
i
b
j
(mod n) (como no par agrafo anterior) e i = j. Isto conclui a demonstrac ao.
Teorema 3.2: (Euler) Sejam a, n Z, n > 0, tais que (a, n) = 1. Ent ao a
(n)
1 (mod n).
Dem: Seja
b
1
, b
2
, . . . .b
(n)
um s.c.i. modulo n. Pela proposicao anterior,
ab
1
, ab
2
, . . . ab
(n)
tambem formam um s.c.i. m odulo n. Assim,
b
1
b
2
b
(n)
ab
1
ab
2
ab
(n)
(mod n)
pois m odulo n os dois lados tem os mesmos fatores a menos de permutacao. Mas isto pode ser
reescrito como
a
(n)
(b
1
b
2
b
(n)
) 1 (b
1
b
2
b
(n)
) (mod n)
e pelo corol ario 1.9 isto implica a
(n)
1 (mod n).
15
Corolario 3.3: (Pequeno Teorema de Fermat) Se p e primo entao, para todo inteiro a, a
p
a
(mod p).
Dem: Se p[a, ent ao a
p
a 0 (mod p). Caso contrario, (p) = p 1, a
p1
1 (mod p) e
novamente a
p
a (mod p).
Outra demonstra cao do pequeno teorema de Fermat e por indu cao em a usando o bin omio
de Newton e algumas propriedades de n umeros binomiais. Se 0 < i < p temos
_
p
i
_
=
p!
i!(p i)!
0 (mod p)
pois h a um fator p no numerador que n ao pode ser cancelado com nada que apare ca no de-
nominador. Os casos a = 0 e a = 1 do teorema sao triviais. Supondo valido o teorema para a,
temos
(a + 1)
p
= a
p
+
_
p
1
_
a
p1
+ +
_
p
p 1
_
a + 1
a
p
+ 1
a + 1 (mod p)
e a indu cao esta completa.
Corolario 3.4: Se (m, n) = 1 ent ao (mn) = (m)(n).
Dem: Construimos uma bije cao entre (Z/(mn))

e (Z/(m))

(Z/(n))

, o que garante que

estes conjuntos tem o mesmo n umero de elementos.
Corolario 3.5: Se
n = p
e
1
1
p
e
2
2
p
em
m
com p
1
< p
2
< . . . < p
m
e e
i
> 0 para todo i ent ao
(n) = (p
e
1
1
p
e
1
1
1
)(p
e
2
2
p
e
2
1
2
) (p
em
m
p
em1
m
)
= n
_
1
1
p
1
__
1
1
p
2
_

_
1
1
p
m
_
.
Dem: Isto segue da f ormula que j a vimos para (p
e
) e do corol ario anterior.
16
Em particular, se n > 2 ent ao (n) e par.
Problema resolvido: Exiba n N tal que 2
n
tenha mais de duas mil casas decimais e tenha
entre suas 2000 ultimas casas decimais 1000 zeros consecutivos.
Solucao: 2
(5
2000
)
1 (m odulo 5
2000
), pelo Teorema de Euler. Portanto, existe b N com
2
(5
2000
)
= 5
2000
b + 1, e teremos 2
2000+(5
2000
)
= 10
2000
b + 2
2000
, e portanto os 2000 ultimos
dgitos de 2
2000+(5
2000
)
coincidem com a representa cao decimal de 2
2000
, que tem no maximo
667 dgitos, pois 2
3
< 10 2
2000
< 2
3.667
< 10
667
. Desta forma, 2
2000+(5
2000
)
tem pelo menos
2000 667 = 1333 zeros consecutivos dentre as 2000 ultimas casas decimais, de modo que
n = 4.5
1999
+ 2000 satisfaz as condic oes do enunciado (pois (5
2000
) = 4.5
1999
).
Mais adiante estudaremos equac oes do segundo grau emZ/(p); vejamos desde ja um pequeno
resultado deste tipo que garante que os unicos a que s ao seus proprios inversos modulo p s ao 1
e 1.
Lema 3.6: Se p e primo ent ao as unicas solucoes de x
2
= 1 em Z/(p) s ao 1 e 1. Em
particular,se x (Z/(p))

1, 1 ent ao x
1
,= x em Z/(p).
Dem: Podemos reescrever a equacao como (x1)(x+1) = 0, o que torna o resultado trivial.

Teorema 3.7: (Wilson) Seja n > 4. Ent ao (n1)! 1 (mod n) se n e primo e (n1)! 0
(mod n) se n e composto.
Dem: Se n e composto mas n ao e o quadrado de um primo podemos escrever n = ab com
1 < a < b < n: neste caso tanto a quanto b aparecem em (n 1)! e (n 1)! 0 (mod n).
Se n = p
2
, p > 2, entao p e 2p aparecem em (n 1)! e novamente (n 1)! 0 (mod n); isto
demonstra que para todo n composto, n > 4, temos (n 1)! 0 (mod n).
Se n e primo podemos escrever (n1)! (2 3 n2) (mod n); mas pelo lema anterior
podemos juntar os inversos aos pares no produto do lado direito, donde (n1)! 1 (mod n).

17
4 A funcao de M obius
Vejamos inicialmente uma propriedade da funcao .
Teorema 4.1: Para todo natural n,

d[n
(d) = n.
Este teorema segue facilmente da formula que provamos para (n) na se cao anterior. Dare-
mos entretanto uma demonstrac ao bijetiva.
Dem: Considere as n frac oes
0
n
,
1
n
, . . . ,
n 1
n
e simplique cada uma delas: obtemos assim, para cada d[n, (d) fra coes com denominador d,
donde segue a identidade do enunciado.
Mais formalmente, dado a Z/(n), sejam d = n/(n, a) e a
t
= a/(n, a). Claramente
a
t
(Z/(d))

e denimos assim uma fun cao de Z/(n) para a uni ao disjunta dos conjuntos
(Z/(d))

, onde d varia sobre os divisores de n. A inversa desta func ao leva a

t
(Z/(d))

em a,
a = na
t
/d, donde a func ao e uma bijecao.
O processo de construir g a partir de f como
g(n) =

d[n
f(d)
e bastante comum em teoria dos n umeros. Seria interessante poder inverter esta identidade
para escrever f a partir de g. O teorema anterior nos mostra que se fazemos f = na equac ao
acima temos g(n) = n; invertendo esta identidade teramos uma f ormula para . O objetivo
desta secao e mostrar como fazer este tipo de inversao.
Denimos a func ao de M obius : N

Z por
(n) =
_

_
(1)
m
, se n = p
1
p
2
p
m
, com p
1
, p
2
, , p
m
primos distintos,
0, se n tem algum fator primo repetido em sua fatorac ao.
18
Assim, (1) = (6) = (10) = 1, (2) = (3) = (5) = (7) = 1 e (4) = (8) = (9) = 0.
Lema 4.2: Para todo inteiro positivo n temos

d[n
(d) =
_

_
1, se n = 1,
0, se n > 1.
Dem: O caso n = 1 e trivial. Se n > 1, seja p um divisor primo de n e seja n = p
e
n
t
com
p n
t
. Temos

d[n
(d) =

d[n,pd
(d) +

d[n,p[d,p
2
d
(d) +

d[n,p
2
[d
(d)
=

d[n

(d) +

[n

(pd
t
) + 0
=

d[n

(d)

[n

(d
t
)
= 0.

Teorema 4.3: (F ormula de inversao de Mobius) Se para todo n > 0 temos

g(n) =

d[n
f(d)
ent ao
f(n) =

d[n
(n/d)g(d).
Observe que a formula do corolario 1.16 para (n) segue facilmente dos dois teoremas acima.
Dem: Basta provar que
f(n) =

d[n
(n/d)
_
_

[d
f(d
t
)
_
_
.
Mas, escrevendo d
tt
= n/d e m = n/d
t
temos

d[n
(n/d)
_
_

[d
f(d
t
)
_
_
=

m[n
_
_

[m
(d
tt
)
_
_
f(n/m) = f(n).

19
Teorema 4.4: (Segunda f ormula de invers ao de Mobius) Sejam f e g func oes reais com
domnio (0, +) tais que f(t) = g(t) = 0 para todo t < 1. Se
g(x) =

k=1
f
_
x
k
_
=
]x|

1=k
f
_
x
k
_
para todo x ent ao entao
f(x) =

k=1
(k)g
_
x
k
_
=

1=k
x|(k)g
_
x
k
_
.
Dem: Basta provar que
f(x) =

k=1
(k)
_

r=1
f
_
x
kr
_
_
,
mas, tomando m = kr a ultima soma e igual a

m=1
_
_
_
_

k[m
(k)
_
_
f
_
x
m
_
_
_
que pelo lema e igual a f(x).
Apesar de n ao estar relacionada com o resto da nossa discuss ao, n ao podemos deixar de
mencionar a seguinte conjectura.
Conjectura 4.5: (Hip otese de Riemann) Se > 1/2 ent ao
lim
n
1
n

1m
(m) = 0.
Esta e uma das formulacoes da famosa hipotese de Riemann, um dos problemas em aberto
mais importantes da matem atica.
Podemos reenunciar esta conjectura assim: seja f : (0, +) R denida por f(t) = 0 se
t < 1 e

k=1
f(t/k) = 1, se t 1
ent ao, para todo > 1/2,
lim
t
f(t)
t

= 0.
20
De fato, pela segunda formula de invers ao de M obius temos
f(t) =
]t|

m=1
(m).
5 Bases
A notac ao usual para naturais e a chamada base 10, com algarismos 0, . . . , 9. Isto signica, por
exemplo, que
196883 = 1 10
5
+ 9 10
4
+ 6 10
3
+ 8 10
2
+ 8 10
1
+ 3 10
0
.
O teorema abaixo mostra como escrever qualquer natural em qualquer base d.
Teorema 5.1: Seja n 0 e d > 1. Entao existe uma unica seq uencia a
0
, . . . , a
k
, . . . com as
seguintes propriedades:
(a)
1. para todo k, 0 a
k
< d,
2. existe m tal que se k m ent ao a
k
= 0,
3. n =

k
a
k
d
k
.
Dem: Escrevemos n = n
0
= n
1
d + a
0
, 0 a
0
< d, n
1
= n
2
d + a
1
, 0 a
1
< d, e em geral
n
k
= n
k+1
d + a
k
, 0 a
k
< d. Nossa primeira armacao e que n
k
= 0 para algum valor de
k. De fato, se n
0
< d
m
ent ao n
1
< d
m1
e mais geralmente, por induc ao, n
k
< d
mk
; fazendo
k m temos n
k
< 1 donde n
k
= 0. Segue da que a
k
= 0 para k m. A identidade do item
(c) e facilmente demonstrada por indu cao.
Para a unicidade, suponha

k
a
k
d
k
=

k
b
k
d
k
. Se as seq uencias a
k
e b
k
s ao distintas existe
um menor ndice, digamos j, para o qual a
j
,= b
j
. Podemos escrever a
j
+

k>j
a
k
d
kj
=
b
j
+

k>j
b
k
d
kj
donde a
j
b
j
(mod d), o que e uma contradic ao.
21
`
As vezes e interessante considerar expans oes n ao apenas em outras bases mas com outros
conjuntos de algarismos (veremos um exemplo disso no ultimo captulo). Por exemplo, podemos
preferir algarismos negativos pequenos a algarismos positivos grandes e assim um bom conjunto
de algarismos na base 10 seria
4, 3, 2, 1, 0, 1, 2, 3, 4, 5.
Desta forma, escrevemos 13 = 1 10 +3 mas escrevemos 9 = 1 10 1 e 64 = 1 10
2
4 10 +4.
Generalizando, os algarismos na base d seriam os inteiros a com d/2 < a d/2, ou seja,
a = (d 1)/2|, (d 1)/2| + 1, . . . , 1, 0, 1, . . . , d/2| 1, d/2|.
Este conjunto de algarismos nos permite enunciar um teorema an alogo ao anterior, com a
diferenca que agora n umeros negativos nao precisam ser tratados em separado.
Teorema 5.2: Seja n Z e d > 2. Entao existe uma unica seq uencia a
0
, . . . , a
k
, . . . com as
seguintes propriedades:
(a)
1. para todo k, d/2 < a
k
d/2,
2. existe m tal que se k m ent ao a
k
= 0,
3. n =

k
a
k
d
k
.
Dem: Escrevemos n = n
0
= n
1
d + a
0
, d/2 < a
0
d/2, n
1
= n
2
d + a
1
, d/2 < a
1
d/2,
e em geral n
k
= n
k+1
d + a
k
, d/2 < a
k
d/2. Novamente, nossa primeira arma cao e que
n
k
= 0 para algum valor de k. De fato, se
d
m
/2 < n
0
d
m
/2
ent ao, por induc ao,
d
mk
/2 < n
k
d
mk
/2;
fazendo k m temos n
k
= 0. Segue da que a
k
= 0 para k m. A identidade do item (c) e a
unicidade sao demonstradas como no teorema anterior.
22
Pode-se estudar representac oes na base d com outros conjuntos X de algarismos. Algumas
condic oes mnimas para que X seja um conjunto de algarismos interessante s ao que 0 X, que
X seja um sistema completo de resduos e que o mdc dos elementos de X seja 1.
6 Corpos e polinomios
Um grupo e um conjunto G munido de uma opera cao : G G G e um elemento e G
com as seguintes propriedades:
1. para quaisquer a, b, c G, a (b c) = (a b) c.
2. para qualquer a G, a e = e a = a,
3. para qualquer a G existe b G com a b = b a = e.
Se alem disso tivermos a b = b a para quaisquer a, b G dizemos que o grupo e comutativo
ou abeliano. Quando a operac ao se chama + dizemos que G e um grupo aditivo e chamamos
o elemento neutro e de 0. Se a operac ao se chama chamamos G de grupo multiplicativo e
denotamos o elemento neutro e por 1. Assim, Z/(n) e um grupo abeliano aditivo e (Z/(n))

e
um grupo abeliano multiplicativo.
Um anel comutativo com unidade e um grupo abeliano aditivo A munido de uma segunda
operac ao : AA A satisfazendo a (b c) = (a b) c, a (b +c) = (a b) +(a c), a b = b a
para quaisquer a, b, c A e um elemento 1 A com 1 a = a para todo a A. Assim, Z/(n) e
um anel comutativo com unidade.
Um corpo e um anel comutativo com unidade onde para todo a K com a ,= 0 existe
b K com a b = 1. Repetindo ent ao, K e munido de duas operac oes + : K K K e
: K K K, de uma func ao : K K e dois elementos especiais distintos chamados 0 e
1 satisfazendo as seguintes propriedades:
a + (b + c) = (a + b) + c
a + 0 = a
23
a + (a) = 0
a + b = b + a
a(b + c) = ab + ac
a(bc) = (ab)c
a1 = a
ab = ba
e onde para todo a K, a ,= 0 existe b K com
ab = 1.
Os exemplos mais conhecidos de corpos sao Q, R e C. Vimos no captulo anterior que Z/(p)
tambem e um corpo se p e primo; veremos a seguir outros exemplos de corpos nitos.
Dado um corpo K, denimos o anel comutativo com unidade K[x] como sendo o conjunto
das express oes da forma P = a
0
+ a
1
x + a
2
x
2
+ + a
n
x
n
, chamados de polin omios com
coecientes em K. Observe que x e um smbolo formal e n ao um elemento de K; apesar disso,
cada polinomio dene uma func ao polinomial
P : K K
c P(c) = a
0
+ a
1
c + a
2
c
2
+ + a
n
c
n
tambem chamada de P. A distinc ao entre um polin omio e uma fun cao polinomial e bem
ilustrada pelo polinomio P = x
p
x (Z/(p))[x]: este polin omio e nao nulo pois seus coe-
cientes s ao nao nulos mas para todo x Z/(p) temos P(x) = 0 pelo pequeno teorema de
Fermat.
Se P =

a
i
x
i
e Q =

b
i
x
i
s ao polin omios denimos P +Q =

(a
i
+b
i
)x
i
e PQ =

c
i
x
i
onde c
k
=

i+j=k
a
i
b
j
. Denimos o grau deg P de um polin omio P = a
0
+a
1
x+a
2
x
2
+ +a
n
x
n
como sendo n se a
n
,= 0 mas a
m
= 0 para m > n; denimos ainda o grau do polin omio 0 como
sendo .
Lema 6.1: Para quaisquer polinomios P e Q temos deg(PQ) = deg(P) + deg(Q) e
deg(P + Q) maxdeg(P), deg(Q).
Dem: F acil.
24
Observe que denimos < n e () + () = + n = para todo n. Temos
uma forma de divis ao com resto em K[x].
Teorema 6.2: Sejam A, B K[x], B ,= 0. Entao existem unicos polin omios Q, R K[x]
com A = QB + R e deg R < deg B.
Dem: A demonstrac ao e feita por inducao no grau de A. Se deg(A) < deg(B), tomamos
Q = 0, R = A. Caso contr ario, sejam n e m os graus de A e B e sejam a e b os coecientes
de mais alto grau destes polinomios. Podemos escrever A = (a/b)x
nm
B +A
1
, com deg(A
1
) <
deg(A). Pela hipotese de indu cao, temos A
1
= Q
1
B + R, com deg(R) < deg(B). Fazendo
Q = (a/b) + x
nm
+ Q
1
temos A = QB + R. A unicidade segue facilmente do lema anterior.

A demonstrac ao acima nada mais e do que o algoritmo usual de divisao usual. Um polinomio
P tem raiz a (i.e., P(a) = 0) se e somente se (x a)[P. Mais geralmente, P(a) e o resto da
divis ao de P por x a.
Proposicao 6.3: Um polinomio P n ao nulo de grau n tem no m aximo n razes.
Dem: A demonstrac ao e feita por induc ao em n = deg(P); os casos n = 0 e n = 1 sao
triviais. Se P tivesse n + 1 razes distintas a
1
, . . . , a
n+1
ent ao P seria m ultiplo de (x a
n+1
);
P/(x a
n+1
) teria grau n 1 e razes a
1
, . . . , a
n
, contradizendo a hip otese de indu cao.
A partir da divis ao com resto podemos repetir muitas das constru coes feitas para Z no
captulo anterior; dizemos que K[x] (assim como Z) e um domnio euclidiano. Daremos um
esboco desta teoria; estes resultados nao serao necess arios para acompanhar o resto do livro.
Denimos A[B se existe C com AC = B e dizemos que um polin omio P de grau maior que
n > 0 e irredutvel se seus divisores todos tem grau 0 ou n (assim generalizando o conceito de
n umero primo). O conceito de mdc tambem se generaliza, como indicado na proposicao abaixo.
Proposicao 6.4: Dados polinomios n ao nulos A, B K[x] existe um unico D K[x] (a
menos de multiplicac ao por constante) tal que D[A, D[B e, para todo C K[x], se C[A e C[B
ent ao C[D. Alem disso existem E, F Z com D = AE + BF.
25
Dem: Denimos I(A, B) = AE+BF; E, F K[x] e tomamos D de grau mnimo dentre os
elementos n ao nulos de I(A, B); o resto da demonstrac ao e analoga `a da proposic ao 1.1.
Polin omios irredutveis s ao como n umeros primos: um produto de polin omios so e m ultiplo
de um polin omio irredutvel se um dos fatores o for.
Proposicao 6.5: SejamP um polin omio irredutvel e sejamA
1
, . . . A
m
K[x]. Se P[(A
1
A
m
)
ent ao P[A
i
para algum i, 1 i n.
Dem: An aloga ` a do corol ario 1.3.
Temos tambem um teorema de fatorac ao unica.
Teorema 6.6: Todo polinomio pode ser fatorado como um produto de polinomios irredutveis;
esta fatorac ao e unica a menos da ordem dos fatores.
Dem: An aloga ` a do teorema fundamental da aritmetica, usando a proposic ao acima e fazendo
induc ao no grau do polinomio.
Os exemplos mais evidentes de polin omios irredutveis s ao os da forma x a, a K.
Quando estes s ao os unicos polinomios irredutveis dizemos que o corpo e algebricamente
fechado. Polin omios de grau 2 e 3 sao irredutveis se e somente se n ao tem razes.
O pequeno teorema de Fermat tambem admite uma formula cao em termos de polinomios.
Teorema 6.7: Seja p primo; em (Z/(p))[x] temos
x
p
x = x(x 1)(x 2) (x (p 1)).
Dem: Os dois polinomios dos dois lados da equac ao tem grau p e o coeciente de x
p
e 1
nos dois casos. Assim, a diferenca tem grau menor do que p mas se anula em p pontos: 0, 1,
. . . p 1. Pelo corolario anterior, esta diferenca deve ser o polinomio zero.
26
A partir do teorema acima temos uma nova prova do teorema de Wilson: x
p1
1 =
(x 1)(x 2) (x (p 1)) em (Z/(p))[x], mas o coeciente independente e 1 do lado
esquerdo e (p 1)! do lado direito.
Podemos denir congruencias em K[x]:
A B (mod P) P[(B A).
As propriedades b asicas de congruencias podem ser traduzidas para este novo contexto e pode-
mos denir um quociente K[x]/(P) da mesma forma como denimos Z/(n); demonstra-se que
K[x]/(P) e um corpo exatamente quando P e irredutvel.
Prometemos que veramos outros exemplos de corpos nitos alem de Z/(p): o paragrafo
acima ensina que podemos construir tais corpos como (Z/(p))[x]/(P) onde P (Z/(p))[x] e
irredutvel. Por exemplo, o polinomio x
2
+x + 1 e irredutvel em (Z/(2))[x] o que nos permite
construir um corpo de 4 elementos: 0, 1, x e x+1. As operacoes em Z/(2) e a relac ao x
2
= x+1
denem as operacoes neste corpo (denotamos x + 1 por x
t
):
De fato existem em (Z/(p))[x] polinomios irredutveis de qualquer grau e todo corpo nito
pode ser construido desta forma. Enunciaremos sem demonstrac ao um teorema que classica
os corpos nitos.
Teorema 6.8: Existe um corpo nito com q elementos se e somente se q e da forma p
n
para
algum primo p e algum inteiro positivo n. Alem disso, dados dois corpos nitos K
1
e K
2
com o
mesmo n umero de elementos existe uma unica bijec ao f : K
1
K
2
com f(a +b) = f(a) +f(b)
e f(ab) = f(a)f(b) para quaisquer a, b K
1
.
Uma bijec ao como a descrita acima e chamada de isomorsmo e dois corpos sao ditos
isomorfos se existe entre eles um isomorsmo; a ideia e que corpos isomorfos sao iguais a menos
dos nomes dos elementos. Veremos mais tarde outras formas mais concretas de construir corpos
nitos.
27
7 Ordens e razes primitivas
Dados n, a Z com n > 0 e (a, n) = 1, denimos a ordem de a m odulo n, denotada por ord
n
a,
como sendo o menor inteiro positivo t com a
t
1 (mod n). Analogamente, se K for um corpo
nito e a K, a ,= 0, denimos a ordem de a em K, denotada por ord
K
a, como sendo o menor
inteiro positivo t com a
t
= 1 K; temos ord
p
a = ord
Z/(p)
a.
Claramente a
e
a
e

(mod n) se e somente se e e
t
(mod ord
n
a); pelo teorema de Euler,
ord
n
a[(n).
Dizemos que a e uma raiz primitiva modulo n se ord
n
a = (n). Analogamente, dizemos
que a e uma raiz primitiva em K se ord
K
a = q 1, onde q = [K[ e o n umero de elementos
de K. Por exemplo, 2 e raiz primitiva m odulo 5 mas 2 nao e raiz primitiva m odulo 7 (2
3
1
(mod 7)). Tambem e f acil vericar que nao existe raiz primitiva m odulo 8 pois se x e mpar
ent ao x
2
1 (mod 8). Podemos tambem dizer que a e raiz primitiva se a func ao
Z/((n)) (Z/(n))

r a
r
ou
Z/(q 1) K

r a
r
e injetora. Como o domnio e contradomnio sao conjuntos nitos com o mesmo n umero de
elementos, a fun cao e injetora se e somente se ela e sobrejetora. Podemos assim dizer que a e
uma raiz primitiva m odulo n se e somente se para todo b (Z/(n))

(ou para todo b K

)
existe r com a
r
= b.
Um corol ario desta caracterizac ao de razes primitivas e que se a e raiz primitiva m odulo n
e m[n ent ao a e raiz primitiva modulo m. O objetivo da proxima se cao e caracterizar os valores
de n para os quais existe uma raiz primitiva modulo n. Nesta se cao mostraremos que todo
corpo nito admite raiz primitiva; em particular existe raiz primitiva modulo p para qualquer
primo p.
Precisamos primeiro de uma vers ao do pequeno teorema de Fermat para corpos nitos:
28
Teorema 7.1: Se K e um corpo nito e q = [K[ ent ao a
q
a = 0 para todo a K.
Dem: Se a = 0 o teorema vale; vamos supor a partir de agora a ,= 0. Sejam b
1
, . . . b
q1
os
elementos nao nulos de K. Os elementos ab
1
, . . . ab
q1
s ao todos nao nulos e distintos, logo sao
os pr oprios b
1
, . . . b
q1
, apenas permutados. Assim
b
1
b
2
b
q1
= (ab
1
)(ab
2
) (ab
q1
)
= a
q1
(b
1
b
2
b
q1
)
e a
q1
= 1.
Segue deste teorema que ord
K
a[q 1, analogamente ao que j a sabiamos para Z/(n). A
partir do que vimos sobre polin omios temos tambem que
x
q
x = x(x b
1
) (x b
q1
)
em K[x].
Teorema 7.2: Se K e um corpo nito ent ao existe raiz primitiva em K.
Dem: Seja d um divisor de q 1: denimos N(d) como o n umero de elementos de K

de
ordem d. Claramente

d[q1
N(d) = q 1.
Se N(d) > 0, seja a
d
um elemento de K com ord
K
a
d
= d: os elementos 1, a
d
, a
2
d
, . . . a
d1
d
s ao
razes do polin omio x
d
1 = 0. Como este polinomio tem no m aximo d razes, estas sao todas
as razes. Assim, os elementos de K de ordem d s ao precisamente a
r
d
, r (Z/(d))

. Assim os
unicos valores possveis para N(d) sao 0 e (d). Mas como

d[q1
N(d) =

d[q1
(d) = q 1,
temos N(d) = (d) para todo d[q 1. Em particular N(q 1) > 0 e existem razes primitivas.

Apesar de existirem razes primitivas modulo p para todo primo p n ao existe uma formula
simples para obter uma raiz primitiva. Por outro lado, conjectura-se que todo inteiro que nao
e um quadrado e raiz primitiva para innitos valores de p (conjectura de Artin).
Corolario 7.3: Dados x K

e um inteiro positivo k existe y K

com y
k
= x se e somente
se x
(q1)/ mdc(k,q1)
= 1, onde q = [K[.
29
Dem: Se x = y
k
ent ao x
(q1)/ mdc(k,q1)
= (y
q1
)
k/ mdc(k,q1)
= 1 pois y
q1
= 1. Suponha
agora que x
(q1)/ mdc(k,q1)
= 1. Sejam a uma raiz primitiva de K e r Z com x = a
r
.
Temos (a
r
)
(q1)/ mdc(k,q1)
= 1 donde mdc(k, q 1) [ r e portanto existem inteiros u, v com
ku + (q 1)v = r. Assim x = a
r
= a
ku+(q1)v
= (a
u
)
k
(a
q1
)
v
= y
k
onde y = a
u
.
8 Razes primitivas em Z/(n)
Nesta secao caracterizaremos os inteiros n para os quais existe raiz primitiva modulo n.
Lema 8.1: Sejam p um n umero primo e a Z uma raiz primitiva m odulo p. Entao a ou
a
t
= a + p e raiz primitiva m odulo p
2
.
Dem: Pelo bin omio de Newton, a
t
p
= (a + p)
p
a
p
(mod p
2
). Sem perda de generalidade,
podemos supor a
p
, a (mod p
2
) ou a
p1
, 1 (mod p
2
), donde ord
p
2 a ,= p 1. Como p 1 =
ord
p
a [ ord
p
2 a [ (p
2
) = p(p 1) isto implica em ord
p
2 a = p(p 1).
Lema 8.2: Se p e um n umero primo mpar e a e raiz primitiva modulo p
2
ent ao a e raiz
primitiva m odulo p
k
para todo k > 2, k Z.
Dem: Temos a
p1
1 (mod p), mas a
p1
, 1 (mod p
2
), donde a
p1
= 1 + b
0
p com b
0
, 0
(mod p). Vamos mostrar por induc ao que a
p
j
(p1)
= 1 +b
j
p
j+1
com b
j
b
0
(mod p). Podemos
escrever
a
p
j+1
(p1)
= (a
p
j
(p1)
)
p
= (1 + b
j
p
j+1
)
p
= 1 + pb
j
p
j+1
+
_
p
2
_
b
2
j
p
2j+2
+ + b
p
j
p
pj+p
= 1 + b
j
(1 +
_
p
2
_
b
j
p
j
+ b
p1
j
p
(p1)j+p2
)p
j+2
= 1 + b
j+1
p
j+2
com b
j+1
b
j
(mod p) pois o parentesis na pen ultima linha e da forma 1+ um m ultiplo de p.
Esta ultima armac ao segue da positividade dos expoentes de p exceto no caso j = 0; neste
caso o expoente do primeiro termo n ao trivial e zero mas temos
_
p
2
_
0 (mod p) pois p > 2
30
(e neste ponto que precisamos da hipotese de p ser mpar). O lema segue de a
(p1)p
k2
, 1
(mod p
k
) por induc ao, pois teremos (p 1)p
k2
= ord
p
k1 a [ ord
p
k a [ (p
k
) = (p 1)p
k1
,
donde ord
p
k a = (p 1)p
k1
.
Exemplo: 2 e raiz primitiva modulo 5
k
, k N. De fato, 2 e raiz primitiva modulo 5, e, como
2
4
= 16 ,= 1 (modulo 25), 2 e raiz primitiva m odulo 25 = 5
2
(como no Lema 8.1). Portanto,
pelo Lema 8.2, 2 e rais primitiva m odulo 5
k
, k N.
Problema resolvido: Mostre que existe n natural tal que os mil ultimos dgitos de 2
n
per-
tencem a 1, 2.
Solucao: Observamos inicialmente que para todo k N existe um n umero m
k
de k algarismos,
todos 1 ou 2, divisvel por 2
k
. De fato, m
1
= 2 e m
2
= 12 satisfazem o enunciado.
Seja m
k
= 2
k
r
k
, r
k
N. Se r
k
e par, tome m
k+1
= 2 10
k
+m
k
= 2
k+1
(5
k
+r
k
/2), e se r
k
e mpar, tome m
k+1
= 10
k
+ m
k
= 2
k+1
(5
k
+ r
k
)/2.
Como m
1000
2 (m odulo 10), 5 n ao divide r
1000
= m
1000
/2
1000
. Como 2 e raiz primitiva
m odulo 5
1000
, existe k N com 2
k
r
1000
(m odulo 5
1000
). Logo 2
k
= b 5
1000
+ r
1000
, para
algum b N. Portanto, 2
k+1000
= b 10
1000
+ 2
1000
r
1000
= b 10
1000
+m
1000
, e as 1000 ultimas
casas de 2
k+1000
s ao as 1000 casas de m
1000
, que pertencem todas a 1, 2.
Lema 8.3: Seja n > 1. O n umero de solucoes para a congruencia x
2
1 (mod n) e:
1. 1 se n = 2,
2. 2 se n = 4,
3. 4 se n = 2
k
, k > 2,
4. 2 se n = p
k
, p um primo mpar,
5. 2
m+i
se n = 2
k
p
e
1
1
p
em
m
, onde i = 0 se k 1, i = 1 se k = 2 e i = 2 se k > 2.
Dem: Os itens (a) e (b) sao vericaveis diretamente. As quatro solu coes no item (c) s ao 1,
2
k1
1, 2
k1
+ 1 e 2
k
1. De fato, e f acil vericar que estes quatro valores s ao solucoes da
31
congruencia. Por outro lado, para que a seja soluc ao da congruencia devemos ter 2
k
[(a+1)(a
1) = a
2
1; portanto a deve ser mpar. Um dentre a 1 e a +1 deve ser da forma 2b, b mpar.
Assim o outro deve ser m ultiplo de 2
k1
, o que diz que a deve ter um dos quatro valores acima.
Analogamente para o item (d), apenas um dentre a1 e a+1 e m ultiplo de p, o que s o permite
as solucoes 1 e n 1.
Para o item (e) usamos os itens anteriores e o teorema chines dos restos: a e soluc ao da
congruencia acima se e somente se a satisfaz a
2
1 (mod 2
k
) e a
2
1 (mod p
e
i
i
) para cada i.
Assim, o n umero de solucoes m odulo n e o produto do n umero de soluc oes m odulo 2
k
, p
e
1
1
, . . . ,
p
em
m
, o que nos da a formula do item (e).
Teorema 8.4: Um inteiro n > 1 admite raiz primitiva se e somente se n = 2, n = 4 ou n e
da forma p
k
ou 2p
k
, onde p e um primo mpar, admite raiz primitiva.
Dem: Os casos n = 2 e n = 4 podem ser vericados diretamente. A existencia de uma raiz
primitiva m odulo p
k
(p um primo mpar) segue dos dois primeiros lemas desta se cao. Para o
caso 2p
k
, seja a uma raiz primitiva m odulo p
k
: a ou a +p
k
, aquele que for mpar, sera uma raiz
primitiva m odulo 2p
k
pois (2p
k
) = (p
k
).
Se n n ao for de uma destas formas, o lema anterior garante que a congruencia x
2
1
(mod n) admite mais de duas solu coes. Por outro lado, a existencia de uma raiz primitiva
a m odulo n garante que a congruencia x
2
1 (mod n) s o tem as solucoes 1 e n 1. De
fato, qualquer soluc ao pode ser escrita da forma a
k
para algum k e nossa congruencia torna-se
a
2k
1 (mod n) ou 2k 0 (mod (n)), que s o tem as soluc oes k = 0 (a
k
= 1) e k = ((n))/2
(a
k
n 1 (mod n)).
Outra demonstrac ao, sem usar o lema anterior, consiste em observar que se n n ao for de uma
destas duas formas ent ao n = n
1
n
2
, com n
1
, n
2
3 e mdc(n
1
, n
2
) = 1. Temos entao a
(n)/2
1
(mod n) para todo a inteiro com mdc(a, n) = 1, pois (n
1
) [ (n)/2 e (n
2
) [ (n)/2.
9 A lei da reciprocidade quadratica
A lei de Gauss de reciprocidade quadr atica arma que se p e q s ao primos ha uma rela cao direta
entre p ser quadrado m odulo q e q ser quadrado m odulo p. Este teorema fornece um rapido
32
algoritmo para determinar se a e quadrado m odulo p onde a e um inteiro e p um n umero primo.
Denicao 9.1: Seja p um primo e a um inteiro. Denimos o smbolo de Lagrange (
a
p
) por
_
a
p
_
=
_

_
0 se p divide a
1 se a n ao e quadrado m odulo p
1 se p a e a e quadrado m odulo p.
Proposicao 9.2: Seja p um primo mpar e a Z tal que p a. Ent ao
_
a
p
_
a
p1
2
(mod p).
Dem: Sabemos que se p a ent ao a
p1
1 (mod p), ou seja, X
p1
1 tem como razes
1, 2, . . . , p 1 em Z/(p). Por outro lado, X
p1
1 = (X
p1
2
1)(X
p1
2
+ 1). Se existe b Z
tal que a b
2
(mod p) entao a
1
2
b
p1
1 (mod p); ou seja,
_
a
p
_
= 1 a
p1
2
(mod p).
Como X
2
Y
2
(mod p) X Y (mod p), h a pelo menos
p1
2
quadrados em (Z/(p))

,
logo os quadrados s ao exatamente as razes de X
p1
2
1 em Z/(p), donde os n ao quadrados sao
exatamente as razes de X
p1
2
+ 1, ou seja, se (
b
p
) = 1 entao b
p1
2
1 (mod p).
Corolario 9.3: Se p e primo mpar ent ao (
1
p
) = (1)
p1
2
.
Vamos agora reinterpretar a Proposic ao 1. Seja a (Z/(p))

. Para cada j = 1, 2, . . . ,
p1
2
escrevemos a j como
j
m
j
com
j
1, 1 e m
j
1, 2, . . . ,
p1
2
. Se m
i
,= m
j
temos
a i = a j ou a i = a j; a primeira possibilidade implica i = j e a segunda e impossvel.
Assim, se i ,= j temos m
i
,= m
j
donde m
1
, m
2
, . . . , mp1
2
= 1, 2, . . . ,
p1
2
. Assim
_
a
p
_
a
p1
2
=
(a 1)(a 2) (a
p1
2
)
1 2
p1
2

2
p1
2
m
1
, m
2
, . . . , mp1
2
1 2
p1
2
=
1

2
p1
2
(mod p) (1)
donde (
a
p
) =
1

2
. . . p1
2
, pois ambos pertencem a 1, 1. Assim, (
a
p
) = (1)
m
onde m e o
n umero de elementos j de 1, 2, . . . ,
p1
2
tais que
j
= 1. Como primeira conseq uencia deste
fato temos o seguinte resultado.
33
Proposicao 9.4: Se p e um primo mpar ent ao
(
2
p
) = (1)
p
2
1
8
=
_

_
1, se p 1 (mod 8),
1, se p 3 (mod 8).
Dem: Se p 1 (mod 4), digamos p = 4k + 1, temos
p1
2
= 2k. Como 1 2j
p1
2
para
j k e
p1
2
< 2j p 1 para k + 1 j 2k, temos
(
a
p
) = (1)
k
=
_

_
1, se p 1 (mod 8),
1, se p 5 (mod 8).
Se p 3 (mod 4), digamos p = 4k + 3, temos
p1
2
= 2k + 1. Para 1 j k temos
1 2j
p1
2
e para k + 1 j 2k + 1 temos
p1
2
< 2j p 1, donde
(
a
p
) = (1)
k+1
=
_

_
1, se p 3 (mod 8),
1, se p 7 (mod 8).

Teorema 9.5: (Lei de reciprocidade quadratica) Sejam p e q primos mpares. Entao (

p
q
) =
(1)
(p1)(q1)/4
(
q
p
).
Dem: Na notacao acima, com a = q, para cada j P, onde
P = 1, 2, . . . , (p 1)/2,
temos que
j
= 1 se e s o se existe y Z tal que (p 1)/2 qj py < 0. Tal y deve
pertencer a Q, onde
Q = 1, 2, . . . , (q 1)/2.
Assim, temos que (
q
p
) = (1)
m
onde m = [X[ e
X = (x, y) P Q [ (p 1)/2 qx py < 0 ;
note que qx py nunca assume o valor 0. Analogamente, (
p
q
) = (1)
n
, onde n = [Y [ e
Y = (x, y) P Q [ 0 < qx py (q 1)/2 .
34
Da segue que (
p
q
)(
q
p
) = (1)
k
onde k = m + n = [Z[ onde
Z = (x, y) P Q [ (p 1)/2 qx py (q 1)/2
pois qx py nunca assume o valor 0. Temos k = [C[ [A[ [B[ onde C = P Q,
A = (x, y) C [ qx py < (p 1)/2,
B = (x, y) C [ qx py > (q 1)/2.
Como [C[ = (p 1)(q 1)/4, basta mostrar que [A[ = [B[. Mas f : C C denida por
f(x, y) = (((p + 1)/2) x, ((q + 1)/2) y) dene uma bijec ao entre A e B.
10 Extens oes quadraticas de corpos nitos
Sejam p primo e d um inteiro que nao seja quadrado perfeito. O anel (Z/(p))[

d] e o conjunto
a + b

d, a, b Z/(p)
onde
(a + b

d) + ( a +

d) = (a + a) + (b +

b)

d
(a + b

d)( a +

d) = (a a + db

b) + (a

b + ab)

d.
Por denic ao,
a + b

d = a +

d a = a, b =

b.
Como grupo aditivo, (Z/(p))[

d] = Z/(p) Z/(p). Vamos investigar a estrutura multiplicativa

de (Z/(p))[

d]. Observemos inicialmente que, se d e um quadrado m odulo p ent ao (Z/(p))[

d]
n ao pode ser um corpo, pois se a
2
= d em Z/(p) ent ao (a +

d)(a

d) = 0 em (Z/(p))[

d].
A proxima proposic ao e uma recproca deste fato:
Proposicao 10.1: Se (
d
p
) = 1 ent ao (Z/(p))[

d] e um corpo.
Dem: De fato, se (a, b) ,= (0, 0), (a + b

d)
1
= (a b

d)/(a
2
db
2
). Temos que a
2
db
2

(Z/(p))

, pois d n ao e quadrado mod p, logo, se b ,= 0, a

2
db
2
= 0, que equivale a d = (a/b)
2
seria uma contradic ao e, se b = 0, a
2
db
2
= a
2
,= 0 pois (a, b) ,= (0, 0) a ,= 0 a
2
,= 0.

35
Problemas:
1) Sejam a, n > 1 inteiros. Prove que
i) Se a
n
1 e primo entao a = 2 e n e primo.
ii) Se a
n
+ 1 e primo entao n = 2
k
para algum inteiro k.
2) Prove que existem innitos n umeros primos congruentes a 3 m odulo 4.
3) Determine todos os n naturais tais que (2
n
1)/n e inteiro.
4) Determine todos os n naturais que (2
n
+ 1)/n
2
e inteiro.
5) Prove que se a e b s ao naturais e (a
2
+ b
2
)/(ab + 1) e inteiro ent ao (a
2
+ b
2
)/(ab + 1) e
quadrado perfeito.
6) Sejam a, n N

. Considere a seq uencia (x

n
) denida por x
1
= a, x
k+1
= a
x
k
, k N.
Mostre que existe N N tal que x
k+1
x
k
(m odulo n), para todo k N.
Obs.: Os Problemas 4 e 5 foram propostos na 31
a
e na 29
a
Olimpada Internacional de
Matem atica (1990 e 1988) respectivamente.
36
CAP

ITULO 2
N umeros Primos
1 Sobre a distribuicao dos n umeros primos
J a vimos que existem innitos primos; o teorema dos n umeros primos d a uma estimativa de
quantos primos existem ate um inteiro x, ou seja, descreve a distribuic ao dos primos. Dena
(x) como sendo o n umero de primos p com 2 p x.
Teorema 1.1: (Teorema dos n umeros primos)
lim
x
(x)
x/ log x
= 1.
Observe que aqui e em todo o livro log denota o logaritmo natural. Este resultado foi
conjecturado por v arios matem aticos, inclusive por Legendre e Gauss, mas a demonstrac ao
completa s o foi encontrada em 1896, por de la Vallee Poussin e Hadamard (independente-
mante). N ao demonstraremos este teorema: as demonstrac oes elementares conhecidas s ao
todas bastante difceis (lembramos que uma demonstrac ao e dita elementar quando nao usa
ferramentas avancadas: muitas demonstrac oes elementares sao longas e sosticadas). Daremos
uma demonstra cao da seguinte proposic ao (devida a Tchebyche) que e claramente uma versao
fraca do teorema dos n umeros primos.
Proposicao 1.2: Existem constantes positivas c < C tais que
c
x
log x
< (x) < C
x
log x
para todo x 2.
Dem: Observemos inicialmente que
_
2n
n
_
=
(2n)!
n!n!
e m ultiplo de todos os primos p que satisfazem
n < p 2n. Como
_
2n
n
_
<

0k2n
_
2n
k
_
= 2
2n
,
37
segue que o produto dos primos entre n e 2n e menor do que 2
2n
. Como h a (2n) (n) primos
como esses segue que n
(2n)(n)
< 2
2n
(pois todos esses primos s ao maiores que n), donde
((2n) (n)) log n < 2nlog 2 e
(2n) (n) <
2nlog 2
log n
.
Isso implica facilmente, por induc ao, que
(2
k+1
)
5 2
k
k
(comecando com k = 5; ate k = 5 segue de (n) n/2). Da segue que se 2
k
< x 2
k+1
ent ao
(x)
5 2
k
k

5x log 2
log x
pois f(x) = x log 2/ log x e uma func ao crescente para x 3.
Vamos agora provar a outra desigualdade. O expoente do primo p na fatorac ao de n! e
w
p
(n) =
_
n
p
_
+
_
n
p
2
_
+
=

k=1
_
n
p
k
_
(esta e uma soma nita pois se k > log
p
n = log n/ log p ent ao
n
p
k
| = 0). De fato,
n+1
p
j
|
n
p
k
|
e sempre 0 ou 1, e e igual a 1 se e s o se p
j
divide n + 1. Assim, w
p
(n + 1) w
p
(n) e igual ao
expoente de p na fatorac ao de n + 1, o que fornece uma prova por induc ao do fato acima.
Assim, o expoente de p em
_
2n
n
_
= (2n)!/n!
2
e

k=1
__
2n
p
k
_
2
_
n
p
k
__
.
Temos agora que
2n
p
k
| 2
n
p
k
| e sempre 0 ou 1 (pois 0 x x| < 1 para todo x), donde o
expoente de p em
_
2p
p
_
e no m aximor log
p
n = log n/ log p para todo primo p. Por outro lado,
se n < p 2n, o expoente de p em
_
2p
p
_
e 1. Assim, se
_
2n
n
_
=

p<2n
p
p
e a fatoracao de
_
2n
n
_
38
ent ao
log
_
2n
n
_
=

p<2n

p
log p
=

pn

p
log p +

n<p2n
log p
(n) log n + ((2n) (n)) log(2n)
(2n) log(2n)
donde
(2n) log
_
2n
n
_
/ log(2n) nlog 2/ log(2n)
pois
_
2n
n
_
=
2n
n

2n 1
n 1

n + 1
1
2
n
,
donde
(x)
x log 2
log x
para todo x par, o que implica na mesma estimativa para todo x inteiro, pois (2k1) = (2k).

Corolario 1.3: Seja f : N [0, +) uma func ao decrescente. A serie

p primo
f(p)
converge se e somente se a serie

n=2
f(n)
log n
converge. Em particular,

p primo
1
p
= +.
Deixamos a demonstracao deste corolario como exerccio.
Uma aproximac ao mais precisa para (x) e dada por
Li(x) =
_
x
0
dt
log t
,
39
onde tomamos o valor principal desta integral, ou seja,
Li(x) = lim
0
_
1

dt
log t
+
_
x
1+
dt
log t
;
claramente
lim
x
Li(x)
log(x)/x
= 1.
Sabe-se entretanto que
[(x) Li(x)[ Cxe
a(log x)
3/5
(log log x)
1/5
para algum valor das constantes a e C (independente de x). Em particular, para qualquer
k > 0 existe C > 0 tal que,para todo x,
[(x) Li(x)[ C
x
(log x)
k
,
o que mostra que Li(x) (e mesmo x/(log x 1)) e uma aproximacao de (x) bem melhor do
que x/ log x.
A hipotese de Riemann, j a mencionada, equivale a dizer que para todo > 0 existe C com
[(x) Li(x)[ Cx
1/2+
;
ninguem sabe demonstrar que esta estimativa seja correta sequer para algum valor de < 1/2.
A hipotese de Riemann tambem implica que existe C com
[(x) Li(x)[ Cx
1/2
log x,
o que daria uma estimativa para o tamanho deste erro muito melhor de que as que se sabe
demonstrar. Por outro lado, sabe-se demonstrar que nao pode existir nenhuma estimativa
muito melhor do que esta para [(x) Li(x)[: existe uma constante C > 0 e inteiros x
1
e x
2
arbitrariamente grandes com
(x
1
) Li(x
1
) < C

x
1
log log log x
1
log x
1
,
(x
2
) Li(x
2
) > C

x
2
log log log x
2
log x
2
.
40
2 Outros resultados e conjecturas sobre primos
Nesta secao veremos o enunciado de alguns resultados classicos sobre n umeros primos. Tambem
veremos v arios problemas em aberto famosos.
Teorema 2.1: (Dirichlet) Dados naturais a, d com mdc(a, d) = 1, existem innitos primos da
forma a + dn (com n natural).
A demonstrac ao usual deste teorema usa vari aveis complexas. Muitos casos particulares
admitem demonstrac oes elementares mais ou menos simples. O leitor n ao deve ter diculdade
em demonstrar, por exemplo, que existem innitos primos da forma 4n + 3 ou 6n + 5.
Existem v arios renamentos conhecidos do teorema de Dirichlet. Denimos
d,a
(x) como
sendo o n umero de primos da forma a +dn no intervalo [2, x]. De la Vallee Poussin provou que
lim
x+

d,a
(x)
(x)
=
1
(d)
,
isto e, todas as possveis classes m odulo d tem aproximadamente a mesma proporcao de primos.
Por outro lado, Tchebyche observou que para valores pequenos de x
3,2
(x)
3,1
(x) e

4,3
(x)
4,1
(x) s ao positivos. Um teorema de Littlewood, entretanto, demonstra que estas
func oes mudam de sinal innitas vezes. Em 1957, Leech demonstrou que o menor valor de x
para o qual
4,3
(x)
4,1
(x) = 1 e 26861 e em 1978 Bays e Hudson demonstraram que o
menor valor de x para o qual
3,2
(x)
3,1
(x) = 1 e 608981813029.
Seja p(d, a) o menor primo da forma a + dn, n inteiro e
p(d) = maxp(d, a) [ 0 < a < d, mdc(a, d) = 1.
Linnik (1944) provou que existe L > 1 com p(d) < d
L
para todo d sucientemente grande. A
melhor estimativa conhecida para L e L 5, 5, devida a Heath-Brown (1992), que tambem
conjecturou que
p(d) Cd(log d)
2
.
Por outro lado, nao se sabe demonstrar que existam innitos primos da forma n
2
+1; alias,
n ao existe nenhum polinomio P em uma variavel e de grau maior que 1 para o qual se saiba
demonstrar que existem innitos primos da forma P(n), n Z. Por outro lado, existem muitos
41
polin omios em mais de uma variavel que assumem innitos valores primos: por exemplo, prova-
se facilmente que todo primo da forma 4n+1 pode ser escrito tambem na forma a
2
+b
2
, a, b Z.
Por outro lado, Friedlander e Iwaniec provaram recentemente um resultado muito mais difcil:
que existem innitos primos da forma a
2
+ b
4
.
Um dos problemas em aberto mais famosos da matem atica e a conjectura de Goldbach: todo
n umero par maior ou igual a 4 e a soma de dois primos. Chen demonstrou que todo n umero
par sucientemente grande e a soma de um primo com um n umero com no maximo dois fatores
primos. Vinogradov demonstrou que todo mpar sucientemente grande (por exemplo, maior
do que 3
3
15
) e uma soma de tres primos.
Quando p e p + 2 s ao ambos primos, dizemos que eles s ao primos gemeos. Conjectura-se,
mas nao se sabe demonstrar, que existem innitos primos gemeos. Brun, por outro lado, provou
que primos gemeos s ao escassos no seguinte sentido: se
2
(x) e o n umero de pares de primos
gemeos ate x ent ao

2
(x) <
100x
(log x)
2
para x suentemente grande. Em particular,

p primo gemeo
1
p
< +.
Acredita-se que
2
(x) seja assint otico a Cx/(log x)
2
para alguma constante positiva C. Deixa-
mos como exerccio provar a seguinte caracterizac ao de primos gemeos devida a Clement. Seja
n 2; os inteiros n e n + 2 s ao ambos primos se e somente se
4((n 1)! + 1) +n 0 (mod n(n + 2)).
Seja p
n
o n-esimo n umero primo. O teorema dos n umeros primos equivale a dizer que
lim
n
p
n
nlog n
= 1.
Por outro lado, sabe-se muito pouco sobre o comportamento da func ao d
n
= p
n+1
p
n
. Por
exemplo, a conjectura de que existem innitos primos gemeos equivale a dizer que liminf d
n
= 2.
N ao se sabe provar nem que
L = liminf
d
n
log p
n
= 0;
42
Erd os provou que L < 1 e Maier que L 0, 248. Erd os tambem provou que o conjunto dos
pontos de acumulac ao de d
n
/ log p
n
tem medida positiva. Por outro lado, e um teorema cl assico,
conhecido como postulado de Bertrand, que sempre existe pelo menos um primo entre m e 2m,
ou seja, d
n
< p
n
. Em 1931, Westzynthius provou que
limsup
d
n
log p
n
= ,
e em 1963 Rankin, completando um trabalho de Erdos, mostrou que
limsup
d
n
(log log log p
n
)
2
log p
n
log log p
n
log log log log p
n
e

1, 78107
onde e a constante de Euler-Mascheroni,
= lim
n
_
1 +
1
2
+ +
1
n
log n
_
0, 5772156649;
este resultado foi melhorado posteriormente por Pomerance e Pintz, que provou que o lado
esquerdo e maior ou igual a 2e

([Pintz]). Conjectura-se que

limsup
d
n
(log p
n
)
2
= C
para alguma constante positiva C. Outra conjectura famosa e que sempre h a pelo menos
um primo entre n
2
e (n + 1)
2
. Observamos que a primeira vez que d
n
> 1000 ocorre para
p
n
= 1693182318746371, quando d
n
= 1132, o que foi descoberto recentemente por T. Nicely e
D. Nyman.
Sierpinski provou que existem innitos n umeros naturais k tais que k2
n
+1 e composto para
todo natural n e Riesel provou o mesmo resultado para k 2
n
1. Conjectura-se que os menores
valores de k com as propriedades acima sao respectivamente 78557 e 509203. Ha um projeto
cooperativo, que consiste em procurar primos grandes, para demonstrar estas conjecturas (veja
http://vamri.xray.ufl.edu/proths/).
O leitor interessado em aprender mais sobre problemas em aberto em teoria dos n umeros
pode consultar [Guy].
43
3 F ormulas para primos e testes de primalidade
Mencionamos na introducao deste captulo que nao se conhece nenhuma f ormula simples para
gerar primos arbitrariamente grandes. Uma palavra imprecisa mas importante nesta frase e
simples. Existem f ormulas que geram n umeros primos, mas que s ao t ao complicadas que n ao
ajudam muito nem a gerar n umeros primos explicitamente nem a responder perguntas teoricas
sobre a distribui cao dos primos. Um exemplo de formula para p
n
, o n-esimo primo, e
p
n
=

_
1
1
log 2
log
_
_

1
2
+

d[P
n1
(d)
2
d
1
_
_

_
,
onde P
n1
= p
1
p
2
p
n1
; deixamos a demonstrac ao a cargo do leitor. Outra f ormula e
p
n
= 10
2
n
c| 10
2
n1
10
2
n1
c|,
onde
c =

n=1
p
n
10
2
n
= 0.0203000500000007 . . . .
A inutilidade desta ultima f ormula vem do fato que para calcular c devemos encontrar todos os
primos; a f ormula se tornaria mais interessante se existisse outra interpretac ao para o n umero
real c, o que parece muito improvavel. Por outro lado, existe um n umero real a > 1 tal que
a
3
n
| e sempre primo.
Um tipo de f ormula para primos, de certa forma mais intrigante, s ao polin omios de co-
ecientes inteiros em S variaveis com a seguinte propriedade quase magica: a intersec ao da
imagem de N
S
com N e exatamente o conjunto dos n umeros primos. Note que se tomarmos
um ponto de N
S
ao acaso, o valor do polin omio neste ponto quase certamente ser a negativo;
assim, e difcil usar o polin omio para gerar primos. A ttulo de curiosidade, vejamos um exem-
plo de polinomio com estas propriedades; aqui N = 26, o valor do polinomio e P, as vari aveis
44
chamam-se a, b, . . . , z e A, B, . . . , N s ao express oes auxiliares:
P = (k + 2)(1 A
2
B
2
C
2
N
2
),
A = wz + h + j q,
B = (gk + 2g + k + 1)(h + j) + h z,
C = 16(k + 1)
3
(k + 2)(n + 1)
2
+ 1 f
2
,
D = 2n + p + q + z e,
E = e
3
(e + 2)(a + 1)
2
+ 1 o
2
,
F = (a
2
1)y
2
+ 1 x
2
,
G = 16r
2
y
4
(a
2
1) + 1 u
2
,
H = ((a + u
2
(u
2
a))
2
1)(n + 4dy)
2
+ 1 (x + cu)
2
,
I = (a
2
1)l
2
+ 1 m
2
,
J = ai + k + 1 l i,
K = n + l + v y,
L = p + l(a n 1) + b(2an + 2a n
2
2n 2) m,
M = q + y(a p 1) + s(2ap + 2a p
2
2p 2) x,
N = z + pl(a p) + t(2ap p
2
1) pm.
Algumas observac oes simples: a unica forma de P ser positivo e se A = B = = N = 0;
neste caso seu valor sera k + 2. Vemos assim que para produzir um n umero primo P com
este polin omio devemos antes de mais nada tomar k = P 2. As express oes auxiliares viram
equac oes: como A = 0 temos q = wz + h + j. Assim, dado k para o qual k + 2 e primo,
precisamos procurar valores para as outras letras que satisfacam estas equa coes. Estes valores
de certa forma encodicam uma demonstrac ao de que P = k + 2 e primo.
4 Testes de primalidade baseados em fatoracoes de n1
Proposicao 4.1: Seja n > 1. Se para cada fator primo q de n 1 existe um inteiro a
q
tal
que a
n1
q
1 (mod n) e a
(n1)/q
q
, 1 (mod n) ent ao n e primo.
45
Dem: Seja q
kq
a maior potencia de q que divide n 1. A ordem de a
q
em (Z/(n))

e um
m ultiplo de q
kq
, donde (n) e um m ultiplo de q
kq
. Como isto vale para todo fator primo q de
n 1, (n) e um m ultiplo de n 1 e n e primo.
Proposicao 4.2: (Pocklington) Se n 1 = q
k
R onde q e primo e existe um inteiro a tal que
a
n1
1 (mod n) e mdc(a
(n1)/q
1, n) = 1 ent ao qualquer fator primo de n e congruo a 1
m odulo q
k
.
Dem: Se p e um fator primo de n ent ao a
n1
1 (mod p) e p n ao divide a
(n1)/q
1, donde
ord
p
a, a ordem de a m odulo p, divide n 1 mas n ao divide (n 1)/q. Assim, q
k
[ ord
p
a[p 1,
donde p 1 (mod q)
k
.
Corolario 4.3: Se n 1 = FR, com F > R e para todo fator primo q de F existe a > 1 tal
que a
n1
1 (mod n) e mdc(a
(n1)/q
1, n) = 1 ent ao n e primo.
Dem: Seja q um fator primo de F e q
k
a maior potencia de q que divide F; pela proposic ao
anterior, todo fator primo de n deve ser c ongruo a 1 m odulo q
k
. Como isto vale para qualquer
fator primo de F, segue que qualquer fator primo de n deve ser c ongruo a 1 m odulo F. Como
F >

n, isto implica que n e primo.
De fato, basta conhecer um conjunto de fatores primos cujo produto seja maior do que
(n 1)
1/3
para, usando o resultado de Pocklington, tentar demonstrar a primalidade de n (o
que deixamos como exerccio). Os seguintes criterios cl assicos s ao conseq uencias diretas das
proposic oes acima.
Fermat conjecturou que todo n umero da forma F
n
= 2
2
n
+ 1 fosse primo e vericou a
conjectura para n 4. Observe que 2
n
+ 1 (e em geral a
n
+ 1 com a 2) n ao e primo se
n n ao e uma potencia de 2: se p e um fator primo mpar de n, podemos escrever a
n
+ 1 =
b
p
+1 = (b +1)(b
p1
b
p2
+ +b
2
b +1) onde b = a
n/p
. Euler mostraria mais tarde que F
5
n ao e primo (temos F
5
= 4294967297 = 641 6700417) e j a se demonstrou que F
n
e composto
para v arios outros valores de n; nenhum outro primo da forma F
n
= 2
2
n
+ 1 e conhecido, mas
se conhecem muitos primos (alguns bastante grandes) da forma a
2
n
+ 1, que s ao conhecidos
como primos de Fermat generalizados. O teste a seguir mostra como testar ecientemente a
primalidade de F
n
.
46
Corolario 4.4: (Teste de Pepin) Seja F
n
= 2
2
n
+1; F
n
e primo se e somente se 3
(Fn1)/2
1
(mod F
n
).
Dem: Se 3
(Fn1)/2
1 (mod F
n
) ent ao a primalidade de F
n
segue da Proposic ao 4.1. Por
outro lado, se F
n
e primo ent ao 3
(Fn1)/2
(
3
Fn
) = (
Fn
3
) = (
2
3
) = 1 (mod F
n
).
Corolario 4.5: (Teorema de Proth; 1878) Seja n = h 2
k
+ 1 com 2
k
> h. Entao n e primo
se e somente se existe um inteiro a com a
(n1)/2
1 (mod n).
Dem: Se n e primo, podemos tomar a qualquer com (
a
n
) = 1; ou seja, metade dos inteiros
entre 1 e n 1 serve como a. A recproca segue do Corol ario 4.3 com F = 2
k
.
Corolario 4.6: Se n = h q
k
+ 1 com q primo e q
k
> h. Entao n e primo se e somente se
existe um inteiro a com a
n1
1 (mod n) e mdc(a
(n1)/q
1, n) = 1.
Dem: Se n e primo, podemos tomar a qualquer que nao seja da forma x
q
m odulo n; ou seja,
uma proporc ao de (q 1)/q dentre inteiros entre 1 e n 1 serve como a. A recproca segue do
Corol ario 4.3 com F = q
k
.
Uma expressiva maioria entre os 100 maiores primos conhecidos estao nas condic oes do
teorema de Proth (ver tabelas). Isto se deve ao fato de primos desta forma serem freq uentes
(mais freq uentes do que, por exemplo, primos de Mersenne) e que sua primalidade e facilmente
demonstrada usando este resultado.
5 Primos de Mersenne
Um n umero de Mersenne e um n umero da forma M
p
= 2
p
1. Os 5 maiores n umeros primos
conhecidos atualmente s ao primos de Mersenne. O maior deles e 2
13466917
1, descoberto em
14/11/2001. Este e um dos dois primos conhecidos com mais de um milh ao de dgitos. O
outro e 2
6972593
1 (tambem primo de Mersenne). Ambos foram descobertos pelo GIMPS (veja
www.mersenne.org). O criterio de Lucas-Lehmer, que apresentaremos nesta sec ao, e um dos
fatores para que isso ocorra pois fornece um teste de primalidade bastante rapido para n umeros
de Mersenne. Vejamos primeiramente que 2
p
1 so tem chance de ser primo quando p e primo.
Proposicao 5.1: Se 2
n
1 e primo ent ao n e primo.
47
Dem: Se n = ab com a, b 2 entao 1 < 2
a
1 < 2
n
1 e 2
n
1 = 2
ab
1 = (2
a
)
b
1 1
b
1 = 0
(mod 2
a
1) e 2
n
1 e composto.
Por outro lado, nao se sabe demonstrar nem que existam innitos primos de Mersenne nem
que existem innitos primos p para os quais M
p
e composto. Conjectura-se, entretanto, que
existam innitos primos p para os quais M
p
e primo e que, se p
n
e o n-esimo primo deste tipo,
temos
0 < A <
log p
n
n
< B < +
para constantes A e B. Existem algumas conjecturas mais precisas quanto ao valor de
lim
n
n

p
n
;
Eberhart conjectura que este limite exista e seja igual a 3/2; Wagsta por outro lado conjectura
que o limite seja
2
e

1, 4757613971
onde e a ja mencionada constante de Euler-Mascheroni.
Primos de Mersenne s ao interessantes tambem por causa de n umeros perfeitos. Dado n N

,
denimos
(n) =

d[n
d,
a soma dos divisores (positivos) de n. Pelo teorema fundamental da aritmetica demonstramos
facilmente que se
n = p
e
1
1
p
e
2
2
p
em
m
,
com p
1
< p
2
< < p
m
ent ao
(n) = (1 + p
1
+ + p
e
1
1
) (1 + p
m
+ + p
em
m
)
=
p
e
1
+1
1
1
p
1
1

p
em+1
m
1
p
m
1
.
Em particular, se (a, b) = 1 ent ao (ab) = (a)(b). Um inteiro positivo n e dito perfeito se
(n) = 2n; os primeiros n umeros perfeitos sao 6, 28 e 496. Nosso pr oximo resultado caracteriza
os n umeros perfeitos pares.
48
Proposicao 5.2: Se M
p
e um primo de Mersenne ent ao 2
p1
M
p
e perfeito. Alem disso, todo
n umero perfeito par e da 2
p1
M
p
para algum primo p, sendo M
p
um primo de Mersenne.
Dem: Se M
p
e primo ent ao
(2
p1
M
p
) = (2
p
1)(M
p
+ 1) = 2 2
p1
M
p
.
Por outro lado seja n = 2
k
b, com k > 0 e b mpar, um n umero perfeito par. Temos (n) =
2n = (2
k
)(b) donde 2
k+1
b = (2
k+1
1)(b) (2
k+1
1)(b + 1), valendo a igualdade apenas
se b for primo. Desta desigualdade temos b 2
k+1
1. Por outro lado, como (2
k+1
1)[2
k+1
b
e (2
k+1
1, 2
k+1
) = 1, temos (2
k+1
1)[b e 2
k+1
1 b. Assim b = 2
k+1
1 e 2
k+1
b =
(2
k+1
1)(b + 1), donde b e primo. Pela proposi cao 3.9, p = k + 1 e primo, b = M
p
e
n = 2
p1
M
p
.
Por outro lado, um dos problemas em aberto mais antigos da matem atica e o da existencia
de n umeros perfeitos mpares. Sabe-se apenas que um n umero perfeito mpar, se existir, deve
ser muito grande (mais de 300 algarismos) e satisfazer simultaneamente v arias condicoes com-
plicadas.
Conjectura 5.3: N ao existe nenhum n umero perfeito mpar.
Nosso pr oximo resultado e o criterio de Lucas-Lehmer, a base dos algoritmos que testam
para grandes valores de p se 2
p
1 e ou nao primo:
Teorema 5.4: Seja S a seq uencia denida por S
0
= 4, S
k+1
= S
2
k
2 para todo natural k.
Seja n > 2; M
n
= 2
n
1 e primo se e somente se S
n2
e m ultiplo de M
n
.
Dem: Observemos inicialmente que
S
n
= (2 +

3)
2
n
+ (2

3)
2
n
para todo natural n. A demonstracao por indu cao e simples: claramente S
0
= 4 = (2+

3)
2
0
+
(2

3)
2
0
e
S
k+1
= S
2
k
2 = ((2 +

3)
2
k
+ (2

3)
2
k
)
2
2
= ((2 +

3)
2
k
)
2
+ 2 (2 +

3)
2
k
(2

3)
2
k
+ ((2

3)
2
k
)
2
2
= (2 +

3)
2
k+1
+ (2

3)
2
k+1
.
49
Suponha por absurdo que M
n
[(2+

3)
2
n2
+(2

3)
2
n2
e que M
n
seja composto, com um
fator primo q com q
2
< M
n
. Teremos (2+

3)
2
n2
+(2

3)
2
n2
0 (mod q) donde, no grupo
multiplicativo G = (Z/(q)[

3])

, temos (2+

3)
2
n2
= (2

3)
2
n2
. Como 2

3 = (2+

3)
1
esta equac ao pode ser reescrita como (2 +

3)
2
n1
= 1 (ainda em G), o que signica que a
ordem de 2 +

3 em G e exatamente 2
n
. Isto e um absurdo, pois o n umero de elementos de
G e apenas q
2
1 < 2
n
. Fica portanto demonstrado que se S
n2
e m ultiplo de M
n
ent ao M
n
e
primo.
Suponha agora M
n
primo, n > 2. Lembramos que n e um primo mpar. Por reciprocidade
quadr atica temos (
3
Mn
) = (
Mn
3
) = 1, pois 3 M
n
1 (mod 4) e M
n
1 (mod 3).
Assim, 3 n ao e um quadrado em Z/(M
p
) e K = Z/(M
p
)[

3] e um corpo de ordem M
2
n
. Alem
disso, 3
mn1
2
= (
3
Mn
) = 1 em K. Queremos provar que (2 +

3)
2
n2
+ (2

3)
2
n2
0
(mod M)
p
, ou seja, que e igual a 0 em K. Isto equivale a demonstrarmos que temos (2 +

3)
2
n2
= (2

3)
2
n2
em K, o que pode ser reescrito como (2 +

3)
2
n1
= 1; devemos
portanto provar que a ordem de 2 +

3 e exatamente 2
n
. Note que 2
n
= M
n
+ 1 donde
(2 +

3)
2
n
= (2 +

3)
Mn
(2 +

3) = (2

3)(2 +

3) = 1 (note que, em K, (2 +

3)
Mn
=
(2
Mn
+

3)
Mn
= 2 + 3
Mn1
2

3 = 2

3); assim e claro que a ordem de 2 +

3 e um divisor
de 2
n
.
Como K

tem M
2
n
1 = 2
n+1
(2
n1
1) elementos, devemos provar que 2 +

3 nao e uma
quarta potencia em K. Note que (2 +

3)
2
n
= 1 demonstra que 2 +

3 e um quadrado, o
que alias pode ser visto mais diretamente: 2 +

3 = (1 +

3)
2
/2 e 2 = 2
n+1
= 2
(n+1)
2
e uma
quarta potencia em K. Resta-nos assim demonstrar que (1 +

3) nao s ao quadrados em K.
Suponha por absurdo que (1 +

3) = (a +b

3)
2
, com = 1; temos (1

3) = (a b

3)
2
e, multiplicando, 2 = (a
2
3b
2
)
2
, o que signica que 2 e um quadrado m odulo M
n
(pois a
e b s ao inteiros). Isto, entretanto, e claramente falso: (
2
Mn
) = (
1
Mn
)(
2
Mn
) = 1 1 = 1, pois
M
n
3 (mod 4) e j a vimos que 2 e um quadrado m odulo M
p
. Isto conclui a demonstrac ao.

Mesmo quando M
p
n ao e primo, podemos garantir que seus fatores primos ser ao de certas
formas especiais. Isto e muito util quando procuramos primos de Mersenne pois podemos
eliminar alguns expoentes encontrando fatores primos de M
p
. Isto tambem pode ser util para
50
conjecturarmos quanto `a probabilidade de M
p
ser primo, ou, mais precisamente, quanto ` a
distribuic ao dos primos de Mersenne.
Proposicao 5.5: Sejam p > 2 e q primos com q um divisor de M
p
. Entao q 1 (mod p) e
q 1 (mod 8).
Dem: Se q divide M
p
ent ao 2
p
1 (mod q), o que signica que a ordem de 2 modulo q e
p (pois p e primo). Isto signica que p e um divisor de q 1, ou seja, que q 1 (mod p).
Por outro lado, 2 2
p+1
= (2
(p+1)/2
)
2
(mod q), donde (
2
q
) = 1, o que signica que q 1
(mod 8).
Os varios valores de p para os quais a primalidade de M
p
foi testada sugerem que para a
ampla maioria dos valores de p, M
p
nao e primo. Isto e apenas uma conjectura: n ao se sabe
demonstrar sequer que existem innitos primos p para os quais M
p
seja composto. Vamos agora
ver uma proposi cao que serve para garantir que para certos valores especiais de p, alguns muito
grandes, M
p
nao e primo.
Proposicao 5.6: Seja p primo, p 3 (mod 4). Entao 2p + 1 e primo se e somente se 2p + 1
divide M
p
.
Dem: Se q e primo entao M
p
= 2
p
1 = 2
(q1)/2
1 (
2
q
) 1 (mod q). Mas p 3 (mod 4)
signica que q 7 (mod 8), donde (
2
q
) = 1. Assim, M
p
0 (mod q), o que demonstra uma
das implicac oes da proposic ao.
Por outro lado, se 2p +1 nao e primo tem fatores primos r com r , 1 (mod p) (pois r < p).
Se 2p +1 dividisse M
p
, r seria um fator primo de M
p
, contrariando a proposicao anterior.
Os primos p para os quais 2p+1 e primo sao chamados de primos de Sophie Germain. Alguns
primos de Sophie Germain bastante grandes sao conhecidos, como p
0
= 18458709 2
32611
1;
assim, pela proposi cao anterior, M
p
0
e composto. Sabe-se tambem que se
SG
(x) denota o
n umero de primos de Sophie Germain menores do que x ent ao existe C tal que para todo x

SG
(x) < C
x
(log x)
2
.
Acredita-se que
SG
(x) seja assintotico a cx/(log x)
2
para algum c > 0 mas nao se sabe de-
monstrar sequer que existem innitos primos de Sophie Germain.
51
PARTE II
APROXIMAC

OES DIOFANTINAS
52
53
CAP

ITULO 3
Fracoes Contnuas, Representacoes de N umeros
e Aproximac oes
Introducao
A teoria de frac oes contnuas e um dos mais belos temas da matem atica elementar, sendo
ainda hoje assunto de pesquisa recente (incluindo a do autor destas linhas). O objetivo deste
artigo e servir como referencia didatica em portugues a nvel secund ario sobre o assunto.
Nas inclusoes N Z Q R a passagem de Q para R e sem d uvida a mais complicada
conceitualmente, e a representac ao de um n umero real est a diretamente ligada `a pr opria noc ao
de n umero real.
De fato, o conceito de n umero natural e quase um conceito primitivo no ensino secundario.
J a um n umero inteiro e um n umero natural com um sinal que pode ser + ou , e um n umero
racional e a raz ao entre um n umero inteiro e um natural n ao nulo. Por outro lado, dizer o que
e um n umero real e tarefa bem mais complicada, mas h a coisas que podemos dizer sobre eles.
Uma propriedade essencial de R e que todo n umero real pode ser bem aproximado por n umeros
racionais. Efetivamente, dado x R, existe k Z (k = [x]) tal que 0 x k < 1. Podemos
escrever a representacao decimal de xk = 0, a
1
a
2
. . . a
n
. . . , a
i
0, 1, . . . , 9, o que signica
que se r
n
= a
n
+10 a
n1
+100 a
n2
+ +10
n1
a
1
, entao
r
n
10
n
xk <
r
n
+ 1
10
n
, e portanto
k +
r
n
10
n
e uma boa aproximac ao racional de x, no sentido que o erro

x
_
k +
r
n
10
n
_

e menor
que
1
10
n
, que e um n umero bem pequeno se n for grande. A representac ao decimal de um
n umero real fornece pois uma seq uencia de aproximac oes por racionais cujos denominadores
s ao potencias de 10.
Dado qualquer x R e q natural n ao nulo existe p Z tal que
p
q
x <
p + 1
q
, e por-
tanto

x
p
q

<
1
q
e

x
p + 1
q

1
q
. Em particular h a aproximacoes de x por racionais com
54
denominador q com erro menor que
1
q
. A representa cao decimal de x equivale a dar essas
aproxima coes para os denominadores q que s ao potencias de 10, e tem meritos como sua prati-
cidade para efetuar calculos que a fazem a mais popular das representac oes dos n umeros reais.
Por outro lado, envolve a escolha arbitraria da base 10, e oculta freq uentemente aproximac oes
racionais de x muito mais ecientes do que as que exibe. Por exemplo,

22
7

<
1
700
<

314
100

355
113

<
1
3000000
<

3141592
1000000

mostram que
22
7
e
355
113
s ao melhores aproximacoes de que aproximac oes decimais com de-
nominadores muito maiores, e de fato s ao aproximac oes muito mais espetaculares do que se
podia esperar.
O objetivo deste artigo e apresentar uma outra maneira de representar n umeros reais, que
sempre fornece aproxima coes racionais surpreendentemente boas, e de fato fornece todas es-
sas aproximac oes excepcionalmente boas, alem de ser natural e conceitualmente simples: a
representa cao por fra coes contnuas.
Dado x R, denimos [x] como o unico inteiro tal que [x] x < [x] + 1. Denimos
recursivamente

0
= x, a
n
= [
n
], e, se
n
Z,
n+1
=
1

n
a
n
, para todo n N.
Se, para algum n,
n
= a
n
temos
x =
0
= a
0
+
1
a
1
+
1
a
2
+ +
1
a
n
=: [a
0
; a
1
, a
2
, . . . , a
n
].
Sen ao denotamos
x = a
0
+
1
a
1
+
1
a
2
+ . . .
=: [a
0
; a
1
, a
2
, . . . ].
O sentido dessa ultima notacao cara claro mais tarde. A representac ao acima se chama a
representa cao por fra coes contnuas de x.
Curiosidade: O denominador da n-esima aproximacao em base B de um n umero real e B
n
.
55
J a o denominador q
n
da n-esima aproximac ao por frac ao contnua de x depende de x. Apesar
disso, para quase todo real x,
n

q
n
converge a e

2
/12 ln 2
= 3, 27582291872 . . . (meu n umero real
preferido!) e
n

x
p
n
q
n

converge a e

2
/6 ln 2
= 0, 093187822954 . . . .
Observacao: Os
n
(como func oes de x) sao fun coes distintas do tipo
ax + b
cx + d
com a, b, c, d
inteiros. Se a fra cao contnua de x e peri odica, ou seja, se
n+k
=
n
, n N, k N

, ent ao x
ser a raiz de uma equa cao do segundo grau com coecientes inteiros, ou seja, sera um irracional
da forma r +

s, r, s Q. A recproca e verdadeira (de fato j a foi enunciada no artigo de Jose

Paulo Carneiro na RPN, ver referencias), mas sua prova e mais difcil, e sera apresentada no
Apendice.
Se x Q, sua representa cao ser a nita, e seus coecientes a
n
vem do algoritmo de Euclides:
x =
p
q
, q > 0 p = a
0
q + r
0
0 r
0
< q
q = a
1
r
0
+ r
1
0 r
1
< r
0
r
0
= a
2
r
1
+ r
2
0 r
2
< r
1
.
.
.
.
.
.
r
n2
= a
n
r
n1
Isso j a e uma vantagem da representac ao por frac oes contnuas (alem de n ao depender
de escolhas articiais de base), pois o reconhecimento de racionais e mais simples que na
representa cao decimal.
1 Reduzidas e boas aproximac oes
Seja x = [a
0
; a
1
, a
2
, . . . ]. Sejam p
n
Z, q
n
N

primos entre si tais que

p
n
q
n
= [a
0
; a
1
, a
2
, . . . , a
n
],
n 0. O seguinte resultado ser a fundamental no que seguir a.
Proposicao 1.1: (p
n
) e (q
n
) satisfazem a recorrencia p
n+2
= a
n+2
p
n+1
+ p
n
, e q
n+2
=
a
n+2
q
n+1
+ q
n
, para todo n 0. Temos ainda p
0
= a
0
, p
1
= a
0
a
1
+ 1, q
0
= 1, q
1
= a
1
.
56
Alem disso, p
n+1
q
n
p
n
q
n+1
= (1)
n
, n 0.
Dem: Por induc ao em n, provaremos que se t
k
> 0, para k > 1 ent ao [t
0
; t
1
, t
2
, . . . , t
n
] =
x
k
y
k
onde as seq uencias (x
m
) e (y
m
) sao denidas por x
0
= t
0
, y
0
= 1, x
1
= t
0
t
1
+ 1, y
1
= t
0
x
n+2
= t
n+2
x
n+1
+x
n
, y
n+2
= t
n+2
y
n+1
+y
n
, n. Suponha que a armacao seja v alida para
k = n. Para k = n + 1 temos
[t
0
; t
1
, t
2
, . . . , t
n
, t
n+1
] = [t
0
; t
1
, t
2
, . . . , t
n
+
1
t
n+1
] =
=
_
t
n
+
1
t
n+1
_
x
n1
+ x
n2
_
t
n
+
1
t
n+1
_
y
n1
+ y
n2
=
t
n+1
(t
n
x
n1
+ x
n2
) + x
n1
t
n+1
(t
n
y
n1
+ y
n2
) + y
n1
=
t
n+1
x
n
+ x
n1
t
n+1
y
n
+ y
n1

Por outro lado as igualdades

p
1
q
0
p
0
q
1
= (a
0
a
1
+ 1) a
0
a
1
= 1
p
n+2
q
n+1
p
n+1
q
n+2
= (a
n+2
p
n+1
+ p
n
)q
n+1
(a
n+2
q
n+1
+ q
n
)p
n+1
= (p
n+1
q
n
p
n
q
n+1
)
mostram que p
n+1
q
n
p
n
q
n+1
= (1)
n
, n N, o que implica em particular que os p
n
, q
n
dados pelas recorrencias acima s ao primos entre si.
Corolario 1.2: x =

n
p
n1
+ p
n2

n
q
n1
+ q
n2
e
n
=
p
n2
q
n2

q
n1
p
n1
, n N.
Dem: A primeira igualdade e conseq uencia direta da prova, e a segunda e conseq uencia direta
da primeira pois x = [a
0
; a
1
, a
2
, . . . , a
n1
,
n
].
Note que as reduzidas de ordem par s ao menores e as de ordem mpar maiores que x =
[a
0
; a
1
, . . . ].
Teorema 1.3:

x
p
n
q
n

1
q
n
q
n+1
<
1
q
2
n
, n N.
Alem disso,

x
p
n
q
n

<
1
2q
2
n
ou

x
p
n+1
q
n+1

<
1
2q
2
n+1
, n N.
Dem: x sempre pertence ao segmento de extremos
p
n
q
n
e
p
n+1
q
n+1
cujo comprimento e

p
n+1
q
n+1

p
n
q
n

(1)
n
q
n
q
n+1

=
1
q
n
q
n+1

x
p
n
q
n

1
q
n
q
n+1
<
1
q
2
n

57
Alem disso, se

x
p
n
q
n

1
2q
2
n
e

x
p
n+1
q
n+1

>
1
2q
2
n+1
,
ent ao
1
q
n
q
n+1
=

x
p
n
q
n

x
p
n+1
q
n+1

1
2q
2
n
+
1
2q
2
n+1
q
n+1
= q
n
, absurdo.

Observacao: De fato

x
p
n
q
n

<
1
q
n
q
n+1
<
1
a
n+1
q
2
n
. Quanto maior for a
n+1
melhor ser a a
aproxima cao
p
n
q
n
de x. O pr oximo resultado nos d a explicitamente o erro da aproxima cao de x
por
p
n
q
n
.
Proposicao 1.4:
x
p
n
q
n
=
(1)
n
(
n+1
+
n+1
)q
2
n
, onde
n+1
=
q
n1
q
n
= [0; a
n
, a
n1
, a
n2
, . . . , a
1
].
Dem: Temos
n+1
=
p
n1
q
n1
x
q
n
x p
n
. Portanto,

n+1
+
n+1
=
p
n1
q
n1
x
q
n
x p
n
+
q
n1
q
n
=
p
n1
q
n
p
n
q
n1
q
n
(q
n
x p
n
)
=
(1)
n
q
n
(q
n
x p
n
)
x
p
n
q
n
=
=
q
n
(q
n
x p
n
)
q
2
n
=
(1)
n
(
n+1
+
n+1
)q
2
n
.

Como aplicac ao podemos provar o seguinte.

Teorema 1.5: (Hurwitz, Markov). Para todo irracional, n 1 temos

p
q

<
1

5q
2
para
pelo menos um racional
p
q

_
p
n1
q
n1
,
p
n
q
n
,
p
n+1
q
n+1
_
. Em particular

p
q

<
1

5q
2
tem innitas
soluc oes racionais p/q.
Dem: Suponha que o teorema seja falso. Ent ao existe irracional, n 1 com
n
+
n

5,
n+1
+
n+1

5 e
n+2
+
n+2
5. Devemos portanto ter a
n
= a
n+1
= a
n+2
= 1 (todos
s ao claramente no m aximo 2, e se algum a
k
e igual a 2 com k n, n + 1, n + 2, teramos
a
k
+
k
2 +
1
3
>

5, absurdo.)
58
Seja x = 1/
n+2
e y =
n+1
. As desigualdades acima se traduzem em
1
1 + x
+
1
y

5, 1 + x + y

5 e e
1
x
+
1
1 + y

5.
Temos
1 + x + y

5 1 + x

5 y
1
1 + x
+
1
y

1

5 y
+
1
y
=

5
y(

5 y)
e portanto y(

5 y) 1 y

5 1
2
Por outro lado temos
x

5 1 y
1
x
+
1
1 + 4

1

5 1 y
+
1
1 + 4
=

5
(1 + y)(

5 1 y)
e portanto (1 +y)(

5 1 y) 1 y

5 1
2
, e portanto devemos ter y =

5 1
2
, o que
e absurdo pois y =
n+1
=
q
n1
q
n
Q.
Observacao: Em particular provamos que

p
q

<
1

5q
2
tem innitas soluc oes racionais
p
q
,
para todo irracional.

5 e o maior n umero com essa propriedade. De fato, se

> 0, =
1 +

5
2
e

p
q

<
1
(

5 + )q
2
,
temos

q
_
1 +

5
2
_
p

<
1
(

5 + )q

q
_
1 +

5
2
_
p

q
_
1

5
2
_
p

<

5
2

p
q

5 +
,
ou seja,
[p
2
pq q
2
[ <

1 +

5
2

p
q

_
(

5 + ).
Se q e grande, 1/q
2
e pequeno, e
1 +

5
2

p
q
e muito pr oximo de 0, donde

1 +

5
2

p
q

_
(

5 + ) e muito pr oximo de

5 +
< 1, absurdo, pois
[p
2
pq q
2
[ 1 (de fato p
2
pq q
2
e um inteiro n ao nulo, pois se p
2
pq q
2
= 0
teramos
_
p
q
_
2

_
p
q
_
1 = 0
p
q

_
1 +

5
2
,
1

5
2
_
,
59
absurdo, pois
p
q
Q.)
Outra maneira de ver que, para todo > 0,

1 +

5
2

p
q

<
1
(

5 + )q
2
tem apenas um
n umero nito de solu coes
p
q
Z e observar que as melhores aproximac oes racionais de
1 +

5
2
s ao as reduzidas
p
n
q
n
de sua fra cao contnua [1, 1, 1, 1, . . . ] (ver se cao 2 e exemplos), para as quais
temos

1 +

5
2

p
n
q
n

=
1
(
n+1
+
n+1
)q
2
n
, com
n+1
+
n+1
se aproximando cada vez mais de
[1; 1, 1, 1, . . . ] + [0; 1.1.1. . . . ] =
1 +

5
2
+

5 1
2
=

5.
Exemplos:
= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, . . . ], portanto
p
0
q
0
= 3,
p
1
q
1
=
22
7
,
p
2
q
2
=
333
106
,
p
3
q
3
=
355
113
. . .
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . , 1, 1, 2n, . . . ] (isso n ao e facil de provar.)

2 = [1; 2, 2, 2, . . . ] pois

2 = 1 +
1

2 + 1
= 1 +
1
2
+
1

2 + 1
= 1 +
1
2
+
1
2
+
1

2 + 1
=
1 +

5
2
= [1; 1, 1, 1, . . . ] pois
1 +

5
2
= 1 +
1 +

5
2
= 1 +
1 +

5
2
+
1 +

5
2
=
Isto prova em particular que

2 e
1 +

5
2
s ao irracionais, pois sua fracao contnua e
innita.
2 Boas aproximac oes sao reduzidas
O pr oximo teorema (e seu Corolario 2) caracteriza as reduzidas em termo do erro reduzido da
aproxima cao de x por p/q, o qual e, por denic ao, a raz ao entre [x p/q[ e o erro maximo da
60
aproxima cao por falta com denominador q, que e 1/q. Assim, o erro reduzido da aproxima cao
de x por p/q e [qx p[.
Teorema 2.1: [q
n
x p
n
[ < [qx p[, p, q Z, 0 < q < q
n
p
q
,=
p
n
q
n
. Alem disso,
[q
n
x p
n
[ [qx p[, p, q Z, 0 < q < q
n+1
.
Dem:

p
q

p
n
q
n

1
qq
n
>
1
q
n
q
n+1
se q < q
n+1
, e assim
p
q
est a fora do intervalo
_
p
n
q
n
,
p
n+1
q
n+1
_
.
Portanto

x
p
q

min
_

p
q

p
n
q
n

p
q

p
n+1
q
n+1

_

1
qq
n+1
[qx p[

1
q
n+1
[q
n
x p
n
[.
Alem disso, se vale a igualdade, ent ao x =
p
n+1
q
n+1
, donde a
n+1
2, e q
n+1
> 2q
n
, pois numa
frac ao contnua nita, como no algoritmo de Euclides, o ultimo coeciente a
n
e sempre maior
que 1. Nesse caso, se q < q
n
, teremos

x
p
q

x
p
n
q
n

p
n+1
q
n+1

p
n
q
n

1
qq
n

1
q
n
q
n+1
=
q
n+1
q
qq
n
q
n+1
>
1
qq
n+1
[qx p[ >
1
q
n+1
[q
n
x p
n
[.
Corolario 2.2:

x
p
n
q
n

<

x
p
q

, q < q
n
.
Corolario 2.3: Se [qx p[ < [q
t
x p
t
[, q
t
q,
p
q
,=
q
t
q
t
ent ao p/q e uma reduzida da frac ao
contnua de x.
Dem: Tome n tal que q
n
q < q
n+1
.
Teremos [q
n
x p
n
[ [qx p[, e portanto p/q = p
n
/q
n
.
Teorema 2.4: Se

x
p
q

<
1
2q
2
ent ao
p
q
e uma reduzida da frac ao contnua de x.
Dem: Seja n tal que q
n
< q q
n+1
. Suponha que
p
q
,=
p
n+1
q
n+1
. Entao, temos duas possibilidades:
61
a) q
q
n+1
2

x
p
q

1
qq
n+1

1
2q
2
.
b) q <
q
n+1
2
q
n+1
> 2q
n

x
p
q

p
n
q
n

p
q

p
nm
q
nm

p
n
q
n

1
qq
n

1
q
n
q
n+1
=
q
n+1
q
qq
n
q
n+1
>
1
2qqn
>
1
2q
2
.
3 Fracoes contnuas peri odicas
Nesta sec ao provaremos que os n umeros reais com fra cao contnua peri odica s ao exatamente as
razes de equac oes do segundo grau com coecientes inteiros.
Lembramos que na representacao de x por fra cao contnua, a
n
,
n
s ao denidos por recurs ao
por

0
= x, a
n
= [
n
],
n+1
=
1

n
a
n

E temos

n
=
p
n2
q
n2
x
q
n1
x p
n1
, n N.
Isso d a uma prova explcita do fato de que se a frac ao contnua de x e peri odica, entao
x e raiz de uma equac ao do segundo grau com coecientes inteiros. De fato, se
n+k
=
n
,
n N, k N

ent ao
p
n2
q
n2
x
q
n1
x p
n1
=
p
n+k2
q
n+k2
x
q
n+k1
x p
n+k1
(q
n1
q
n+k2
q
n2
q
n+k1
)x
2
+ (p
n+k1
q
n2
+ p
n2
q
n+k1
p
n+k2
q
n1
p
n1
q
n+k2
)x
+ p
n1
p
n+k2
p
n2
p
n+k1
= 0.
Note que o coeciente de x
2
e n ao-nulo, pois
q
n1
q
n2
e uma frac ao irredutvel (de fato p
n1
q
n2

p
n2
q
n1
= (1)
n
) de denominador q
n2
e
q
n+k1
q
n+k2
e uma frac ao irredutivel de denominador
q
n+k2
> q
n2
, donde
q
n1
q
n2
,=
q
n+k1
q
n+k2
q
n1
q
n+k2
q
n2
q
n+k1
,= 0.
Vamos provar agora um resultado devido a Lagrange segundo o qual se x e uma irracional-
idade quadratica, isto e, se x e um irracional do tipo r +

s, r, s Q, s > 0 ent ao a fracao

contnua de x e peri odica, i.e., existem n N, k N

com
n+k
=
n
. Neste caso, existem a,
62
b, c inteiros tais que ax
2
+ bx + c = 0, com b
2
4ac > 0 e

b
2
4ac irracional. Como vimos
na secao 1,
x =
p
n1

n
+ p
n2
q
n1

n
+ q
n2
,
e portanto
ax
2
+ bx + c = 0 a
_
p
n1

n
+ p
n2
q
n1

n
+ q
n2
_
2
+ b
_
p
n1

n
+ p
n2
q
n1

n
+ q
n2
_
+ c = 0
A
n

2
n
+ B
n

n
+ C
n
= 0,
onde
A
n
= a p
2
n1
+ b p
n1
q
n1
+ c q
2
n1
B
n
= 2a p
n1
p
n2
+ b(p
n1
q
n2
+ p
n2
q
n1
) + 2c q
n1
q
n2
C
n
= a p
2
n2
+ b p
n2
q
n2
+ c q
2
n2
.
Note que C
n
= A
n1
. Vamos provar que existe M > 0 tal que 0 < [A
n
[ M para todo
n N, e portanto 0 < [C
n
[ M, n N:
A
n
= a p
2
n1
+ b p
n1
q
n1
+ c q
2
n1
= a q
2
n1
_
x
p
n1
q
n1
__
x
p
n1
q
n1
_
,
onde x e x s ao as razes de a, X
2
+ b X + c = 0, mas

x
p
n1
q
n1

<
1
q
2
n1
1 [A
n
[ = a q
2
n1

x
p
n1
q
n1

x
p
n1
q
n1

a
_
[ x x[ +

x
p
n1
q
n1

_
a([ x x[ + 1) =: M.
Notemos agora que B
2
n
4A
n
C
n
= b
2
4ac, n N. De fato, B
2
n
4A
n
C
n
= (p
n1
q
n2

p
n2
q
n1
)
2
(b
2
4ac) = b
2
4ac. Portanto, B
2
n
4A
n
C
n
+b
2
4ac = 4M
2
+b
2
4ac B
n

M
t
=

4M
2
+ b
2
4ac, n N.
Provamos assim que A
n
, B
n
e C
n
est ao uniformemente limitados, donde ha apenas um
n umero nito de possveis equac oes A
n
X
2
+B
n
X +C
n
= 0, e portanto de possveis valores de

n
. Assim, necessariamente
n+k
=
n
para alguma escolha de n N, k N

.
63
Aplicacao: A equac ao de Pell.
Seja A um inteiro positivo. Estamos interessados na equacao x
2
Ay
2
= 1, com x e y inteiros.
Se A e um quadrado perfeito, digamos a = k
2
, temos que x
2
Ay
2
= (x ky)(x + ky) = 0
admite apenas as solucoes triviais y = 0, x = 1, pois teramos x ky = x + ky = 1. o
caso itneressante e quando A n ao e um quadrado pergeito, e portanto

A e um irracional (de
fato, se

A =
p
q
, com mdc(p, q) = 1 e q > 1, teramos A =
p
2
q
2
o que e um absurdo, pois
mdc(p, q) = 1 mdc(p
2
, q
2
) = 1, donde p
2
/q
2
n ao pode ser inteiro). nesse caso, a equac ao
x
2
Ay
2
= 1 e conhecida como uma equacao de Pell . Nosso resultado principal e o seguinte:
Teorema 3.1: A equacao x
2
Ay
2
= 1 tem innitas soluc oes inteiras (x, y). Alem disso, as
soluc oes com x e y inteiros positivos podem ser enumeradas por (x
n
, y
n
), n 0 de modo que,
para todo n, x
n
+ y
n

A = (x
1
+ y
1

A)
n
, e portanto
x
n
=
(x
1
+ y
1

A)
n
+ (x
1
y
1

A)
n
2
e y
n
=
(x
1
+ y
1

A)
n
+ (x
1
y
1

A)
n
2

A
.
Observacao: As seq uencias (x
n
) e (y
n
) acma satisfazem a recorrencia u
n+2
= 2x
0
u
n+1
u
n
,
n 1.
Dem: Observemos inicialmente que, se D = x + y

A [ x, y Z ent ao N: D D,
N(x + y

A) = x
2
Ay
2
e uma func ao multiplicativa, isto e,
N((x + y

A)(u + v

A)) = N(x + y

A)N(u + v

A), x, y, u, v Z.
De fato,
N((x + y

A)(u + v

A)) = N((xu + ayv) + (xv + yu)

A) = (xu + Ayv)
2
A(xv + yu)
2
= x
2
u
2
+ A
2
y
2
v
2
A(x
2
v
2
+ y
2
u
2
) = (x
2
Ay
2
)(u
2
Av
2
).
Usaremos agora o fato de que, como

A e irracional, a desigualdade [

A
p
q
[ <
1
q
2
tem innitas
soluc oes racionais p/q. Note que se [

A
p
q
[ <
1
q
2
ent ao
[p
2
Aq
2
[ = [p q

A[[p + q

A[ = q[

A
p
q
[[p + q

A[ < q
1
q
2
[p + q

A[
= [
p
q
+

A[ 2

A +[

A
p
q
[ < 2

A + 1.
64
Considerando innitos pares de inteiros positivos (p
n
, q
n
) com [

A
pn
qn
[ <
1
q
2
n
, teremos sempre
[p
n
Aq
2
n
[ < 2

A + 1, e portanto temos um n umero nito de possibilidades para o valor

(inteiro) de p
n
Aq
2
n
. consequentemente, existe um inteiro k ,= 0 tal que p
n
Aq
2
n
= k
para innitos valores de n. Obtemos portanto duas seq uencias crescentes de pares de inteiros
positivos u
r
), (v
r
), r N tais que u
2
r
kv
2
r
= k para todo r.
Como h a apenas [k[
2
possibilidades para os pares (u
r
(mod [k[), v
r
(mod [k[)), axistem in-
teiros a e b e innitos valores de r tais que u
r
a(mod [k[) e v
r
b(mod [k[). Tomamos ent ao
r < s com as propriedades acima. Seja
x + y

A =
u
s
+ v
s

A
u
r
+ v
r

A
=
(u
s
+ v
s

A)(u
r
v
r

A)
u
2
r
Av
2
r
=
u
s
u
r
Av
s
v
r
k
+
_
u
r
v
s
u
s
v
r
k
_

A.
Temos u
s
u
r
Av
s
V
r
u
2
r
Av
2
r
= k 0(mod [k[) e u
r
v
s
u
s
v
r
ab ab = 0(mod [k[), e
portanto x =
usurAvsvr
k
e y =
urvsusvr
k
s ao inteiros. Por outro lado, (x + y

A)(u
r
+ v
r

A) =
u
s
+ v
s

A, donde N(x + y

A)N(u
r
+ v
r

A) = N(u
s
+ v
s

A). Como N(u

r
+ v
r

A) =
N(u
s
+ v
s

A) = k, segue que N(x + y

A) = x
2
Ay
2
= 1. Alem disso, como s > r,
u
s
+ v
s

A > u
r
+ v
r

A, donde x + y

A =
us+vs

A
ur+vr

A
> 1.
Sejam agora x
1
, y
1
Z tais que x
1
+ y
1

A > 1 e x
2
1
Ay
2
1
= 1 com x
1
+ y
1

A mnimo.
Temos ent ao (x
1
+y
1

A)
1
= x
1
y
1

A. Vamos mostrar que, se x+ y

A > 1 e x
2
A y
2
= 1
(com x e y inteiros) ent ao x + y

A = (x
1
+ y
1

A)
n
para algum inteiro positivo n. Para
isso, tome n 1 tal que (x
1
+ y
1

A)
n
x + y

A < (x
1
+ y
1

A)
n+1
. Temos ent ao 1
( x + y

A)(x
1
y
1

A)
n
< x
1
+ y
1

A. Se u + v

A = ( x + y

A)(x
1
y
1

A)
n
, com u e v
inteiros, temos
u
2
Av
2
= N(u + v

A) = N( x + y

A)N(x
1
y
1

A)
n
= 1,
donde u + v

A = 1, pela minimalidade de x
1
+ y
1

A, pois 1 u + v

A < x
1
+ y
1

A. Note
nalmente que se x e y s ao inteiros e x
2
Ay
2
= 1 ent ao x + y

A > 1 equivale a termos

x e y positivos, pois temos 0 < (x + y

A)
1
= x y

A < 1, donde x =
(x+y

A)+(xy

A)
2
e
y =
(x+y

A)(xy

A)
2

A
s ao positivos.
65
CAP

ITULO 4
Propriedades Estatsticas de Fracoes Contnuas
e Aproximac oes Diofantinas: O Teorema de Khintchine
Introducao:
O problema basico da teoria de aproximacoes diofantinas e o de estudar boas aproximac oes
de n umeros reais por n umeros racionais. Uma extens ao natural desse problema e o estudo de
aproxima coes simult aneas de n n umeros reais por n umeros racionais com o mesmo denominador.
Dado um n umero irracional , um resultado cl assico de Dirichlet (que ja provamos usando
frac oes contnuas) arma que existem innitos racionais
p
q
tais que [
p
q
[ <
1
q
2
(vejamos outra
prova simples: dado N N, consideramos os N + 1 elementos de [0, 1) da forma j j|,
com 0 j N. Como [0, 1) =

N1
k=0
_
k
N
,
k+1
N
_
, existem dois desses elementos, digamos
j
1
j
1
| e j
2
j
2
| num mesmo intervalo
_
k
N
,
k+1
N
_
, e portanto, se j
1
< j
2
, q = j
2
j
1
e
p = j
2
| j
1
|, temos 0 < [qp[ <
1
N
[
p
q
[ <
1
qN

1
q
2
). Hurwitz e Markov provaram
que de fato [
p
q
[ <
1

5q
2
tem innitas solu coes
p
q
Q, para todo irracional , e que

5 e a
maior constante com essa propriedade. Markov ([Ma]) provou que, para todo c < 3, o conjunto
dos R tais que [
p
q
[ <
1
cq
2
tem apenas um n umero nito de solucoes
p
q
Q e enumer avel,
mas o conjunto dos R tais que [
p
q
[ <
1
3q
2
tem apenas um n umero nito de soluc oes tem
o mesmo cardinal que R.
Neste artigo, vamos estudar desigualdades do tipo
[
p
q
[ <
f(q)
q
, (1)
onde f : N R
+
e uma fun cao decrescente, do ponto de vista da teoria da medida. Vamos
provar o teorema de Khintchine, segundo o qual, se

q=1
f(q) = + ent ao (1) tem innitas
soluc oes
p
q
Q, para quase todo R, mas se

q=1
f(q) < + ent ao (1) tem apenas um
n umero nito de soluc oes
p
q
Q, para quase todo R.
66
Note que do ponto de vista topol ogico a situac ao e diferente: qualquer que seja a funcao
positiva f, (1) tem innitas solu coes
p
q
Q para R
f
, onde R
f
e um conjunto residual, i.e.
contem (de fato e) uma intersec ao enumer avel de abertos densos.
A principal tecnica usada para estudar aproxima coes de n umeros reais por n umeros racionais
s ao as frac oes contnuas, que fornecem todas as boas aproximacoes de um irracional por
racionais. As denic oes e provas dos resultados a seguir sobre fra coes contnuas podem ser
encontradas em [Mo].
Dado R, denimos
0
= , a
n
=
n
| e, se
n
/ Z,
n+1
=
1
nan
, para todo n N.
Para cada n N tomamos p
n
Z e q
n
N

primos entre si tais que

p
n
q
n
= [a
0
; a
1
, a
2
, . . . , a
n
] := a
0
+
1
a
1
+
1
a
2
+
.
.
.
+
1
an
.
Temos
1
(a
n+1
+ 2)q
2
n
< [
p
n
q
n
[ <
1
a
n+1
q
2
n

1
q
2
n
, para todo n N.
As seq uencias p
n
e q
n
satisfazem p
n+1
q
n
p
n
q
n+1
= (1)
n
, n 0. Se [
p
q
[ <
1
2q
2
ent ao
p
q
=
pn
qn
,
para algum n N. Por outro lado, para todo n N vale [
pn
qn
[ <
1
2q
2
n
ou [
p
n+1
q
n+1
[ <
1
2q
2
n+1
.
Temos
p
n+2
= a
n+2
p
n+1
+ p
n
, q
n+2
= a
n+2
q
n+1
+ q
n
e =

n+1
p
n
+ p
n1

n+1
q
n
+ q
n1
, para todo n N.
A prova que apresentaremos na Sec ao 1, baseada no estudo de propriedades estatsticas de
frac oes contnuas, e inspirada em conversas que tive ha uns 9 anos com o Prof. Nicolau Corc ao
Saldanha sobre o tema.
O problema b asico de aproximac oes simult aneas e o seguinte: dado

1
,
2
, . . . ,
n
R queremos encontrar n umeros racionais
p
1
q
,
p
2
q
, . . . ,
pn
q
tais que [
j

p
j
q
[ seja pe-
queno para todo j n. Em geral sempre e possvel encontrar racionais tais que [
j

p
j
q
[ <
1
q
1+1/n
,
o que estende o teorema de Dirichlet e pode ser provado de modo analogo: dado N N con-
sideramos os N
n
+ 1 pontos
p
j
= (
1
j
1
j|,
2
j
2
j|, . . . ,
n
j
n
j|), 0 j N
n
67
no hipercubo [0, 1)
n
. Dividimos [0, 1)
n
como
_

N1
k=0
_
k
N
,
k+1
N
_
_
n
em N
n
cubos de lado
1
N
. Haver a
necessariamente dois pontos p
j
1
e p
j
2
num mesmo cubo dessa decomposicao, e, se j
1
< j
2
,
q = j
2
j
1
, p
j
= j
2

j
| j
1

j
|, teremos [
j

p
j
q
j
[ <
1
Nq
j

1
q
1+1/n
j
, para todo j n.
Infelizmente n ao h a um substituto satisfat orio para a teoria de frac oes contnuas em di-
mens ao maior que um, mas e possvel provar uma vers ao n-dimensional do Teorema de Khin-
chine (provada originalmente em [K]), o que faremos na Se cao 2.
Para maiores informac oes sobre aproximacoes diofantinas, veja [C1] e [S].
1 O Teorema de Khintchine via frac oes contnuas
Teorema 1.1: (Khintchine) Seja f : N R
+
uma funcao decrescente tal que h(n) = nf(n): N
R
+
tambem seja decrescente.
a) Se

n=1
f(n) < + entao a equacao [
p
q
[ <
f(q)
q
tem apenas um n umero nito de
solucoes racionais p/q, para quase todo R/Q
b) Se

n=1
f(n) = + entao a equacao [
p
q
[ <
f(q)
q
tem um n umero innito de solucoes
racionais p/q, para quase todo R/Q.
Observacao: A condi cao de nf(n) ser decrescente n ao e de fato necessaria, como veremos
na sec ao 2, mas simplica a prova. Por outro lado, n ao podemos retirar a hip otese de f ser
decrescente (veja [C2]).
Dem:
Lema 1.2: Sejam n, k N, e seja [0, a
1
, a
2
, . . . ] a fracao contnua de um n umero [0, 1]. A
probabilidade de um termo a
n+1
ser igual a k dado que a
1
= k
1
, a
2
= k
2
, . . . , a
n
= k
n
esta entre
1/(k + 1)(k + 2) e 2/k(k + 1), k
1
, k
2
, . . . , k
n
N

.
Dem: Sejam p
n1
/q
n1
= [0; a
1
, a
2
, . . . , a
n1
] e p
n
/q
n
= [0; a
1
, a
2
, . . . , a
n1
, a
n
]. Se [0, 1],
= [0; a
1
, a
2
, . . . , a
n
,
n+1
],
n+1
[1, +) ent ao
_
pn+p
n1
qn+q
n1
,
pn
qn
_
, e, se alem disso a
n+1
= k,
68
temos
_
kpn+p
n1
kqn+q
n1
,
(k+1)pn+p
n1
(k+1)qn+q
n1
_
, e valem as recprocas (as ordens dos extremos dos inter-
valos podem estar trocadas). Os comprimentos dos referidos intervalos s ao, respectivamente,
1
qn(qn+q
n1
)
e
1
(kqn+q
n1
)((k+1)qn+q
n1
)
(pois [p
n
q
n1
p
n1
q
n
[ = 1), e portanto a raz ao entre seus
comprimentos e
qn(qn+q
n1
)
(kqn+q
n1
)((k+1)qn+q
n1
)
=
1+
(k+)(k+1+)
, onde = q
n1
/q
n
[0, 1]. Portanto, a
raz ao pertence a [1/(k + 1)(k + 2), 2/k(k + 1)].
Corolario 1.3: A probabilidade de a
n+1
k, nos termos do Lema acima, pertence a
[1/(k + 1), 2/k].
Lema 1.4: Para quase todo R existe c R tal que q
n
c
n
, para todo n N.
Antes de provar o Lema 1.4 vamos mostrar como termina a prova do Teorema de Khintchine.
Suponhamos que f(n) < . Seja =
1+

5
2
. Se a aproximac ao p
n
/q
n
de e tal que
[
pn
qn
[ <
f(qn)
qn
ent ao a
n+1
+2 >
1
qnf(qn)
>
1

n1
f(
n1
)
(pois para todo RQ vale q
n
>
n1
,
n N). a
n+1
>
1

n1
f(
n+1
)
2. A probabilidade de a
n+1

1

n1
f(
n1
)
2 =: A(n) e pelo
menos 1
2
A(n)
, n N (pelo corolario do Lema 1.2), e a hipotese de

n=1
f(n) < implica
que

n=1
2
A(n)
< , por comparac ao com

k=1

k
f(
k
) <

1

k=0
(
k+1

k
)f(
k+1
) <

n=1
f(n) < +.
Temos portanto

n=1
(1
2
A(n)
) > 0 para cada > 0 existe n
0
N tal que

n=n
0
(1
2
An
) > 1 , donde com probabilidade total a
n+1
A(n) para todo n sucientemente grande
[
p
q
[ <
f(q)
q
tem apenas um n umero nito de soluc oes.
Suponhamos agora que f(n) = +, xemos c > 0 e vamos nos restringir ao conjunto X
c
dos [0, 1] tais que q
n
< c
n
para todo n N (a uni ao dos conjuntos X
c
para todo c N tem
probabilidade total em [0, 1], pelo Lema 1.4).
Se a
n+1
>
1
qnf(qn)
teremos [
pn
qn
[ <
f(qn)
qn
. Como q
n
< c
n
,
1
qnf(qn)
<
1
c
n
f(c
n
)
. Vamos mostrar
que com probabilidade total temos a
n+1

1
c
n
f(c
n
)
para innitos valores de n N. Isso segue
de

n=1
_
1
1
B(n)+1
_
= 0, onde B(n) =
1
c
n
f(c
n
)
, que por sua vez segue de

n=1
c
n
f(c
n
)
c
1

n=1
(c
n+1
c
n
)f(c
n
) = +. Portanto, para todo n
0
N temos

n=n
0
_
1
1
B(n)+1
_
= 0,
e, com probabilidade total, existe n n
0
com a
n+1

1
c
n
f(c
n
)
, donde a equac ao [
pn
qn
[ <
f(qn)
qn
e satisfeita com probabilidade total para innitos valores de n N.
69
Prova do Lema 1.4: Sejamn, k N. A probabilidade de que k apareca pelo menos 4n/k(k+1)
vezes entre a
1
, a
2
, . . . , a
n
e limitada por

n
j=sn
C
j
n
(
s
2
)
j
(1
s
2
)
nj
, onde s =
4
k(k+1)
, que e menor
que (
3
4
)
n
k(k+1)
para
n
k(k+1)
grande (de fato,
C
j+1
n
(
s
2
)
j+1
(1
s
2
)
nj1
C
j
n
(
s
2
)
j
(1
s
2
)
nj
=
nj
j+1

s
2s
<
43s
3s

s
2s
=
43s
63s
<
2
3
,
se j
3sn
4
, logo, como

n
j=0
C
j
n
(
s
2
)
j
(1
s
2
)
nj
= 1, para j =
3sn
4
, C
j
n
(
s
2
)
j
(1
s
2
)
nj
1, donde
C
sn
n
(
s
2
)
sn
(1
s
2
)
(1s)n
(
2
3
)
sn/4
e

n
j=sn
C
j
n
(
s
2
)
j
(1
s
2
)
nj
(
2
3
)
sn/4

k=0
(
2
3
)
k
= 3(
2
3
)
sn/4
=
3(
2
3
)
n/k(k+1)
< (
3
4
)
n/k(k+1)
, se n/k(k + 1) e sucientemente grande). A probabilidade disso
acontecer pra algum k < [
3

n] e no m aximo
3

n (
3
4
)
3

n
, que converge a zero quando n
+. Por outro lado, com probabilidade total, a
n
< n
2
para todo n sucientemente grande
q
n
<

n
k=1
(a
k
+ 1) <
_
3

n
r=1
(r + 1)
4n
r(r+1)
_
(n
2
)
4n/
3

n
com probabilidade total para todo n
grande, pois tambem com probabilidade total o n umero de termos maiores ou iguais a
3

n entre
a
1
, a
2
, . . . , a
n
e no maximo 4n/
3

n, para n sucientemente grande.

Como lim
n
8 log n/
3

n = 0, temos com probabilidade total

limsup
n
n

q
n
exp
_

r=1
4 log(r + 1)
r(r + 1)
_
< +.

Observacao: Pode-se provar com metodos de teoria ergodica que para quase todo R vale
lim
n
n

q
n
= e

2
/12 ln2
3, 2758229 . . .
Pretendemos discutir este e outros resultados nos ligados a propriedade estatsticas de frac oes
contnuas num proximo artigo.
Corolarios do Teorema de Khintchine:
i) Para quase todo R, [
p
q
[ <
1
q
2
log
2
q
tem apenas um n umero nito de soluc oes
p
q
Q,
e portanto [
p
q
[ <
1
q
2+
tem apenas um n umero nito de soluc oes racionais
p
q
, para
todo > 0. Em particular ord = 2 para quase todo R (onde ord := inf >
0[[
p
q
[ <
1
q

tem innitas solucoes

p
q
Q).
ii) Para quase todo R, [
p
q
[ <
1
q
2
log q
tem innitas soluc oes racionais p/q, e portanto,
para todo k R, [
p
q
[ <
1
kq
2
tem innitas solu coes
p
q
Q.
70
2 O Teorema de Khintchine n-dimensional
Teorema 2.1: Sejam f
1
, f
2
, . . . , f
n
: N R
+
func oes decrescentes e F : N R
+
dada por
F(k) = f
1
(k)f
2
(k) . . . f
n
(k). Seja = (
1
, . . . ,
2
, . . . ,
n
) R
n
. O sistema de aproximac ao
simult aneas
[
p
i
q
[ <
f
i
(q)
q
, 1 i n e tal que ()
a) Se

q=1
F(q) < +ent ao (*) tem apenas um n umero nito de solu coes
_
p
1
q
,
p
2
q
, . . . ,
pn
q
_

Q
n
, para quase todo R
n
b) Se

q=1
F(q) = + ent ao (*) tem innitas solu coes
_
p
1
q
, . . . ,
pn
q
_
Q
n
para quase todo
R
n
.
Dem:
Dem. de a): Dado q
0
N, consideremos o conjunto
S(q
0
) =
_
qq
0
_
0p
1
,...,pn<q
n

i=1
_
p
i
q

f
i
(q)
q
,
p
i
q
+
f
i
(q)
q
_
,
que e o conjunto dos [0, 1)
n
tais que a desigualdade (*) do enunciado do Teorema tem
alguma soluc ao com q q
0
(e logo

q
0
N
S(q
0
) e o conjunto dos R
n
tais que (*) tem
innitas solu coes (
p
i
q
, . . . ,
pn
q
) Q
n
). Temos m(S(q
0
))

q=q
0
q
n
(
2
n
F(q)
q
n
) = 2
n

q=q
0
F(q), que
tende a 0 quando q tende a , pois

q=1
F(q) converge. Portanto, m(

q
0
N
S(q
0
)) = 0.
Dem. de b): Primeiro obtemos func oes decrescentes g
1
, g
2
, . . . , g
n
: N R
+
tais que lim
qs
0
g
i
(q)
f
i
(q)
=
0 e G = g
1
, g
2
, . . . , g
n
: N R
+
satisfaz lim
q
qG(q) = 0 e

q=1
G(q) = + (podemos tomar
G
1
(k) = (F(1) + F(2) + + F(k))
1
F(k) e G(k) = (G
1
(1) + G
1
(2) + + G
1
(k))
1
G
1
(k),
k N. Teremos G
1
e G decrescentes, G
1
(k) 1/k, kG(k) 0, G
1
(k) = , G(k) = , e
denimos g
i
(q) = f
i
(q) (G(q)/F(q))
1/n
).
Fixemos agora q
0
N grande e denimos s
0
= s
0
(q
0
) = mins N[G(q
0
) +G(q
0
+1) + +
G(s) c, onde c e uma constante que escolheremos posteriormente. Note que lim
q
s
0
(q)
q
=
+.
71
Para cada s com q
0
s s
0
vamos estimar o n umero de
_
r
1
s
,
r
2
s
, . . . ,
rn
s
_
Q
n
com r
i
Z,
1 i n, 0 r
i
< s tais que existem q com q
0
q < s, p
1
, p
2
, . . . , p
n
Z, 0 p
i
< q
satisfazendo
[
r
i
s

p
i
q
[ <
g
i
(q)
q
+
g
i
(s)
s
, i = 1, 2, . . . , n. ()
Temos que, como cada g
i
e decrescente, (**) implica
[r
i
q p
i
s[ < 2qs
g
i
(q)
q
= 2sg
i
(q), i = 1, 2, . . . , n.
Para um tal
_
r
1
s
, . . . ,
rn
s
_
que nao satisfaz (**) para nenhum q com q
0
q < s, p
1
, . . . , p
n
o
bloco

n
i=1
_
r
i
s

g
i
(s)
s
,
r
i
s
+
g
i
(s)
s
_
ser a disjunto de todos os blocos associados a
_
p
1
q
, . . . ,
pn
q
_
, q
com q
0
q < s, p
1
, . . . , p
n
Z com 0 p
i
< q.
Lema 2.2: Para todo k N existe c
k
> 0 tal que

n
j=1
_
(j)
j
_
k
c
k
n.
Dem: Para k = 1 segue de
lim
n
1
n
n

j=1
(j)
j
= lim
n
1
n
n

q=1

d[q
(d)
d
= lim
n
1
n
n

d=1
,
n
d
|
(d)
d
=

d=1
(d)
d
2
=
6

2
pois

r=1
(m)
m
2

k=1
1
k
2
=

n=1

m|n
(m)
n
2
= 1, e

k=1
1
k
2
=

2
6
. Como h(x) = x
k
e convexa para
k 1, temos
1
n

n
j=1
_
(j)
j
_
k

_
1
n

n
j=1
(j)
j
_
k
, donde segue o resultado (com C
k
=
_
6

2
_
k
).

Se q
0
q < s, o n umero de soluc oes de [r
i
q p
i
s[ < 2sg
i
(q) com 0 p
i
< q, 0 r
i
< s e
no maximo 4sg
i
(q) desde que mdc(r
i
, s) = 1. De fato, nessas condicoes r
i
q p
i
s n ao se anula,
sen ao teramos
p
i
q
=
r
i
s
, que e uma frac ao irredutvel de denominador s > q, absurdo. Seja
d = mdc(s, q). Dado k Z, a equac ao diofantina rq ps = k s o tem solu cao de d[k, quando
tem d soluc oes com 0 r < s. Portanto, 0 < rq ps < x (resp. x < rq ps < 0) tem
no m aximo d
x
d
| x soluc oes (p, r) com 0 r < s, o que claramente implica a armac ao.
72
Portanto, o n umero de soluc oes da desigualdade acima para todo i com 1 i n e no maximo
4
n
s
n
G(q). Por outro lado ha (s)
n
pontos
_
r
i
s
, . . . ,
rn
s
_
, 0 r
i
< s, mdc(r
i
, s) = 1, 1 i n.
Isso nos da a estimativa do n umero de novos blocos disjuntos dos anteriormente considerados
que tem denominador s de pelo menos (s)
n
4
n
s
n

s1
q=q
0
G(q), e para o volume da uni ao dos
blocos disjuntos adicionados ate o denominador s
0
de pelo menos
s
0

s=q
0
((s)
n
4
n
s
n
s1

q=q
0
G(q))
2
n
G(s)
s
n
= 2
k
s
0

s=q
0
_
(s)
s
_
n
G(s) 8
n
s
0

s=q
0
_
s1

q=q
0
G(q)
_
G(s).
Por outro lado, com s
0
= mins q
o
[

s
q=q
0
G(q) c, temos
s
0

s=q
0
_
(s)
s
_
n
G(s) =
s
0
1

s=q
0
(G(s) G(s + 1))
s

j=q
0
_
(j)
j
_
n
+ G(s
0
)
s
0

j=q
0
_
(j)
j
_
n

s
0
1

s=q
0
(G(s) G(s + 1))(c
n
s q
0
) + G(s
0
)(c
n
s
0
q
0
)
= c
n
s
0

s=q
0
+1
G(s) (1 c
n
)q
0
G(q
0
)
= c
n
c +
1
onde
1
0 quando q
0

(pois lim
q
0

q
0
G(q
0
) = 0).
Por outro lado, 8
n

s
0
s=q
0
_

s1
q=q
0
G(q)
_
G(s) 8
n
c

s
0
s=q
0
G(s) 8
n
c( c +
2
) onde
2
=
G(s
0
) 0 quando q
0
. Assim, nosso volume e, pelo menos, 2
n
(c
n
c +
1
) 8
n
c( c +
2
).
Tomando c =
cn
4
n+1
temos que, se q
0
e sucientemente grande (e logo
1
e
2
sucientemente
pequenos), o volume de A(q
0
) e pelo menos c
2
n
/2
n+3
, onde
A(q
0
) =
_
qq
0
_
0p
1
,...,pn<q
n

i=1
_
p
i
q

g
i
(q)
q
,
p
i
q
+
g
i
(q)
q
_
.
Como A(q) A(q + 1), q N, temos m(A

)
1
152
n
> 0, onde A

qN
A(q). Se =
(
1
,
2
, . . . ,
n
) A

, [
i

p
i
q
[ <
g
i
(q)
q
, i = 1, 2, . . . , n tem innitas soluc oes (
p
1
q
,
p
1
q
, . . . ,
pn
q
) Q
n
.
Como m(A

) > 0, dado > 0 existe cubo Q =

n
i=1
[
b
i
C
,
b
i
+1
C
], C N, b
i
Z, 0 b
i
< C tal
que m(A

Q) (1 )m(Q). Se T : R
n
R
n
e dada por
T(X
1
, . . . , X
n
) = (CX
1
b
1
, CX
2
b
2
, . . . , CX
n
b
n
),
73
temos T(Q) = [0, 1]
n
e m(T(QA

)) 1. Alem disso, se = (
1
,
2
, . . . ,
n
) T(QA

),
= T(), = (
1
, . . . ,
n
) A

Q, e portanto [
i

p
i
q
[ <
g
i
(q)
q
, para todo i = 1, 2, . . . , n tem
innitas soluc oes (
p
1
q
,
p
2
q
, . . . ,
pn
q
) Q
n
, donde [
i

r
i
q
[ <
Cg
i
(q)
q
(e logo [
i

r
i
q
[ <
f
i
(q)
q
) tem
innitas soluc oes
_
r
1
q
,
r
2
q
, . . . ,
r
n
q
_
=
_
Cp
1
b
1
q
,
Cp
1
b
2
q
, . . . ,
Cp
n
b
n
q
_
Q
n
,
e como > 0 pode ser feito arbitrariamente pequeno est a provado o item b).
74
Apendice: Aproximac oes diofantinas nao-homogeneas
Proposicao A.1: Se R Q ent ao X = m + n[m, n Z e denso em R.
Dem: Dado > 0 existem p, q inteiros com > 1/ tais que [
p
q
[ <
1
q
2
0 < [qp[ <
1
q
< .
Dado x R existe k Z tal que x est a entre k(qp) e (k+1)(qp), donde [xk(qp)[ .
Como k(q p) = pk + qk X, o resultado est a provado.
O pr oximo resultado, devido a Kronecker, estende a Proposicao A.1 para dimensao qualquer.
Proposicao A.2: Seja = (
1
,
2
, . . . ,
n
) R
n
. Suponha que 1,
1
, . . . ,
n
sejam linear-
mente inependentes sobre Q(isto e, k+m
1

1
+m
2

2
+ +m
n

n
= 0 com k, m
1
, . . . , m
n
Z im-
plica k = m
1
= = m
n
= 0). Ent ao X = k+m
1
e
1
+m
2
e
2
+ +m
n
e
n
[k, m
1
, . . . , m
n
Z
e denso em R
n
, onde e
1
= (1, 0, . . . , 0), . . . , e
n
= (0, . . . , 0, 1) s ao os elementos da base can onica
de R
n
.
Dem: Seja X R
n
o fecho de X, e V X um subespa co vetorial maximal de R
n
contido em
X. Suponhamos por absudo que V ,= R
n
. Seja f um funcional linear n ao nulo de R
n
.
Seja V

o complemento ortogonal de V , e seja : R

n
V

a projecao ortogonal sobre V

.
Para todo x X, (x) X, pois (x) = x + ((x) x), (x) x C X e X e invariante
por adicao (pois X tambem e).
Seja k = dimV

. Escolhemos vetores e
i
1
, e
i
2
, . . . , e
i
k
tais que (e
i
1
), (e
i
2
), . . . , (e
i
k
) geram
V

. Se zermos e
0
= , para todo i = 0, 1, . . . , n escrevemos (e
i
) =

k
j=1

ij
(e
i
j
). N ao
podemos ter
i1
Qpara todo i, sen ao podemos denir um funcional linear f da seguinte forma:
dado x R
n
escrevemos (x) como

k
j=1

j
(e
i
j
), e tomamos f(x) =
1
. Se
i1
= f(e
i
) Q
para todo i, teramos
01
= f() =

n
i=1

i
f(e
i
) =

n
i=1

i1

i
Q, contradizendo a hip otese
da proposicao.
Seja ent ao i
0
tal que
i
0
1
/ Q. Tomamos = (
i
0
1
, . . . ,
i
0
k
) R
k
. Como observamos na
introduc ao deste artigo, existem x
n
= q
n
(p
1n
, p
2n
, . . . , p
kn
) ,= 0, com q
n
, p
1n
, . . . , p
kn
Z
e lim
n
[x
n
[ lim
n
[q
n
[
1/k
= 0, e portanto, se w
n
= q
n
(e
i
0
)

k
j=1
p
jn
(e
i
j
), lim
n
w
n
= 0 (e
w
n
,= 0, n). Passando a uma subseq uencia, se necess ario, podemos supor que lim
n
wn
[wn[
= w
75
S
n1
V

. Para todo t R, temos que t w = lim

n

t
wn
|w
n
X, n N. Portanto, como X e
invariante por adic ao, o subespaco

V = v + t w[v V, t R e tal que

V X e

V contem
propriamente V , absurdo.
Observacao: A hipotese da Proposicao A.2 e necess aria, pois se existem inteiros k, m
1
, . . . , m
n
n ao todos nulos tais que k + m
1

1
+ + m
n

n
= 0 ent ao X (x
1
, . . . , x
n
) R
n
[m
1
x
1
+
m
2
x
2
+ + m
n
x
n
Z, que e um fechado com interior vazio.
Deixamos para o leitor a prova do seguinte fato: Dado = (
1
, . . . ,
n
) R
n
satisfazendo
a condic ao da Proposi cao 2, e m N, denimos m = (m
1
m
1
|, . . . , m
n
m
n
|)
[0, 1)
n
. A seq uencia m e uniformemente distribuida, isto e, para todo aberto A [0, 1)
n
,
se f
A
(k) = #m k[m A, entao lim
k
f
A
(k)/k = m(A), onde m(A) e a medida de
Lebesgue de A. (Sugestao: sejam C
1
, C
2
[0, 1)
n
dois cubos abertos tais que C
2
est a contido
em um transladado de C
1
(C
2
C
1
+ v, v R
n
). Use o fato de que existem vetores v
arbitrariamente pr oximos de v, com v = (q
1
+ p
1
, . . . , q
n
+ p
n
), q, p
1
, . . . , p
n
Z, e que
m C
2
(m q) C
2
v C
1
, se v est a sucientemente pr oximo de v, donde
f
C
2
(k) f
C
1
(k) +[q[ limsup
k
f
C
2
(k)/k liminf
k
f
C
1
(k)/k).
76
CAP

ITULO 5
Os Espectros de Markov e Lagrange
1 Denic oes e enunciados
Seja um n umero irracional. De acordo com o teorema de Dirichlet, a desigualdade

p
q

<
1
q
2
tem uma innidade de soluc oes racionais p/q. Markov e Hurwitz melhoraram este resultado,
provando que, para todo irracional , a desigualdade

p
q

<
1

5 q
2
tem uma innidade de
soluc oes racionais, e que

5 e a melhor constante com esta propriedade: para =

1 +

5
2
, e
para qualquer > 0, a desigualdade

p
q

<
1
(

5 + )q
2
tem apenas um n umero nito de
soluc oes (ver apendice). Entretanto, xado irracional, pode-se esperar resultados melhores,
o que nos leva a associar a cada a sua constante de melhor aproximacao k() = supk > 0 [

p
q

<
1
kq
2
tem uma innidade de soluc oes racionais p/q = limsup
p,qZ
_
[q(q p)[
1
)
R+. Nossa discuss ao inicial mostra que k()

5 para todo R, e k
_
1 +

5
2
_
=

5.
N ao e difcil provar que k() = + para quase todo R. Estaremos interessados nos R
tais que k() < +, e, mais particularmente, na imagem da fun cao k, isto e, no conjunto
L = k() [ RZ e k() < +. Este conjunto e conhecido como o espectro de Lagrange.
Provamos no apendice uma formula para k(): escrevemos em frac ao contnua, =
[a
0
, a
1
, a
2
, . . . ] e denimos, para n N,
n
= [a
n
, a
n+1
, a
n+2
, . . . ] e

n
= [0, a
n1
, a
n2
, . . . ]. Temos ent ao k() = limsup
n
(
n
+
n
). Isto segue dos resultados
do Captulo 3.

E interessante observar que se mud assemos um pouco as func oes envolvidas na deni cao do
espectro de Lagrange ele seria um conjunto bastante trivial: se para
f : R R
+
considerarmos o conjunto k
f
() := sup
_
k > 0 [ [
p
q
[ <
f(q)
k
tem innitas
soluc oes racionais p/q
_
ent ao, caso tenhamos lim
q+
q
2
f(q) = 0 entao a imagem de k
f
seria
77
(0, +] (ou [0, +], se consideramos sup() = 0 neste contexto) e, caso lim
q+
q
2
f(q) =
+, ent ao a imagem de k
f
seria +.
O conjunto L encodica uma serie de propriedades diofantinas de n umeros reais, e vem
sendo estudado h a bastante tempo. Talvez o primeiro resultado n ao-trivial sobre ele se deva
a Markov, que provou em 1879 (ver [Ma]) que L (, 3) = k
1
=

5 < k
2
= 2

2 < k
3
=

221
5
< , onde (k
n
) e uma seq uencia convergente a 3 tal que k
2
n
Q para todo n. Assim,
o comeco do espectro de Lagrange e discreto. Essa armac ao nao e verdadeira para todo o
conjunto L. Marshall Hall prova em 1947 ([H]) que L contem toda uma semi-reta (por exemplo
[6, +)), e G. Freiman determinou em 1975 a maior semi-reta que esta contida em L, que e
_
4 +
253589820 + 283748

462
491993569
, +
_
. Estes dois ultimos resulados baseam-se fortemente no
estudo de somas de conjuntos de Cantor regulares, cuja relac ao com o espectro de Lagrange
tem origem na f ormula que apresentamos para k(), e e o tema principal deste captulo. Por
exemplo, o resultado que M. Hall enuncia em seu artigo [H] e o seguinte: se C(4) e o conjunto
de Cantor regular dos reais de [0, 1] em cuja fra cao contnua aparecem apenas os coecientes 1,
2, 3 e 4 ent ao C(4) +C(4) = [

2 1, 4(

2 1)], do qual nao e difcil deduzir que L [6, +)

via a f ormula para k().
De k() = limsup
n
(
n
+
n
) podemos obter a seguinte caracterizacao do espectro de
Lagrange: seja =
_
N

_
N
, o conjunto das seq uencias bi-innitas de inteiros positivos, e :
o shift denido por ((a
n
)
nZ
) = (a
n+1
)
nZ
. Se f : R e denida por f((a
n
)
nZ
) =

0
+
0
= [a
0
, a
1
, a
2
, . . . ] + [0; a
1
, a
2
, . . . ] entao L = limsup
n+
f(
n
), . Outro
conjunto de n umeros reais que sera de nosso interesse e o espectro de Markov M, que e igual
a sup
n
f(
n
), . O espectro de Markov tem a seguinte interpreta cao aritmetica:
M = (inf
(x,y)Z
2
\(0,0)
[f(x, y)[)
1
; f(x, y) = ax
2
+bxy+cy
2
, b
2
4ac = 1. Sao fatos conhecidos
que L e M s ao subconjuntos fechados da reta e que L M. Provamos em [M2] os seguintes
resultados, que pretendemos discutir neste captulo:
Teorema 1.1: Para todo t R, as dimens oes de Hausdor de L (, t) e de M (, t)
s ao iguais. Se denotarmos essas dimens oes por d(t), temos os seguintes fatos:
i) d: R [0, 1] e contnua e sobrejetiva.
78
ii) d(t) = min1, 2 HD(k
1
(, t))
iii) maxt R [ d(t) = 0 = 3
iv) d(

12) = 1
(As armac oes iii) e iv) s ao conseq uencias simples de ii)).
Teorema 1.2: O conjunto dos pontos de acumulac ao de L e perfeito, isto e, L
t
= L
tt
.
Teorema 1.3: 0 < HD(ML) < 1.
Estes teoremas s ao baseados na ideia de aproximar partes de M e de L por dentro e por fora
por somas de conjuntos de Cantor regulares de dimens oes proximas. A prova do Teorema 1.1
depende de modo essencial de um resultado sobre dimens oes de Hausdor de somas aritmeticas
de conjuntos de Cantor regulares, que ser a discutido na pr oxima sec ao, e cuja prova depende
do lema de recorrencia de escala de [MY].
2 Dimens oes de Hausdor e somas aritmeticas de con-
juntos de Cantor de frac oes contnuas
Vimos no captulo anterior que, se K
1
e K
2
s ao conjuntos de Cantor C
2
que satisfazem as
hip oteses do lema de recorrencia de escalas, ent ao vale a formula HD(K
1
+K
2
) = min1, HD(K
1
)+
HD(K
2
).
Iremos aplicar este resultado a conjuntos de Cantor regulares denidos por restric oes da
func ao de Gauss g : (0, 1] (0, 1] denida por g(x) =
1
x

1
x
| (cuja rela cao com fracoes
contnuas e evidente) a determinados domnios de Markov (que ser ao unioes nitas de interva-
los cujos extremos serao irracionalidades quadr aticas). Para isso, precisamos provar que tais
conjuntos de Cantor satisfazem as hipoteses do lema de recorrencia de escalas, isto e, que nao
s ao essencialmente ans.
Observemos inicialmente que qualquer conjunto de Cantor regular de Gauss (nome que
atribuiremos aos conjuntos de Cantor descritos no par agrafo anterior) contem um conjunto
79
de Cantor completo de Gauss, nome que atribumos ao seguinte tipo de conjunto de Cantor:
A cada conjunto nito de seq uencias nitas de inteiros positivos B associamos o conjunto
K(B) = [0;
1
,
2
, . . . ] [
i
B, i N, que, excetuando os casos triviais onde K(B) e um
ponto, e um conjunto de Cantor regular completo de Gauss. Este fato pode ser provado do
seguinte mod: tomamos duas palavras nitas admissveis
1
= b
1
b
2
. . . b
n
b
1
e
2
= b
1

b
2

b
3
. . .

b
m
b
1
comecando e terminado em b
1
que n ao sejam ambas copias m ultiplas do mesmo bloco de
smbolos (aqui os smbolos b
i
s ao inteiros positivos corespondentes a ramos
1
x
b
i
da func ao
de Gauss g, que aparecem na construcao do Cantor regular de Gauss em quest ao K). Se

1
= b
1
b
2
. . . b
n
e
2
= b
1

b
2
. . .

b
m
ent ao o Cantor completo de Gauss K(
1
,
2
) est a contido
em K.
Basta provar agora que nenhum Cantor completo de Gauss e essencialmente am. Ob-
servemos que K(B) e denido por :

B
I

I, onde I = [0, 1] e, para cada B,

I

= [0; , ], 1 e

= [
I

e o iterado de g denido por

([0; , ]) = 1/.
Seja x

= [0; , , , . . . ] o ponto xo de

. Se = (b
1
, b
2
, . . . , b
n
) e p
k
/q
k
= [0; b
1
, b
2
, . . . , b
k
]
s ao as reduzidas de [0; ], ent ao

(x) =
q
n1
x p
n1
p
n
q
n
x
, e os pontos xos de

(estendido `a
reta pela sua formula) s ao as razes de q
n
x
2
+(q
n1
p
n
)xp
n1
= 0 (ver Se cao 3 do Apendice).
Existe um difeomorsmo

: I I tal que

(x

) = x

(x

) = 1 e

e
am. Alem disso, podemos tomar um tal

da forma

(x) =
a

x + b

x + d

(isto e um exerccio
sobre triangularizac ao de matrizes...). Nao h a perda de generalidade em supor que B contem
dois elementos de do mesmo tamanho (i.e., com o mesmo n umero de smbolos), pois, se
n ao for esse o caso, podemos considerar etapas mais avan cada da construc ao de K(B) onde hja
tais elementos.

E suciente agora mostrar que se

e am e tem o mesmo n umero de

elementos que ent ao = , pois isso implicaria que

n ao e am, donde e uma

transformac ao da forma
Ax + B
Cx + D
, cuja derivada segunda e zero apenas num conjunto nito, ou
seja,

tem uma componente am (a de

), e outra componente cuja derivada segunda

e n ao-nula em muitos pontos de K(B) (a de

), o que implica que K(B) n ao e essencialmente

am. Se

e am ent ao e um ponto xo comum de

, e
portanto
1

() e ponto xo comum de

(x) =
q
n1
x p
n1
p
n
q
n
x
e

=
q
n1
x p
n1
p
n
q
n
x
, donde e
raiz comum dos polin omios q
n
x
2
+(q
n1
p
n
)xp
n1
e q
n
x
2
+( q
n1
p
n
)x p
n1
, donde esses
80
dois polinomios s ao iguais (pois s ao irredutveis em Z[x]), donde suas outras razes coincidem,
ou seja, x

= x

e portanto = .
Provamos assim o seguinte resultado:
Proposicao 2.1: Se K
1
e K
2
s ao conjuntos de Cantor regulares de Gauss ent ao HD(K
1
+K
2
) =
min1, HD(K
1
) + HD(K
2
).
Outro fato importante na prova de nossos resultados sobre dimens oes de Hausdor de partes
dos espectros de Markov e Lagrange ser a discutido a seguir:
Denicao 2.2: Se = (b
1
, b
2
, . . . , b
n
) entao
t
= (b
n
, b
n1
, . . . , b
2
, b
1
), e se B e um conjunto de
seq uencias nitas ent ao B
t
=
t
, B.
Se q
n
() e o denominador da frac ao contnua [0; ] = [0, b
1
, . . . , b
n
] ent ao q
n
() = q
n
(
t
).
Este e um fator j a conhecido por Euler, e uma boa referencia sobre sua prova (que tambem
pode ser considerada como um exerccio para o leitor) est a no apendice 2 de [CF]. Como
conseq uencia deste restulado e do fato de que os comprimentos dos intervalos da construc ao de
um conjunto de Cantor completo de Gauss dependerem essencialmente dos denominadores das
frac oes contnuas nitas envolvidas, prova-se a seguinte
Proposicao 2.3: HD(K(B)) = HD(K(B
t
)) para todo conjunto nito B de seq uencias nitas
de inteiros positivos.
Corolario 2.4: HD(K(B) + K(B
t
)) = min1, 2 HD(K(B)).
3 Ideias das demonstracoes dos resultados sobre os es-
pectros
Seja = Z
Z
+
, : R denida por () = limsup
n
(
n
+
n
), onde, se = (a
k
)
kZ
ent ao
n
= [a
n
; a
n+1
, a
n+2
, . . . ] e
n
= [0; a
n1
, a
n2
, . . . ] e m: R denida por m() =
81
sup
nZ
(
n
+
n
). Entao, como observamos no incio deste captulo, o espectro de Lagrange e o
conjunto L = (), e o espectro de Markov e o conjunto M = m(), .
A prova dos resultados sobre a func ao d(t) baseia-se, como mencionamos no incio deste
captulo, no fato de que podemos aproximar por dentro e por fora pedacos dos espectros de
Markov e Lagrange por somas de conjuntos de Cantor regulares de Gauss com dimens oes
de Hausdor pr oximas (em geral essas somas ser ao do tipo K(B) + K(B
t
), e usaremos a
proposic ao acima). A principal ferramenta que usaremos na construc ao de tais aproximac oes
ser a o seguinte lema tecnico, cuja prova (assim como os detalhes da prova dos teoremas deste
captulo) se encontra em [M2]:
Lema 3.1: Para cada t > 0 e > 0, seja (t) = [ m() t, e seja N

(t) o
n umero de seq uencias nitas tais que o intervalo I() = x [0, 1] [ x = [0; , y], y 1
tem comprimento maior ou igual a e aparece como subseq uencia de algum elemento de
(t). Denimos D(t) = lim
0

log N

(t)
log
(o limite existe pois existe C > 0 tal que N

(t)
C N

(t)N

(t), , > 0). Entao, dado > 0 existe > 0 e um shift completo

(t )
com HD(

+
, d) D(t) , onde
+
= Z
Z
+
,

+
=


+
, e d:
+

+
R e a dist ancia
denida por d(,
t
) = [I(
t
)[.
A ideia da prova de que L
t
= L
tt
e criar conjuntos de Cantor regulares de Gauss usando
sequencias nits que aparecem innitas vezes nas frac oes contnuas das preimagem por k de
uma seq uencia convergente de pontos de L. A imagem por k do Cantor de Gauss gerado
por, digamos, duas seq uencias dessas fornecer a um conjunto de Cantor contido em L pr oximo
ao limiteda tal seq uencia. Aumentando o comprimento das seq uencias nitas consideradas
obtemos o resultado.
Para estudar o complementar do espectro de Lagrange em relacao ao espectro de Markov,
primeiro mostramos que ML contem conjuntos de Cantor regulares pr oximos a

= [2; 1, 1, 2, 2, 2, 1, 2] + [0; 1, 2, 2, 2, 1, 1, 2, 1, 2]

= 3, 293044265 . . . , que Freiman provou ser
um ponto de acumulacao de ML (ver Captulo 3 de [CF]) (as barras superiores indicam
perodo nas frac oes contnuas pre-peri odicas acima), com um argumento semelhante ` a prova de
L
t
= L
tt
. A prova de HD(ML) < 1 e mais tecnica e delicada, e depende da an alise de restri coes
82
` a seq uencias nitas que podem aparecer nas fracoes contnuas de elementos de conjuntos de
Cantor cuja imagem por k esteja contida em ML. Veja [M2] para detalhes.
4 Espectros de Markov e Lagrange dinamicos
As caracterizac oes em termos de shift e das fun coes e m dos espectros de Markov e Lagrange
admitem uma generaliza cao natural no contexto de dinamica hiperb olica: seja : M
2
M
2
um difeomorsmo, M
2
um conjunto hiperb olico para e f : M
2
R uma fun cao real de
classe C
2
. Podemos denir espectros de Markov e Lagrange dinamicos associados ao par (f, )
como segue: L(f, ) = limsup
n+
f(
n
(x)), x e M(f, ) = sup
nZ
f(
n
(x)), x .

E possvel provar de um modo an alogo ao que descrevemos neste captulo que para conjuntos
abertos de (f, ) (que contem abertos densos de (f, ) [ preserva area a func ao d(t) =
d
f,
(t) = HD(L(f, )(, t)) coincide com HD(M(f, )(, t)), e contnua e sua imagem
e o intervalo [0, min1, HD()]. Genericamente, nesses casos, o ponto t
1
= inft R [ d(t) =
1 pertence ao fecho do interior de L(f, ) M(f, ).
Vale notar que o resultado nao e verdade em geral para dissipativo, pois h a conjuntos
abertos de contraexemplos onde d(t) tem um n umero nito de descontinuidades, e sua imagem
e uma uniao nita de intervalos nao-degenerados.
As demonstrac oes desses ultimos resultados aparecer ao em [M3].
83
84
Apendice: Conjuntos de Cantor Regulares e Dimens oes Fractais
1.0 Conjuntos de Cantor
Normalmente as pessoas ouvem falar no Conjunto de Cantor antes de ouvir falar em
conjuntos de Cantor em geral. O conjunto de Cantor e um engenhoso exemplo de um sub-
conjunto da reta que e compacto, n ao-enumer avel e totalmente desconexo, que serve como fonte
de exemplos interessantes em analise e topologia. O Conjunto de Cantor, que denotaremos por
K, pode ser denido de v arias maneiras. Por exemplo, K e o conjunto de todos os n umeros
do intervalo [0, 1] que podem ser escritos em base 3 utilizando apenas os algarismos 0 e 2, ou
seja, K =
_

n1

n
3
n
,
n
0, 2, n N
_
. Outra maneira de descrever o conjunto K e
descrevendo explicitamente seu complementar: tomamos o intervalo [0, 1], retiramos seu terco
central
_
1
3
,
2
3
_
e obtemos dois intervalos fechados:
_
0,
1
3
_
e
_
2
3
, 1
_
. Retiramos os tercos cen-
trais desses intervalos e obtemos quatro intervalos fechados:
_
0,
1
9
_
,
_
2
9
,
1
3
_
,
_
2
3
,
7
9
_
e
_
8
9
, 1
_
.
Continuamos o processo, sempre retirando os tercos centrais dos intervalos restantes. Os pon-
tos do intervalo [0, 1] que n ao pertencem a nenhum dos intervalos retirados formam o conjunto
de Cantor K. Notemos que, na n-esima etapa da constru cao de K sobram 2
n
intervalos de
comprimento 1/3
n
cada, cuja uni ao contem K. Isso implica que K tem medida nula.
A terceira constru cao do conjunto K que mostraremos a seguir e de particular import ancia
para n os, pois ser a generalizada para denir conjuntos de Cantor regulares ou dinamicamente
denidos. Consideremos a fun cao :
_
0,
1
3
_

_
2
3
, 1
_
[0, 1] denida por (x) = 3x se
_
0,
1
3
_
3x 2 se x
_
2
3
, 1
_
. O domnio da funcao e a primeira etapa da construc ao anterior do
conjunto K. Se denotarmos

. .
n vezes
por
n
, temos que
n
n ao est a denida para todo x. Por exemplo, se n = 2
e x = 0, 2, temos que (x) = 3x = 0, 6, que n ao pertence ao domnio de , donde
2
(0, 2) n ao
est a denido. Podemos caracterizar o Conjunto de Cantor K como o conjunto dos x [0, 1] tais
que
n
(x) esta denido para todo natural n, ou seja, K =

n=0

n
([0, 1]). Podemos observar
que
n
([0, 1]), ou seja, o domnio de
n
coincide com o conjunto obtido na n-esima etapa da
construc ao anterior.
85
K e claramente compacto, pois pela segunda construcao, por exemplo, seu complementar
e aberto. Alem disso, K e nao-enumeravel, o que segue do fato de que a primeira construc ao
fornece uma bije cao entre K e 0, 2
N
, que de fato e um homeomorsmo, se dotarmos 0, 2
N
da topologia produto.
Em geral dizemos que um conjunto de Cantor e um espaco topol ogico homeomorfo a K.
Nosso principal interesse sera nos conjuntos de Cantor contidos na reta real, que podem ser
caracterizados como os compactos de interior vazio sem pontos isolados.
Em geral, espacos metricos (ou metriz aveis) compactos, totalmente desconexos (i.e., cujas
componentes conexas s ao os pontos) e sem pontos isolados s ao conjuntos de Cantor (i.e., s ao
homeomorfos a K). Deixamos a prova deste fato como exerccio para o leitor. (Sugest ao: dado
um conjunto como acima, tente decompo-lo como uma uniao disjunta de abertos e fechados com
di ametro menor que a metade do di ametro original, repetir o processo e usar isso para reduzir
o problema ao caso de subconjuntos da reta. no qual e possvel construir homeomorsmos
mon otonos razoavelmente explcitos).
1.1 Conjuntos de Cantor regulares
Mencionamos que a terceira construc ao que exibimos para o conjunto K, que o caracteri-
za como o maximal invariante pela func ao no intervalo [0, 1] e de particular interesse, pois
caracteriza K como um conjunto de Cantor dinamicamente denido. Vamos discutir informal-
mente algumas propriedades dos conjuntos de Cantor dinamicamente denidos, ou regulares
(que serao nosso assunto principal) antes de deni-los mais precisamente. Uma propriedade
fundamental do conjunto de Cantor K e a sua auto-semelhanca: pequenas partes de K s ao
c opias reduzidas de todo o conjunto K. De fato, dado x K e > 0 existe um subconjunto
aberto e fechado de K contendo x e de diametro menor que que e semelhante ao conjunto K
(por exemplo uma peca de uma etapa avancada da construc ao de K que contenha o ponto x).
Esta semelhanca sera dada por um certo iterado da func ao am expansora .
Os conjuntos de Cantor dinamicamente denidos, ou regulares, sempre apresentam um certo
tipo de auto-semelhanca: pequenas partes deles sao difeomorfas ao conjunto todo, ou a partes
grandes dele, com distor cao uniformemente limitada. Assim, aspectos locais desses conjuntos
86
n ao diferem muito de aspectos globais. Este tipo de propriedade e a principal caracterstica dos
conjuntos de Cantor regulares, e esta ligada ao fato desses conjuntos, por denic ao, serem carac-
terizados como maximais invariantes de fun coes diferenciaveis expansoras (as quais suporemos
de classe pelo menos C
1+
).
Vamos passar a denicoes mais precisas:
Sejam I, I
1
, I
2
, . . . , I
k
R intervalos fechados tais que os intervalos I
j
,
1 j k s ao disjuntos e I e o fecho convexo de I
1
I
2
I
k
, e seja
: I
1
I
2
I
k
I uma func ao expansora de classe C
1+
para um certo > 0, isto
e, e de classe C
1
, [
t
(x)[ > 1 para todo x I
1
I
2
I
k
e existe C > 0 tal que
[
t
(x)
t
(y)[ C[x y[

x, y I
1
I
2
I
k
. Suponhamos ainda que para todo j
com 1 j k, (I
j
) e o fecho convexo de uma uni ao de intervalos I
i
, e que, para n N
sucientemente grande,
n
(I
j
) I
1
I
2
I
k
.
Dizemos que o conjunto de Cantor regular K = K

associado ` a func ao e ` a particao de

Markov (I
1
, I
2
, . . . , I
k
) e o conjunto dos x I tais que
n
(x) est a denido para todo n N,
isto e K

nN

n
(I
1
I
k
). Se e de classe C
r
, com 1 < r , dizemos que K e
um (conjunto de) Cantor regular de classe C
r
.
Como indicamos na denic ao acima, o conjunto dos intervalos I
j
com 1 j k e denomi-
nado a partic ao de Markov de K. O conjuntos I
1
I
2
I
k
ser a chamado de domnio de
Markov de K, e pode ser visto como a etapa inicial da constru cao de K.
Para entender melhor a estrutura do conjunto K podemos considerar a matriz de transicao
B = (b
ij
)
kk
associada a uma partic ao de Markov (I
1
, . . . , I
k
) e a uma func ao como acima
denida por b
ij
= 1, se (I
i
) I
j
0, se (I
i
) I
j
= . A condic ao diz que
n
(I
j
) I
1
I
k
para todo n grande equivale
a todos os termos de B
n
serem estritamente positivos se n e grande. A uma tal matriz B
podemos associar um shift de Markov mixing de tipo nito, isto e, o conjunto
B
= =
(
1
,
2
, . . . ) 1, 2, . . . , k
N
[ b

i+1
= 1, i N, no qual est a denida a func ao shift
unilateral :
B

B
, por ((
1
,
2
,
3
, . . . )) = (
2
,
3
, . . . ), isto e, ((
i
)
iN
) = (
i+1
)
iN
.
Veremos que ha uma identica cao natural entre o par (K, ) e o par (
B
, ) (de fato um
homeomorsmo que conjuga as dinamicas). Para cada palavra nita a = (a
1
, a
2
, . . . , a
n
)
87
1, 2, . . . , k
n
dizemos que a e uma palavra de
B
se existe algum elemento de
B
que comeca
por a, ou, equivalentemente, se b
a
i
a
i+1
= 1 para i = 1, 2, . . . , n 1. A uma tal palavra a
associamos o intervalo I
a
= I
a
1

1
(I
a
2
)
2
(I
a
3
)
(n1)
(I
an
), e a condic ao a ser
uma palavra de
B
equivale a I
a
ser nao-vazio. Por outro lado, a expansividade de faz com
que o comprimento [I
a
[ do intervalo I
a
seja exponencialmente pequeno se n e grande, isto e,
existe < 1 tal que para todo a 1, 2, . . . , k
n
que e uma palavra de
B
(de tamanho n),
[I
a
[ <
n
[I[.
Dado = (
1
,
2
, . . . )
B
, para cada n denimos
(n)
= (
1
,
2
, . . . ,
n
). Note que
(n)
e
sempre uma palavra de
B
. Podemos denir uma fun cao h:
B
K denida por h() =

nN
I

(n) , isto e, h() e o unico ponto que pertence a I

(n) para todo n N. N ao e difcil

vericar que h e um homeomorsmo, e que h = h , isto e, h e uma conjugac ao entre e
. Se x = h(), dizemos que e o endereco do ponto x.
1.2 Distorcao limitada e geometrias limite
Vamos agora provar uma proposicao de grande import ancia, segundo a qual conjuntos de
Cantor regulares tem a propriedade de distorcao limitada:
Proposicao A.1: Seja K R um conjunto de Cantor regular, denido por uma fun cao
expansora C
1+
como acima. Dado > 0 existe C() > 0 fun cao decrescente de com
lim
0
C() = 0 tal que para todo x, y K satisfazendo
i) [
n
(x)
n
(y)[
ii) O intervalo [
j
(x),
j
(y)] est a contido no domnio de Markov I
1
I
k
para 0 j n
temos log [(
n
)
t
(y)[ log [(
n
)
t
(x)[ C().
Dem: Se > 1 e tal que [
t
(t)[ > para todo t no domnio de Markov, teremos [
j
(y)

j
(x)[
1n
para 0 j n, donde
[ log [(
n
)
t
(y)[ log [(
n
)
t
(x)[
n1

j=0
[ log [
t
(
j
(y))[ log [
t
(
j
(x))[[,
88
e, como
t
(e tambem log [
t
[) e de classe C

, existe C > 0 tal que [ log [

t
(s)[ log [
t
(t)[
C[s t[

para s, t no domnio de Markov, donde as express oes acima s ao majoradas por

c
n1

j=0
(
jn
)

< c

m=1

m
= c

Uma maneira de reformular a proposic ao acima com signicado geometrico mais evidente e
dizer que se x, y e z pertencem a um mesmo intervalo I

(n) da n-esima etapa da construc ao de

K ent ao
e
c
[z x[
[y x[

[
n
(z)
n
(x)[
[
n
(y)
n
(x)[
e
c
[z x[
[y x[
onde c = c([I[) e uma constante. Alem disso, se
n
(x),
n
(y) e
n
(z) est ao pr oximos, c pode
ser tomada pequena. Isto signica que distancias relativas numa escala microsc opica s ao no
m aximo distorcidas por um fator constante em relac ao a distancias relativas correspondentes
numa escala maior, e cada vez menos distorcidas se diminuimos o tamanho da escala maior.
Vamos agora introduzir o conceito de geometrias limite de um conjunto de Cantor regular,
que dao informac oes mais precisas sobre a estrutura local de um conjunto de Cantor regular.
Para isto, seja K um conjunto de Cantor regular e
B
seu shift de Markov associado. Vamos
considerar o shift dual associado a
B
, denotado por

B
, dado por

B
= (
n
)
n0
, f

i+1
=
1, i < 0 1, 2, . . . , k
Z

.
Dados ,=

em

B
, denimos

como (
n
,
1n
, . . . ,
0
) 1, 2, . . . , k
n+1
, onde n e
tal que

j
=
j
para 0 j n e

n1
,=
n1
, e equipamos

B
com a seguinte dist ancia:
Dado

B
e n > 0, denimos
n
= (
n
, . . . ,
0
), e B(
n
) como sendo a fun cao am
que leva I

n
em I

0
tal que o difeomorsmo k

n
= B(
n
) f

n
preserva orientac ao, onde f

n
:=
_

n
_
1
.
Com essas deni coes, k

n
e um difeomorsmo de I

0
em I

0
, e a imagem de K I

0
por k

n
e uma copia ampliada de K I

n
.
89
Com essas notac oes, temos o seguinte resultado, que caracteriza as geometrias limite de um
Cantor regular (ver [Su]):
Proposicao A.2: Seja r (1, +), e K um conjunto de Cantor regular de classe C
r
como
acima, ent ao:
i) Para cda

B
existe um difeomorsmo de classe C
r
que preserva orientacao k

= I

0
I

0
tal que k

n
converge a k

na topologia C

para todo < r. A convergencia e uniforme numa

C
r
-vizinhanca de .
ii) Se r 2 e um inteiro entao k

n
converge a k

em Di
r
+
(I

0
). Alem disso, existe C > 0 tal
que [[k

n
k

[[
C
r1 C[I

n
[.
Do item ii) segue que k

e Lipschitziana: [[k

[[
C
r1 C d(,

), ,

B
. Alem
disso, se r = 1 + , com 0 < < 1, entao, para
[[k

[[
C
1 C d(,

)

, ,

B
.
Esta proposic ao diz que conjuntos de Cantor regulares tem a seguinte propriedade: se
ampliarmos a intersec ao de um conjunto de Cantor regular K com intervalos pequenos de sua
construc ao, obtemos conjuntos de Cantor difeomorfos a partes xas de todo o conjunto K (as
intersecoes K I
a
, com a 1, 2, . . . , k), estando esses difeomorsmos muito pr oximos da
famlia compacta k

B
que tem dimensao de Hausdor nita por exemplo na metrica
C
1
(ver a proxima sec ao sobre dimens ao de Hausdor).
Denimos, para

B
, o conjunto de Cantor K

:= k

(K). Os conjuntos K

s ao conjuntos
de Cantor regulares t ao diferenci aveis quanto K, e sao conhecidos como as geometrias limite
de K.
Dem: A prova da Proposic ao A.2 n ao e muito difcil. De fato, k

n
= B(
n
) f

n
, onde f

n
=
_

n
_
1
pode ser escrito como g
n
g
n1
g
1
, onde, para 1 k n, g
k
= g

k
: I

0
I

0
e dada por g
k
= A
k

_

I
k

_
1
A
1
k1
, e os A
k
: I

k I

0
s ao difeomorsmos ans tais que A
0
e a identidade e g
k
preserva orienta cao para todo K.
90
O resultado segue do fato de que os difeomorsmos g
k
, para K grande, estao exponencial-
mente perto da identidade (de modo uniforme em ), nas topologias indicadas no enunciado
da proposic ao, e portanto a composic ao deles converge exponencialmente nessas topologias. Os
detalhes cam como exerccio para o leitor.
1.3 Dimens oes fractais
1.3.1 - A dimensao de Hausdor
Quase todos os conjuntos de Cantor que consideramos neste livro tem medida de Lebesgue
nula. Entretanto, ha medidas mais nas do tamanho de subconjuntos da reta (e, em geral,
de um espa co metrico). Comecaremos pelo conceito que ser a mais importante para nos: a
dimens ao de Hausdor:
Se X e um espa co metrico compacto e | = U
1
, U
2
, . . . , U
n
e uma cobertura nita de X,
denimos a medida de Hausdor de dimens ao > 0 associada ` a cobertura | por m

(|) =
n

i=1
diam(U
i
)

, onde
diam(U
i
) = sup
x,yU
i
d(x, y) e o diametro de U
i
,
e denimos a medida de Hausdor de dimens ao de X por m

(X) = liminf
[[|[[0
m

(|), onde
U denota uma cobertura nita de X e [[|[[ = max
U|
(diamU) e a norma da particao |.

E
f acil mostrar que existe um unico h em [0, +] tal que se < h ent ao m

(X) = + e se
> h ent ao m

(X) = 0. Esse n umero h e, por denic ao, a dimensao de Hausdor de X. A

dimens ao de Hausdor tem algumas propriedades importantes. Uma delas e que, se f : X X
e Lipschitziana e K X tem dimens ao de Hausdor d ent ao f(K) tem dimens ao de Hausdor
menor ou igual a d. Em particular, se X e Y s ao intervalos fechados e f e um difeomorsmo
ent ao as dimens oes de Hausdor de K e f(K) s ao iguais. Outra observa cao simples e que se
K R
n
tem dimensao de Hausdor menor que n ent ao tem medida de Lebesgue nula.

E possvel provar que a dimensao de Hausdor de conjuntos de Cantor regulares da reta

depende continuamente da din amica que os dene (mesmo na topologia C
1
), e, no caso da
din amica ser pelo menos C
1+
, esta sempre estritamente entre 0 e 1, e a medida de Hausdor
correspondente e nita e positiva no conjunto de Cantor (ver [PT2]).
91
Podemos denir outra dimens ao fractal, a capacidade limite, como segue: Se K e um espa co
metrico compacto, denimos N

(K) como sendo o n umero mnimo de conjuntos de Di ametro

menor ou igual a necess arios para cobrir K. A capacidade limite de K e, por denic ao,
d(K) = limsup
0

log N

(K)
log


E possvel provar que, se K e um conjunto de Cantor regular
(mesmo que apenas de classe C
1
) entao sua dimensao de Hausdor coincide com sua capacidade
limite (ver [PT2]). Tambem e verdade que, se f : X Y e Lipschitziana e K X ent ao
d(f(K)) d(K) e que d(K
1
K
2
) d(K
1
) + d(K
2
). Alem disso, em geral a dimens ao de
Hausdor de K e sempre menor ou igual a d(K) (`as vezes a desigualdade e estrita, como por
exemplo se K = 01/n, n inteiro positivo, que tem dimens ao de Hausdor 0 e capacidade
limite 1/2).
Deixamos a prova destas ultimas armac oes como exerccio para o leitor.
1.3.2 - Espessuras
Denicao A.3: Um gap de um conjunto de Cantor e uma componente conexa de seu comple-
mentar.
Dado um gap U de um conjunto de Cantor K, associamos a ele os intervalos E
U
e D
U
, que
s ao os intervalos ` a sua esquerda e `a sua direita que o separam dos gaps maiores que ele mais
pr oximos:
92
Denimos

D
(U) =
[D
U
[
[U[
,
E
(U) =
[E
U
[
[U[
,

D
(K) = inf
D
(U)[U gap limitado de K, a espessura direita de K;

E
(K) = inf
E
(U)[U gap limitado de K, a espessura esquerda de K, e
(K) = min
D
(K),
E
(K), a espessura de K.
Observacao: Dado um conjunto de Cantor K, uma apresentacao de K e uma enumerac ao
U
1
, U
2
, . . . de seus gaps limitados. Podemos denir os intervalos E
U
e D
U
como sendo os
intervalos entre U e os gaps de ndice menor que o de U mais pr oximos. No nosso caso estamos
usando a apresentac ao pela ordem de tamanho dos gaps, o que maximiza a espessura (K).
Veja [PT2].
A importancia das espessuras reside no seguinte resultado, que e uma adaptac ao do gap
lemma.
Armacao: Dados K
1
e K
2
conjuntos de Cantor, se
D
(K
1
)
E
(K
2
) > 1 e
E
(K
1
)
D
(K
2
) > 1,
ent ao ou K
1
est a contido num gap de K
2
ou K
2
est a contido num gap de K
1
ou K
1
K
2
,= .
Observacao: Isso vale em particular se (K
1
) (K
2
) > 1, que e a hip otese do gap lemma
cl assico. O gap lemma tal como enunciado aqui fornece mais informa cao, como veremos adiante.
Dem: Considere o caso em que nenhum dos K
i
s est a contido num gap do outro. Ent ao existe
um par de gaps encaixados, como nas guras abaixo (dizemos nesse caso que K
1
e K
2
est ao
intercalados)
93
a)
Como
D
(U
1
)
E
(U
2
) > 1, ou [D
U
1
[ > [U
2
[ ou [E
U
2
[ > [U
1
[ existe novo par de gaps como
em b) menor que o par (U
1
, U
2
)
b)
Como
E
(U
1
)
D
(U
2
) > 1, ou [E
U
1
[ > [U
2
[ ou [D
U
2
[ > [U
1
[ existe novo par de gaps como
em a) menor que o par (U
1
, U
2
).
Em qualquer caso obtemos um par de gaps menor, por exemplo no sentido de que a soma dos
comprimentos dos gaps dos pares decresce, e reaplicando o argumento obtemos uma seq uencia
de pares de gaps convergindo a um ponto que necessariamente pertence a K
1
K
2
.
Podemos denir, para p K,
loc
(K, p) = limsup
0
(K (p , p + )), e analogamente
(
D
)
loc
(K, p) e (
E
)
loc
(K, p). Para conjuntos de Cantor dinamicamente denidos,
loc
(K, p) nao
depende de p (ver [PT2]), e a mesma prova mostra que (
D
)
loc
(K, p) e (
E
)
loc
(K, p) tambem
n ao dependem de p. Vamos, portanto, denot a-los por
loc
(K), (
D
)
loc
(K) e (
E
)
loc
(K) (as
espessuras locais de K).
A armac ao acima implica que se (
D
)(K
1
) (
E
)(K
2
) 1 e se (
E
)(K
1
) (
D
)(K
2
) 1
ent ao K
1
K
2
contem intervalo.
Como conseq uencia, se (
D
)
loc
(K
1
) (
E
)
loc
(K
2
) > 1 e (
E
)
loc
(K
1
) (
D
)
loc
(K
2
) > 1 ent ao
K
1
K
2
contem intervalo. Para este ultimo resultado necessitamos desigualdades estritas.
De fato, no exemplo de Sannami de um conjunto de Cantor dinamicamente denido K com
(K K) > 0 e int(K K) = temos
loc
(K) = 1.
94
Referencias
[AGP] W. R. Alford, A. Granville e C. Pomerance, There are innitely many Carmichael num-
bers, Ann. of Math., 140 (1994) 703-722.
[APR] L. M. Adleman, C. Pomerance e R. S. Rumely, On distinguishing prime numbers from
composite numbers, Ann. Math. (2) 117 (1983) 173-206.
[B] N. Beskin, Fra coes contnuas - Inicia cao `a Matem atica - Editora Mir.
[Bach] Eric Bach, Explicit bounds for primality testing and related problems, Math. of Comp.
55, (1990), pp. 355-380.
[BCR] R. P. Brent, G. L. Cohen e H. J. J. te Riele, Improved techniques for lower bounds for
odd perfect numbers, Math. Comp., 57 (1991) 857-868 (MR 92c:11004).
[BLS] J. Brillhart, D. H. Lehmer e J. L. Selfridge, New primality criteria and factorizations of
2m1, Math. Comp., 29 (1975) 620-647.
[BPMV] R. Bamon, S. Plaza, C.G. Moreira and J. Vera, Dierentiable structures of central Cantor
sets, Ergod. Th. and Dynam. Syst. 17 (1997), pp. 10271042.
[BPV] R. Bamon, S. Plaza and J. Vera, On Central Cantor Sets with self-arithmetic dierence
of positive Lebesgue measure, J. London Math. Soc. 51 (1995), pp. 137146.
[Br] J. W. Bruce, A really trivial proof of the Lucas-Lehmer test, Amer. Math. Monthly,
April (1993) 370-371.
[C] Jose Paulo Q. Carneiro, Um processo nito para a raiz quadrada, RPM 34, (1997), pp.
3644.
[Ca1] J.W.S. Cassels, An introduction to diophantine approximation, Cambridge Univ. Pres,
(1957).
[Ca2] J.W.S. Cassels, Some metrical theorems in Diophantine approximation I, Proc. Camb.
Phil. Soc. 46 (1950), 209218.
95
[CB] M. Clausen e U. Baum, Fast Fourier Transforms, BI-Wiss.-Verl., (1993).
[Cipolla] M. Cipolla, Sui numeri composti P, che vericano la congruenza di Fermat a
P1
1
(mod P), Annali di Matematica, (3), 9, (1904), 139-160.
[CF] R. Crandall e B. Fagin, Discrete weighted transforms and large-integer arithmetic, Math.
Comp., 62:205 (1994) 305-324.
[CF] T.W. Cusick and M.E. Flahive, The Marko and Lagrange spectra, Math. Surveys and
Monographs, no. 30, A.M.S. (1989).
[E] P. Erdos, On a new method in elementary number theory which leads to an elementary
proof of the prime number theorem, Proc. Nat. Acad. Sci. (Washington) 35 (1949)
374-384.
[EP] P. Erdos e Carl Pomerance, On the number of false witnesses for a composite number,
Math. Comp., 46 (1986) 259-279.
[F] G.A. Freiman, Diophantine approximation and geometry of numbers (The Marko spec-
trum), Kalininskii Gosudarstvennyi Universitet, Moscow, (1975).
[GK] S. Goldwasser e J. Kilian, Almost all primes can be quickly certied, Proc. 18th STOC
(Berkeley, May 28-30, 1986), ACM, New York, (1986), 316-329.
[Guy] R. K. Guy, Unsolved Problems in Number Theory, Springer-Verlag, New York, (1994)
(QA241.G87, ISBN 3-540-94289-0).
[H] M. Hall, On the sum and product of continued fractions, Annals of Math., Vol. 48,
(1947), pp. 966993.
[HW] G. H. Hardy e E. M. Wright, An Introduction to the Theory of Numbers 5e, Oxford
University Press, (1979).
[K] A. Khintchine: Zur metrischen Theorie der diophantischen Approximationen, Math. Z.
24 (1926), 706714.
96
[KP] Su Hee Kim e Carl Pomerance, The probability that a random probable prime is com-
posite, Math. Comp., 53:188 (1989) 721-741.
[Per] L., Per, Lensemble dierence de deux ensembles de Cantor aleatoires, C.R. Acad. Sci.
Paris Ser. I Math. 310 (1990), no. 10, 735738.
[Le] D. H. Lehmer, An extended theory of Lucas functions, Ann. Math. 31 (1930) 419-448.
Reprinted in Selected Papers (ed. D. McCarthy), Vol 1, Ch. Babbage Res. Center, St.
Pierre, Manitoba Canada, 11-48, (1981).
[Lu] E. Lucas, Theorie des fonctions numeriques simplement periodiques, Amer. J. Math., 1,
(1878), 184-240 e 289-321.
[M1] C.G. Moreira, Stable intersections of Cantor sets and homoclinic bifurcations, Ann. Inst.
H. Poincare Anal. Non Lineaire 13 (1996), no. 6, pp. 741781.
[M2] C.G. Moreira, Geometric properties of the Markov and Lagrange spectra. Preprint-
IMPA.
[M3] C.G. Moreira, Geometric properties of dynamical spectra. To appear
[M4] C.G. Moreira, Conjuntos de Cantor,bifurca coes din amicas e aproximac oes diofantinas,
22.o Coloquio Brasileiro de Matematica.
[M5] C.G. Moreira, Propriedades estatsticas de frac oes contnuas e aproxima coes diofantinas:o
teorema de Khintchine, Revista Matem atica Universit aria n umero 29, pp. 125-137
[M6] C.G. Moreira, Fracoes contnuas, representacoes de n umeros e aproximac oes, Eureka 3
(1998), 4455.
[Mai] H. Maier, Primes in short intervals, Michigan math. J., 32 (1985) 221-225.
[Mar1] A. Marko, A new sequence of minima in the geometry of numbers, Math. Ann. 15
(1879), 381406.
[Mar2] A. Markov, Sur les formes quadratiques binaires indenies, Math. Ann. 15 (1879),
381406.
97
[Mi] W. H. Mills, A prime representing function, Bull. Amer. Math. Soc., 53 604.
[MN] C.G. Moreira e Nicolau Saldanha, Primos de Mersenne (e outros primos muito grandes),
22.o Coloquio Brasileiro de Matematica
[Mo] , R. A. Mollin, Prime-producing polynomials, Amer. Math. Monthly 104 (June-July
1997) 529-544.
[MO] P. Mendes and F. Oliveira, On the topological structure of the arithmetic sum of two
Cantor sets, Nonlinearity, Vol. 7, (1994), pp. 329343.
[MY] C.G. Moreira and J.-C. Yoccoz, Stable intersections of regular Cantor sets with large
Hausdor dimensions. Preprint - IMPA, (1998).
[MY2] C.G. Moreira and J.-C. Yoccoz, Tangences homoclines stables pour les ensembles hyper-
boliques de grande dimension fractale. To appear.
[N1] S. Newhouse, Non density of Axiom A(a) on S
2
, Proc. A.M.S. Symp. Pure Math., Vol.
14, (1970), pp. 191202.
[N2] S. Newhouse, Dieomorphisms with innitely many sinks, Topology, Vol. 13, (1974),
pp. 918.
[N3] S. Newhouse, The abundance of wild hyperbolic sets and nonsmooth stable sets for
dieomorphisms, Publ. Math. IHES, Vol. 50, (1979), pp. 101151.
[O] C.D. Olds, Continued Fractions, New Mathematical Library, Random House.
[P] J. Palis, Homoclinic orbits, hyperbolic dynamics and fractional dimension of Cantor sets,
Contemporary Mathematics 58, (1987), pp. 203216.
[P1] J. Palis, Homoclinic bifurcations, sensitive chaotic dynamics and strange attractors,
Dynamical Syst. and Related Topics. World Scientic, (1991), pp. 466-473.
[Pi] J. Pintz, Very large gaps between consecutive primes, J. Number Theory 63 (1997), no.
2, 286-301.
98
[Po] C. Pomerance, A new lower bound for the pseudoprimes counting function, Illinois J.
Math, 26, (1982), 4-9.
[PSW] C. Pomerance, J. L. Selfridge e S. S. Wagsta Jr., The pseudoprimes to 25.109, Math.
Comp., 35 (1980) 1003-1026.
[PT] J. Palis and F. Takens, Cycles and measure of bifurcation sets for two-dimensional
dieomorphisms, Invent. Math., Vol. 82, (1985), pp. 379442.
[PT1] J. Palis and F. Takens, Hyperbolicity and the creation of homoclinic orbits, Annals of
Math., Vol. 125, (1987), pp. 337374.
[PT2] J. Palis and F. Takens, Hyperbolicity and sensitive chaotic dynamics at homoclinic
bifurcations: fractal dimensions and innitely many attractors, Cambridge Univ. Press,
(1992).
[PY] J. Palis and J.C. Yoccoz, Homoclinic Tangencies for Hyperbolic sets of large Hausdor
Dimension Bifurcations, Acta Mathematica, Vol. 172, (1994), pp. 91136.
[PY1] J. Palis and J.C. Yoccoz, On the arithmetic sum of regular Cantor sets, Ann. Inst. H.
Poincare Anal. Non Lineaire 14 (1997), pp. 439456.
[R] A.M. Rockett, P. Sz usz, Continued Fractions, World Scientic.
[Ri1] P. Ribenboim, The New Book of Prime Number Records, 3ed., Springer-Verlag, New
York, (1995) (QA246 .R47 ISBN 0-387-94457-5).
[Ri2] P. Ribenboim, Vendendo primos, Rev. Mat. Univ., 22/23, 1997, 1-13 (traduc ao de Selling
primes, Math. Mag., 68 (1995) 175-182).
[Rie1] H. Riesel, Naagra stora primtal (Sueco: Alguns primos grandes), Elementa 39 (1956)
258-260.
[Rie2] H. Riesel, Prime Numbers and Computer Methods for Factorization, Progress in Mathe-
matics, Birkhauser Boston, vol. 57, (1985); and vol. 126, 1994.
99
[S] A. Sannami, An example of a regular Cantor set whose dierence set is a Cantor set
with positive measure, Hokkaido Math. Journal, Vol. XXI (I), (1992), pp. 723.
[Sc] W.M. Schmidt: Diophantine approximations, Lecture Notes in Mathematics 785, Springer
Verlag, (1980).
[Se] A. Selberg, An elementary proof of the prime number theorem, Annals of Math. 50
(1949) 305-13.
[Si] W. Sierpinski, Sur un probl`eme concernant les nombres k 2n+1, Elem. Math., 15 (1960)
73-74. Corrigendum: Elem. Math., 17 (1963) 85.
[Su] D. Sullivan, Dierentiable structures on fractal-like sets, determined by intrinsic scaling
functions on dual Cantor sets, The mathematical heritage of Hermann Weyl (Durham,
NC, 1987), 15223, Proc. Sympos. Pure Math. 48, Amer. Math. Soc., Providence, RI,
(1988).
[WD] H. C. Williams e H. Dubner, The primality of R1031, Math. Comp., 47 (1986) 703-711.
[We] E. Westzynthius,

Uber die Verteilung der Zahlen die zu den n ersten Primzahlen teiler-
fremd sind, Comm. Phys. math. Helsingfors, 5:5 (1931) 1-37.
[Wi] H. Wilf, What is an answer? Am. Math. Monthly, 89 (1982), 289-292.
[YP] J. Young e A. Potler, First occurence of primes gaps, Math. Comp., 52 (1989) 221-224.
100