janmr blog

Fractions and Circles

Fractions produced by mediants have some very interesting properties. We saw some of them in connection with the Stern-Brocot tree. This articles explores a more curious property, relating fractions to circles in the plane. It was discovered in 1938 by Lester R. Ford and is also mentioned in Conway and Guy's The Book of Numbers.

Let us consider a way to construct fractions. We always start out with the sequence

(1)

01,10\frac{0}{1}, \frac{1}{0}

and then repeatedly obtain a new sequence from an existing one. Given a sequence, we pick two consequtive fractions and insert their mediant between them. Recall that the mediant of m1n1\frac{m_1}{n_1} and m2n2\frac{m_2}{n_2} is m1+m2n1+n2\frac{m_1+m_2}{n_1+n_2}. We will call sequences created in this manner mediant sequences.

So the first (and only) mediant sequence possible from the initial sequence (1) is

01,<11>,10\frac{0}{1}, \left<\frac{1}{1}\right>, \frac{1}{0}

where the new fraction is surrounded by angle brackets. From this point on, we have multiple choices each time we produce a new mediant sequence. An example of the following sequences could be

01,<12>,11,10\frac{0}{1}, \left<\frac{1}{2}\right>, \frac{1}{1}, \frac{1}{0}

01,12,11,<21>,10\frac{0}{1}, \frac{1}{2}, \frac{1}{1}, \left<\frac{2}{1}\right>, \frac{1}{0}

01,<13>,12,11,21,10\frac{0}{1}, \left<\frac{1}{3}\right>, \frac{1}{2}, \frac{1}{1}, \frac{2}{1}, \frac{1}{0}

An essential property, in regard to this article, is this: For all mediant sequences, any fraction m1n1\frac{m_1}{n_1} followed by m2n2\frac{m_2}{n_2} fulfills n1m2m1n2=1n_1 m_2 - m_1 n_2 = 1. This is easily shown by induction by considering the initial mediant sequence (1) and that if n1m2m1n2=1n_1 m_2 - m_1 n_2 = 1 for a subsequence

,m1n1,m2n2,\ldots, \frac{m_1}{n_1}, \frac{m_2}{n_2}, \ldots

then it also holds after inserting the mediant

,m1n1,m1+m2n1+n2,m2n2,\ldots, \frac{m_1}{n_1}, \frac{m_1+m_2}{n_1+n_2}, \frac{m_2}{n_2}, \ldots

(two cases to check).

Note how this property implies that the fractions in any mediant sequence are ordered by size. But the most important use of this property will appear shortly.

We now do the following in a Cartesian coordinate system: For each fraction mn\frac{m}{n} in a given mediant sequence, draw a circle centered at (mn,12n2)\left(\frac{m}{n}, \frac{1}{2 n^2}\right) with radius 12n2\frac{1}{2 n^2}. An example can be seen in Figure 1.

Ford circles 1
Figure 1

By construction, the x-axis is obviously a tangent to all such circles. Furthermore, two circles, corresponding to two fractions m1n1\frac{m_1}{n_1} and m2n2\frac{m_2}{n_2}, touch at exactly one point if and only if n1m2m1n2=1| n_1 m_2 - m_1 n_2 | = 1. This is shown by an application of the Pythagorean Theorem:

(m2n2m1n1)2+(12n2212n12)2=(12n22+12n12)2(n1m2m1n2n1n2)2=1n12n22n1m2m1n2=1.\begin{aligned} \left( \frac{m_2}{n_2} - \frac{m_1}{n_1} \right)^2 + \left( \frac{1}{2 n_2^2} - \frac{1}{2 n_1^2} \right)^2 &= \left( \frac{1}{2 n_2^2} + \frac{1}{2 n_1^2} \right)^2 \quad \Leftrightarrow \\ \left( \frac{n_1 m_2 - m_1 n_2}{n_1 n_2} \right)^2 &= \frac{1}{n_1^2 n_2^2} \quad \Leftrightarrow \\ | n_1 m_2 - m_1 n_2 | &= 1. \end{aligned}

This is exactly the property that consequtive fractions in any mediant sequence fulfills.

Zooming into the dashed region in Figure 1 leads to Figure 2.

Ford circles 2
Figure 2

So given a mediant sequence, we can draw such circles for each fraction in the sequence, except for the final 10\frac{1}{0} (which is just an auxillary element). The circles with diameter 11 correspond to the seqeuence 01,11,21,\frac{0}{1}, \frac{1}{1}, \frac{2}{1}, \ldots and will all touch each other. See Figure 1. Any circle with diameter less than 11 will touch exactly two larger circles, namely the two from which it was created when considering their mediant sequence representatives. To be more specific, if we went from a mediant sequence

,m1n1,m2n2,\ldots, \frac{m_1}{n_1}, \frac{m_2}{n_2}, \ldots

with n20n_2 \neq 0 to

,m1n1,m1+m2n1+n2,m2n2,,\ldots, \frac{m_1}{n_1}, \frac{m_1+m_2}{n_1+n_2}, \frac{m_2}{n_2}, \ldots,

then the three circles corresponding to the fractions of this second subsequence will all touch, and the middle one will obviously be the smallest (has the largest denominator). See, e.g., the fractions 12\frac{1}{2}, 35\frac{3}{5}, 23\frac{2}{3} in Figure 2.

Zooming in once again we get Figure 3.

Ford circles 3
Figure 3

Note the many self-similarities.