Apollonius of Perga on beautiful theorems

The Conics of Apollonius of Perga (c. 260–c. 190 BCE) became the standard text for ‘conic sections’ — the curves formed by the intersection of a plane and a cone, namely an ellipse, parabola, or hyperbola, depending on the angle of the plane relative to the slope of the cone.

The three kinds of conic sections: the ellipse, where the angle of the section is less than the slope of the cone; the parabola, where they are equal; the hyperbola, where the angle of the section is greater.

In the preface to the Conics, Apollonius wrote:

‘The third book contains many incredible theorems of use for the construction of solid loci and for limits of possibility of which the greatest part and the most beautiful [kallista κάλλιστα] are new.’

This quotation is triply important in the historiography of mathematical beauty: (1) it is the earliest extant description of a mathematical theorem as ‘beautiful’; (2) it is the earliest extant application of the term ‘beautiful’ to mathematics by a mathematician; and (3) it is the unique extant use of the term ‘beautiful’ to describe theorems by an ancient Greek mathematician.

(There is much discussion of the beauty of mathematics in ancient Greek thought, but it normally applies to the objects or concepts of mathematics.)

The results Apollonius referred to are those necessary for the 3-line and 4-line locus. In modern terms, a 4-line locus is the set of points whose distances $d_1$, $d_2$, $d_3$, $d_4$ to four given straight lines satisfy an equation $d_1 d_2 = k d_3 d_4$ for some given $k$. A 3-line locus is the set of points where the distances satisfy an equation $d_1 d_2 = k d_3^2$. These loci are always conic sections.

References

Image source

« Perfect numbers and aesthetics
Archimedes on the sphere and cylinder »