UNIVERSIDADE DE SO PAULO

LICENCIATURA EM MATEMTICA INTRODUO ANLISE REAL

EVERTON FRANCO DE OLIVEIRA N USP: 6798190

SEQUENCIAS DE FAREY E CIRCUNFERNCIAS DE FORD

So Paulo, novembro de 2011

Introduo
Neste trabalho falaremos um pouco a respeito das sequencias de Farey e sobre
as circunferncias de Ford. Temos como objetivo entender a construo das
sequencias de Farey e como so gerados os racionais entre 0 e 1.
Cremos que se trata de uma ferramenta importante para tornar nossas futuras
aulas mais interessantes e uma ferramenta necessria para aulas de preparatrias de
olimpadas. Alm de, com isso, enxergar novas formas de resolver problemas e
elaborar demonstraes. Por exemplo, atravs das sequencias de Farey fica mais
visvel o fato de os racionais entre 0 e 1 serem enumerveis. Uma vez que temos uma
maneira explcita de enumer-los, basta comearmos com os termos de
colocamos os novos termos que so adicionados em

F 1 para formar

colocamos os novos termos que so adicionados para formar

F 1 depois

F 2 , depois

F 3 , e assim por diante,

obtendo uma enumerao dos racionais entre 0 e 1.

Tomaremos como sabidos o teorema de Bzout, que fala que
e somente se, existem inteiros

r e

s tais que

mdc a , b=1 se,

ra sb=1. Alm do fato de que em

um triangulo retngulo a altura referente a hipotenusa a mdia geomtrica dos

segmentos da hipotenusa que o p da altura determina.
Historicamente, Farey props as propriedades das sequencias que carregam
seu nome, mas acredita-se que ele no tinha uma demonstrao de tais fatos. E
creditada a Cauchy a demonstrao de tais fatos. Posteriormente, Ford, ao fazer um
estudos sobre fraes, estudou suas propriedades e elaborou a relao das
sequencias de farey com as circunferncias das quais falaremos.
Dividiremos o trabalho em duas sees, uma referente s sequencias de Farey e
outra referente s circunferncias de Ford.

As sequencias de Farey
Denomina-se a sequencia de Farey de ordem n o sequencia das fraes
irredutveis entre 0 e 1 com denominador no mximo n e ordenadas na ordem
F n a sequencia de Farey de ordem n,

crescente. Por exemplo, denotando por

exibimos aqui as sequencias de Farey de ordem at 7:

0 1
F 1= ; ;
1 1
0 1 1
F 2= ; ; ;
1 2 1
0 1 1 2
F 3= ; ; ; ;
1 3 2 3
0 1 1 1 2
F 4= ; ; ; ; ;
1 4 3 2 3
0 1 1 1 2 1 3
F 5= ; ; ; ; ; ; ;
1 5 4 3 5 2 5
0 1 1 1 1 2 1 3
F6= ; ; ; ; ; ; ; ;
1 6 5 4 3 5 2 5
0 1 1 1 1 2 1 2 3 1 4
F 7= ; ; ; ; ; ; ; ; ; ; ;
1 7 6 5 4 7 3 5 7 2 7

1
;
1
3
;
4
2
;
3
2
;
3
3
;
5

1
;
1
3
;
4
3
;
4
2
;
3

4
;
5
4
;
5
5
;
7

1
;
1
5
;
6
3
;
4

1
;
1
4 5 6 1
; ; ; ;
5 6 7 1

Pode-se notar que cada uma das sequencias de ordem maior que 1 formada
pelas fraes da sequencia anterior acrescida de algumas fraes que aparecem no
meio de duas que j tnhamos, e parece ser formada pela soma, de forma errada, do
anterior com o posterior. Por exemplo:
2 11
=
e em
7 34

F 7 temos

1 2 1
.
4 7 3

Alm disso, possvel notar que se

F n ento temos que

a
e
b

c
d

so termos consecutivos em

bcad =1.

Estes fatos provaremos nesta seo. Como estamos trabalhando com fraes
entre 0 e 1, os denominadores e numeradores sero sempre naturais, e, para facilitar,
chamaremos de mediana de

a
b

c
d

a frao

ac
formado pela soma
bd

errada.
Teorema 1. Se

a c

, com
b d

a ,b , c , d , a mediana

ac
bd

se encontra

entre eles.
Prova:

ac a b ac bd a bcad
=
=
0 pois
bd b
bbd
b bd

a c
bcad 0.
b d

c ac c bd ac d cbad

=
=
0. conforme queramos provar.
d bd
d bd
d bd

Teorema 2. Sejam

a c
0 1. Se
b d

bcad =1 ento

consecutivos nas sequencias de Farey de ordem

a
b

c
so termos
d

n para os seguintes valores de

n:

max b , d nbd 1
Prova: A condio

bcad =1

nos diz, pelo teorema de Bzout, que as fraes

esto em sua forma irredutvel. Logo As duas fraes sero termos das sequencias de
Farey de ordem

nmax b , d . Ento basta verificar que para

nbd 1 as duas

fraes sero consecutivas. E isso de fato verdade. Pois suponhamos por absurdo
que haja

h
na forma irredutvel com
k

k bd 1 tal que

a h c
. E ento
b k d

temos:
a h
bhka0 bhka1 e
b k
bcad =1

ento temos

temos que
1

h c
kcdh0 kcdh1 e
k d

como

k =k bcad =kbckad bdhbdh=b kcdhd bhak e

k =b kcdhd bhak e portanto

k bd e

k bd 1.

Absurdo.
Logo provamos o desejado.
Teorema 3. Sejam
a
b

c
.
d

a c
0 1 com
b d

Ento temos que

bcad =1 e seja

h
a mediana de
k

a h c

e valem a seguintes igualdades:
b k d

bhak =1=kchd
Prova: Que a mediana encontra-se entre as duas fraes segue do teorema 1. A
provas das igualdades segue da igualdade (1). Como

k =bd segue o desejado.

Teorema 4. (Teorema da construo da sequencia de Farey) A sequencia

uma subsequencia de

F n1 . E cada frao de

mediante de duas fraes de

de

F n . Alm disso, se

F n1 que no est em

Fn

Fn a

a c so termos consecutivos

b d

F n ento eles satisfazem a relao unimodular, que

bcad =1.

Prova: Tendo em vista os resultados j obtidos, provaremos o teorema fazendo

induo em n. Assim sendo, para

n=1 temos que vale a relao unimodular para os

termos consecutivas, 1101=1 , e ns obtemos F 2 inserindo a mediante

Agora veremos o passo da induo. Suponhamos que a e
b

01
11

c so termos
d

consecutivos em F n e satisfazem a relao a relao unimodular, ou seja,

bcad =1. Ento, pelo teorema 2 eles sero consecutivos em

F m para todo m

satisfazendo :
max b , d mbd 1
Logo, se

F n1 eles continuaro a serem consecutivos e

nbd 1 , em

continuaro a satisfazer a relao unimodular. Se

ou seja a mediante de

a
b

c
d

n=bd 1 , ento

n1=bd ,

dever aparecer em sua forma irredutvel. O

teorema 1 nos diz que ela dever ser inserida entre os seus referentes, e o teorema 3
nos diz que a sequencia continuar a satisfazer a relao unimodular. O teorema 3
tambm nos diz que

bhak =1=kchd , ou seja,

mdc h , k =1 e a mediante est

na forma irredutvel.
Logo, por induo, temos provado o desejado.
Portanto temos concludo que existe uma forma de construir

F n a partir de

F n1 , que inserir as medianas entre as fraes consecutivas tais que a soma dos
denominadores d n.

As circunferncias de Ford

Dado

h
um racional com
k

mdc h , k =1. A circunferncia de Ford referente a

este racional a circunferncia do plano complexo com raio

h
i
2 e ser denotado por
k 2k

1
e centro em
2k2

C h , k . Conforme podemos ver na ilustrao 1.

Ilustrao 1
Mas por que pegarmos com este raio e centro determinados? Veremos que
construindo os crculos desta forma, eles sero sempre tangentes ou no se
interceptaro. Veremos ainda que possvel determinar as coordenadas destes pontos
de tangncia e que ele satisfaz uma importante propriedade.
Teorema 5. Duas circunferncias de Ford

C a , b e

C c , d ou so

tangentes ou no se interceptam. Alm disso, elas so tangentes se, e somente se,

bcad =1 . Em particular, as circunferncias de Ford referentes a fraes

consecutivas da sequencia de Farey so tangentes.

Prova: Conforme pode-se ver na ilustrao 2, o quadrado da distancia D entre
os centros :

Ilustrao 2

D2 =

a c

b d

1
1
2
2
2b 2d

E o quadrado das soma dos raios :

1
1
r R =
2
2
2b 2d
2

A diferena entre o quadrado da distancia D e o quadrado da soma dos raios :

2

D rR =

ad bc21
ad bc
1
1
1
1

=
0
bd
2 b2 2 d 2
2 b2 2 d 2
b2 d 2

Sendo que igual a zero se, e somente se,

2
ad bc =1. Completando a

demonstrao.
Ento temos que se considerarmos todas as circunferncias de Ford teremos
algo como a esquerda enquanto considerando na sequencia de Farey teremos algo
como a direita da ilustrao 3, uma vez que s pegamos as fraes na forma
irredutvel, e portanto, no haver vrias circunferncias para um mesmo racional.

Ilustrao 3
Teorema 6. Sejam

h1 h h2

trs fraes consecutivas de uma determinada
k1 k k2

sequencia de Farey. Os pontos de tangncia de

C h , k com

C h1, k 1 e

C h2, k 2 so os pontos:

k1
h
i
1 h , k =
2 2
2
2
k k k k 1 k k 1
Alm do mais, o ponto
intervalo

[ ]

h1 h
, .
k1 k

k2
h
i
2 2
e 2 h , k =
2
2
k k k k 2 k k 2

1 h , k est na semicircunferncia cujo dimetro o

Ilustrao 4
Prova: A ilustrao 4 nos mostra que:

h
1
a i
b
k
2k2

1=

a e

E para determinar os valores de

b , usamos semelhana de triangulo e

obtemos que:
a
h h1

k k1

1
2
2k
1
1
2
2
2 k 2 k1

k 21
2

k k

1
2k2

k 2k 2
b
=
= 12 2
1
1
1
2 k 1k
2
2
2k
2k
sk1

2
1

h k 1h1 k
e ento a=
k k1

e ento b=

Resultando da a formula para

para

k k

2
1

k1
k k 2k 21

1 h , k e de modo anlogo se obtm a frmula

2 h , k . Falta apenas provar que o ngulo

a ' onde

2
2
1 k 1k
2 k 2 k 21k 2

basta observarmos que a parte imaginria de

a e

k 21

indicado reto. E para tanto

1 h , k a mdia geomtrica entre

a ' o seguimento de reta que sobra do dimetro ao se tirar

k1
h h
1
.
a '= 1 a=
a e a=
k k1
kk 1
k k 2k 21

Logo

Portanto:

aa '=

k1
k k 2k 21

k1
k1
1

=
kk 1 k k 2k 21
k k 2k 21

Que completa a demonstrao.

k2
1
= 2 22
2
2
k k 1 k k 1 k k 1

a'.

Concluso
Vimos neste trabalho que a sequencia de Farey de ordem n a sequencia

Fn

formada pelas fraes irredutveis entre 0 e 1 com numerador menor que n e em

ordem crescente. Vimos que existe um modo de construir

F n a partir de

F n1 , que

inserir as medianas entre as fraes consecutivas tais que a soma dos

denominadores d n.
Vimos tambm que a circunferncia de Ford de uma frao tal que duas
circunferncias de Ford ou so tangentes ou no se interceptam. Vimos ainda que nas
circunferncia de Ford aplicadas sobre as sequencias de Farey possvel determinar
as coordenadas destes pontos de tangncia, e se
tangncia de

C h , k com

h /k h 1 /k 1 ento o ponto de

C h1 , k 1 est no semicircunferncia de dimetro

[ h/ k , h1 /k 1 ] .
E isto se mostra como uma e uma ferramenta importante para tornar nossas
futuras aulas mais interessantes e uma ferramenta necessria para aulas de
preparatrias de olimpadas. Alm de, com isso, enxergar novas formas de resolver
problemas e elaborar demonstraes. E tambm mostra uma beleza incrvel da
matemtica, que exerce sobre ns um fascnio e aumenta o interesse pelo estudo e
investigao em matemtica.

Referencias bibliogrficas
APOSTOL, Tom M. Modular functions and Drichlet Series in Number Theory.
Graduate texts Mathematics; 41. New York: Springer Verlag. p. 98-102
WEISSTEIN, Eric W. "Farey Sequence." Em MathWorld--A Wolfram Web
Resource. http://mathworld.wolfram.com/FareySequence.html
WEISSTEIN, Eric W. "Ford Circle." Em MathWorld--A Wolfram Web Resource.
http://mathworld.wolfram.com/FordCircle.html