c


  c
 se ha incluido en este archivo a pesar de ser un gelogo y no un
matemtico. La razn por la que hemos incluido l es que hizo una observacin
matemtica y, de este, la serie de Farey de fracciones ha sido nombrado.
Analizaremos a continuacin la contribucin de Farey a las matemticas, y tambin
mirar a los otros que han contribuido a la serie Farey.

Farey asisti a una escuela local en Woburn, hasta que fue de diecisis aos de
edad cuando fue a una escuela en Halifax, Yorkshire, donde estudi matemticas,
el dibujo y la topografa. Se cas en 1790 y, al ao siguiente, su primer hijo
(tambin llamado John Farey) naci. John Farey Jr. (1791-1851) pas a
convertirse en un ingeniero civil y tambin tiene una entrada en el Dictionary of
National Biography de inmediato siguiente al de su padre.

Francisco, el quinto Duque de Bedford haba extensas haciendas en Bedfordshire

y, en 1792, nombr a Farey como el mayordomo de la tierra de sus fincas Woburn.
Farey ocup este cargo durante diez aos y fue durante este tiempo que fue capaz
de adquirir conocimientos especializados en geologa.

En octubre de 1801 William Smith, el ingeniero y gelogo que es mejor conocido

por su desarrollo de la ciencia de la estratigrafa (que es el estudio de las
sucesiones de rock y su relacin con la escala de tiempo histrico), fue contratado
por el Duque de Bedford. Farey ya se haba interesado en suelos y rocas a travs
de la realizacin de sus funciones como administrador de la tierra y que ahora tuvo
la oportunidad de aprender todo lo que pudo de Smith acerca de la estratificacin.
Cuando el duque muri repentinamente en 1802, hermano del duque Juan Farey
despedido de su puesto. En este punto Farey fue a Londres, donde:

... estableci una amplia prctica como inspector de consultora y gelogo.

Hay dos aspectos a Farey contribuciones a la ciencia. Por un lado, solicit los
conocimientos de la geologa que haba aprendido de Smith e hizo algunas
contribuciones importantes. Tal vez la palabra "importante" aqu est exagerando
el caso que Eyles en espresses como sigue:

Como gelogo Farey tiene derecho al respeto por la labor que realiz l mismo, a
pesar de que apenas se ha notado en las historias clsicas de la geologa.

Tengamos en cuenta que este trabajo incluy la elaboracin de un mapa de las

capas visibles entre Londres y Brighton viaje (una que hizo con frecuencia a visitar
a su hermano que vive en Brighton), y su estudio del condado de Derbyshire, que
estudi los suelos y la sucesin de estratos en ese condado.
El segundo aspecto del trabajo era Farey sus escritos cientficos. Estos son
importantes, en parte porque se ha insistido fuertemente en William Smith a ser
reconocido como una figura importante en la geologa y sin sus esfuerzos las
contribuciones de Smith no han sido tan fciles de apreciar.

Farey publicado alrededor de sesenta artculos cientficos entre 1804 y 1824, la

mayora en la Enciclopedia de Rees, la revista mensual y el Philosophical Magazine.
Su primer artculo, escrito en 1804 en la Revista de Filosofa estaba en la medicin
de la madera, mientras que el ltimo, en la misma publicacin, estaba en la
velocidad del sonido y en el planeta Encke. Ni las biografas Farey ni mencionar la
contribucin a las matemticas.

Artculo Farey, que es relevante para nuestra historia del archivo de las
matemticas tambin se public en la Revista de Filosofa y apareci en 1816. Que
fue llamado a una curiosa propiedad de las fracciones vulgar y que fue enviado al
editor de Howland Street en Londres, la residencia del hijo mayor de Farey, donde
pas los ltimos aos de su vida (de hecho, muri en esa casa).

El artculo consta de slo cuatro prrafos. En el primer prrafo Farey dice que
tom nota de la "curiosa propiedad", mientras que el examen de las tablas de
cocientes decimales completo producido por Henry Goodwin. En el segundo
prrafo se define la serie Farey y establece la propiedad "curioso".

La serie de Farey (en realidad una secuencia) se define como sigue. Para un
nmero n fijo, considerar todos los nmeros racionales entre 0 y 1 que, cuando se
expresa en sus trminos ms bajos, tienen el denominador no superior a n. Escriba
la secuencia en orden ascendente comenzando con el ms pequeo. Entonces, la
propiedad "curioso" es que cada miembro de la secuencia es igual a la racional
cuyo numerador es la suma de los numeradores de las fracciones de ambas
partes, y cuyo denominador es la suma de los denominadores de las fracciones de
cada lado.

En el tercer prrafo de su artculo Farey da un ejemplo. Toma n = 5. Entonces, la

secuencia de Farey es:

F5=

Ahora Farey ilustra la propiedad "curioso" con el ejemplo. Para ayudar al lector
tomamos nota de los ejemplos ms, y.

El ltimo apartado de lecturas:

No conozco, si esta curiosa propiedad de las fracciones vulgares se ha sealado

antes?, O si se puede admitir alguna demostracin fcil o general?, Que son

 e
l q e deberam e c
e
 de e
e e l e
 e
 e


 e
 e  
e e ...

U

e  e e   (
e
 e
  
f
e) f e C hy, y 

  eb
e e e
 Exe  e e h  e  e f e b

  e
e

    e e

 Fey'. E  hbe  e
f

e
 h,
e
 hy   e 
.

Fey
 f e e
 e e
e e e
 e. H, e
1802, e b


 be
 x  
e
 f 
e e  
e e
f 
e 
e.

ex
   
 
  e e, e he h,
 e e
 e Fey 
= 99 y
"Fey
 e " e 
 e
 
 
. S
e b,
e
 e e e
e
  eb,
   e e
 e
 
e
e
e

 be
e e
" ".

L efee
 h  

 e e
 e Fey h
 ex 
 

 e. E

e efee
 
 e e
 e

  e e Fey Hy
e be:

[Fey]
 


  eb, y e   bb

e  e
hb e


,
y  e e e hbe  e
e
ej e   
fee
e.

L  e  
e e  e Fey ex

  e
e  e
 e
e
  eb.
Hy  e:

Fey e
e


 e ve
e


e e
e
D 
y f N

Bhy,

e e e be  
e
. C  e
  e e 
, y  bf,

 e e


 e
  e
   e bee.

E e, e
 

, 

e e e
e  e

y
 e
 ex . A
e, y

  
e e
e e  , Hy '  e
   e 
 e

e  , 
e e be:

... Fey e 


,  e
 

   e
e
ee   e h
e  efe  e
e H  e  
e e ...

E

 
e
e 
f  

ee
e be
 e e
 e Fey, e 
e
 

e
P k ' ee  e e, y
  e
 h  he h

ex   e  e
 e e
 e h .


Una
   c
 es una sucesin matemtica de fracciones irreductibles
entre 0 y 1 que tienen un denominador menor o igual a n en orden creciente.

Cada sucesin de Farey comienza en el 0, denotado por la fraccin 0 1, y termina

en el 1, denotado por la fraccin 1, aunque algunos autores suelen omitir ambos
trminos.

 

 

Una sencilla manera algortmica de construir la sucesin de Farey para un nmero

n (por ejemplo, el 4):

Y Construimos unas fracciones con todas las combinaciones posibles de los

nmeros del 1 al 4:
1
1, 1 2, 1 3, 1 4; 2 1, 2 2, 2 3, 2 4; 3 1, 3 2, 3 3, 3 4; 4 1, 4 2, 4 3, 4 4

Y Eliminamos aquellas fracciones superiores a 1 (o dicho de otra manera, en

las que el numerador sea mayor que el denominador):
1
1, 1 2, 1 3, 1 4; 2 2, 2 3, 2 4; 3 3, 3 4; 4 4;

Y Simplificamos todas las fracciones, descartando las repetidas:

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

Y rdenamos el resultado de menor a mayor, agregando el 0 (0 1) al

principio:
0
1, 1 4, 1 3, 1 2, 2 3, 3 4, 1 1




La historia de la 'sucesin de Farey' es muy curiosa. (Hardy & Wright, "An

Introduction to the Theory of Numbers", Captulo III)

...una vez ms, el hombre que dio nombre a la relacin matemtica no fue el
descubridor original segn ha quedado registrado. (Beiler, "Recreations in the
Theory of Numbers", Captulo XVI)

Las sucesiones de Farey reciben el nombre del gelogo britnico John Farey, quin
public una carta sobre ellas en un nmero de la revista Philosophical Magazine en
1816. En ella Farey conjetur que cada trmino de la sucesin es el cociente de la
suma de los numeradores y la suma de los denominadores de sus trminos vecinos
 aunque, por lo que se sabe, no lleg a probar esta propiedad. La carta de Farey
fue leda por el famoso matemtico Cauchy quien s prob la afirmacin de Farey
en su libro Exercises de mathmatique prueba junto a la que se atribuye el
resultado a Farey. Pero de hecho, fue otro matemtico, un tal C.Haros, el que
primero public un resultado semejante en el ao 1812, aunque es prcticamente
cierto que ni Farey ni Cauchy conocan tal hecho. As es que, una vez ms, un
accidente histrico lig el nombre de Farey con este tipo de sucesiones en lugar
del nombre de su descubridor original.

]


  

 

La sucesin de Farey de orden n contiene todos los miembros de las sucesiones de

Farey de un orden menor. En particular Fn contiene todos los miembros de Fn1 as
como una fraccin adicional de cada nmero que es menor que n y coprimo con n.
Por ejemplo, F6 contiene a F5 junto con las fracciones 6 y 5 6. El trmino medio
de una sucesin de Farey es siempre 2 para todo n > 1.

De este hecho se puede extraer una relacin entre Fn y Fn1 utilizando la funcin
( n) de Euler:

Y dado que |F1| = 2, podemos derivar una expresin de la longitud de Fn como:

Por otra parte, el comportamiento asinttico de |Fn| es:


 c
 

Las fracciones que antedecen y siguen a cada trmino de la sucesin (ecinos de

Farey) tienen las siguientes propiedades:

Si a b and d son e nos en la su esn de Farey on a b < d, enton es su

dferen a d a b es gual a bd. Y puesto que
 ,

esto es equivalente a afirmar que

b a = 1.

Por ejemplo, 3 y 5 son ve inos e F5, y su iferen ia es 15.

La afirma in inversa tambin es ierta. Si

b a = 1

para los enteros positivos a,b, an  on a < b y <  enton es a b y  sern
ve inos en una su esin e Farey e oren min(b, ).

Si p q tiene omo ve inos a a b y  en alguna su esin e Farey, on

a
b < p q < 

enton es p q es el o iente e la suma e los enominaores y los numeraores e

a
b y  en otras palabras,

Y, si a b y  son ve inos en una su esin e Farey, enton es el primer trmino

que apare e entre ellos uano el oren e la su esin e Farey se in rementa es

que apare e primero en la su esin e Farey e oren b+.

Por ejemplo, el primer trmino que apare e entre 3 y 5 es 8, que apare e en

F8.

El
   
 es una estructura de datos que muestra cmo se
construye la sucesin desde el trmino primero (= 0 1) y segundo (= 1),
tomando los sucesivos cocientes de sumas de numeradores y denominadores.
Las fracciones que aparecen como vecinas en una sucesin de Farey tienen
expansiones en fracciones continuas relacionadas. Cada fraccin tiene dos
expansiones en fracciones continuas - en una de ellas el ltimo trmino es 1; en la
otra el ltimo trmino es mayor que 1. Si p q, que aparece por primera vez en una
sucesin de Farey Fq, tiene expansiones e fracciones continuas como

[0;a1,a2,...,an 1,an,1]

[0;a1,a2,...,an 1,an + 1]

entonces, el vecino ms cercano de p q en Fq (que ser su vecino con mayor

denominador) tiene una expansin en fracciones continuas como

[0;a1,a2,...,an]

y su otro vecino tiene una expansin en fracciones continuas como

[0;a1,a2,...,an 1]

Por ejemplo, 8 tiene dos expansiones en fracciones continuas [0;2,1,1,1] y

[0;2,1,2], y sus vecinos en F8 son 5, que puede expandirse como [0;2,1,1], y
3, que puede expandirse como [0;2,1].


c

Existe una conexin interesante entre las sucesiones de Farey los crculos de Ford.

Para cada fraccin irreductible  existe un crculo de Ford C[, ue es el

crculo de radio 12 y centro en (,12). Dos crculos de Ford ueden bien
disjuntos bien tangentes entre s - dos crculos de Ford nunca se intersecan. Si
0<<1 entonces los crculos de Ford ue son tangentes a C[ son
recisamente los crculos de Ford de las fracciones ue son vecinas de  en
alguna sucesin de Farey.

Por ejemlo, C[25 es tangente a C[12, C[13, C[37, C[38 etc.

Los crculos de Ford son todos auellos smbolos ue van insertados en el logo de
la marca Ford.