American mathematician Lester Randolph Ford Sr. (1886–1967) was President of the Mathematical Association of America from 1947 to 1948 and editor of the American Mathematical Monthly during World War II. He is remembered today for the system of circles named in his honour.

For any rational number in reduced form ( and coprime), a Ford circle is a circle with center at and radius . There is a Ford circle associated with every rational number. Every Ford circle is tangent to the horizontal axis and each two Ford circles are either tangent or disjoint from each other.

There is a Ford circle tangent to the -axis at every point having rational coordinates. If is the Ford circle associated with with , the Ford circles that are tangent to are the circles associated with the fractions that are the neighbours of in some Farey sequence. They are also linked to the Stern-Brocot tree and to the circles in the Apollonian gasket Apollonian gasket, a fractal named after Apollonius of Perga.

**Farey Sequences**

The *Farey Sequence* of order is the sequence of (reduced) fractions between 0 and 1 which have denominators less than or equal to , arranged in order of increasing size. Each Farey sequence starts with the value 0 (=0/1) and ends with the value 1 (=1/1). The eighth {Farey Sequence} is

There are 23 terms in this sequence. John Farey speculated, in 1816, that each new entry is the *mediant* of its neighbours. That is, for two adjacent fractions and , the new number is :

For example, between 3/5 and 2/3, the next rational to appear is 5/8. Cauchy provided proofs of Farey’s claims and ascribed the credit to Farey. It is a consequence of this relationship that, at any stage, if and are two neighbouring entries with , then .

**Representing Fractions by Circles**

Ford’s idea was to represent fractions by circles. Through each rational point on the real line he constructed a circle of radius tangent to the -axis and in the upper half-plane. The integers are represented by circles of radius and fractions by smaller circles.

By considering the distance between the circles corresponding to two distinct rationals, Ford showed that the circles are either disjoint or tangent to each other. He also showed that for every fraction there is an adjacent fraction such that their two circles are tangent. Indeed, if is adjacent to then so are all the fractions

Exactly two of these have denominators smaller than .

Ford’s paper (Ford, 1938) is still worthwhile reading. He established some results on the approximation of an arbitrary real number by rationals. He also showed the link between his circles and the Farey series. If we consider two tangent circles, associated with and , then the circle for the mediant, , is tangent to both of them (See Fig. 2).

**Sources**

Conway, John H. and Richard Guy, 1996: *The Book of Numbers*. Copernicus. ISBN: 978-0-3879-7993-9.

Ford, L. R., 1938. Fractions. *Amer. Math. Monthly*, **45**, (9), 586–601.

https://www.jstor.org/stable/2302799

## 1 Response to “Ford Circles & Farey Series”