Pappus of Alexandria
Pappus of Alexandria (/ˈpæpəs/; Greek Πάππος ὁ Ἀλεξανδρεύς) (c. A.D. 290 – c. 350) was one of the last great Greek mathematicians of Antiquity, known for his Synagoge or Collection (c. 340), and for Pappus's Theorem in projective geometry. Nothing is known of his life, except (from his own writings) that he had a son named Hermodorus, and was a teacher in Alexandria.^{1}
Collection, his bestknown work, is a compendium of mathematics in eight volumes, the bulk of which survives. It covers a wide range of topics, including geometry, recreational mathematics, doubling the cube, polygons and polyhedra.
Contents
Context
Pappus flourished in the 4th century A.D. In a period of general stagnation in mathematical studies, he stands out as a remarkable exception.^{2} "How far he was above his contemporaries, how little appreciated or understood by them, is shown by the absence of references to him in other Greek writers, and by the fact that his work had no effect in arresting the decay of mathematical science," Thomas Little Heath writes. "In this respect the fate of Pappus strikingly resembles that of Diophantus."^{2}
Dating
In his surviving writings, Pappus gives no indication of the date of the authors whose works he makes use of, or of the time (but see below) at which he himself wrote. If no other date information were available, all that could be known would be that he was later than Ptolemy (died c. 168 AD), whom he quotes, and earlier than Proclus (born c. 411 AD), who quotes him.
The Suda states that Pappus was of the same age as Theon of Alexandria, who flourished in the reign of Emperor Theodosius I (372–395 AD).^{3} A different date is given by a marginal note to a late 10thcentury manuscript (a copy of a chronological table by the same Theon), which states, next to an entry on Emperor Diocletian (reigned 284–305 AD), that "at that time wrote Pappus".^{2}
However, a real date comes from the dating of a solar eclipse mentioned by Pappus himself, when in his commentary on the Almagest he calculates "the place and time of conjunction which gave rise to the eclipse in Tybi in 1068 after Nabonassar". This works out as October 18, 320 AD, and so Pappus must have flourished c. 320 AD.^{1}
Works
The great work of Pappus, in eight books and titled Synagoge or Collection, has not survived in complete form: the first book is lost, and the rest have suffered considerably. The Suda enumerates other works of Pappus: Χωρογραφια οἰκουμενική (Chorographia oikoumenike or Description of the Inhabited World), commentary on the 4 books of Ptolemy's Almagest, Ποταμοὺς τοὺς ἐν Λιβύῃ (The Rivers in Libya), and Ὀνειροκριτικά (The Interpretation of Dreams).^{3} Pappus himself mentions another commentary of his own on the Ἀνάλημμα (Analemma) of Diodorus of Alexandria. Pappus also wrote commentaries on Euclid's Elements (of which fragments are preserved in Proclus and the Scholia, while that on the tenth Book has been found in an Arabic manuscript), and on Ptolemy's Ἁρμονικά (Harmonika).^{2}
Collection
The characteristics of Pappus's Collection are that it contains an account, systematically arranged, of the most important results obtained by his predecessors, and, secondly, notes explanatory of, or extending, previous discoveries. These discoveries form, in fact, a text upon which Pappus enlarges discursively. Heath considered the systematic introductions to the various books as valuable, for they set forth clearly an outline of the contents and the general scope of the subjects to be treated. From these introductions one can judge of the style of Pappus's writing, which is excellent and even elegant the moment he is free from the shackles of mathematical formulae and expressions. Heath also found his characteristic exactness made his Collection "a most admirable substitute for the texts of the many valuable treatises of earlier mathematicians of which time has deprived us."^{2}
The portions of Collection which has survived can be summarized as follows.
We can only conjecture that the lost Book I, like Book II, was concerned with arithmetic, Book III being clearly introduced as beginning a new subject.
The whole of Book II (the former part of which is lost, the existing fragment beginning in the middle of the 14th proposition) discusses a method of multiplication from an unnamed book by Apollonius of Perga. The final propositions deal with multiplying together the numerical values of Greek letters in two lines of poetry, producing two very large numbers approximately equal to 2*10^{54} and 2*10^{38}.^{4}
Book III contains geometrical problems, plane and solid. It may be divided into five sections:
 On the famous problem of finding two mean proportionals between two given lines, which arose from that of duplicating the cube, reduced by Hippocrates of Chios to the former. Pappus gives several solutions of this problem, including a method of making successive approximations to the solution, the significance of which he apparently failed to appreciate; he adds his own solution of the more general problem of finding geometrically the side of a cube whose content is in any given ratio to that of a given one.
 On the arithmetic, geometric and harmonic means between two straight lines, and the problem of representing all three in one and the same geometrical figure. This serves as an introduction to a general theory of means, of which Pappus distinguishes ten kinds, and gives a table representing examples of each in whole numbers.
 On a curious problem suggested by Euclid I.21.
 On the inscribing of each of the five regular polyhedra in a sphere.
 An addition by a later writer on another solution of the first problem of the book.
Of Book IV the title and preface have been lost, so that the program has to be gathered from the book itself. At the beginning is the wellknown generalization of Euclid I.47, then follow various theorems on the circle, leading up to the problem of the construction of a circle which shall circumscribe three given circles, touching each other two and two. This and several other propositions on contact, e.g. cases of circles touching one another and inscribed in the figure made of three semicircles and known as arbelos ("shoemakers knife") form the first division of the book; Pappus turns then to a consideration of certain properties of Archimedes's spiral, the conchoid of Nicomedes (already mentioned in Book I as supplying a method of doubling the cube), and the curve discovered most probably by Hippias of Elis about 420 B.C., and known by the name, τετραγωνισμός, or quadratrix. Proposition 30 describes the construction of a curve of double curvature called by Pappus the helix on a sphere; it is described by a point moving uniformly along the arc of a great circle, which itself turns about its diameter uniformly, the point describing a quadrant and the great circle a complete revolution in the same time. The area of the surface included between this curve and its base is found – the first known instance of a quadrature of a curved surface. The rest of the book treats of the trisection of an angle, and the solution of more general problems of the same kind by means of the quadratrix and spiral. In one solution of the former problem is the first recorded use of the property of a conic (a hyperbola) with reference to the focus and directrix.
In Book V, after an interesting preface concerning regular polygons, and containing remarks upon the hexagonal form of the cells of honeycombs, Pappus addresses himself to the comparison of the areas of different plane figures which have all the same perimeter (following Zenodorus's treatise on this subject), and of the volumes of different solid figures which have all the same superficial area, and, lastly, a comparison of the five regular solids of Plato. Incidentally Pappus describes the thirteen other polyhedra bounded by equilateral and equiangular but not similar polygons, discovered by Archimedes, and finds, by a method recalling that of Archimedes, the surface and volume of a sphere.
According to the preface, Book VI is intended to resolve difficulties occurring in the socalled "lesser astronomical works" (μίκρός άστρονομούμενος), i.e. works other than the Almagest. It accordingly comments on the Sphaerica of Theodosius, the Moving Sphere of Autolycus, Theodosius's book on Day and Night, the treatise of Aristarchus On the Size and Distances of the Sun and Moon, and Euclid's Optics and Phaenomena.
Book VII
Since Michel Chasles cited this book of Pappus in his history of geometric methods,^{5} it has become the object of considerable attention.
The preface of Book VII explains the terms analysis and synthesis, and the distinction between theorem and problem. Pappus then enumerates works of Euclid, Apollonius, Aristaeus and Eratosthenes, thirtythree books in all, the substance of which he intends to give, with the lemmas necessary for their elucidation. With the mention of the Porisms of Euclid we have an account of the relation of porism to theorem and problem. In the same preface is included (a) the famous problem known by Pappus's name, often enunciated thus: Having given a number of straight lines, to find the geometric locus of a point such that the lengths of the perpendiculars upon, or (more generally) the lines drawn from it obliquely at given inclinations to, the given lines satisfy the condition that the product of certain of them may bear a constant ratio to the product of the remaining ones; (Pappus does not express it in this form but by means of composition of ratios, saying that if the ratio is given which is compounded of the ratios of pairs one of one set and one of another of the lines so drawn, and of the ratio of the odd one, if any, to a given straight line, the point will lie on a curve given in position); (b) the theorems which were rediscovered by and named after Paul Guldin, but appear to have been discovered by Pappus himself.
Book VII contains also
 under the head of the De Sectione Determinata of Apollonius, lemmas which, closely examined, are seen to be cases of the involution of six points;
 important lemmas on the Porisms of Euclid, including what is called Pappus's hexagon theorem;
 a lemma upon the Surface Loci of Euclid which states that the locus of a point such that its distance from a given point bears a constant ratio to its distance from a given straight line is a conic, and is followed by proofs that the conic is a parabola, ellipse, or hyperbola according as the constant ratio is equal to, less than or greater than 1 (the first recorded proofs of the properties, which do not appear in Apollonius).
Chasles' citation of Pappus was repeated by Wilhelm Blaschke^{6} and Dirk Struik.^{7} In Cambridge, England, John J. Milne^{8} gave readers the benefit of his reading of Pappus. In 1985 Alexander Jones wrote his thesis at Brown University on the subject. A revised form of his translation and commentary was published by SpringerVerlag the following year. Jones succeeds in showing how Pappus manipulated the complete quadrangle, used the relation of projective harmonic conjugates, and displayed an awareness of crossratios of points and lines. Furthermore, the concept of pole and polar is revealed as a lemma in Book VII.
Book VIII
Lastly, Book VIII principally treats mechanics, the properties of the center of gravity, and some mechanical powers. Interspersed are some propositions on pure geometry. Proposition 14 shows how to draw an ellipse through five given points, and Prop. 15 gives a simple construction for the axes of an ellipse when a pair of conjugate diameters are given.
Theorems
Although Pappus's Theorem usually refers to Pappus's hexagon theorem, it may also refer to Pappus's centroid theorem.
He also gives his name to the Pappus chain, and to the Pappus configuration and Pappus graph arising from his hexagon theorem.
Notes
 ^ ^{a} ^{b} Pierre Dedron, J. Itard (1959) Mathematics And Mathematicians, Vol. 1, p.149 (trans. Judith V. Field) (Transworld Student Library, 1974)
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Heath, Thomas Little (1911). "Pappus of Alexandria". In Chisholm, Hugh. Encyclopædia Britannica (11th ed.). Cambridge University Press. pp. 740–741.
 ^ ^{a} ^{b} Whitehead, David (ed.). "Suda On Line  Pappos". Suda On Line and the Stoa Consortium. Retrieved 20120711. "Alexandrian, philosopher, born in the time of the elder emperor Theodosius, when the philosopher Theon also flourished, the one who wrote about Ptolemy’s Canon. His books are Description of the Inhabited World; a commentary on the four books of the Great Syntaxis of Ptolemy; The Rivers in Libya; and The Interpretation of Dreams."
 ^ Pappus of Alexandria, trans. into Latin by Friedrich Hultsch. Pappi Alexandrini collectionis quae supersunt. Apud Weidmannos, 1877, pp. 1929.
 ^ Michel Chasles (1837) Aperçu historique sur l'origine et le développement des méthodes en géométrie, especially page 302; see also pages 12, 78, and 518.
 ^ Wilhelm Blaschke (1948) Projektiva Geometrie, page 140
 ^ Dirk Struik (1953) Lectures in Analytic and Projective Geometry, page 19, AddisonWesley
 ^ Milne (1911) Elementary Treatise on CrossRatio Geometry
References
 "Pappus of Alexandria" Encyclopædia Britannica
 The Hutchinson Dictionary of Scientific Biography (Helicon Publishing, 2004) "Pappus of Alexandria (lived c. AD 200350) Greek mathematician, astronomer, and geographer whose chief importance lies in his commentaries on the mathematical work of his predecessors."
 Alexander Jones (1986) Book 7 of the Collection, part 1: introduction, text, translation ISBN 0387962573, part 2: commentary, index, figures ISBN 3540962573, SpringerVerlag .
 John J. Milne (1911) An Elementary Treatise on CrossRatio Geometry with Historical Notes, Cambridge University Press
 Paul Ver Eecke (1933) Pappus d'Alexandrie: La Collection Mathématique avec une Introduction et des Notes,2 volumes, Fondation Universitaire de Belgique, Paris: Albert Blanchard
 This article incorporates text from a publication now in the public domain: Chisholm, Hugh, ed. (1911). Encyclopædia Britannica (11th ed.). Cambridge University Press.
External links
 Pappos (Bibliotheca Augustana)
 O'Connor, John J.; Robertson, Edmund F., "Pappus of Alexandria", MacTutor History of Mathematics archive, University of St Andrews.
 "Pappus", Columbia Electronic Encyclopedia, Sixth Edition at Answer.com.
 Pappus's Theorem at MathPages
 Pappus's work on the Isoperimetric Problem at Convergence
