Fraes Contnuas, Representaes de Nmeros

e Aproximaes Diofantinas

Carlos Gustavo T. de A. Moreira

IMPA

1o Colquio da Regio Sudeste

Abril de 2011
Sumrio

1 Fraes Contnuas 1
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Reduzidas e Boas Aproximaes . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Boas Aproximaes so Reduzidas . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Fraes Contnuas Peridicas . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2 Fraes Contnuas e Aproximaes Diofantinas 21

2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 O Teorema de Khintchine via fraes contnuas . . . . . . . . . . . . . . . 23
2.3 O Teorema de Khintchine n-dimensional . . . . . . . . . . . . . . . . . . . 25
2.4 Aproximaes diofantinas no-homogneas . . . . . . . . . . . . . . . . . 28
2.5 Nmeros de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

3 Os Espectros de Markov e Lagrange 35

3.1 Definies e enunciados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Problemas Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Referncias Bibliogrficas 39

iii
Captulo 1

Fraes Contnuas

1.1 Introduo

A teoria de fraes contnuas um dos mais belos assuntos da Matemtica

elementar, sendo ainda hoje tema de pesquisa.
Nas incluses N Z Q R, a passagem de Q para R sem dvida a mais
complicada conceitualmente e a representao de um nmero real est diretamente
ligada prpria noo de nmero real.
De fato, o conceito de nmero natural quase um conceito primitivo. J um nmero
inteiro um nmero natural com um sinal que pode ser + ou , e um nmero racional
a razo entre um nmero inteiro e um natural no nulo. Por outro lado, dizer o que
um nmero real tarefa bem mais complicada, mas h coisas que podemos dizer
sobre eles. Uma propriedade essencial de R que todo nmero real pode ser bem
aproximado por nmeros racionais. Efetivamente, dado x R, existe k = b x c Z tal
que 0 x k < 1. Podemos escrever a representao decimal de

x k = 0, a1 a2 . . . an . . . , ai {0, 1, . . . , 9},

o que significa que se rn = an + 10 an1 + 100 an2 + + 10n1 a1 , ento 10

rn
n

x k < 10n , e portanto k + 10n uma boa aproximao racional de x, no sentido de

r n +1 rn
 ( )
rn 
que o erro  x k + 10 n menor do que 101n , que um nmero bem pequeno se n for
grande. A representao decimal de um nmero real fornece pois uma sequncia de
aproximaes por racionais cujos denominadores so potncias de 10.
Vamos lembrar uma notao que nos ser muito til: dado x R, definimos a parte
inteira de x como o nico inteiro b x c tal que b x c x < b x c + 1, e a parte fracionria de
x como { x } = x b x c [0, 1).
A representao decimal de nmeros reais est intimamente ligada funo f :
[0, 1) [0, 1) dada por f ( x ) = {10x } = 10x b10x c (mais precisamente, dinmica
da funo f , i.e., ao estudo de suas composies sucessivas). De fato, se x [0, 1) tem
representao decimal 0, a1 a2 a3 . . . , ento a1 = b10x c e f ( x ) = 0, a2 a3 a4 . . . . Assim,
definindo f 1 = f e f n+1 = f f n , temos f n ( x ) = 0, an+1 an+2 an+3 . . . para todo n 1.

1
2 Captulo 1: Fraes Contnuas

p
Dado qualquer x R e q natural no nulo existe p Z tal que x < p+q 1
  q
 p
(basta tomar p inteiro tal que p qx < p + 1, i.e., p = bqx c), e portanto  x q  < 1q
 
 p +1 
e  x q  1q . Em particular h aproximaes de x por racionais com denominador
q com erro menor do que 1q . A representao decimal de x equivale a dar essas
aproximaes para os denominadores q que so potncias de 10, e tem mritos como
sua praticidade para efetuar clculos que a fazem a mais popular das representaes
dos nmeros reais. Por outro lado, envolve a escolha arbitrria da base 10, e oculta
frequentemente aproximaes racionais de x muito mais eficientes do que as que exibe.
Seno vejamos: tomemos um nmero real totalmente ao acaso, digamos
= 3, 141592653589793238462643383279502884 . . . .
Uma aproximao clssica de por um nmero racional 22/7 = 3, 142857142857 . . . ,
devida a Arquimedes. Uma outra aproximao ainda melhor 355/113 =
3, 1415929203539823 . . . . Note que
       
 22  1  314   355  1  3141592 
  < <   e  < <  ,
 7 700  100   113  3000000  1000000 

7 e 113 so melhores aproximaes de que aproximaes decimais

e portanto 22 355

com denominadores muito maiores, e de fato so aproximaes muito mais

espetacularmente boas do que se poderia esperar pelo tamanho dos denominadores
envolvidos.
Vamos apresentar uma outra maneira de representar nmeros reais, a
representao por fraes contnuas, que sempre fornece aproximaes racionais
surpreendentemente boas, e de fato fornece todas as aproximaes excepcionalmente
boas, alm de ser natural e conceitualmente simples.
Definimos recursivamente
0 = x, an = bn c
1 1
e, se n
/ Z, n +1 = = , para todo n N.
n an {n }
Se, para algum n, n = an temos
def 1
x = 0 = [ a0 ; a1 , a2 , . . . , a n ] = a0 + .
1
a1 +
a2 + . .
. 1
+
an
Se no, denotamos
def 1
x = [ a0 ; a1 , a2 , . . . ] = a0 + .
1
a1 +
a2 + . .
.
O sentido dessa ltima notao ficar claro mais tarde. A representao acima se
chama representao por fraes contnuas de x.
1.1: Introduo 3

A figura d uma interpretao geomtrica para a representao de um nmero por

fraes contnuas. Enchemos um retngulo 1 x com quadrados de forma gulosa",
isto , sempre colocando o maior quadrado possvel dentro do espao ainda livre. Os
coeficientes a0 , a1 , a2 , . . . indicam o nmero de quadrados de cada tamanho. Na figura,
se os lados do retangulo so c < d ento

d/c = [1; 2, 2, 1, ...]

pois temos a0 = 1 quadrado grande, a1 = 2 quadrados menores, a2 = 2 quadrados

ainda menores, a3 = 1 quadrados ainda ainda menores, e um nmero grande no
desenhado de quadrados ainda ainda ainda menores (a4 grande). Deixamos a
verificao de que esta descrio geomtrica corresponde descrio algbrica acima
a cargo do leitor.

Do mesmo modo que a representao decimal est ligada dinmica da funo

f ( x ) = {10x }, como vimos anteriormente, a representao em fraes contnuas est
intimamente ligada dinmica da funo g : (0, 1) [0, 1), dada por g( x ) = { 1x } =
x b x c, tambm conhecida como transformao de Gauss: se x = [0; a1 , a2 , a3 , . . . ]
1 1

(0, 1), ento a1 = b 1x c e g( x ) = [0; a2 , a3 , a4 , ...]. Assim, definindo, como antes g1 = g e

gn+1 = g gn para todo n 1, temos gn ( x ) = [0; an+1 , an+2 , an+3 , . . . ], para todo n 1.

Note que, se a representao por fraes contnuas de x for finita ento x

claramente racional.

Reciprocamente, se x Q, sua representao ser finita, e seus coeficientes an vm

do algoritmo de Euclides: se x = p/q (com q > 0) temos

p = a0 q + r1 , 0 r1 < q.
q = a1 r1 + r2 , 0 r2 < r1 ,
r1 = a2 r2 + r3 , 0 r3 < r2 ,
.. ..
. .
r n 1 = an rn , r n +1 = 0

Temos ento
1 1
x = p/q = a0 + r1 /q = a0 + = a0 +
a1 + r2 /r1 a1 + a2 +r13 /r2
4 Captulo 1: Fraes Contnuas

1
= = a0 + = [ a0 ; a1 , a2 , . . . , a n ].
1
a1 +
a2 + . .
. 1
+
an
Isso j uma vantagem da representao por fraes contnuas (alm de no
depender de escolhas artificiais de base), pois o reconhecimento de racionais mais
simples que na representao decimal.
Seja x = [ a0 ; a1 , a2 , . . . ]. Sejam pn Z, qn N>0 primos entre si tais que
pn
qn = [ a0 ; a1 , a2 , . . . , an ], n 0. Esta frao qpnn chamada de n-sima reduzida ou
convergente da frao contnua de x. O seguinte resultado ser fundamental no que
seguir.

Proposio 1.1 Dada uma sequncia (finita ou infinita) t0 , t1 , t2 , R tal que tk > 0, para
todo k 1, definimos sequncias ( xm ) e (ym ) por
x0 = t0 , y0 = 1, x1 = t0 t1 + 1, y1 = t1 ,
xm+2 = tm+2 xm+1 + xm , ym+2 = tm+2 ym+1 + ym , m 0. Temos ento

1 xn
[ t0 ; t1 , t2 , . . . , t n ] = t0 + = , n 0.
1 yn
t1 +
t2 + . .
. 1
+
tn

Alm disso, xn+1 yn xn yn+1 = (1)n , n 0.

Demonstrao: A prova ser por induo em n. Para n = 0 temos [t0 ] = t0 = t0 /1 =

x0 /y0 . Para n = 1, temos [t0 ; t1 ] = t0 + 1/t1 = t0 tt11+1 = x1 /y1 e, para n = 2, temos

1 t2 t t t + t0 + t2
[ t0 ; t1 , t2 ] = t0 + = t0 + = 012
t1 + 1/t2 t1 t2 + 1 t1 t2 + 1

t2 ( t0 t1 + 1) + t0 t x + x0 x
= = 2 1 = 2.
t2 t1 + 1 t2 y1 + y0 y2
Suponha que a afirmao seja vlida para n. Para n + 1 em lugar de n temos

1
[ t 0 ; t 1 , t 2 , . . . , t n , t n +1 ] = [ t 0 ; t 1 , t 2 , . . . , t n + ]
t n +1
( )
tn + tn1+1 xn1 + xn2
= ( )
tn + tn1+1 yn1 + yn2
t n +1 ( t n x n 1 + x n 2 ) + x n 1
=
t n +1 ( t n y n 1 + y n 2 ) + y n 1
t x n + x n 1 x
= n +1 = n +1
t n +1 y n + y n 1 y n +1
1.1: Introduo 5

Vamos agora mostrar, por induo, a segunda afirmao. Temos

x1 y0 x0 y1 = (t0 t1 + 1) t0 t1 = 1 = (1)0
e, se xn+1 yn xn yn+1 = (1)n ,
x n +2 y n +1 x n +1 y n +2 = ( t n +2 x n +1 + x n ) y n +1 ( t n +2 y n +1 + y n ) x n +1
= ( xn+1 yn xn yn+1 ) = (1)n = (1)n+1 .

Nos prximos resultados, x = [ a0 ; a1 , a2 , a3 , . . . ] ser um nmero real, e

( qpnn )nN , qpnn = [ a0 ; a1 , a2 , . . . , an ] ser a sequncia de reduzidas da frao contnua de
x.

Corolrio 1.2 As sequncias ( pn ) e (qn ) satisfazem as recorrncias

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, com p0 = a0 , p1 = a0 a1 + 1, q0 = 1 e q1 = a1 . Alm disso,

pn+1 qn pn qn+1 = (1)n

para todo n 0.

Demonstrao: As sequncias ( pn ) e (qn ) definidas pelas recorrncias acima

satisfazem, pela proposio anterior, as igualdades
pn
= [ a0 ; a1 , a2 , . . . , an ] e pn+1 qn pn qn+1 = (1)n , n 0.
qn

Como pn+1 qn pn qn+1 = (1)n , para todo n N, temos que os pn , qn dados pelas
recorrncias acima so primos entre si. Alm disso, tambm segue da recorrncia que
p
qn > 0, n 0. Esses fatos implicam que ( qnn )nN a sequncia de reduzidas da frao
contnua de x. 2

Corolrio 1.3 Temos, para todo n N,

n p n 1 + p n 2 p n 2 q n 2 x
x= e n =
n q n 1 + q n 2 q n 1 x p n 1

Demonstrao: A primeira igualdade segue da proposio anterior pois x =

[ a0 ; a1 , a2 , . . . , an1 , n ] e a segunda consequncia direta da primeira. 2
6 Captulo 1: Fraes Contnuas

Proposio 1.4 Temos

pn (1)n
x =
qn (n+1 + n+1 )q2n
onde
q n 1
n +1 = = [0; an , an1 , an2 , . . . , a1 ].
qn
Em particular,
 
1  p  1 1
< x  =
n
< .
2
( a n +1 + 2 ) q n  qn  ( n +1 + n +1 ) q n
2 an+1 q2n

Demonstrao: Pelo corolrio anterior temos

pn p n + p n 1 pn p q n p n q n 1
x = n +1 = n 1
qn n +1 q n + q n 1 qn ( n +1 q n + q n 1 ) q n
( pn qn1 pn1 qn ) (1) n 1 (1)n
= = =
( n +1 q n + q n 1 ) q n ( n +1 q n + q n 1 ) q n ( n +1 q n + q n 1 ) q n
(1) n (1) n
= = .
(n+1 + qn1 /qn )qn 2 (n+1 + n+1 )q2n
Em particular,  
 
 x pn  = 1
,
 qn  (n+1 + n+1 )q2n
e, como bn+1 c = an+1 e 0 < n+1 < 1, segue que an+1 < n+1 + n+1 < an+1 + 2, o
que implica a ltima afirmao.
A expanso de n+1 como frao contnua segue de

q n 1 q n 1 q 1
= = n1 = q
qn a n q n 1 + q n 2 qn an + qnn21

aplicado recursivamente. 2

Observao 1.5 Como limn qn = + (pois (qn ) estritamente crescente), segue

desta proposio que
pn
lim = x,
n qn

o que permite recuperar x a partir de a0 , a1 , a2 , . . . , e d sentido igualdade x =

[ a0 ; a1 , a2 , . . . ] quando a frao contnua de x infinita (i.e., quando x irracional).

Observao 1.6 A proposio anterior implica que, para todo irracional, a

desigualdade | p/q| < 1/q2 tem infinitas solues racionais p/q. Este fato
conhecido como o Teorema de Dirichlet.
interessante notar que, se = r/s Q, a desigualdade | p/q| < 1/q2 tem
apenas um nmero finito de solues racionais p/q. De fato, |r/s p/q| < 1/q2
equivale a |qr ps| < s/q, o que implica que q s.
1.1: Introduo 7

Curiosidade: O denominador da n-sima aproximao em base B de um nmero

real Bn . J o denominador qn da n-sima aproximao por frao contnua de x

depende de x. Apesar disso, para quase todo real x, n qn converge a e /12 ln 2 =
2

 

n 
pn 
3, 27582291872 . . . (um nmero real bastante simptico!) e  x qn  converge a
e
2 /6 ln 2
= 0, 093187822954 . . . .

A seguinte proposio mostra que os convergentes pares formam uma sequncia

crescente, e que os convergentes mpares formam uma sequncia decrescente. Alm
disso todos os convergentes mpares so maiores do que todos os convergentes pares.

Proposio 1.7 Para todo k 0, temos

p2k p p p
2k+2 x 2k+3 2k+1 .
q2k q2k+2 q2k+3 q2k+1

Demonstrao: O resultado segue dos seguintes fatos gerais. Para todo n 0, temos
que
p n +2 pn a p + pn pn
= n +2 n +1
q n +2 qn a n +2 q n +1 + q n qn
a n +2 ( p n +1 q n p n q n +1 ) (1)n an+2
= =
q n ( a n +2 q n +1 + q n ) q n +2 q n
positivo para n par e negativo para n mpar. Alm disso, para todo n 0, temos que
p (1)n
x qnn = ( q +q )q positivo para n par e negativo para n mpar. 2
n +1 n n 1 n

Proposio 1.8 Sejam a0 , a1 , . . . , an inteiros com ak > 0, k 1, e seja ( pk /qk )k0 a

sequncia de reduzidas da frao contnua [ a0 ; a1 , a2 , . . . , an ]. Ento o conjunto dos nmeros
reais cuja representao por fraes contnuas comea com a0 , a1 , . . . , an o intervalo
{ }
pn
I ( a0 , a1 , . . . , a n ) = {[ a0 , a1 , . . . , an , ], > 1}
qn
[ )
p n , p n + p n 1 se n par
= ( pnn + pn np1n ]
q q +q
n 1
se n mpar.
q n + q n 1 , q n

Alm disso, a funo G : (0, +) I ( a0 , a1 , . . . , an ) dada por G () = [ a0 ; a1 , a2 , . . . , an , ]

montona, sendo crescente para n mpar e decrescente para n par.

Demonstrao: suficiente notar que, como na prova do corolrio anterior, G () =

[ a0 ; a1 , a2 , . . . , an , ] = p n + p n 1
qn +qn1 = pn
qn + (1)n
(q +q )q
, e portanto G crescente para n
n n 1 n
8 Captulo 1: Fraes Contnuas

p +p pn
mpar e decrescente para n par. Assim, como G (1) = qnn +qnn11 e lim+ G () = qn ,
temos { p p +p
( qnn , qnn +qnn11 ) se n par
G ((1, +)) =
( pqnn + p n 1 p n
+ q n 1 , q n ) se n mpar.
Portanto,
{ }
pn
{[ a0 , a1 , . . . , an , ], > 1}
I ( a0 , a1 , . . . , a n ) =
qn
[ )
{ } p n p n + p n 1
pn , se n par
G ((1, +)) = ( pnn + pn np1n ]
q q +q
=
qn n 1
se n mpar.
q n + q n 1 , q n
2

Proposio 1.9 Dados inteiros a0 , a1 , a2 , . . . , com ak > 0, k 1, existe um nico nmero

real (que irracional) cuja representao por fraes contnuas [ a0 ; a1 , a2 , . . . ].

Demonstrao: Considere as sequncias ( pn ) e (qn ) definidas pelas recorrncias

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, com p0 = a0 , p1 = a0 a1 + 1, q0 = 1 e q1 = a1 . Temos, como na
proposio 1.7,
p2k p p p
2k+2 2k+3 2k+1 , k 0.
q2k q2k+2 q2k+3 q2k+1
Assim, considerando os intervalos fechados
[ ]
p2k p2k+1
Ik = , ,
q2k q2k+1
temos Ik+1 Ik , k 0, e portanto, como
p2k+1 p p q p2k q2k+1 (1)2k 1
| Ik | = 2k = 2k+1 2k = =
q2k+1 q2k q2k+1 q2k q2k+1 q2k q2k+1 q2k
tende a 0 quando k tende a infinito, existe R tal que

Ik = {}.
k 0

Como, para todo k 0,

p2k p
[ a0 ; a1 , a2 , . . . , a2k ] = 2k+1 = [ a0 ; a1 , a2 , . . . , a2k , a2k+1 ]
q2k q2k+1
e, da proposio anterior, [ a0 ; a1 , a2 , . . . , a2k ] e [ a0 ; a1 , a2 , . . . , a2k , a2k+1 ]
pertencem a I ( a0 ; a1 , a2 , . . . , a2k ), que um intervalo, segue que
I ( a0 ; a1 , a2 , . . . , a2k ), e portanto a frao contnua de comea com a0 , a1 , . . . , a2k ,
para todo k 0, donde a representao por fraes contnuas de [ a0 ; a1 , a2 , . . . ].
Note que, como a representao por fraes contnuas de infinita, irracional.
2
1.2: Reduzidas e Boas Aproximaes 9

Exemplo 1.10 Temos

= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, . . . ], portanto

p0 p1 22 p2 333 p3 355
= 3, = , = , = ...
q0 q1 7 q2 106 q3 113

e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . , 1, 1, 2n, . . . ] (veja o exerccio 8).

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

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

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

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

1+ 5
Isto prova em particular que 2e 2 so irracionais, pois suas fraes contnuas so
infinitas.

1.2 Reduzidas e Boas Aproximaes

Teorema 1.11 Temos, para todo n N,
 
 p  1 1
x 
n
< 2
 qn  q n q n +1 qn

Alm disso,    
 p   p 
x  < 1
n
ou x n + 1 < 1 .
 qn  2q2n  q n +1  2q2n+1

p p n +1
Demonstrao: O nmero x sempre pertence ao segmento de extremos qnn e q n +1 cujo
comprimento
     
 p n +1 p   (1)n  1  p  1 1

n = = = x 
n
< 2
q qn   q n q n +1  q n q n +1  qn  q n q n +1 qn
n +1

Alm disso, se    
   
 x pn  1 e  x p n +1  1 ,
 qn  2q2n  q n +1  2q2n+1
10 Captulo 1: Fraes Contnuas

ento    
1  p   p 
=  x  +  x
n n + 1  1 + 1 = qn+1 = qn ,
q n q n +1 qn q n +1  2q2n 2q2n+1
absurdo. 2

 pn 
Observao 1.12 De fato  x qn < 1
q n q n +1 < 1
an+1 q2n
. Quanto maior for an+1 melhor
pn
ser a aproximao qn de x.

Teorema 1.13 (Hurwitz, Markov) Para todo irracional e todo inteiro n 1, temos
 
 p 
  < 1
 q 5q2

para pelo menos um racional { }

p p n 1 p n p n +1
, ,
q q n 1 q n q n +1
Em particular, a desigualdade acima tem infinitas solues racionais p/q.

Demonstrao: Suponha que o teorema

seja falso. Ento,
1.4, existe
pela proposio
irracional, n 1 com n + n 5, n+1 + n+1 5 e n+2 + n+2 5. Devemos
portanto ter an+1 = an+2 = 1 j que claramente ak 2 para k= n, n + 1, n + 2 e se
algum ak = 2 com k = n + 1, n + 2, teramos ak + k 2 + 31 > 5, absurdo.
Sejam x = 1/n+2 e y = n+1 . As desigualdades acima se traduzem em

1 1 1 1
+ 5, 1+x+y 5 e + 5.
1+x y x 1+y

Temos

1+x+y 5 = 1 + x 5y

1 1 1 1 5
= + + =
1+x y 5y y y( 5 y)

51
e portanto y( 5 y) 1 = y 2 . Por outro lado temos
1 1 1 1
x 5 1 y = + +
x 1+y 51y 1+y

5
=
(1 + y)( 5 1 y)

51

51
e portanto (1 + y)( 5 1 y) 1 = y 2 , e portanto devemos ter y = 2 ,
q
o que absurdo pois y = n+1 = nqn 1 Q.
2
1.3: Boas Aproximaes so Reduzidas 11
 p
Observao 1.14 Em particular provamos que  q  < 1 2 tem infinitas solues
p 5q
racionais q , para todo irracional. O nmero 5 o maior com essa propriedade. De
fato, se  
1+ 5  p  1
> 0, = e   < ,
2  q ( 5 + ) q2
temos
 ( 
 1 + 5 ) 
  1
 q p <
 2  ( 5 + )q
 (  (   
 1 + 5 )   1 5 )   1 5 p 
    2 q
= q p q p < ,
 2  2  5+

ou seja,
 
 1 + 5 p  /
 
| p2 pq q2 | <  5 ( 5 + ).
 2 q 

p
Se q grande, 1/q2 pequeno, e 1+ 5
2 q muito prximo de 0, donde o lado direito

da desigualdade muito prximo de 5 < 1, absurdo, pois | p2 pq q2 | 1, de
5+
fato se p2 pq q2 = 0 teramos
( )2 ( ) { }
p p p 1+ 5 1 5
1 = 0 = , ,
q q q 2 2
p
o que absurdo, pois q Q.
 
 1+ 5 p 
Outra maneira de ver que, para todo > 0,  2 q  < 1 tem apenas um
( 5+ ) q2
p
nmero finito de solues q Q observar que as melhores aproximaes racionais

1+ 5 p
de so as reduzidas qnn de sua frao contnua [1; 1, 1, 1, . . . ] (ver prxima seo),
2  
 p 
para as quais temos  1+2 5 qnn  = ( +1 )q2 , com n+1 + n+1 se aproximando
n +1 n +1 n
cada vez mais de

1+ 5 51
[1; 1, 1, 1, . . . ] + [0; 1, 1, 1, . . . ] = + = 5.
2 2

1.3 Boas Aproximaes so Reduzidas

O prximo teorema (e seu corolrio 1.17) caracteriza as reduzidas em termos

do erro reduzido da aproximao de x por p/q, o qual , por definio,
|qx p|, a razo entre | x p/q| e o erro mximo da aproximao por falta com
denominador q, que 1/q.
12 Captulo 1: Fraes Contnuas

Teorema 1.15 Para todo p, q Z, com 0 < q < qn+1 temos

|qn x pn | |qx p|.

Alm disso, se 0 < q < qn a desigualdade acima estrita.

p p
Demonstrao: Como mdc( pn , qn ) = 1, temos que se q = qnn ento p = kpn e q = kqn
para algum inteiro k 6= 0 e neste caso o resultado claro. Assim, podemos supor que
p pn
q 6 = qn de modo que  
p 
 pn  1 > 1
q qn  qqn q n q n +1
p pn p n +1
j que q < qn+1 . Assim, q est fora do intervalo de extremos qn e q n +1 e portanto
  {   }
 p  p p  p p 
x min  ,
n n + 1  1
 q   q qn   q q n +1  qqn+1

o que implica
1
|qx p| | q n x p n |.
q n +1
p
Alm disso, a igualdade s pode ocorrer se x = qnn++11 , donde an+1 2, e qn+1 > 2qn ,
pois numa frao contnua finita, como no algoritmo de Euclides, o ltimo coeficiente
an sempre maior que 1. Nesse caso, se q < qn , teremos
     
 p  p p   p n +1 p 
x    n

n
 q   q qn   q n +1 qn
1 1 q q 1
= n +1 >
qqn qn qn+1 qqn qn+1 qqn+1

o que implica
1
|qx p| > | q n x p n |.
q n +1
2

Corolrio 1.16 Para todo q < qn ,

   
 p   p 
x  < x
n
 qn   q

p0
Corolrio 1.17 Se |qx p| < |q0 x p0 |, para todo p0 e q0 q tais que
p
q 6= q0 , ento p/q
uma reduzida da frao contnua de x.

Demonstrao: Tome n tal que qn q < qn+1 . Pelo teorema, |qn x pn | |qx p|, e
portanto p/q = pn /qn .
2
1.3: Boas Aproximaes so Reduzidas 13
 p
Teorema 1.18 Se  x q  < 1 p
2q2
ento q uma reduzida da frao contnua de x.

p p
Demonstrao: Seja n tal que qn q < qn+1 . Suponha que q 6= qnn . Como na
 p
demonstrao do teorema anterior,  x q  qqn1+1 e assim q est fora do intervalo
p

pn p n +1
de extremos qn e q n +1 . Temos duas possibilidades:
 p
ento  x q 
q n +1
a) Se q 2
1
qqn+1 1
2q2
, absurdo.
q n +1
b) Se q < 2 ,
     
 p   pn p   pn+1 pn 
x  
 q   qn q q n +1 qn
1 1 q q
= n +1
qqn qn qn+1 qqn qn+1
1 1
> 2
2qqn 2q
o que tambm um absurdo.

Dado R, definimos a ordem de por

{  p  }
def  1 p
ord = sup > 0    < tem infinitas solues Q
q q q

Observemos que a ordem de todo nmero irracional pode ser calculado a partir de
sua frao contnua.

Teorema 1.19 Seja um nmero irracional, e sejam [ a0 ; a1 , a2 , a3 . . .] sua frao contnua e

{ qpnn } suas convergentes. Ento

ln qn+1 ln an+1
ord = 1 + lim sup = 2 + lim sup .
n ln qn n ln qn

Demonstrao: Sabemos que as melhores aproximaes por racionais so obtidas a

partir das convergentes da frao contnua, assim para calcular a ordem, basta calcular

 pn 
a ordem gerada pelas convergentes. Seja sn > 0 um nmero real tal que  qn  = q1sn .
  n
 pn 
Como foi provado no Captulo 3  qn  < qn qn+1 e
1

  (   )  
 p  1  p   p  1  p n +1 p  1
  >
n   + 
n n + 1  =   =
n
.
 qn  2  qn   q n +1  
2 q n +1 qn 2qn qn+1
Logo temos que
1 1 1
sn ,
2qn qn+1 qn q n q n +1
14 Captulo 1: Fraes Contnuas

e tomando o logaritmo obtemos

ln 2 + ln qn + ln qn+1 sn ln qn ln qn + ln qn+1 .

ln qn+1
Portanto ord = lim sup sn = 1 + lim sup . Para mostrar a segunda igualdade,
n n ln qn
observemos que qn+1 = an+1 qn + qn1 , assim

a n +1 q n < q n +1 < ( a n +1 + 1 ) q n ,

agora tomando o logaritmo e dividindo por ln qn obtemos

ln an+1 ln qn+1 ln( an+1 + 1)

+1 < < + 1,
ln qn ln qn ln qn

ln qn+1 ln an+1
portanto lim sup = 1 + lim sup .
n ln qn n ln qn
2

Observe que usando a frao contnua de e (ver exerccios), possvel provar que
ord(e) = 2.

1.4 Fraes Contnuas Peridicas

Nesta seo provaremos que os nmeros reais com frao contnua peridica so
exatamente as razes de equaes do segundo grau com coeficientes inteiros.
Lembramos que na representao de x por frao contnua, an , n so definidos por
recurso por
1
0 = x, an = bn c, n+1 =
n an
e temos
p n 2 q n 2 x
n = , n N.
q n 1 x p n 1

Isso d uma prova explcita do fato de que se a frao contnua de x peridica,

ento x raiz de uma equao do segundo grau com coeficientes inteiros. De fato, se
n+k = n , n N, k N>0 segue que

p n 2 q n 2 x p q n + k 2 x
= n + k 2 ,
q n 1 x p n 1 q n + k 1 x p n + k 1

ento Ax2 + Bx + C = 0, onde

A = q n 1 q n + k 2 q n 2 q n + k 1
B = p n + k 1 q n 2 + p n 2 q n + k 1 p n + k 2 q n 1 p n 1 q n + k 2
C = p n 1 p n + k 2 p n 2 p n + k 1
1.4: Fraes Contnuas Peridicas 15

q n 1
Note que o coeficiente de x2 no-nulo, pois q n 2 uma frao irredutvel de
q n + k 1
denominador qn2 , pois pn1 qn2 pn2 qn1 = (1)n , e q n + k 2 uma frao
q n 1 q n + k 1
irredutvel de denominador qn+k2 > qn2 , donde q n 2 6= q n + k 2 , logo qn1 qn+k2
qn2 qn+k1 6= 0.
Vamos provar agora um resultado devido a Lagrange segundo o qual se x uma
irracionalidade quadrtica, isto , se x um irracional do tipo r + s, r, s Q, s > 0, ento
a frao contnua de x peridica, i.e., existem n N e k N>0 com n+k = n . Neste
caso, existem a, b, c inteiros tais que ax + bx + c = 0, com b 4ac > 0 e b2 4ac
2 2
p +p
irracional. Como x = qnn11 nn +qnn22 , temos

ax2 + bx + c = 0
( )2 ( )
p n 1 n + p n 2 p n 1 n + p n 2
= a +b +c = 0
q n 1 n + q n 2 q n 1 n + q n 2
= An 2n + Bn n + Cn = 0,

onde

An = ap2n1 + bpn1 qn1 + cq2n1

Bn = 2apn1 pn2 + b( pn1 qn2 + pn2 qn1 ) + 2cqn1 qn2
Cn = ap2n2 + bpn2 qn2 + cq2n2 .

Note que Cn = An1 . Vamos provar que existe M > 0 tal que 0 < | An | M para
todo n N, e portanto 0 < |Cn | M, n N:
( )( )
p n 1 p n 1
An = apn1 + bpn1 qn1 + cqn1 = aqn1 x
2 2 2
x ,
q n 1 q n 1

onde x e x so as razes de aX 2 + bX + c = 0, mas

    
    
 x pn1  < 1 1 = | An | = aq2  x pn1   x pn1 
 q n 1  2
q n 1 n 1 
q n 1   q n 1 
(  )
 pn1 

a | x x | +  x
q n 1 
def
M = a(| x x | + 1).

Notemos agora que, para qualquer n N,

Bn2 4An Cn = ( pn1 qn2 pn2 qn1 )2 (b2 4ac) = b2 4ac

Portanto

Bn2 4An Cn + b2 4ac 4M2 + b2 4ac

= Bn M0 = 4M2 + b2 4ac
def
16 Captulo 1: Fraes Contnuas

Provamos assim que An , Bn e Cn esto uniformemente limitados, donde h apenas

um nmero finito de possveis equaes An X 2 + Bn X + Cn = 0, e portanto de possveis
valores de n . Assim, necessariamente n+k = n para alguma escolha de n N,
k N>0 .

Aplicao: A equao de Pell.

Seja A um inteiro positivo. Estamos interessados na equao x2 Ay2 = 1, com
x e y inteiros. Se A um quadrado perfeito, digamos a = k2 , temos que x2 Ay2 =
( x ky)( x + ky) = 0 admite apenas as solues triviais y = 0, x = 1, pois teramos
x ky = x + ky = 1. o caso itneressante
quando A no um quadrado pergeito, e
p
portanto A um irracional (de fato, se A = q , com mdc( p, q) = 1 e q > 1, teramos
p2
A= q2
o que um absurdo, pois mdc( p, q) = 1 mdc( p2 , q2 ) = 1, donde p2 /q2 no
pode ser inteiro). nesse caso, a equao x2 Ay2 = 1 conhecida como uma equao de
Pell. Nosso resultado principal o seguinte:

Teorema 1.20 A equao x2 Ay2 = 1 tem infinitas solues inteiras ( x, y). Alm disso, as
solues com x e y inteiros
n ser enumeradas por ( xn , yn ), n 0 de modo que,
positivos podem
para todo n, xn + yn A = ( x1 + y1 A) , e portanto

( x1 + y1 A ) n + ( x1 y1 A ) n ( x1 + y1 A ) n + ( x1 y1 A ) n
xn = e yn = .
2 2 A
Observao 1.21 As seqncias ( xn ) e (yn ) acma satisfazem a recorrncia un+2 =
2x0 un+1 un , n 1.

Demonstrao: Observemos
inicialmente que, se D = { x + y A | x, y Z} ento
N : D D, N ( x + y A) = x Ay uma funo multiplicativa, isto ,
2 2

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 u2 + A2 y2 v2 A ( x 2 v2 + y2 u2 )
= ( x2 Ay2 )(u2 Av2 ).
p
Usaremos agora o fato de que, como A irracional, a desigualdade | A q | < 1
q2
p
tem infinitas solues racionais p/q. Note que se | A q | < q12 ento
p 1
| p2 Aq2 | = | p q A|| p + q A| = q| A || p + q A| < q 2 | p + q A|
q q
p p
= | + A| 2 A + | A | < 2 A + 1.
q q
1.5: Problemas Propostos 17
p
Considerando infinitos pares de inteiros positivos ( pn , qn ) com | A qnn | < q12 ,
n
teremos sempre | pn Aq2n | < 2 A + 1, e portanto temos um nmero finito de
possibilidades para o valor (inteiro) de pn Aq2n . consequentemente, existe um
inteiro k 6= 0 tal que pn Aq2n = k para infinitos valores de n. Obtemos portanto
duas seqncias crescentes de pares de inteiros positivos ur ), (vr ), r N tais que
u2r kv2r = k para todo r.
Como h apenas |k |2 possibilidades para os pares (ur (mod |k |), vr (mod |k |)),
axistem inteiros a e b e infinitos valores de r tais que ur a(mod |k |) e vr b(mod |k|).
Tomamos ento r < s com as propriedades acima. Seja

us + vs A (us + vs A)(ur vr A)
x+y A = =
ur + vr A u2r Av2r
( )
us ur Avs vr ur v s u s vr
= + A.
k k
Temos us ur Avs Vr u2r Av2r = k 0(mod |k|) e ur vs us vr ab ab =
0(mod |k |), e portanto x = us ur kAvs vr e y = ur vs k us vr so inteiros. Por outro lado, ( x +

y A)(ur + vr A) = us + vs A, donde N ( x + y A ) N ( u r + v r A ) = N ( u s + v s A ).
Como N (ur + vr A) = N (us + vs A) = k, segue que N ( x + y A) = x Ay = 1. 2 2

Alm disso, como s > r, us + vs A > ur + vr A, donde x + y A = us +vs A > 1.
ur + vr A

Sejam agora x1 , y1 Z tais que
1 x 1 + y 1 A > 1 e x 2 Ay2 = 1 com x + y
1 1 1 A1
mnimo. Temos ento ( x1 + y1 A) = x1 y1 A. Vamos mostrar que, se x + y A >
1 e x Ay = 1 (com x e y inteiros) ento x + y A = ( x1
2 2 n
+ y1 A) para algum
n+1 n. Para isso, tome n 1 tal que ( x1 +y1 A) x +
inteiro positivo n y A <
( x1 +y1 A) . Temos ento1 ( x + y A)( x1 y1 A) < x1 + y1 A. Se n

u + v A = ( x + y A)( x1 y1 A)n , com u e v inteiros, temos

u2 Av2 = N (u + v A) = N ( x + y A) N ( x1 y1 A)n = 1,

donde u + v A = 1, pela minimalidade de x1 + y1 A, pois 1 u + v A <
x1 + y1 A. Note finalmente que se x e y so inteiros e x2 Ay2 = 1 ento x+y A > 1
equivale a termosx e y positivos,pois temos
0 < ( x + y A) = x y A < 1, donde
1

( x +y A)+( x y A) x y A)
( x +y A)(
x= 2 ey= so positivos. 2
2 A

1.5 Problemas Propostos

1 Seja
pn 1
=
qn 12
1+
32
2+
52
2+
... (2n 3)2
2+
2
18 Captulo 1: Fraes Contnuas

a n-sima convergente da frao contnua

1
12
1+
32
2+
52
2+
72
2+
...

Demonstrar que
pn
qn = 1 13 + 51 17 + + (1)n1 2n11 .

2 Demonstrar que, para todo inteiro positivo a, temos as seguintes expanses em

fraes contnuas peridicas:

a) a2 + 1 = [ a, 2a].

b) a2 1 = [ a 1, 1, 2a 2].

c) a2 2 = [ a 1, 1, a 2, 1, 2a 2].

d) a2 a = [ a 1, 2, 2a 2].

3 Encontrar as fraes contnuas de a2 + 4 e a2 4.

4 Seja = [ a0 ; a1 , a2 , . . . ] R. Prove que, se qn q < qn+1 , mdc( p, q) = 1 e

p p rp
p/q 6= pn /qn ento | p/q| | pn /qn | se, e somente se, q = qnn++11 rqnn , onde
r N tal que 0 < r < an+1 /2 ou (r = an+1 /2 e n+2 n+1 1).

5 Seja = [ a0 ; a1 , a2 , . . . ] R. Prove que, se qn q < qn+1 , mdc( p, q) = 1 e

p p p
p/q 6= pn /qn ento | p/q| < 1/q2 se, e somente se, an+1 2 e q = qnn++11 qnn ou
p p n + p n 1
(q = q n + q n 1 e (n+1 2) n+1 < 1).

6 Seja = [ a0 ; a1 , a2 , . . . ] um nmero real.

a) Prove que, se ord > 2 ento existe > 1 tal que, para infinitos inteiros positivos
n, temos an n .
log log( an +1)
b) Prove que ord 1 + exp(lim supn n ).
c) Mostre que, para todo c 2, existe R tal que
log log( an +1)
ord = 1 + exp(lim supn n ) = c.
d) Determine ord se an = 2n , n 0.

7 Prove que, para todo R, lim supn+ cosn (n) = 1.

1.5: Problemas Propostos 19

8 Este exerccio, baseado em [Cohn], tem como objetivo calcular a frao contnua de
e.

a) So dadas as sequncias { An }, { Bn } e {Cn } definidas por

1 n
x ( x 1) n x
An = e dx,
0 n!
1 n +1
x ( x 1) n x
Bn = e dx,
0 n!
1 n
x ( x 1) n +1 x
Cn = e dx.
0 n!

Mostrar que para todo n 1 se cumprem as relaes

(i) An + Bn1 + Cn1 = 0,

(ii) Bn 2nAn + Cn1 = 0,
(iii) An Bn + Cn = 0.

b) Dadas as sequncias { pn } e {qn } definidas recursivamente como p0 = q0 = p1 =

1, q1 = 0 e

p3n = p3n1 + p3n2 , q3n = q3n1 + q3n2

p3n+1 = 2np3n + p3n1 , q3n+1 = 2nq3n + q3n1
p3n+2 = p3n+1 + p3n , q3n+2 = q3n+1 + q3n

Mostrar por induo que para todo n 0 se cumprem as relaes

An = q3n e p3n , Bn = p3n+1 q3n+1 e, e Cn = p3n+2 q3n+2 e.

c) Mostrar que

pn
e = lim = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . , 1, 1, 2n, . . . ].
n qn

9 Prove que

p log log q p
|e | < 2 tem infinitas solues Q, mas, para todo > 0,
q 2q log q q

p log log q p
|e | < tem apenas um nmero finito de solues Q.
q (2 + )q log q
2 q
Captulo 2

Propriedades Estatsticas de Fraes

Contnuas e Aproximaes Diofantinas:
O Teorema de Khintchine

2.1 Introduo
O problema bsico da teoria de aproximaes diofantinas o de estudar boas
aproximaes de nmeros reais por nmeros racionais. Uma extenso natural desse
problema o estudo de aproximaes simultneas de n nmeros reais por nmeros
racionais com o mesmo denominador.
Dado um nmero irracional , um resultado clssico de Dirichlet (que j provamos
p p
usando fraes contnuas) afirma que existem infinitos racionais q tais que | q | < q12
(vejamos outra prova simples: dado N N, consideramos os N[+ 1 elementos
) de [0, 1)
N 1
da forma j b jc, com 0 j N. Como [0, 1) = k =0
k k +1
N, N, existem dois
j )
desses elementos, digamos j1 b j1 c e j2 b j2 c num mesmo intervalo N , N ,
k k +1

e portanto, se j1 < j2 , q = j2 j1 e p = b j2 c b j1 c, temos 0 < |q p| < N1

| qp | < qN
1
q12 ). Hurwitz e Markov provaram que de fato | qp | < 5q 1
2
tem
p
infinitas solues q Q, para todo irracional , e que 5 a maior constante com
essa propriedade. Markov ([Mar1] e [Mar2]) provou que, para todo c < 3, o conjunto
p p
dos R tais que | q | < cq12 tem apenas um nmero finito de solues q Q
p
enumervel, mas o conjunto dos R tais que | q | < 1
3q2
tem apenas um nmero
finito de solues tem o mesmo cardinal que R.
Neste captulo, vamos estudar desigualdades do tipo

p f (q)
| | < , (1)
q q

onde f : N R+ uma funo decrescente, do ponto de vista da teoria da medida.

Vamos provar o teorema de Khintchine, segundo o qual, se
q=1 f ( q ) = + ento (1)

21
22 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Q, para quase todo R, mas se

tem infinitas solues
p
q q=1 f ( q ) < + ento (1)
p
tem apenas um nmero finito de solues q Q, para quase todo R.
Note que do ponto de vista topolgico a situao diferente: qualquer que seja a
p
funo positiva f , (1) tem infinitas solues q Q para R f , onde R f um conjunto
residual, i.e. contm (de fato ) uma interseo enumervel de abertos densos.
A principal tcnica usada para estudar aproximaes de nmeros reais por
nmeros racionais so as fraes contnuas, que fornecem todas as boas aproximaes
de um irracional por racionais. Lembramos os seguintes resultados a seguir sobre
fraes contnuas.
Dado R, definimos 0 = , an = bn c e, se n
/ Z, n + 1 = n
1
an , para todo

n N. Para cada n N tomamos pn Z e qn N primos entre si tais que

pn 1
= [ a0 ; a1 , a2 , . . . , a n ] : = a0 + 1
.
qn a 1 + a2 +
..
.
+ a1n

Temos
1 pn 1 1
2
< | | < 2
2, para todo n N.
( a n +1 + 2 ) q n qn a n +1 q n qn
p
As seqncias pn e qn satisfazem pn+1 qn pn qn+1 = (1)n , n 0. Se | q | < 1
2q2
p pn pn
ento q = qn , para algum n N. Por outro lado, para todo n N vale | qn | < 1
2q2n
p n +1
ou | q n +1 | < 1
2q2n+1
.
Temos
n +1 p n + p n 1
p n +2 = a n +2 p n +1 + p n , q n +2 = a n +2 q n +1 + q n e = , para todo n N.
n +1 q n + q n 1

A prova que apresentaremos na Seo 1, baseada no estudo de propriedades

estatsticas de fraes contnuas, inspirada em conversas que tive h uns 9 anos com
o Prof. Nicolau Coro Saldanha sobre o tema.
O problema bsico de aproximaes simultneas o seguinte: dado
p1 p2 pn p
1 , 2 , . . . , n R queremos encontrar nmeros racionais q , q , . . . , q tais que | j qj |
seja pequeno para todo j n. Em geral sempre possvel encontrar racionais tais que
p
| j qj | < q1+11/n , o que estende o teorema de Dirichlet e pode ser provado de modo
anlogo: dado N N consideramos os N n + 1 pontos

p j = (1 j b1 jc, 2 j b2 jc, . . . , n j bn jc), 0 j Nn

( [ ))n
N 1 k k +1
no hipercubo [0, 1)n . Dividimos [0, 1)n como k =0 N, N em N n cubos de
lado N1 . Haver necessariamente dois pontos p j1 e p j2 num mesmo cubo dessa
p
decomposio, e, se j1 < j2 , q = j2 j1 , p j = b j2 j c b j1 j c, teremos | j q j | <
j
1
Nq j 1+1/n , para todo j n.
1
qj
2.2: O Teorema de Khintchine via fraes contnuas 23

Infelizmente no h um substituto satisfatrio para a teoria de fraes contnuas em

dimenso maior que um, mas possvel provar uma verso n-dimensional do Teorema
de Khinchine (provada originalmente em [K]), o que faremos na Seo 2.
Para maiores informaes sobre aproximaes diofantinas, veja [Ca1] e [S].

2.2 O Teorema de Khintchine via fraes contnuas

Teorema 2.1 (Khintchine) Seja f : N R+ uma funo decrescente tal que h(n) =
n f (n) : N R+ tambm seja decrescente.

a) Se
p f (q)
n=1 f ( n ) < + ento a equao | q | < q tem apenas um nmero finito de
solues racionais p/q, para quase todo R/Q

b) Se
p f (q)
n=1 f ( n ) = + ento a equao | q | < q tem um nmero infinito de
solues racionais p/q, para quase todo R/Q.

Observao 2.2 A condio de n f (n) ser decrescente no de fato necessria, como

veremos na seo 2, mas simplifica a prova. Por outro lado, no podemos retirar a
hiptese de f ser decrescente (veja [Ca2]).

Lema 2.3 Sejam n, k N, e seja [0, a1 , a2 , . . . ] a frao contnua de um nmero [0, 1].
A probabilidade de um termo an+1 ser igual a k dado que a1 = k1 , a2 = k2 , . . . , an = k n est
entre 1/(k + 1)(k + 2) e 2/k (k + 1), k1 , k2 , . . . , k n N .

Demonstrao: Sejam

pn1 /qn1 = [0; a1 , a2 , . . . , an1 ] e pn /qn = [0; a1 , a2 , . . . , an1 , an ].

[ )
p +p p
Se [0, 1], = [0; a1 , a2 , . . . , an , n+1 ], n+1 [1, +) ento qnn +qnn11 , qnn , e,
[ ]
kpn + pn1 (k +1) pn + pn1
se alm disso an+1 = k, temos kqn +q , (k+1)q +q , e valem as recprocas
n 1 n n 1
(as ordens dos extremos dos intervalos podem estar trocadas). Os comprimentos
dos referidos intervalos so, respectivamente, q (q +1 q ) e (kq +q )((1k+1)q +q )
n n n 1 n n 1 n n 1
(pois | pn qn1 pn1 qn | = 1), e portanto a razo entre seus comprimentos
q n ( q n + q n 1 ) 1+
(kqn +qn1 )((k+1)qn +qn1 )
= (k+ )( k +1+ )
, onde = qn1 /qn [0, 1]. Portanto, a razo
pertence a [1/(k + 1)(k + 2), 2/k (k + 1)].
2

Corolrio 2.4 A probabilidade de an+1 k, nos termos do Lema acima, pertence a [1/(k +
1), 2/k ].

Lema 2.5 Para quase todo R existe c R tal que qn cn , para todo n N.
24 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Antes de provar o Lema 2.4 vamos mostrar como termina a prova do Teorema de
Khintchine.
Demonstrao

do Teorema de Kintchine: Suponhamos que f (n) < . Seja =
pn f (qn )
2 . Se a aproximao pn /qn de tal que | qn | <
1+ 5
qn ento an+1 + 2 >
1
qn f (qn )
> n1 f 1(n1 ) (pois para todo R \ Q vale qn > n1 , n N). an+1 >
1
n 1 f ( n +1 )
2. A probabilidade de an+1 n1 f 1(n1 ) 2 =: A(n) pelo menos
1 A(2n) , n N (pelo corolrio do Lema 1.2), e a hiptese de n=1 f ( n ) < implica

que n=1 A(n) < , por comparao com
2

k f (k ) <
1 k
( k +1
k
) f ( k +1
) < f (n) < +.
k =1 =0 n =1

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

n = n0 (1 2
An ) > 1 , donde com probabilidade total an+1 A(n) para todo n
p f (q)
suficientemente grande | q | < q tem apenas um nmero finito de solues.
Suponhamos agora que f (n) = +, fixemos c > 0 e vamos nos restringir ao
conjunto Xc dos [0, 1] tais que qn < cn para todo n N (a unio dos conjuntos Xc
para todo c N tem probabilidade total em [0, 1], pelo Lema 1.4).
pn f (qn )
Se an+1 > 1
qn f (qn )
teremos | qn | < qn . Como qn < cn , 1
qn f (qn )
< 1
cn f (cn )
. Vamos
mostrar que com probabilidade total temos an+1 para infinitos valores de 1
cn f (cn )
( )
n N. Isso segue de n=1 1 B(n)+1
1
= 0, onde B(n) = cn f 1(cn ) , que por sua
vez segue de n n 1
n=1 c (f ( c ) c ) n=1 ( c
n+1 cn ) f ( cn ) = + . Portanto, para todo

n0 N temos n=n0 1 B(n)+1 = 0, e, com probabilidade total, existe n n0 com

1

pn f (qn )
an+1 cn f 1(cn ) , donde a equao | qn | < qn satisfeita com probabilidade total
para infinitos valores de n N.
2

Prova do Lema 2.4: Sejam n, k N. A probabilidade de que k aparea pelo menos

4n/k (k + 1) vezes entre a1 , a2 , . . . , an limitada por nj=sn Cn ( 2s ) j (1 2s )n j , onde
j

Cn ( 2s ) j+1 (1 2s )n j1
n j +1
4 n
s= , que menor que ( 34 ) k(k+1) para grande (de fato, j =
k ( k +1) k ( k +1) Cn ( 2s ) j (1 2s )n j
n j 43s 43s j s n j
j+1 2s < 3s 2s = 63s < 3 , se j 4 , logo, como j=0 Cn ( 2 ) (1 2 )
s s 2 3sn n s j
=
s n j
1, donde Cnsn ( 2s )sn (1 2s )(1s)n ( 23 )sn/4 e
j
4 , Cn ( 2 ) (1 2 )
s j
1, para j = 3sn
nj=sn Cn ( 2s ) j (1 2s )n j ( 23 )sn/4
j 2 k 2 sn/4
k =0 ( 3 ) = 3 ( 3 ) = 3( 23 )n/k(k+1) < ( 43 )n/k(k+1) ,
se n/k (k + 1) suficientemente grande). A probabilidade disso acontecer pra algum
3
k < [ 3 n] no mximo 3 n ( 43 ) n , que converge a zero quando n +. Por
outro lado, com probabilidade
( total, an <) n2 para todo n suficientemente grande

3 4n
3
n
qn < nk=1 ( ak + 1) < r =1 ( r + 1 ) r (r +1) (n2 )4n/ n com probabilidade total para
2.3: O Teorema de Khintchine n-dimensional 25

todo n grande,
pois tambm com probabilidade total o nmero de termos maiores ou
iguais a 3 n entre a1 , a2 , . . . , an no mximo 4n/ 3 n, para n suficientemente grande.

Como lim 8 log n/ 3 n = 0, temos com probabilidade total
n
( )

4 log(r + 1)
lim sup n
qn exp < +.
n r =1
r (r + 1)

Observao 2.6 Pode-se provar com mtodos de teoria ergdica que para quase todo
R vale

lim n qn = e /12 ln 2 ' 3, 2758229 . . .
2

Pretendemos discutir este e outros resultados finos ligados a propriedade estatsticas

de fraes contnuas num prximo artigo.

Corolrios do Teorema de Khintchine:

p
i) Para quase todo R, | q | < 1
tem apenas um nmero finito de solues
q2 log2 q
p p
q Q, e portanto | q | < 1
q 2+
tem apenas um nmero finito de solues racionais
p
q , para todo > 0. Em particular ord = 2 para quase todo R (onde
p p
ord := inf{ > 0|| q | < 1
q tem infinitas solues q Q}).
p
ii) Para quase todo R, | q | < 1
q2 log q
tem infinitas solues racionais p/q, e
p p
portanto, para todo k R, | q| < 1
kq2
tem infinitas solues q Q.

2.3 O Teorema de Khintchine n-dimensional

Teorema 2.7 Sejam f 1 , f 2 , . . . , f n : N R+ funes decrescentes e F : N R+ dada por

F (k) = f 1 (k ) f 2 (k ) . . . f n (k). Seja = (1 , . . . , 2 , . . . , n ) Rn . O sistema de aproximao
simultneas
p f (q)
| i | < i , 1 i n tal que ()
q q

a) Se q =1 F ( q ) ) < + ento (*) tem apenas um nmero finito de solues

(
p1 p2 pn
q , q ,..., q Qn , para quase todo Rn .
( )
b) Se
p1 pn
q=1 F ( q ) = + ento (*) tem infinitas solues q ,..., q Qn para quase
todo Rn .
26 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Demonstrao: Dado q0 N, consideremos o conjunto

n ( )
pi f i ( q ) pi f i (q)
S ( q0 ) = q q ,q+ q ,
qq 0 p ,...,p <q i =1
0 1 n

que o conjunto dos [0, 1)n tais que a desigualdade (*) do enunciado do Teorema

tem alguma soluo com q q0 (e logo q0 N S(q0 ) o conjunto dos Rn tais que
2n F ( q )
(*) tem infinitas solues ( qi , . . . , qn ) Qn ). Temos m(S(q0 ))
p p n
q = q0 q ( q n ) =
2n F (q), que tende a 0 quando q tende a , pois q=1 F ( q ) converge. Portanto,
q=q0
m( q0 N S(q0 )) = 0, o que completa a prova de a).
gi ( q )
Primeiro obtemos funes decrescentes g1 , g2 , . . . , gn : N R+ tais que lim =
q s0 f i ( q )
0 e G = g1 , g2 , . . . , gn : N R+ satisfaz lim qG (q) = 0 e
q=1 G ( q ) = + (podemos
q
tomar G1 (k ) = ( F (1) + F (2) + + F (k ))1 F (k ) e G (k ) = ( G1 (1) + G1 (2) + +
G1 (k ))1 G1 (k), k N. Teremos G1 e G decrescentes, G1 (k ) 1/k, kG (k) 0,
G1 (k) = , G (k ) = , e definimos gi (q) = f i (q) ( G (q)/F (q))1/n ).
Fixemos agora q0 N grande e definimos s0 = s0 (q0 ) = min{s N| G (q0 ) + G (q0 +
1) + + G (s) c}, onde c uma constante que escolheremos posteriormente. Note
s (q)
que limq 0 q = +.
( )
Para cada s com q0 s s0 vamos estimar o nmero de rs1 , rs2 , . . . , rsn Qn com
ri Z, 1 i n, 0 ri < s tais que existem q com q0 q < s, p1 , p2 , . . . , pn Z,
0 pi < q satisfazendo
ri p g ( q ) gi ( s )
| i| < i + , i = 1, 2, . . . , n. ()
s q q s
Temos que, como cada gi decrescente, (**) implica
gi ( q )
|ri q pi s| < 2qs = 2sgi (q), i = 1, 2, . . . , n.
q
( r1 )
) (**) para nenhum q com q0 q < s,
rn
Para um tal s , . . . , s( que no satisfaz
g (s) g (s)
p1 , . . . , pn o bloco in=1 rsi i s , rsi + i s ser disjunto de todos os blocos associados
( )
p p
a q1 , . . . , qn , q com q0 q < s, p1 , . . . , pn Z com 0 pi < q.
Para completarmos a prova de b), aplicaremos:
( )
( j) k
Lema 2.8 Para todo k N existe ck > 0 tal que nj=1 j ck n.

Demonstrao: Para k = 1 segue de

n
1 ( j) 1 n (d) 1 n n (d)
lim
n n
j
= lim
n n d
= lim d e
n n d d
j =1 q =1 d | q d =1

(d) 6
= d 2
= 2

d =1
2.3: O Teorema de Khintchine n-dimensional 27

(m) m|n (m )
pois r=1 m2
k =1
1
k2
=
n =1 2 = 1, e
k = 1
1
2 = 2 k
6 . Como h ( x ) = x
(
n
) ( k
)
( j) k ( j) k
convexa para k 1, temos 1 n

n j =1 j 1 n

n j =1 j , donde segue o resultado
( )k
(com Ck = 62 ).
2

Final da demonstrao de b): Se q0 q < s, o nmero de solues de |ri q pi s| <

2sgi (q) com 0 pi < q, 0 ri < s no mximo 4sgi (q) desde que mdc(ri , s) = 1. De
p
fato, nessas condies ri q pi s no se anula, seno teramos qi = rsi , que uma frao
irredutvel de denominador s > q, absurdo. Seja d = mdc(s, q). Dado k Z, a equao
diofantina rq ps = k s tem soluo de d|k, quando tem d solues com 0 r < s.
Portanto, 0 < rq ps < x (resp. x < rq ps < 0) tem no mximo db dx c x solues
( p, r ) com 0 r < s, o que claramente implica a afirmao. Portanto, o nmero de
solues da desigualdade acima
( para )todo i com 1 i n no mximo 4n sn G (q). Por
outro lado h (s)n pontos rsi , . . . , rsn , 0 ri < s, mdc(ri , s) = 1, 1 i n. Isso nos
d a estimativa do nmero de novos blocos disjuntos dos anteriormente considerados
que tm denominador s de pelo menos (s)n 4n sn sq 1
=q0 G ( q ), e para o volume da
unio dos blocos disjuntos adicionados at o denominador s0 de pelo menos
s0 s 1
2n G ( s )
( ( s ) n 4n s n G (q))
sn
s = q0 q = q0
( )n ( )
s0 s0 s 1
(s)
= 2k s
G ( s ) 8n G (q) G ( s ).
s = q0 s = q0 q = q0

Por outro lado, com s0 = min{s qo | sq=q0 G (q) c}, temos

s0 ( )n s0 1 s ( )n s0 ( )n
(s) ( j) ( j)
s
G (s) = (G(s) G(s + 1)) j
+ G ( s0 ) j
s = q0 s = q0 j = q0 j = q0
s0 1
(G(s) G(s + 1))(cn s q0 ) + G(s0 )(cn s0 q0 )
s = q0
s0
= cn G ( s ) (1 c n ) q0 G ( q0 )
s = q0 +1
= cn c + 1 onde 1 0 quando q0

(pois lim q0 G (q0 ) = 0).

q0
( )
Por outro lado, 8n ss0=q0 sq 1
= q0 G ( q ) G (s) 8n c ss0=q0 G (s) 8n c(c + 2 ) onde
2 = G (s0 ) 0 quando q0 . Assim, nosso volume , pelo menos, 2n (cn c + 1 )
8n c(c + 2 ). Tomando c = 4nc+n 1 temos que, se q0 suficientemente grande (e logo 1 e
2 suficientemente pequenos), o volume de A(q0 ) pelo menos c2n /2n+3 , onde
n ( )
pi gi ( q ) p i gi ( q )
A ( q0 ) = q q ,q+ q .
qq 0 p ,...,p <q i =1
0 1 n
28 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Como A(q) A(q + 1), q N, temos m( A ) 1
152n > 0, onde A = qN A ( q ).
pi gi ( q )
Se = ( 1 , 2 , . . . , n ) A , | i q| < q , i = 1, 2, . . . , n tem infinitas solues
( pq1 , pq1 , . . . , pqn )
Como m( A ) > 0, dado > 0 existe cubo Q = in=1 [ bCi , biC+1 ],
Qn .
C N, bi Z, 0 bi < C tal que m( A Q) (1 )m( Q). Se T : Rn Rn dada
por
T ( X1 , . . . , Xn ) = (CX1 b1 , CX2 b2 , . . . , CXn bn ),
temos T ( Q) = [0, 1]n e m( T ( Q A )) 1 . Alm disso, se = (1 , 2 , . . . , n )
p g (q)
T ( Q A ), = T ( ), = ( 1 , . . . , n ) A Q, e portanto | i qi | < i q , para
p p2 pn Cgi (q)
todo i = 1, 2, . . . , n tem infinitas solues ( q1 , q ,..., q ) Qn , donde |i rqi | < q
f i (q)
(e logo |i rqi | < q ) tem infinitas solues
( ) ( )
r1 r2 rn Cp1 b1 Cp1 b2 Cpn bn
, ,..., = , ,..., Qn ,
q q q q q q

e como > 0 pode ser feito arbitrariamente pequeno est provado o item b).
2

2.4 Aproximaes diofantinas no-homogneas

Proposio 2.9 Se R \ Q ento X = {m + n|m, n Z} denso em R.

p
Demonstrao: Dado > 0 existem p, q inteiros com > 1/ tais que | q | < 1
q2

0 < |q p| < 1q < . Dado x R existe k Z tal que x est entre k (q p) e
(k + 1)(q p), donde | x k(q p)| . Como k(q p) = pk + qk X, o
resultado est provado.
2

O prximo resultado, devido a Kronecker, estende a proposio anterior para

dimenso qualquer.

Proposio 2.10 Seja = (1 , 2 , . . . , n ) Rn . Suponha que 1, 1 , . . . , n sejam

linearmente inependentes sobre Q (isto , k + m1 1 + m2 2 + + mn n = 0 com
k, m1 , . . . , mn Z implica k = m1 = = mn = 0). Ento X = {k + m1 e1 +
m2 e2 + + mn en |k, m1 , . . . , mn Z} denso em Rn , onde e1 = (1, 0, . . . , 0), . . . , en =
(0, . . . , 0, 1) so os elementos da base cannica de Rn .

Demonstrao: Seja X Rn o fecho de X, e V X um subespao vetorial maximal

de Rn contido em X. Suponhamos por absudo que V 6= Rn . Seja f um funcional linear
no nulo de Rn .
2.4: Aproximaes diofantinas no-homogneas 29

Seja V o complemento ortogonal de V, e seja : Rn V a projeo ortogonal

sobre V . Para todo x X, ( x ) X, pois ( x ) = x + ( ( x ) x ), ( x ) x C X
e X invariante por adio (pois X tambm ).
Seja k = dim V . Escolhemos vetores ei1 , ei2 , . . . , eik tais que (ei1 ), (ei2 ), . . . , (eik )
geram V . Se fizermos e0 = , para todo i = 0, 1, . . . , n escrevemos (ei ) =
kj=1 ij (ei j ). No podemos ter i1 Q para todo i, seno podemos definir
um funcional linear f da seguinte forma: dado x Rn escrevemos ( x ) como
kj=1 j (ei j ), e tomamos f ( x ) = 1 . Se i1 = f (ei ) Q para todo i, teramos
01 = f () = in=1 i f (ei ) = in=1 i1 i Q, contradizendo a hiptese da proposio.
Seja ento i0 tal que i0 1 / Q. Tomamos = (i0 1 , . . . , i0 k ) Rk . Como
observamos na introduo deste artigo, existem xn = qn ( p1n , p2n , . . . , pkn ) 6= 0,
com qn , p1n , . . . , pkn Z e lim | xn | lim |qn |1/k = 0, e portanto, se wn =
n n
q n ( ei0 ) kj=1 p jn (ei j ), lim wn = 0 (e wn 6= 0, n). Passando a uma subseqncia,
n
se necessrio, podemos supor que lim wn
= w Sn1 V . Para todo t R, temos
n n |
| w
que tw = lim b wtn cwn X, n N. Portanto, como X invariante por adio, o
n
subespao V = {v + tw|v V, t R} tal que V X e V contm propriamente V,
absurdo.
2

Observao 2.11 A hiptese da Proposio A.2 necessria, pois se existem inteiros

k, m1 , . . . , mn no todos nulos tais que k + m1 1 + + mn n = 0 ento X
{( x1 , . . . , xn ) Rn |m1 x1 + m2 x2 + + mn xn Z}, que um fechado com interior
vazio.

O teorema de Kronecker possui a seguinte generalizao, devida a Weyl. Antes

necessitamos de uma

Definio 2.12 Uma sequncia ( an )n0 com an [0, 1]d dita uniformemente distribuda
se para qualquer paraleleppedo retangular C [0, 1]d , temos

#{ j | 1 j n e a j C }
lim = m ( C ),
n n

onde m(C ) o volume de C.

Observao 2.13 Caso uma seqncia ( an )n0 com an [0, 1]d seja uniformemente
distribuda, ento a propriedade da definio valer no somente para paraleleppedos
retangulares, mas tambm para qualquer conjunto C [0, 1]d com volume ( la
Riemann) bem definido (o que requer que o conjunto seja J-mensurvel, i.e., que sua
fronteira tenha medida nula).
30 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Teorema 2.14 (Weyl) Seja = (1 , . . . , d ) Rd onde as coordenadas so tais que

1, 1 , . . . , d so linearmente independentes sobre Q. Ento a sequncia

def
{n} = (n1 bn1 c, . . . , nd bnd c)

uniformemente distribuda no cubo [0, 1]d .

Demonstrao: Sejam C1 , C2 [0, 1)d dois cubos abertos tais que o lado de C2 menor
que o lado de C1 . Ento o fecho C2 de C2 est contido em um transladado de C1
(C2 C1 + v, v Rd ). Como existem vetores v arbitrariamente prximos de v,
com v = (q1 + p1 , . . . , qd + pd ), q, p1 , . . . , pd Z, tomando um tal v de modo que sua
distncia a v seja menor que a distncia de C2 fronteira de C1 + v, temos que

{m} C2 = {(m q)} C2 v C1 .

Se definirmos, para cada paraleleppedo retangular C, N (n, , C ) := #{ j | 1 j

n e { j C }, teremos ento N (n, , C2 ) N (n, , C1 ) + |q| para todo n N.
Seja ento N um nmero natural grande[ dado e C) um cubo dado de lado 1/N.

Considere a decomposio [0, 1)d = ( kN=0 N k+1 , Nk++11 )d como a unio de ( N + 1)d
cubos de lado 1
N +1 . Seja C a coleo desses cubos. Para cada cubo C C dessa
coleo, existe um inteiro q(C) tal que N (n, , C ) N (n, , C ) + |q(C) | para todo
n N. Se q o mximo dos nmeros |q(C) |, podemos usar o fato de que, para
todo n N, existe um cubo C C com N (n, , C ) ( N +n 1)d para concluir que
N (n, , C ) n
( N +1) d
q, n N, de onde obtemos lim inf N (n, , C )/n 1
( N +1) d
.
n
Analogamente (considerando a decomposio
N 2 [ k )
[0, 1) = ( k=0 N 1 , N 1 ) como a unio de ( N 1)d cubos de lado
d k +1 d 1
N 1 , podemos
provar que lim sup N (n, , C )/n 1
( N 1) d
.
n

Seja agora B = id=1 [ ai , bi ) um paraleleppedo retangular dado. Para cada nmero

natural grande N, B contm uma unio disjunta de id=1 b N (bi ai )c cubos de lado
1/N. Assim, da discusso acima, segue que

N (n, , B) 1 N d d 1
lim inf id=1 b N (bi ai )c ( ) i = 1 ( bi a i ) ,
n n ( N + 1) d N+1 N

e, fazendo N tender a infinito, obtemos lim inf N (n, , B)/n id=1 (bi ai ) =
n
m( B). Por outro lado, B est contido numa unio de id=1 d N (bi ai )e cubos de
lado 1/N, donde, pela discusso acima, lim sup N (n, , B)/n ( N 1 1)d id=1 d N (bi
n
ai )e ( NN1 )d id=1 (bi ai + 1/N ), e, fazendo N tender a infinito, obtemos
lim sup N (n, , B)/n id=1 (bi ai ) = m( B). Portanto lim N (n, , B)/n = id=1 (bi
n n
a i ) = m ( B ). 2
2.5: Nmeros de Liouville 31

Observao 2.15 possvel provar o teorema anterior com tcnicas de anlise de

Fourier. Dizemos que uma sequncia (wn )n0 com wn Rd dita uniformemente
distribuda mdulo 1 se ({wn })n0 uniformemente distribuda em [0, 1]d , onde, para
w = (w1 , w2 , . . . , wd ) Rd , {w} := ({w1 }, {w2 }, . . . , {wd }). possvel provar que
(wn )n0 uniformemente distribuda mdulo 1 se, e somente se, para todo vetor
v Zd com v 6= (0, 0, . . . , 0),
1
lim
n n
exp(2ihwn , vi) = 0
1 j n

(onde hu, vi denota o produto interno dos vetores u e v). No difcil verificar esta
condio para a sequncia wn = n, onde = (1 , . . . , d ) Rd tal que 1, 1 , . . . , d
so linearmente independentes sobre Q.
Esta caracterizao de sequncias uniformemente distribudas mdulo 1 pode ser
usada para provar o seguinte fato: uma condio suficiente (mas no necessria) para
que uma sequncia (wn )n0 com wn R seja uniformemente distribuda mdulo 1
que, para todo inteiro positivo h, a sequncia (wn+h wn )nN seja uniformemente
distribuda. Este fato, por sua vez, pode ser usado para provar (por induo no
grau) que, para todo polinmio p( x ) = d x d + d1 x d1 + + 0 que tenha algum
coeficiente no constante j , j 1 irracional, a sequncia ( p(n))nN uniformemente
distribuda mdulo 1.
Veja o captulo IV de [C1] ou [StSa], pginas 105-113 para mais detalhes.

2.5 Nmeros de Liouville

Vimos no corolrio i) do teorema de Khintchine que ord = 2 para quase todo
R. Dado R \ Q, dizemos que um nmero de Liouville se ord = , isto
p p
, se para todo n > 0 existem infinitos racionais q com | q | < q1n . O conjunto dos
nmero de Liouville portanto dado por
(p 1 p 1)
L= , + .
nN q2 pZ
q qn q qn

Assim, L uma interseo enumervel de abertos densos e portanto um conjunto

genrico no sentido de Baire, embora, como vimos, tenha medida nula.
Uma parte do interesse dos nmeros de Liouville motivado pelo seguinte
resultado, que implica que todo nmero de Liouville transcendente (a recproca
entretanto falsa, j que o conjunto dos nmeros algbricos enumervel e portanto o
conjunto dos nmeros transcendentes tem medida total).

Proposio 2.16 Seja R \ Q um nmero algbrico de grau n, isto , raiz de um

polinmio no nulo de grau n com coeficientes inteiros. Ento existe c > 0 tal que
 p 
 c
  n
q q
para todo p/q Q. Em particular, ord n.
32 Captulo 2: Fraes Contnuas e Aproximaes Diofantinas

Demonstrao: Seja P( x ) um polinmio de grau n com coeficientes inteiros tal que

P() = 0. Existe um d > 0 tal que P( x ) 6= 0 para todo 0 < | x | < d. Sejam
{ 1}
k = max | P0 ( x )| e c = min 1, d,
| x |1 k
p p p
Se | q | < c
com p, q N>0 , teramos | q | < c d, donde P( q ) 6= 0. Assim,
qn ,  p   p 
como qn P( q ) Z, qn P( q ) 1  P( q ) q1n . Por outro lado,
p

 ( p )  ( p )   (p )
     
P  = P P() =  P0 (y) ,
q q q
p
para algum y estritamente entre e q , pelo teorema do valor mdio, mas |y | <
| qp | < c 1 implica | P0 (y)| k, logo
 ( p )  p 
1    kc 1
 P  k  < n n
qn q q q q

o que absurdo. 2

Um teorema no trivial devido a Roth (e que lhe rendeu uma medalha Fields)
mostra que, de fato, ord = 2, para todo algbrico (veja por exemplo [Leq]).
Lembramos que, usando a frao contnua de e, possvel provar que ord(e) = 2
(veja o captulo 3), isto , o nmero e transcendente, mas no muito.

2.6 Problemas Propostos

1 Mostre que a sequncia ( an ) com an [0, 1]d uniformemente distribuda se, e s
se, para qualquer funo contnua f : [0, 1]d R, temos

f ( a1 ) + f ( a2 ) + + f ( a n )
lim = f.
n n [0,1]d

2 Prove que = 1
10n!
um nmero de Liouville e, portanto, transcendente.
n =1

3 Mostrar que se e so nmeros irracionais positivos satisfazendo 1 + 1 = 1, ento

as sequncias
bc, b2c, b3c, e b c, b2c, b3c,
juntas contm todo inteiro positivo exatamente uma vez.

4 Mostrar que se a e b so nmeros inteiros positivos arbitrrios, ento

1
| a 2 b| > .
2( a + b )
2.6: Problemas Propostos 33

5 Construa uma sequncia infinita limitada x0 , x1 , x2 , . . . tal que para todos os

nmeros naturais i e j com i 6= j se tenha

| xi x j ||i j| 1.

Obs.: Uma consequncia imediata deste fato que, dado um real a > 1, existe uma
sequncia infinita limitada x0 , x1 , x2 , . . . tal que para todos os nmeros naturais i e j
com i 6= j se tenha
| xi x j ||i j| a 1.

O problema 6 da IMO de 1991 consistiu em provar esta ltima afirmao.

6 Sejam a, b, c inteiros no todos nulos. Mostrar que

1
| 2b + c|.
3 3
4a +
4a2 + 3b2 + 2c2

7 Mostrar que a sequncia { an }n1 definida por an = bn 2c contm um nmero
infinito de termos que so potncias de 2.

8 Seja { an } uma sequncia crescente de inteiros positivos tais que para todo K existe
um n N tal que an+1 > Kan . Mostrar que n =1 2
an um nmero de Liouville (e

portanto transcendente).

9 a) Prove que existe n N tal que os 2010 primeiros dgitos de 2n so iguais a 1.

b) Prove que existe n N tal que os 2010 primeiros dgitos de 2n so iguais a 1 e os

2010 primeiros dgitos de 3n so iguais a 2.

10 Prove que, para todo inteiro a com 1 a 9 temos

#{ j | 1 j n e o primeiro dgito de 2 j a} log( a + 1) log a

lim = .
n n log 10
Captulo 3

Os Espectros de Markov e Lagrange

3.1 Definies e enunciados

 Seja um nmero irracional. De acordo com o teorema de Dirichlet, a desigualdade

 
 p  < 1 tem uma infinidade de solues racionais p/q. Markov e Hurwitz
 q q2
melhoraram
  este resultado, provando que, para todo irracional , a desigualdade
 
 p  < 1 tem uma infinidade de solues racionais, e que 5 a melhor
 q 5 q2
1+ 5
constante com esta propriedade: para = , e para qualquer > 0, a
  2
 p 1
desigualdade   < tem apenas um nmero finito de solues (ver
q ( 5 + ) q2
apndice). Entretanto, fixado irracional, pode-se esperar resultados melhores, o que
nos
 leva  a associar a cada a sua constante de melhor aproximao k () = sup{k > 0 |
 p  (
  < 1 tem uma infinidade de solues racionais p/q} = lim sup |q(q
 q  kq2 p,q Z

p)|1 ) R {+}. Nossa discusso inicial mostra que k() 5 para todo R,
( )
1+ 5
ek = 5. No difcil provar que k() = + para quase todo R.
2
Estaremos interessados nos R tais que k () < +, e, mais particularmente, na
imagem da funo k, isto , no conjunto L = {k () | R\Z e k () < +}. Este
conjunto conhecido como o espectro de Lagrange.
Provamos no apndice uma frmula para k (): escrevemos em frao contnua,
= [ a0 , a1 , a2 , . . . ] e definimos, para n N, n = [ an , an+1 , an+2 , . . . ] e
n = [0, an1 , an2 , . . . ]. Temos ento k() = lim supn (n + n ). Isto segue dos
resultados do Captulo 3.
interessante observar que se mudssemos um pouco as funes envolvidas na
definio do espectro de Lagrange ele seria um conjunto bastante trivial: se para
{ p f (q)
f : R R+ considerarmos o conjunto k f () := sup k > 0 | | | < tem
} q k
infinitas solues racionais p/q ento, caso tenhamos limq+ q2 f (q) = 0 ento a

35
36 Captulo 3: Os Espectros de Markov e Lagrange

imagem de k f seria (0, +] (ou [0, +], se consideramos sup() = 0 neste contexto)
e, caso limq+ q2 f (q) = +, ento a imagem de k f seria {+}.
O conjunto L encodifica uma srie de propriedades diofantinas de nmeros reais, e
vem sendo estudado h bastante tempo. Talvez o primeiro resultado no-trivial sobre
ele se deva a Markov, que provou em 1879 (ver [Mar1] e [Mar2]) que L (, 3) =
221
{k1 = 5 < k2 = 2 2 < k3 = < }, onde (k n ) uma seqncia
5
convergente a 3 tal que k n Q para todo n. Assim, o comeo do espectro
2

de Lagrange discreto. Essa afirmao no verdadeira para todo o conjunto L.

Marshall Hall prova em 1947 ([H]) que L contm toda uma semi-reta (por exemplo
[6, +)), e G. Freiman determinou em 1975)a maior semi-reta que est contida em
[
253589820 + 283748 462
L, que 4 + , + . Estes dois ltimos resulados baseam-
491993569
se fortemente no estudo de somas de conjuntos de Cantor regulares, cuja relao
com o espectro de Lagrange tem origem na frmula que apresentamos para k(), e
o tema principal deste captulo. Por exemplo, o resultado que M. Hall enuncia
em seu artigo [H] o seguinte: se C (4) o conjunto de Cantor regular dos reais
de [0, 1] em cuja
frao contnua
aparecem apenas os coeficientes 1, 2, 3 e 4 ento
C (4) + C (4) = [ 2 1, 4( 2 1)], do qual no difcil deduzir que L [6, +)
via a frmula para k ().
De k () = lim supn (n + n ) podemos obter a seguinte caracterizao do
( )N
espectro de Lagrange: seja = N , o conjunto das seqncias bi-infinitas de
inteiros positivos, e : o shift definido por (( an )nZ ) = ( an+1 )nZ . Se
f : R definida por f (( an )nZ ) = 0 + 0 = [ a0 , a1 , a2 , . . . ] + [0; a1 , a2 , . . . ] ento
L = {lim supn+ f (n ), }. Outro conjunto de nmeros reais que ser de nosso
interesse o espectro de Markov M, que igual a {supn f (n ), }. O espectro
de Markov tem a seguinte interpretao aritmtica: M = {(inf( x,y)Z2 \(0,0) | f ( x, y)|)1 ;
f ( x, y) = ax2 + bxy + cy2 , b2 4ac = 1}. So fatos conhecidos que L e M so
subconjuntos fechados da reta e que L M. Provamos em [M] os seguintes resultados:

Teorema 3.1 Para todo t R, as dimenses de Hausdorff de L (, t) e de M (, t)

so iguais. Se denotarmos essas dimenses por d(t), temos os seguintes fatos:

a) d : R [0, 1] contnua e sobrejetiva.

b) d(t) = min{1, 2 HD (k1 (, t))}

c) max{t R | d(t) = 0} = 3

d) d( 12) = 1

(As afirmaes c) e d) so consequncias simples de b)).

Teorema 3.2 O conjunto dos pontos de acumulao de L perfeito, isto , L0 = L00 .

Teorema 3.3 0 < HD ( M\ L) < 1.

3.2: Problemas Propostos 37

Estes teoremas so baseados na ideia de aproximar partes de M e de L por dentro

e por fora por somas de conjuntos de Cantor regulares de dimenses prximas. A
prova do Teorema 1.1 depende de modo essencial de um resultado sobre dimenses de
Hausdorff de somas aritmticas de conjuntos de Cantor regulares, cuja prova depende
do lema de recorrncia de escala de [MY].

3.2 Problemas Propostos

1 Dizemos que dois nmeros irracionais e so GL2 (Z)-equivalentes se existem
inteiros a, b, c, d com | ad bc| = 1 tais que = c
a+b
+d .
Mostre que, se as fraes contnuas de e so = [ a0 ; a1 , a2 , . . . ] e =
[b0 ; b1 , b2 , . . . ] ento e so GL2 (Z)-equivalentes se, e somente se, existem r Z
e n0 N tais que bn = an+r , n n0 .
Conclua que k () = k ( ) sempre que e so GL2 (Z)-equivalentes.

2 Mostre que se f : R R+ decrescente e

{   }
 p  f (q) p

k f () := sup k > 0 |   < tem infinitas solues racionais
q k q

ento, caso tenhamos limq+ q2 f (q) = 0, a imagem de k f (0, +]

(ou [0, +], se consideramos sup() = 0 neste contexto) e, caso
limq+ q f (q) = +, ento a imagem de k f {+}.
2

3 Use o fato de que C (4) + C (4) = [ 2 1, 4( 2 1)] e a frmula para k () para
mostrar que L [6, +).
38 Captulo 3: Os Espectros de Markov e Lagrange
Referncias Bibliogrficas

[C1] J. W. S. Cassels, An introduction to Diophantine approximation, Cambridge Tracts in

Mathematics and Mathematical Physics 45, Hafner Publishing Co. (1972)
[C2] J. W. S. Cassels, Some metrical theorems in Diophantine approximation I, Proc. Camb.
Phil. Soc. 46 (1950), 209218.
[Cohn] H. Cohn, A short proof of the simple continued fraction expansion of e, Am. Math.
Monthly 113, 5762 (2006).
[H] M. Hall, On the sum and product of continued fractions, Annals of Math., Vol.
48, (1947), pp. 966993.
[K] A. Khintchine: Zur metrischen Theorie der diophantischen Approximationen ,
Math. Z. 24 (1926), 706714.
[Leq] Y. Lequain, Aproximao de um nmero real por nmeros racionais, 19 Colquio
Brasileiro de Matemtica (1993).
[M1] C.G. Moreira, Geometric properties of the Markov and Lagrange spectra.
Preprint - IMPA - 2009.
[M2] C.G. Moreira, Propriedades estatsticas de fraes contnuas e aproximaes
diofantinas:o teorema de Khintchine, Revista Matemtica Universitria nmero
29, pp. 125-137
[M3] C.G. Moreira, Fraes contnuas, representaes de nmeros e aproximaes ,
Eureka 3 (1998), 4455.
[Mar1] A. Markoff, A new sequence of minima in the geometry of numbers, Math.
Ann. 15 (1879), 381406.
[Mar2] A. Markov, Sur les formes quadratiques binaires indfinies , Math. Ann. 15
(1879), 381406.
[MN] C.G. Moreira e Nicolau Saldanha, Primos de Mersenne (e outros primos muito
grandes), 22.o Colquio Brasileiro de Matemtica
[MY] C. G. Moreira and J.-C. Yoccoz, Stable intersections of regular Cantor sets with large
Hausdorff dimensions, Annals of Math., 154 (2001), 45-96.
[StSa] E. M. Stein, e R. Shakarchi, Fourier analysis, an introduction, Princeton University
Press (2003).

39