Ford Circles & Farey Sequence: A Visual Journey Through…

What Are Ford Circles?

Ford circles are a set of circles associated with each fraction p/q where p and q are coprime integers. Each circle is tangent to the x-axis at (p/q, 0) and has a radius of 1/(2q²). This geometric representation provides a visual way to understand fractions and their relationships.

The beauty of Ford circles lies in how they interact with each other: any two adjacent circles are externally tangent, while no other pairs of circles touch. This property makes them a fascinating tool for exploring the structure of rational numbers.

Building the Farey Sequence

The Farey sequence is a sequence of completely reduced fractions between 0 and 1, which are listed in order of increasing size. Each term in the sequence can be generated by inserting the mediant of any two adjacent terms into the list.

For example, if we start with the initial terms [0/1, 1/1], the first insertion gives us [0/1, 1/2, 1/1]. This process continues to generate new fractions that fit between existing ones, creating a rich and ordered sequence.

live demo · related simulation● LIVE

Why Do These Circles Touch But Never Overlap?

The touching property of Ford circles is due to the specific radii and positions. If two fractions p/q and r/s are adjacent in the Farey sequence, their corresponding Ford circles will be tangent at a point on the x-axis. This tangency ensures that no other pairs of circles overlap, as each circle's radius is precisely calculated to avoid such intersections.

This unique property makes Ford circles an excellent tool for visualizing and understanding the relationships between fractions in the Farey sequence.

Applications and Significance

Ford circles have applications in various areas of mathematics, including number theory and geometry. They provide a geometric interpretation of rational numbers and help in visualizing concepts like continued fractions and Diophantine approximation.

Moreover, the Farey sequence generated through mediant insertion has connections to other mathematical structures such as the Stern-Brocot tree, making it a fundamental concept in discrete mathematics.

Frequently asked questions

What is the significance of Ford circles?

Ford circles provide a geometric representation of rational numbers and offer insights into their relationships. They are particularly useful for visualizing concepts like continued fractions and Diophantine approximation.

How does mediant insertion work in generating the Farey sequence?

Mediant insertion involves taking two adjacent terms a/b and c/d in the Farey sequence, and inserting their mediant (a+c)/(b+d) between them. This process continues to generate new fractions that fit between existing ones.

Why are Ford circles tangent but not overlapping?

Ford circles are tangent at points on the x-axis because of their specific radii, which are calculated as 1/(2q²). The non-overlapping property ensures that no other pairs of circles intersect, making them a unique and ordered representation of rational numbers.

What is the relationship between Ford circles and the Farey sequence?

Ford circles represent fractions in a geometric form, with each circle corresponding to a fraction p/q. The Farey sequence is generated by inserting mediants between adjacent terms, which are then represented as tangent Ford circles.

Try it live

Everything above runs in your browser — open Ford Circles & Farey Sequence and change the parameters while it is running. Nothing is installed, nothing is uploaded, the whole model lives in one tab.

▶ Open Ford Circles & Farey Sequence simulation

Ford Circles & Farey Sequence: A Visual Journey Through Number Theory