Abstract:
We obtain an expression for the density of the distribution of the lengths
of arcs connecting neighbouring rational points on the unit circle with
denominators not exceeding a given bound.
Keywords:Farey fractions, Pythagorean triples, unit circle, density of a distribution.