UPF

Realizado por:
Carlos Agorreta Zafra
Mireia Seguranyes
Laura Moreno
Enrique Guimaraes
1 Economa, Grupo 2
UPF
La sucesin de Farey
2

Introduccin
En este trabajo analizaremos la sucesin matemtica de Farey, numeraremos sus numerosas
propiedades, y sus caractersticas que la hacen nica. La explicaremos con ejemplos prcticos
para su mejor comprensin y ejemplificaremos su utilidad. La sucesin est adems
relacionada con otros conceptos matemticos de distinta ndole, como la hiptesis de Riemann
(uno de los problemas matemticos del milenio, an sin resolver), el rbol de Stern-Brocot
(estructura de enumeracin de la sucesin, usado tambin para la creacin de sistemas de
tiempo en relojes), los crculos de Ford, que para cada fraccin irreductible de la sucesin
tienen asignado uno de estos crculos. La sucesin tambin es homenajeada en un captulo de
la serie NUMB3RS que explicaremos ms adelante, donde la sucesin se relaciona con las
apuestas (probabilidad) y en computacin informtica. Respecto al rea de informtica, la
sucesin tambin es usada como herramienta de clculo y probabilidad, la cual est codificada
en distintos lenguajes como Perl, Python, C o C++.

Historia de la sucesin
La sucesin, debe su nombre al gelogo britnico John Farey, que public una carta sobre la
sucesin junto con un ejemplo en un nmero de la revista Philosophical Magazine en 1816. A
pesar de ello, Farey no realiz demostracin matemtica alguna, sino que conjetur, sin
ofrecer pruebas, que cada nuevo trmino en una secuencia de Farey es el mediante de sus
vecinos (es decir, nombr la propiedad de los vecinos de Farey, que analizaremos en este
trabajo).
Afortunadamente para Farey, la carta fue leda por uno de los matemticos ms importantes
de la poca, Augustin Louis Cauchy, quien s prob la afirmacin de Farey en su libro Exercises
de mathmatique, donde realiza la prueba matemtica junto a la que se atribuye el resultado
afirmado por Farey.
No obstante, el verdadero nombre de la sucesin debera ser Sucesin de Haros, ya que el
nombre por el que se populariz la sucesin es ilegtimo, pues fue publicada anteriormente
por el matemtico francs Charles Haros en 1812, el cul realiz investigaciones sobre el
concepto matemtico de mediante. Desgraciadamente para Haros, un accidente histrico le
priv de la fama y, gracias a la mayor repercusin acadmica de Cauchy, que nombr a Farey
como descubridor, el nombre de la sucesin fue atribuido a Farey (la cual es a veces nombrada
Farey-Cauchy) y, sin embargo, jams es nombrada Haros. En defensa del honor de Cauchy y
Farey, es preciso remarcar que ambos desconocan el descubrimiento/invencin de Haros.
Tambin el matemtico Nicolas Chuquet realiz aportaciones relacionadas con la sucesin,
pero al estar relacionado con las mediticamente desconocidas investigaciones de Haros,
tampoco ha recibido reconocimiento popular alguno.
La falta de reconocimiento al legtimo descubridor o inventor de un suceso no resulta ser poco
frecuente, sino que incluso existe la llamada ley de eponmia de Stigler, (formulada en 1980
para describir este tipo de casos) la cual desarrolla el axioma que viene a decir que ningn
descubrimiento cientfico recibe el nombre de quien lo descubri en primer lugar.
3

John Farey nunca descubri nada ms, ni en matemticas ni en geologa, ni fue conocido por
nada en la historia, excepto por esto. Aun as, su nombre es y ser recordado siempre por
todos los matemticos que estudian la teora de nmeros.

Qu es la sucesin de Farey?
La sucesin de Farey, tambin conocida como Farey Sequence, es una sucesin numrica
montona creciente, formada por fracciones irreductibles y acotada en el intervalo cerrado
[0,1]. La sucesin se compone por un orden (n N) formado por todos los nmeros naturales
>0. Es decir --> Fn (n=N). El nmero de miembros de una sucesin depende de su orden. En
principio, cuanto mayor es el orden, ms miembros tiene la sucesin (recordamos que todos
ellos fraccionarios irreductibles).

Cmo se forma la sucesin?
Todas las sucesiones de Farey, sean del orden que sean, empiezan por 0 (0/1) y terminan en 1.
Cabe remarcar que algunas veces, en vez de terminar en 1, termina en 1/0 (es decir, infinito),
pues se considera que F0 de existir, sera F0 = (0/1, 1/0). El orden de la sucesin indica el
nmero mximo que se tomar en el numerador y denominador. La sucesin ms corta, de
orden 1, es . La sucesin ms larga no se puede formar, pues es infinita. An as
sabremos que empieza en 0 y termina en 1.
La sucesin estar formada por n series (el subndice de la sucesin de Farey, su orden). Cada
serie estar desarrollada en el denominador por orden natural (creciente 1, 2, 3, 4, 5, 6, 7,8...)
con un numerador distinto entre cada serie desde 1 hasta n. Todas las series compartirn la
misma secuencia numrica en los denominadores en orden natural desde 1 hasta n.
Para desarrollar la sucesin, aplicaremos un mtodo algortmico muy sencillo, con 4 pasos:
1) Empezaremos formando todas las combinaciones de fracciones posibles (sean estas
reductibles o irreductibles indistintamente) desde 1 hasta n (obviamente tomando slo
nmeros naturales y positivos) formando n series de fracciones.
Por ejemplo si n es 5, habr 5 series. La primera serie, tendr siempre como numerador 1, y
estar formada por todas las fracciones posibles (5 fracciones) distintas entre s. En este caso
sera 1/1, 1/2, 1/3, 1/4, 1/5. La segunda serie tendr siempre numerador 2, y estar formada
por las 5 fracciones posibles distintas entre s. 2/1, 2/2, 2/3, 2/4, 2/5. Y as sucesivamente
hasta crear las 5 series.
Para F5, construimos las 5 series:
s1: 1/1, 1/2, 1/3, 1/4, 1/5 s2: 2/1, 2/2,2/3,2/4,2/5 s3: 3/1, 3/2, 3/3, 3/4, 3/5
s4: 4/1, 4/2, 4/3, 4/4, 4/5 s5: 5/1, 5/2, 5/3, 5/4, 5/5
4

Juntamos las 5 series aadiendo al principio el 0 o la fraccin 0/1
F5 = (0, 1/1, 1/2, 1/3, 1/4, 1/5, 2/1, 2/2, 2/3, 2/4, 2/5, 3/1, 3/2, 3/3, 3/4, 3/5, 4/1, 4/2, 4/3, 4/4,
4/5, 5/1, 5/2, 5/3, 5/4, 5/5)
Aplicando este procedimiento, podemos saber cuntos miembros habr en la sucesin
aplicando solo el primer paso: 1+n*n = 1+n^2. Ej: n=5 --> 1+5*5= 26 miembros.
2) Seguidamente eliminaremos aquellas fracciones superiores a 1, es decir, aquellas donde
numerador>denominador.
F5 = (0, 1/1, 1/2, 1/3, 1/4, 1/5, 2/2, 2/3, 2/4, 2/5, 3/3, 3/4, 3/5, 4/4, 4/5,5/5)
Algortmicamente, en cada serie iremos eliminando una fraccin ms. Es decir, en la primera
serie no se eliminar fraccin alguna, en la segunda una fraccin, en la tercera 2 fracciones y
as sucesivamente. Por tanto, algortmicamente, y para evitar equivocarnos, sabremos qu:
Serie n, habr que eliminar (n-1) miembros fraccionarios de la serie, indistintamente del orden
de la sucesin. Por tanto, sabemos que, aplicando este procedimiento, se eliminaran (n-1)
fracciones de la sucesin.
Por ejemplo, en F5, aplicando el 2 paso, se eliminarn (4)= 1+2+3+4= 10 fracciones
Por tanto, nuestra sucesin F5, despus de aplicar el segundo paso, se quedar en 16
fracciones.
3) Simplificamos todas las fracciones, descartando las repetidas.
F5 = (0, 1/1, 1/2, 1/3, 1/4, 1/5, 2/3, 2/5, 3/4, 3/5, 4/5) Nos quedan un total de 11 fracciones,
por tanto con este proceso hemos eliminado 5 miembros de la sucesin.
El mtodo de simplificacin, en este caso, elimina 2 miembros de la s2, 1 miembro de s3, s4 i
s5. Bajo el mtodo de simplificacin, tambin determinamos que sn se elimina completamente
(porque las fracciones son mayores que >1 menos n/n que equivale a 1 pero se elimina bajo el
proceso de simplificacin).
Tambin deducimos que en cada serie, s(r), el miembro r de la serie es 1. Por tanto, en
simplificacin sabremos que hay que eliminar (n-1) miembros fraccionarios porque equivalen a
1. En F5, habr que eliminar, pues 4 miembros, ms 1 miembro de la s2 (2/4 que equivale a
1/2). Ejemplo, para F5, s3, el tercer miembro de s3 3/3 = 1.
Analizando la serie, se deduce que se simplificaran todos aquellos miembros de la sucesin
que no sean coprimos, es decir, se suprimirn las fracciones que numerador i denominador no
sean nmeros primos entre ellos.
En F5, con el mtodo de simplificacin desaparecen 2 fracciones, en F7 en el mismo paso 4
fracciones y en F8 7 fracciones. A simple vista de un economista, no parece haber relacin
matemtica que nos ayude a calcular cuntos miembros se simplificarn en una sucesin de
Farey de orden cualquiera.
4) Finalmente, ordenamos la sucesin de mayor a menor.
5

F
5
= {
0

1
,
1

5
,
1

4
,
1

3
,
2

5
,
1

2
,
3

5
,
2

3
,
3

4
,
4

5
,
1

1
}

Propiedades caractersticas de la Sucesin de Farey
Longitud de la sucesin:
A pesar de que hemos intentado definir un patrn propio para calcular el nmero de
miembros de una sucesin, no hemos encontrado una relacin matemtica para encontrar en
la sucesin la cantidad de fracciones con numerador y denominador coprimos. Normal! Es un
trabajo propio de un matemtico, no de un economista. Las teoras e hiptesis relacionadas
con el campo de teora de nmeros sospechan que existe un orden o razn entre los nmeros
primos. El legendario matemtico Leonhard Euler, desarroll una funcin que expondremos en
esta seccin del trabajo, la funcin fi de Euler, que nos servir como herramienta para calcular
la cantidad nmeros coprimos con n y as poder calcular la cantidad de miembros por la que
est formada nuestra Sucesin de Farey de orden n. Ms adelante introduciremos otro
concepto desarrollado por el clebre matemtico Bernhard Riemann, que estableci una
frmula explcita para calcular la cantidad de nmeros primos menores que n y tambin
present la hiptesis que lleva su nombre, hiptesis que todava no ha sido demostrada y que
es considerada uno de los problemas del milenio. De hecho lleva siglos planteada y el Clay
Matheatics Institute ofrece 1 milln de dlares a los que consigan verificar dicha hiptesis.

Hiptesis de Riemann
La verificacin de la hiptesis de Riemann implicara una conexin con los nmeros primos, de
tal forma que se podra afirmar que los nmeros primos estn distribuidos de la forma ms
regular posible. Desde un punto de vista matemtico, dice que la distribucin asinttica de los
nmeros primos es cierta tambin para intervalos mucho menores, con el error de la raz
cuadrada de n.

Como hemos mencionado anteriormente, una fraccin ser irreductible siempre que
numerador y denominador sean coprimos (primos entre s). Si realizamos varias sucesiones de
Farey de orden [n, n+1, n+2...] deducimos que la sucesin de farey de orden n+1 contiene
todos los miembros de la sucesin de orden n. La sucesin de Farey de orden n contiene todos
los miembros de las sucesiones de Farey de un orden menor. En particular F
n
contiene todos
los miembros de F
n1
as como una fraccin adicional de cada nmero que es menor que n y
coprimo con n. Por ejemplo, F
6
contiene a F
5
junto con las fracciones
6
y
5

6
. El trmino medio
de una sucesin de Farey es siempre
2
para todo
n
> 1.
Es decir, que la mediana de cualquier sucesin de Farey ser siempre 1/2.
De este hecho se puede extraer una relacin entre F
n
y F
n1
utilizando la funcin (n) de Euler.

As pues, para calcular la longitud de la sucesin, analizaremos la funcin fi de Euler, as como
tambin sus propiedades.
6

Funcin (n) de Euler y propiedades
Formalmente definida como:

Significa que, si n es un nmero entero positivo, entonces (n) se define como el nmero de
enteros positivos menores o iguales a n y coprimos con n.
Lgicamente, el nico nmero coprimo a 1 es l mismo, por tanto, matematizamos que
. Aplicando la frmula de longitud de sucesin, sabiendo que F0 no existe, se cumple que F1 =
(F0 desaparece de la frmula).
As pues, se cumple que siempre que sea un numero primo.
Para ejemplificar los clculos, trataremos de calcular la longitud de la Sucesin de Farey de
orden 17 (F17), sabiendo que la sucesin de Farey F16 consta de 81 trminos.
F17 = 81 + (17-1) = 97. Realizando los clculos, comprobamos efectivamente que:
F16 = (0/1, 1/16, 1/15, 1/14, 1/13, 1/12, 1/11, 1/10, 1/9, 1/8, 2/15, 1/7, 2/13, 1/6, 2/11, 3/16,
1/5, 3/14, 2/9, 3/13, 1/4, 4/15, 3/11, 2/7, 3/10, 4/13, 5/16, 1/3, 5/14, 4/11, 3/8, 5/13, 2/5,
5/12, 3/7, 7/16, 4/9, 5/11, 6/13, 7/15, 1/2, 8/15, 7/13, 6/11, 5/9, 9/16, 4/7, 7/12, 3/5, 8/13,
5/8, 7/11, 9/14, 2/3, 11/16, 9/13, 7/10, 5/7, 8/11, 11/15, 3/4, 10/13, 7/9, 11/14, 4/5, 13/16,
9/11, 5/6, 11/13, 6/7, 13/15, 7/8, 8/9, 9/10, 10/11, 11/12, 12/13, 13/14, 14/15, 15/16, 1/0) 81
miembros.
F17 = (0/1, 1/17, 1/16, 1/15, 1/14, 1/13, 1/12, 1/11, 1/10, 1/9, 2/17, 1/8, 2/15, 1/7, 2/13, 1/6,
3/17, 2/11, 3/16, 1/5, 3/14, 2/9, 3/13, 4/17, 1/4, 4/15, 3/11, 2/7, 5/17, 3/10, 4/13, 5/16, 1/3,
6/17, 5/14, 4/11, 3/8, 5/13, 2/5, 7/17, 5/12, 3/7, 7/16, 4/9, 5/11, 6/13, 7/15, 8/17, 1/2, 9/17,
8/15, 7/13, 6/11, 5/9, 9/16, 4/7, 7/12, 10/17, 3/5, 8/13, 5/8, 7/11, 9/14, 11/17, 2/3, 11/16,
9/13, 7/10, 12/17, 5/7, 8/11, 11/15, 3/4, 13/17, 10/13, 7/9, 11/14, 4/5, 13/16, 9/11, 14/17,
5/6, 11/13, 6/7, 13/15, 7/8, 15/17, 8/9, 9/10, 10/11, 11/12, 12/13, 13/14, 14/15, 15/16, 16/17,
1/0). --> 97 fracciones, es decir, 97 miembros.
Aplicando nuestros algoritmos propios realizados en los primeros ejemplos, sabemos que F16
estar formado por:
1) 1+16^2 = 257 - 2) (15)= 1+2+3+4+5+6+7+8+9+10+11+12+13+14+15= 120 --> 257-120= 137
3) S16 se elimina completamente, por lo que 137-16= 111. Eliminamos 16-1 miembros
fraccionarios que equivalen a 1 (-1 eliminado de s16), por tanto 111-(16-1-1)= 97. 97-16=81
miembros. An as, si comprobamos lo mismo para F19, y calculamos F18 con el mismo
procedimiento, observamos que nuestro algoritmo presenta errores graves, pues nuestros
clculos determinan que F18 consta de 110 miembros, cuando realmente consta de 103.
No podemos usar nuestro algoritmo, as que, slo podemos servirnos de la funcin fi de Euler.
F18= 103 + (19-1) = 121 = F19 (19 es primo).
7

Con esta propiedad de la funcin fi, podemos calcular la longitud de sucesin de Farey de orden
primo. Segn la teora de nmeros, dentro del primer milln de nmeros hay 78498 nmeros
primos, esto significa que el 7,85% de nmeros dentro del primer milln son primos, y que el
92,15% de nmeros dentro del primer milln son compuestos. No parece, pues, que esta
propiedad nos sea de gran utilidad para calcular las longitudes de sucesin. Teniendo en
cuenta que, segn los anlisis asintticos de la proporcin de nmeros primos (que cuanto
mayores son los menores, menos proporcin de nmeros primos hay), queda claro que habr
que buscar otras propiedades. Es preciso, entonces, que encontremos otras propiedades de la
funcin fi de Euler para encontrar la cantidad de nmeros coprimos anteriores a nuestro orden
de la sucesin de Farey (esto significar que al ser coprimos con n, sern fracciones
irreductibles, de extraemos ah que, segn lo analizado, F(n) incluye F(n-1) ms los coprimos de
ste -1, este -1 es debido a que la fraccin 1/1 es comn a todas las series de la sucesin, y un
nmero es coprimo consigo mismo, por tanto en nuestra sucesin n/n=1 pero al ya estar
representado 1/1, debemos excluirlo).
De aqu se deduce la frmula .
La segunda propiedad de la funcin fi de Euler expone que si p es primo y k es un nmero
natural. Se demuestra con induccin que:
La segunda propiedad se demuestra por induccin, supongamos que k = 1.
Entonces por la propiedad 1, de manera que se puede escribir
como . Se debe demostrar que se cumple para
.
Reescribiendo la identidad, ,
luego . Como es la cantidad de nmeros coprimos
con , si multiplicamos dicha cantidad por p, el nmero que es coprimo con los dems debe
aumentar p veces, con lo que .
Con esto, el valor de (n) puede calcularse empleando el teorema fundamental de la
Aritmtica:
si

donde los p
j
son nmeros primos distintos, entonces


Pongamos un ejemplo para verificarlo:
(9) = (3^2) = (3-1)3^(2-1) = 6
8

F8 = 23 fracciones (0/1, 1/8, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 3/8, 2/5, 3/7, 1/2, 4/7, 3/5, 5/8, 2/3,
5/7, 3/4, 4/5, 5/6, 6/7, 7/8, 1/0)
F(9) = 23 + 6 = 29. Comprobamos que, efectivamente, se cumple la propiedad de longitud
(0/1, 1/9, 1/8, 1/7, 1/6, 1/5, 2/9, 1/4, 2/7, 1/3, 3/8, 2/5, 3/7, 4/9, 1/2, 5/9, 4/7, 3/5, 5/8, 2/3,
5/7, 3/4, 7/9, 4/5, 5/6, 6/7, 7/8, 8/9, 1/0) (En ambas sucesiones hemos aplicado lo remarcado
en el principio del trabajo, que a veces la sucesin de Farey se puede formar anotando 0/1 al
principio y 1/0 al final).
Con esta ltima propiedad, podemos calcular la funcin fi de cualquier nmero compuesto
cuya raz sea prima. Por lo tanto, con esta propiedad podemos calcular la longitud de sucesin
de Farey de TODAS las potencias de los nmeros primos, es decir podemos calcular la sucesin
de Farey de orden equivalente a cualquier potencia prima (prime powers en ingls). Dentro de
los 100 primeros nmeros, un 14,5% son primos (recordemos que cuanto mayor es el nmero,
menos es la proporcin de primos). Dentro de los 100 primeros nmeros, hay 25 primos, y un
total de 35 potencias primas, un 35% de los 100 primeros nmeros, tambin nos puede
parecer, pues, insuficiente para calcular una longitud de una sucesin de un orden
relativamente pequeo como F12. Necesitaremos encontrar otra propiedad ms, mr. Euler fue
un gran matemtico, tuvo que encontrar algo
3) Y efectivamente, la tercera y ltima propiedad de la funcin fi de Euler, establece que

donde los p son los distintos primos que dividen a n.
Ejemplo de clculo

Se puede comprobar manualmente que los nmeros coprimos con 36 (o sea, que no son
divisibles por 2 ni por 3) son doce: 1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, y 35. De este modo,
podemos calcular la longitud de cualquier sucesin de Farey!
Comportamiento asinttico
Tras un numeroso anlisis matemtico avanzado, nuestros queridos matemticos nos
proporcionan una frmula para estudiare el comportamiento asinttico de |F
n, que
| es:
Ejemplo: |F5| = (3*5^2)/(pi)^2 = 7,599
|F36| = 393, 36 Aunque ambas sucesiones tienen un comportamiento asinttico distinto, al
estar ambas comprendidas en el intervalo [0,1] a efectos prcticos esta frmula solo nos sirve
para estudiar el comportamiento de las sucesiones cuando dejamos sus series sin simplificar.

9

Propiedad de los vecinos de Farey
Las fracciones que anteceden y siguen a cada trmino de la sucesin (vecinos de Farey) tienen
las siguientes propiedades:
Si
a

b
y
c

d
son vecinos en la sucesin de Farey con
a

b
<
c

d
, entonces su diferencia
c

d

a

b
es
igual a
bd
. Y puesto que

esto es equivalente a afirmar que:

Por ejemplo, y 1/3 son vecinos en la sucesin de Farey F5. 1/3-1/4 = 0,08333
Efectivamente 1/(3*4)= 1/12= 0,08333
La afirmacin inversa tambin es cierta. Si
Con nuestro ejemplo es: 4x1-3x1 = 1
para los enteros positivos a,b,c y d con a < b y c < d entonces
a

b
y
c

d
sern vecinos en una
sucesin de Farey de orden min(b, d).
Si
p

q
tiene como vecinos a
a

b
y
c

d
en alguna sucesin de Farey, con:

entonces
p

q
es el cociente de la suma de los denominadores y los numeradores de
a

b
y
c

d

en otras palabras,

Y, si
a

b
y
c

d
son vecinos en una sucesin de Farey, entonces el primer trmino que aparece
entre ellos cuando el orden de la sucesin de Farey se incrementa es

que aparece primero en la sucesin de Farey de orden b+d.
Ejemplo:
F
5
= {
0

1
,
1

5
,
1

4
,
1

3
,
2

5
,
1

2
,
3

5
,
2

3
,
3

4
,
4

5
,
1

1
} (1+2)/(4+5)= 3/9 = 1/3. Comprobamos que,
efectivamente el miembro entre medio de la sucesin es la suma de numerador y
denominador!
Las sucesiones de Farey, pueden representarse mediante diagramas. Cogiendo la Sucesion de
Farey de orden 5 que hemos usado diversas veces en este trabajo, F5, podemos representar la
sucesin de diversas formas, como por ejemplo:
10


Una de las formas ms populares de representar la sucesin de Farey, es mediante el llamado
rbol de Stern-Brocot, que junto con los crculos de Ford analizaremos.
Visualizacin de la sucesin de Farey mediante el rbol de Stern-Brocot y los crculos
de Ford

El rbol de Stern-Brocot 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 F
q
, tiene expansiones e fracciones
continuas como
11



Entonces, el vecino ms cercano de
p

q
en F
q
(que ser su vecino con mayor denominador)
tiene una expansin en fracciones continuas como

y su otro vecino tiene una expansin en fracciones continuas como

Por ejemplo,
8
tiene dos expansiones en fracciones continuas [0,2,1,1,1] y [0,2,1,2], y sus
vecinos en F
8
son
5
, que puede expandirse como [0,2,1,1], y
3
, que puede expandirse como
[0,2,1].
Existe una conexin interesante entre las sucesiones de Farey los crculos de Ford.
Para cada fraccin irreductible p/q existe un crculo de Ford C[p/q], que es el crculo de radio
1/2q y centro en (p/q,1/2q). Dos crculos de Ford pueden bien disjuntos bien tangentes entre
s - dos crculos de Ford nunca se intersecan. Si 0<p/q<1 entonces los crculos de Ford que son
tangentes a C[p/q] son precisamente los crculos de Ford de las fracciones que son vecinas
de p/q en alguna sucesin de Farey.
Por ejemplo, C[2/5] es tangente a C[1/2], C[1/3], C[3/7], C[3/8] etc.
F
5
= {
0

1
,
1

5
,
1

4
,
1

3
,
2

5
,
1

2
,
3

5
,
2

3
,
3

4
,
4

5
,
1

1
}

La funcin de signo interrogacin
Definicin recursiva para argumentos racionales
Para nmeros racionales en el intervalo unidad, la funcin tambin se puede
definir recursivamente; si p/q i r/s son fracciones irreducibles tales que |ps rq| = 1 (es decir,
si son elementos adyacentes de una columna de la secuencia de Farey) entonces

Utilizando los casos base:
,
entonces es posible computar ?(x) para cualquier racional x, comenzando por la secuencia de
Farey de orden 2, despus 3, etc.
Si i son dos convergentes sucesivas de una fraccin continua, entonces
la matriz

12

tiene determinante 1. Una matriz de estas es un elemento del grupo , el grupo
de matrices de orden 2 con determinante 1

dan la funcin signo de interrogacin. Un ejemplo de este tipo de construccin se obtiene
midiendo la densidad de los nmeros de Farey en la recta real.
Episodio de Numb3rs: Bettor or Worse (Para Bien o Para Mal)
Una banda delictiva se dedica al negocio de las apuestas ilegales y secuestran a una nia y a su
madre. La polica rastrea la pgina web de apuestas que usa la banda para la actividad ilegal,
ya que tiene como objetivo rastrear su ubicacin. Accediendo al trfico web, los matemticos
se dan cuenta de que hay miles de visitantes, no obstante, la banda usa unos patrones de
juego (de apuestas) determinados que sirven para transmitir informacin (como si se tratase
de un cdigo secreto) y percatarse de los pagos y del flujo de dinero. El mtodo, consiste en
apostar grandes cantidades en el equipo dbil, para que su cotizacin baje y que la del equipo
fuerte suba, esto hace que los apostadores comunes vean al dbil como el fuerte (el sistema
de cotizaciones ha sido manipulado, y no transmite la informacin verdicamente) entonces la
banda aprovecha esta accin ilegal para apostar por el fuerte cuando su cotizacin est al alza
(ya que casi todo el mundo ha apostado por el dbil). Solo necesitan acertar el 52,38% de las
apuestas, por lo que es una buena forma de ganar dinero.
En el campo de las apuestas por internet (informtica, probabilidad), los datos se emiten en
cadenas cada vez ms pequeas, es aqu donde el matemtico propone: " Supongamos que
queremos cortar una naranja, pero la norma es que no se repitan los cortes. En el nico campo
donde se da con frecuencia es en las apuestas. Y aqu est nuestro flujo nico de datos.", es
decir, siempre que alguien visita una pgina web, reescribe parte del cdigo. Solo los dos que
buscan establecen porcentajes determinados, as que slo necesitarn datos nicos que se
basen en el esquema de la sucesin de Farey para aislarlos y encontrar su IP.
En las apuestas informticas, los miembros de la sucesin de farey transmiten qu cotizacin
va en la apuesta, por ejemplo, 1/8 significa una cotizacin de la apuesta en porcentajes de 7 a
1. 1/3 de 2 a 1, 1/7 de 6 a 1. Esto establece un flujo nico de datos en las apuestas. De este
patrn de apuestas, que es una sucesin de Farey, rastrean el cdigo que coincide y obtienen
la IP de donde se ubica la banda. Supongamos que queremos cortar una naranja, pero la
norma es que no se repitan los cortes. En el nico campo donde se da con frecuencia es en las
apuestas. Y aqu est nuestro flujo nico de datos.
13


El coding de una sucesin de Farey sera implementada en Python como:
def farey( n, asc=True ):
"""Python function to print the nth Farey sequence, either ascending or descending."""
if asc:
a, b, c, d = 0, 1, 1 , n # (*)
else:
a, b, c, d = 1, 1, n-1 , n # (*)
print "%d/%d" % (a,b)
while (asc and c <= n) or (not asc and a > 0):
k = int((n + b)/d)
a, b, c, d = c, d, k*c - a, k*d - b
print "%d/%d" % (a,b)

14

Bibliografia
http://mathworld.wolfram.com/FareySequence.html
http://es.wikipedia.org/wiki/Sucesi%C3%B3n_de_Farey
relacionado con el circulo de Ford http://es.wikipedia.org/wiki/C%C3%ADrculo_de_Ford
http://ca.wikipedia.org/wiki/Successi%C3%B3_de_Farey
Hiptesis de Riemann http://es.wikipedia.org/wiki/Hip%C3%B3tesis_de_Riemann
rbol de Stern-Brocot http://ca.wikipedia.org/wiki/Arbre_de_Stern-Brocot
Ejemplificacin y explicacin del rbol de stern-brocot: http://gaussianos.com/el-arbol-de-
stern-brocot-y-la-numerabilidad-de-los-numeros-racionales/
http://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/farey.htm
http://golem.ph.utexas.edu/category/2008/06/farey_sequences_and_the_sternb.html
http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/Fractions/fareySB.html
http://pier.guillen.com.mx/algorithms/09-busqueda/09.2-farey_stern-brocot.htm
http://es.wikipedia.org/wiki/Teorema_de_los_n%C3%BAmeros_primos
http://en.wikipedia.org/wiki/Farey_sequence