The Farey sequence of order $n$ is the sequence of all lowest-terms fractions between 0 and 1 whose denominators do not exceed $n$, in increasing order.
3
votes
1answer
59 views
How to prove that construction of Farey sequence by mediant is coverage?
Farey sequence of order $n+1$ ($F_{n+1}$) can be construct by adding mediant value (${a+c \over b+d}$) into $F_{n}$, where ${a \over b}$ and ${c \over d}$ are consecutive term in $F_{n}$, and $b+d = ...
2
votes
1answer
95 views
Farey sequences for polynomials?
Does a notion of Farey sequence (or something equivalent) exist for polynomials over finite fields?
3
votes
3answers
158 views
Constructing Farey sequences inductively
Objective: I'd like to prove that $F_{n+1}$ (the Farey sequence of order $n+1$) is obtained form the Farey sequence $F_n$ of order $n$ by adding all fractions of the form $\frac{a+c}{b+d}$ when ...
8
votes
1answer
103 views
What is the sum of the squares of the differences of consecutive element of a Farey Sequence
A Farey sequence of order $n$ is a list of the rational numbers between 0 and 1 inclusive whose denominator is less than or equal to $n$.
For example $F_6= ...
