Added to Favorites

Popular Searches

Definitions

In mathematics, the Farey sequence of order n is the sequence of completely reduced fractions between 0 and 1 which, when in lowest terms, have denominators less than or equal to n, arranged in order of increasing size.## Examples

The Farey sequences of orders 1 to 8 are :
## History

## Properties

### Sequence length

The Farey sequence of order n contains all of the members of the Farey sequences of lower orders. In particular F_{n} contains all of the members of F_{n−1}, and also contains an additional fraction for each number that is less than n and coprime to n. Thus F_{6} consists of F_{5} together with the fractions ^{1}⁄_{6} and ^{5}⁄_{6}. The middle term of a Farey sequence F_{n} is always ^{1}⁄_{2}, for n > 1.### Farey neighbours

Fractions which are neighbouring terms in any Farey sequence are known as a Farey pair and have the following properties.### Ford circles

There is an interesting connection between Farey sequence and Ford circles.### Riemann Hypothesis

Farey sequences are used in two equivalent formulations of the Riemann hypothesis. Suppose the terms of $F\_n$ are $\{a\_\{k,n\}\; :\; k\; =\; 0,\; 1,\; ldots\; m\_n\}$. Define $d\_\{k,n\}\; =\; a\_\{k,n\}\; -\; k/m\_n$, in other words $d\_\{k,n\}$ is the difference between the kth term of the nth Farey sequence, and the kth member of a set of the same number of points, distributed evenly on the unit interval. Franel and Landau proved that the two statements that $sum\_\{k=1\}^\{m\_n\}\; |d\_\{k,n\}|\; =\; mathcal\{O\}\; (n^r)$ for any r>1/2, and that $sum\_\{k=1\}^\{m\_n\}\; d\_\{k,n\}^2\; =\; mathcal\{O\}(n^r)$ for any r>-1, are equivalent to the Riemann hypothesis.
## Simple algorithm

## References

### Footnotes

### Further reading

## External links

Each Farey sequence starts with the value 0, denoted by the fraction ^{0}⁄_{1}, and ends with the value 1, denoted by the fraction ^{1}⁄_{1} (although some authors omit these terms).

A Farey sequence is sometimes called a Farey series, which is not strictly correct, because the terms are not summed.

- F
_{1}= {^{0}⁄_{1},^{1}⁄_{1}}

- F
_{2}= {^{0}⁄_{1},^{1}⁄_{2},^{1}⁄_{1}}

- F
_{3}= {^{0}⁄_{1},^{1}⁄_{3},^{1}⁄_{2},^{2}⁄_{3},^{1}⁄_{1}}

- F
_{4}= {^{0}⁄_{1},^{1}⁄_{4},^{1}⁄_{3},^{1}⁄_{2},^{2}⁄_{3},^{3}⁄_{4},^{1}⁄_{1}}

- F
_{5}= {^{0}⁄_{1},^{1}⁄_{5},^{1}⁄_{4},^{1}⁄_{3},^{2}⁄_{5},^{1}⁄_{2},^{3}⁄_{5},^{2}⁄_{3},^{3}⁄_{4},^{4}⁄_{5},^{1}⁄_{1}}

- F
_{6}= {^{0}⁄_{1},^{1}⁄_{6},^{1}⁄_{5},^{1}⁄_{4},^{1}⁄_{3},^{2}⁄_{5},^{1}⁄_{2},^{3}⁄_{5},^{2}⁄_{3},^{3}⁄_{4},^{4}⁄_{5},^{5}⁄_{6},^{1}⁄_{1}}

- F
_{7}= {^{0}⁄_{1},^{1}⁄_{7},^{1}⁄_{6},^{1}⁄_{5},^{1}⁄_{4},^{2}⁄_{7},^{1}⁄_{3},^{2}⁄_{5},^{3}⁄_{7},^{1}⁄_{2},^{4}⁄_{7},^{3}⁄_{5},^{2}⁄_{3},^{5}⁄_{7},^{3}⁄_{4},^{4}⁄_{5},^{5}⁄_{6},^{6}⁄_{7},^{1}⁄_{1}}

- F
_{8}= {^{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}⁄_{1}}

- The history of 'Farey series' is very curious — Hardy & Wright (1979) Chapter III

- ... once again the man whose name was given to a mathematical relation was not the original discoverer so far as the records go. — Beiler (1964) Chapter XVI

Farey sequences are named after the British geologist John Farey, Sr., whose letter about these sequences was published in the Philosophical Magazine in 1816. Farey conjectured that each new term in a Farey sequence expansion is the mediant of its neighbours — however, so far as is known, he did not prove this property. Farey's letter was read by Cauchy, who provided a proof in his Exercises de mathématique, and attributed this result to Farey. In fact, another mathematician, C. Haros, had published similar results in 1802 which were almost certainly not known either to Farey or to Cauchy. Thus it was a historical accident that linked Farey's name with these sequences.

From this, we can relate the lengths of F_{n} and F_{n−1} using Euler's totient function φ(n) :-

- $|F\_n|\; =\; |F\_\{n-1\}|\; +\; varphi(n)$

Using the fact that |F_{1}| = 2, we can derive an expression for the length of F_{n} :-

- $|F\_n|\; =\; 1\; +\; sum\_\{m=1\}^n\; varphi(m)$

The asymptotic behaviour of |F_{n}| is :-

- $|F\_n|\; sim\; frac\; \{3n^2\}\{pi^2\}$

If ^{a}⁄_{b} and ^{c}⁄_{d} are neighbours in a Farey sequence, with ^{a}⁄_{b} < ^{c}⁄_{d}, then their difference ^{c}⁄_{d} − ^{a}⁄_{b} is equal to ^{1}⁄_{bd}. Since

- $frac\{c\}\{d\}\; -\; frac\{a\}\{b\}\; =\; frac\{bc\; -\; ad\}\{bd\}$,

this is equivalent to saying that

- bc − ad = 1.

Thus ^{1}⁄_{3} and ^{2}⁄_{5} are neighbours in F_{5}, and their difference is ^{1}⁄_{15}.

The converse is also true. If

- bc − ad = 1

for positive integers a,b,c and d with a < b and c < d then ^{a}⁄_{b} and ^{c}⁄_{d} will be neighbours in the Farey sequence of order max(b,d).

If ^{p}⁄_{q} has neighbours ^{a}⁄_{b} and ^{c}⁄_{d} in some Farey sequence, with

^{a}⁄_{b}<^{p}⁄_{q}<^{c}⁄_{d}

then ^{p}⁄_{q} is the mediant of ^{a}⁄_{b} and ^{c}⁄_{d} — in other words,

- $frac\{p\}\{q\}\; =\; frac\{a\; +\; c\}\{b\; +\; d\}$.

And if ^{a}⁄_{b} and ^{c}⁄_{d} are neighbours in a Farey sequence then the first term that appears between them as the order of the Farey sequence is increased is

- $frac\{a+c\}\{b+d\}$,

which first appears in the Farey sequence of order b + d.

Thus the first term to appear between ^{1}⁄_{3} and ^{2}⁄_{5} is ^{3}⁄_{8}, which appears in F_{8}.

The Stern-Brocot tree is a data structure showing how the sequence is built up from 0 (= ^{0}⁄_{1}) and 1 (= ^{1}⁄_{1}), by taking successive mediants.

Fractions that appear as neighbours in a Farey sequence have closely related continued fraction expansions. Every fraction has two continued fraction expansions - in one the final term is 1; in the other the final term is greater than 1. If ^{p}⁄_{q}, which first appears in Farey sequence F_{q}, has continued fraction expansions

- [0; a
_{1}, a_{2}, …, a_{n − 1}, a_{n}, 1]

- [0; a
_{1}, a_{2}, …, a_{n − 1}, a_{n}+ 1]

then the nearest neighbour of ^{p}⁄_{q} in F_{q} (which will be its neighbour with the larger denominator) has a continued fraction expansion

- [0; a
_{1}, a_{2}, …, a_{n}]

and its other neighbour has a continued fraction expansion

- [0; a
_{1}, a_{2}, …, a_{n − 1}]

Thus ^{3}⁄_{8} has the two continued fraction expansions [0; 2, 1, 1, 1] and [0; 2, 1, 2], and its neighbours in F_{8} are ^{2}⁄_{5}, which can be expanded as [0; 2, 1, 1]; and ^{1}⁄_{3}, which can be expanded as [0; 2, 1].

For every fraction p/q (in its lowest terms) there is a Ford circle C[p/q], which is the circle with radius 1/(2q^{2}) and centre at (p/q, 1/(2q^{2})). Two Ford circles for different fractions are either disjoint or they are tangent to one another - two Ford circles never intersect. If 0 < p/q < 1 then the Ford circles that are tangent to C[p/q] are precisely the Ford circles for fractions that are neighbours of p/q in some Farey sequence.

Thus C[2/5] is tangent to C[1/2], C[1/3], C[3/7], C[3/8] etc.

A surprisingly simple algorithm exists to generate the terms in either traditional order (ascending) or non-traditional order (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)

Brute force searches for solutions to Diophantine equations in rationals can often take advantage of the Farey series (to search only reduced forms). The lines marked (*) can also be modified to include any two adjacent terms so as to generate terms only larger (or smaller) than a given term.

- Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science, 2nd Edition (Addison-Wesley, Boston, 1989); in particular, Sec. 4.5 (pp. 115-123), Bonus Problem 4.61 (pp. 150, 523-524), Sec. 4.9 (pp. 133-139), Sec. 9.3, Problem 9.3.6 (pp. 462-463). ISBN 0201558025.
- Linas Vepstas. The Minkowski Question Mark, GL(2,Z), and the Modular Group. http://linas.org/math/chap-minkowski.pdf reviews the isomorphisms of the Stern-Brocot Tree.
- Linas Vepstas. Symmetries of Period-Doubling Maps. http://linas.org/math/chap-takagi.pdf reviews connections between Farey Fractions and Fractals.

- Alexander Bogomolny. Farey series and Stern-Brocot Tree at http://www.cut-the-knot.org/

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday September 26, 2008 at 00:39:24 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday September 26, 2008 at 00:39:24 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.