Crculos de Ford

Lucas Resende

Resultados Anteriores
1. Dadas

a b
e , sabemos que so fraes de Farey consecutivas em Fn se
c d

e somente se |ad bc| = 1.

a s b
, e , sabemos que so fraes de Farey consecutivas em Fn
c t d
a+b
s
.
se e somente se =
t
c+d

2. Dadas

Definies

a
Para construir um crculo de Ford tomamos para cada frao o
c


a 1
1
ponto C =
partir do qual traamos um raio r = 2 formando
,
c 2c2
2c
um crculo.

Gerando Crculos de Ford

Nosso objetivo ser mostrar que partindo de dois crculos tangentes

quaisquer de Ford conseguimos obter todos os crculos de Ford. Para tanto

vamos provar que dois crculos de Ford so tangentes se e s se as fraes
sobre as quais se apoiam so consecutivas em algum Fn . E finalmente iremos
construir crculos tangentes e mostrar que so de Ford.

Proposio: dois crculos de Ford so tangentes se e s se esto

apoiados em fraes consecutivas de Farey.
a b
Primeiro vamos mostrar que dadas duas fraes consecutivas ,
d




 c 
a 1
1
b 1
1
de Farey ento os crculos C1 :=
,
, 2 , C2 :=
,
, 2
c 2c2
2c
d 2d2
2d
apoiados sobre elas so tangentes.

Dois crculos so tangentes se e somente se a distncia entre seus

centros a soma dos raios. Ento tomamos a distncia DC1 C2 :
s
DC1 C2 =

a b

c d

s
DC1 C2 =

2


+

ad bc
cd

2

1
1
2
2
2c
2d


c2 d 2
2c2 d2

2

2

Utilizando que |ad bc| = 1 obtemos:

DC1 C2

1
1
c2 + d 2
= 2+ 2
=
2
2
2c d
2c
2d

Conclumos ento que os crculos so tangentes. Resta mostrar que

se os crculos so tangentes ento esto apoiados sobre fraes de Farey.
Ento analisamos a distncia dos centros:
s
DC1 C2 =

a b

c d

2


+

1
1
2
2
2c
2d

2

1
1
+ 2
2
2c
2d

4c2 d2 (ad bc)2 + (c2 d2 )2 (c2 + d2 )2

Note que (ad bc)2 1 j que

a
b
6= , assim se (ad bc)2 > 1
c
d

comparando com a soma dos raios conclumos que os crculos so disjuntos,

mas se so tangentes ento (ad bc)2 = 1, logo
consecutivas.
3

a b
e so fraes de Farey
c d

Corolrio: Dois crculos de Ford podem ser tangentes ou disjuntos.

Proposio: dados dois crculos de Ford tangentes







a 1
1
b 1
1
C1 :=
,
, 2 , C2 :=
,
, 2 possvel construir um
c 2c2
2c
d 2d2
2d
novo crculo tangente que tambm ser de Ford.

Sabemos que a distncia centro C do novo crculo para os centros

C1 e C2 deve ser a soma dos raios correspondentes como representado na
imagem seguinte:

Temos ento que:

DC1 C =

s
a
c
s

DC2 C =

b
x
d

2


+

2


+

1
r
2c2

2

1
r
2d2

1
+r
2c2

1
+r
2d2

2

Onde obtemos:

(xc a)2 = (xd b)2 = 2r x =

ab
1
er=
cd
2(c d)2

Note que chegamos em dois casos distintos para o novo crculo tangente, no primeiro construmos um crculo menor que os dois iniciais e no
5

segundo um crculo maior. Note que o crculo menor (Cm ) de Ford pois
pelo resultado dois ele est sobre
raio

a+b
- que uma frao de Farey - e possui
c+d

1
. De forma anloga o crculo maior (CM ) de Ford.
2(c + d)2
Note tambm que existe uma relao entre o raio dos crculos ante-

riores e dos novos:

1
1
1
=
+
rCm
rC1
rC1

1
1
1
=
+
rC1
rC2
rCM

Conclumos ento que dados dois crculos de Ford tangentes tornase possvel gerar todos os crculos de Ford.