Ford Circle - Total Area of Ford Circles

Total Area of Ford Circles

There is a link between the area of Ford circles, Euler's totient function φ, the Riemann zeta function ζ, and Apéry's constant ζ(3).

As no two Ford circles intersect, it follows immediately that the total area of the Ford circles

is less than 1. In fact the total area of these Ford circles is given by a convergent sum, which can be evaluated.

From the definition, the area is

A = \sum_{q\ge 1} \sum_{ (p, q)=1 \atop 1 \le p < q } \pi \left( \frac{1}{2 q^2} \right)^2.

Simplifying this expression gives

A = \frac{\pi}{4} \sum_{q\ge 1} \frac{1}{q^4} \sum_{ (p, q)=1 \atop 1 \le p < q } 1 = \frac{\pi}{4} \sum_{q\ge 1} \frac{\varphi(q)}{q^4} = \frac{\pi}{4} \frac{\zeta(3)}{\zeta(4)},

where the last equality reflects the Dirichlet generating function for Euler's totient function φ(q). Since ζ(4) = π 4/90, this finally becomes

Read more about this topic:  Ford Circle

Famous quotes containing the words total, area, ford and/or circles:

    “You have got to prepare for a lifetime of the pillory, for whatever you do will be seen as wrong by total strangers, up until and including the time when whatever your child does will be seen as wrong by total strangers.”
    —Sonia Taitz (20th century)

    “If you meet a sectary, or a hostile partisan, never recognize the dividing lines; but meet on what common ground remains,—if only that the sun shines, and the rain rains for both; the area will widen very fast, and ere you know it the boundary mountains, on which the eye had fastened, have melted into air.”
    —Ralph Waldo Emerson (1803–1882)

    “I have always felt that the real purpose of government is to enhance the lives of people and that a leader can best do that by restraining government in most cases instead of enlarging it at every opportunity.”
    —Gerald R. Ford (b. 1913)

    “And why do you cry, my dear, why do you cry?
    It is all in the whirling circles of time.
    If millions are born millions must die,”
    —Robinson Jeffers (1887–1962)