SUCESION DE FAREY

Una sucesin de Farey 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 01, y termina en el 1,

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

CONSTRUCCION

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

(por ejemplo, el 4):

Construimos unas fracciones con todas las combinaciones posibles de los

nmeros del 1 al 4:

1
1, 12, 13, 14; 21, 22, 23, 24; 31, 32, 33, 34; 41, 42, 43, 44

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

que el numerador sea mayor que el denomniador):

1
1, 12, 13, 14; 22, 23, 24; 33, 34; 44;

Simplificamos todas las fracciones, descartando las repetidas:

1
1, 12, 13, 14; 23; 34;

Ordenamos el resultado de menor a mayor, agregando el 0 (01) al principio:

0
1, 14, 13, 12, 23, 34, 11
 HISTORIA

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.

PROPIEDADES

Longitud de la sucesin

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 56. 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: