# Sequência de Farey

Uma seqüência de Farey (no Brasil) ou sucessão de Farey (em Portugal) é uma sucessão matemática de frações irredutíveis entre 0 e 1 que tem um denominador menor ou igual a n em ordem crescente.
Cada seqüência de Farey começa no 0, representado pela fração $^0$⁄$_1$, e termina no 1, representado pela fração ¹⁄$_1$, ainda que alguns autores só podem omitir ambos os términos.

## Construção

Uma boa maneira algorítmica de construir a seqüência de Farey para um número n (por exemplo, o 4):
* Construímos umas frações com todas as combinações possíveis dos números do 1 ao 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$
* Eliminamos aquelas frações superiores a 1 (ou em outras palavras, nas que o numerador seja maior que o denominador):
    $^1$⁄$_1$, $^1$⁄$_2$, $^1$⁄$_3$, $^1$⁄$_4$; $^2$⁄$_2$, $^2$⁄$_3$, $^2$⁄$_4$; $^3$⁄$_3$, $^3$⁄$_4$; $^4$⁄$_4$;
* Simplificamos todas as frações, descartando as repetidas:
    $^1$⁄$_1$, $^1$⁄$_2$, $^1$⁄$_3$, $^1$⁄$_4$; $^2$⁄$_3$; $^3$⁄$_4$;
* Ordenamos o resultado de menor ao maior, agregando o 0 ($^0$⁄$_1$) ao princípio:
    $^0$⁄$_1$, $^1$⁄$_4$, $^1$⁄$_3$, $^1$⁄$_2$, $^2$⁄$_3$, $^3$⁄$_4$, $^1$⁄$_1$
Nesse sentido, a sequência de Farey mostra-se interessante e bastante conhecida por matemáticos e cientistas da computação, sendo que é comum ela ser implementada por meio de algoritmos nas mais diversas linguagens de programação.

## Exemplos

As sequências de Farey de ordem 1 até 8 são:
    F$_1$ = { 01$_,$ 11 }
    F$_2$ = { 01$_,$ 12$_,$ 11 }
    F$_3$ = { 01$_,$ 13$_,$ 12$_,$ 23$_,$ 11 }
    F$_4$ = { 01$_,$ 14$_,$ 13$_,$ 12$_,$ 23$_,$ 34$_,$ 11 }
    F$_5$ = { 01$_,$ 15$_,$ 14$_,$ 13$_,$ 25$_,$ 12$_,$ 35$_,$ 23$_,$ 34$_,$ 45$_,$ 11 }
    F$_6$ = { 01$_,$ 16$_,$ 15$_,$ 14$_,$ 13$_,$ 25$_,$ 12$_,$ 35$_,$ 23$_,$ 34$_,$ 45$_,$ 56$_,$ 11 }
    F$_7$ = { 01$_,$ 17$_,$ 16$_,$ 15$_,$ 14$_,$ 27$_,$ 13$_,$ 25$_,$ 37$_,$ 12$_,$ 47$_,$ 35$_,$ 23$_,$ 57$_,$ 34$_,$ 45$_,$ 56$_,$ 67$_,$ 11 }
    F$_8$ = { 01$_,$ 18$_,$ 17$_,$ 16$_,$ 15$_,$ 14$_,$ 27$_,$ 13$_,$ 38$_,$ 25$_,$ 37$_,$ 12$_,$ 47$_,$ 35$_,$ 58$_,$ 23$_,$ 57$_,$ 34$_,$ 45$_,$ 56$_,$ 67$_,$ 78$_,$ 11 }

## História

    A história da "série de Farey" é muito curiosa — Hardy & Wright (1979) Capítulo III
    ... mais uma vez o homem cujo nome foi dado a uma relação matemática não era o descobridor até onde nos mostram os registros. — Beiler (1964) Capítulo XVI
As sequências de Farey são nomeadas a partir do geólogo Britânico John Farey, que teve suas cartas sobre essas sequências publicadas na revista Philosophical Magazine em 1816. Farey conjecturou, sem apresentar provas, que cada novo termo na expansão de uma sequência de Farey é a mediante de seus vizinhos. A carta de Farey foi lida por Cauchy, que forneceu uma prova em seus Exercices de mathématique, e atribuiu este resultado a Farey. Na realidade, outro matemático, Charles Haros, havia publicado resultados similares em 1802 que não eram conhecidos nem por Farey ou por Cauchy. Portanto foi um acidente histórico que ligou o nome de Farey a essas sequências. Este é um exemplo da Lei de Stigler.