**[The _Elements_ of Euclid - Part 1](https://steemit.com/euclid/@harlotscurse/the-elements-of-euclid)** https://i.postimg.cc/Qdb9fY93/Euclid-Elements-Proposition1-1.jpg Book 1 of Euclid’s _Elements_ opens with three constructions. The first of these, Proposition 1:1, demonstrates how to construct an equilateral triangle: |Greek|English| |-|-| |αʹ. Ἐπὶ τῆς δοθείσης εὐθείας πεπερασμένης τρίγωνον ἰσόπλευρον συστήσασθαι.|1. To construct an equilateral triangle on a given finite straight-line.| Euclid―or one of his folowers ([Joyce](http://aleph0.clarku.edu/~djoyce/java/elements/bookI/defI19.html))―defined triangles in Definitions 19 and 20: >**19.** Rectilinear figures are those (figures) contained by straight-lines: trilateral figures being those contained by three straight-lines, quadrilateral by four, and multilateral by more than four. > >**20.** And of the trilateral figures: an equilateral triangle is that having three equal sides, an isosceles (triangle) that having only two equal sides, and a scalene (triangle) that having three unequal sides. ―Fitzpatrick 6 But do equilateral triangles exist? By demonstrating how to construct an equilateral triangle, Euclid proves that they exist. Expressed in modern language, this proposition and its demonstration run as follows: https://i.postimg.cc/NftkBnyw/Euclid-Elements-Proposition1-1-Demonstration.png**Proposition 1:1** # The Formal Divisions of a Proposition # In manuscripts of Euclid’s _Elements_ each proposition is generally written as a continuous block of text, without any headings for the different parts of the theorem. But it was customary to divide a proposition into six formal parts, as Proclus describes in his _Commentary_: >Every problem and every theorem that is furnished with all its parts should contain the following elements: an enunciation, an exposition, a specification, a construction, a proof, and a conclusion. Of these the enunciation states what is given and what is being sought from it, for a perfect enunciation consists of both these parts. The exposition takes separately what is given and prepares it in advance for use in the investigation. The specification takes separately the thing that is sought and makes clear precisely what it is. The construction adds what is lacking in the given for finding what is sought. The proof draws the proposed inference by reasoning scientifically from the propositions that have been admitted. The conclusion reverts to the enunciation, confirming what has been proved. ―Morrow 158 Proclus’s Greek text provides the technical terms by which these six parts are known, though the English translations of these vary from source to source: |Greek|English| |-|-| |πρότασις|Proposition, Enunciation| |ἔκθεσις|Exposition| |διορισμός|Definition, Specification, Determination| |κατασκευή|Construction, Machinery| |ἀπόδειξις|Proof, Demonstration| |συμπέρασμα|Conclusion| * **Proposition** What is given and what is to be proved. * **Exposition** What is given. * **Definition** What is to be proved. * **Construction** Completion of the geometric diagram. * **Proof** Logical proof of the proposition. * **Conclusion** A restatement of the proposition, which has now been proved. Not all parts are required, as Henry Billingsley explains in his 1570 edition of the _Elements_: >Moreover every _Probleme & Theoreme_, beyng perfect and absolute, ought to have all these partes, namely: First the _Proposition_, to be proved. Then the _exposition_ which is the explication of the thing geven. After that followeth the _determination_, which is the declaration of the thing required. Then is set the _construction_ of suche things which are necessary ether for the doing of the proposition, or for the demonstration. Afterward followeth the _demonstration_, which is the reason and proofe of the proposition. And last of all is put the _conclusion_, which is inferred & proved by the demonstration, and is ever the proposition. But all those partes are not of necessitie required in every Probleme and Theoreme. But the _Proposition_, _demonstration_, _and conclusion_, are necessary partes, & can never be absent: the other partes may sometymes be away. ―Billingsley Folio 8 In his 1826 edition of the _Elements_ Ernst Ferdinand August includes Proclus’s technical terms―or equivalent terms―before the relevant sections of Proposition 1:1, but for the remaining propositions he only includes the initial heading Πρότασις. François Peyrard also follows this practice in his edition of 1814–18. Apparently this practice was also followed by three of the manuscripts Peyrard consulted: Codex Vaticanus Graecus 190 (9th–10th century), Codex Parisinus Graecus 2466 (12th century) and Codex Parisinus Graecus 2344 (12th century). In the following image from Vat Gr 190 each of the six technical terms has been placed in a black cartouche: https://i.postimg.cc/MGm5wwPP/Vat-Gr190-Fol15r-Euclid-Proposition1-1.jpg**Vaticanus Graecus 190 (Folio 15r)** When Johan Ludvig Heiberg & Heinrich Menge brought out their definitive edition of the _Elements_ in 1883, they chose to omit all such headings, considering them to be non-authorial. Even the word πρότασις is omitted, each proposition being preceded only by the appropriate Greek numeral. # Commentary # With the exception of the Pythagorean Theorem (Proposition 1:47), more ink has probably been spent on this proposition than any other in the _Elements_. Its place of honour at the head of Book 1 has lent it a reputation it hardly deserves. The most frequent comment concerns Euclid’s assumption that the two circles must intersect: >The assumption that the circles do indeed cut one another should be counted as an additional postulate. ―Fitzpatrick 8 >It is a commonplace that Euclid has no right to assume, without premising some postulate, that the two circles _will_ meet in a point _C_. To supply what is wanted we must invoke the Principle of Continuity ... ―Heath 242 It might be argued that the intersection of the circles is obvious from the diagram. Perhaps this is why Euclid omits to include this assumption among his postulates. But we must recall that these drawings are not circles: they are marks on a page that represent circles. Real circles are abstract ideas. They cannot be seen with the eyes. They can only be apprehended by the mind. Imagine that you have been charged with teaching Euclidean geometry to someone who was born blind. You are forbidden to use diagrams or Braille. You must teach the subject from an entirely abstract perspective. Under these constraints, it is no longer so obvious that the circles must intersect. In Proposition 3:10 Euclid proves that a circle does not cut another circle at more than two points, so he is not entitled to assume this here. https://i.postimg.cc/xT6FXYV2/Zeno-Of-Sidon-Proposition1-1.png**Zeno of Sidon’s Criticism of Proposition 1:1 (Morrow 168)** Fitzpatrick also points out another omission in Euclid’s demonstration: >There is also an implicit assumption that two straight-lines cannot share a common segment. ―Fitzpatrick 8 The Epicurean philosopher Zeno of Sidon was the first to point this out. Zeno was a contemporary of Cicero’s, who attended some of his lectures in Athens in 79 BCE. Only a few fragments of his copious writings are extant. It is thanks to Proclus that his criticism of Euclid’s first proposition has survived: >Since some persons have raised objections to the construction of the equilateral triangle with the thought that they were refuting the whole of geometry, we shall also briefly answer them. The Zeno whom we mentioned above asserts that, even if we accept the principles of the geometers, the later consequences do not stand unless we allow that two straight lines cannot have a common segment. For if this is not granted, the construction of the equilateral triangle is not demonstrated. Let _AB_ be the straight line, he says, on which we are to construct the equilateral triangle. Let the circles be drawn, and from their point of intersection draw the lines _CEA_ and _CEB_ having _CE_ as a common segment. It then follows that, although the lines from the point of intersection are equal to the given line _AB_, the sides of the triangle are not equal, two of them being shorter than _AB_. But if their equality is not established, neither are its consequences. Therefore, says Zeno, even if the principles be granted, the consequences do not follow unless we also presuppose that neither circumferences nor straight lines can have a common segment. ―Morrow 168 In Proposition 11:1 Euclid invokes this very axiom, calling it _impossible_ for two different straight lines to share a common line segment (Fitzpatrick 425). But this was not Zeno’s only criticism of this proposition: >Proclus devotes considerable space to this part of Zeno’s criticism, but satisfies himself with the bare mention of the other part, to the effect that it is also necessary to assume that two _circumferences_ (with different centres) cannot have a common part That is, for anything we know, there may be any number of points _C_ common to the two circumferences _ACE_, _BCD_. ―Heath 242 https://i.postimg.cc/L5pJDfm5/Xceurot.jpg**Vincenzo De Risi** # Vincenzo De Risi # Recently the Italian historian of philosophy and science [Vincenzo De Risi](https://vincenzoderisi.academia.edu/) has explored the theory of geometric intersections and its significance to the foundations of mathematics: >As is well known, at the end of the nineteenth century the mathematician [Moritz Pasch](https://en.wikipedia.org/wiki/Moritz_Pasch) criticized Euclid for having assumed without justification the existence of the points of intersections between the lines and circles that he traced in his constructions. Pasch pointed his finger at the very first proposition of the _Elements_, the one showing how to construct an equilateral triangle on a given segment ... Euclid had been careful in spelling out the assumptions needed to perform such a construction ... Yet, he overlooked (or so claimed Pasch) a most important assumption, _viz_., that the two crossing circles do indeed intersect one another, so that their point of intersection exists. Pasch accused Euclid of relying on his eyes rather than upon his mind, pretending that he was to _see_ in the diagram the existence of such a point. In Pasch’s mind, however, the foundation of mathematics demanded stricter, propositional standards of rigor: the task of modern axiomatics, Pasch said, consisted in filling this and like gaps in Euclid’s proofs, by introducing to this effect all the necessary axioms. ―De Risi 12–13 De Risi’s paper on this chapter of mathematical history is available online. # _Finnegans Wake_ # As a Dubliner who keeps a blog on James Joyce’s final novel _Finnegans Wake_, I could hardly discuss Euclid’s Proposition 1:1 without at least mentioning its appearance in _Finnegans Wake_. Joyce drew upon this theorem for the school lessons of brothers Dolph and Kev (Shem and Shaun) in Chapter II:2: >Problem ye ferst, construct ann aquilittoral dryankle. Probe loom! With his primal handstoe in his sole salivarium. Concoct an equoangular trilitter. On the name of the tizzer and off the tongs and off the mythametical tripods. Beatsoon. ―Joyce 221 (_The Restored Finnegans Wake_ 221.17–20) What is a very dry mathematical problem in Euclid is charged with sexual overtones in _Finnegans Wake_. Euclid’s triangle becomes a river delta, Δ, the symbol for their mother ALP (Anna Livia Plurabelle). The overlapping of the two circles creates a _vesica piscis_, which also carries much symbolical meaning. But this is hardly the place to pursue such scandalous matters. The curious reader can read Sangam Macduff’s chapter on the subject in Volume 29 of the _European Joyce Studies_ series. https://i.postimg.cc/XY0R32pP/Euclidean-figure-Finnegans-Wake-293.png**Euclidean Figure in _Finnegans Wake_** Euclid’s famous diagram―slightly altered―appears on page 226 of _The Restored Finnegans Wake_ (page 293 of the original edition of 1939), approximately halfway through the book. Symbolically, it represents the centre of the book, which is circular. The opening sentence of _Finnegans Wake_ is really only the second half of the closing sentence, turning the work into a literary ouroboros. And that’s a good place to stop. --- ## References ## * [Ernst Ferdinand August](https://archive.org/details/elementa00eucl/page/n23/mode/2up?view=theater), _Euclidis Elementa_, Part 1, Theodor Trautwein, Berlin (1826) * [Henry Billingsley (translator)](https://archive.org/details/elementsgeometr00eucl/page/n79/mode/2up?view=theater), _The Elements of Geometrie of the Most Auncient Philosopher Evclide of Megara_, John Day, London (1582) * [Richard Fitzpatrick (translator)](https://farside.ph.utexas.edu/Books/Euclid/Elements.pdf), _Euclid’s Elements of Geometry_, University of Texas at Austin, Austin, TX (2008) * [Thomas Little Heath (translator & editor)](https://archive.org/details/euclid_heath_2nd_ed/1_euclid_heath_2nd_ed/page/n253/mode/2up?view=theater), _The Thirteen Books of Euclid’s Elements_, Second Edition, Dover Publications, New York (1956) * [Johan Ludvig Heiberg, Heinrich Menge](https://archive.org/details/euclidisoperaomn01eucluoft/page/10/mode/2up?view=theater), _Euclidis Elementa edidit et Latine interpretatus est I. L. Heiberg_, Volumes 1–5, B G Teubner Verlag, Leipzig (1883–1888) * [James Joyce](https://archive.org/details/finneganswake00joycuoft/page/n597/mode/2up?view=theater), _Finnegans Wake_, The Viking Press, Twelfth Printing, New York (1966) * [James Joyce](http://www.houyhnhnmpress.com/finnegans-wake-prospectus), _The Restored Finnegans Wake_, Edited by Danis Rose & John O’Hanlon, Houyhnhnm Press, Dublin (2010) * [Henry George Liddell, Robert Scott](https://archive.org/details/greekenglishlex00liddrich/page/n7/mode/2up?view=theater), _A Greek-English Lexicon_, Eighth Edition, American Book Company, New York (1901) * [Sangam Macduff](https://www.researchgate.net/publication/340836056_The_Logic_of_the_Doodles_in_Finnegans_Wake_ii2), _The Logic of the Doodles in Finnegans Wake_, Emily Louise Silva _et al_ (editors), _**James Joyce and the Arts**_, European Joyce studies, Volume 29, Pages 166–180, Brill-Rodopi, Leiden (2020) * [Glenn Raymond Morrow (translator)](https://archive.org/details/commentaryonfirs0000proc/page/n7/mode/2up?view=theater), _Proclus: A Commentary on the First Book of Euclid’s Elements_, Princeton University Press, Princeton, New Jersey (1970) * [François Peyrard](https://archive.org/details/lesuvresdeuclide01eucl/page/6/mode/2up?view=theater), _Les Œuvres d’Euclide, en Grec, en Latin et en Français_, Volumes 1–3, Charles-Frobert Patris, Paris (1814, 1816, 1818) * [Vincenzo De Risi](https://hal.science/hal-03059615/document), _Did Euclid Prove Elements I, 1? The Early Modern Debate on Intersections and Continuity_, P Beeley, Y Nasifoglu, B Wardhaugh (editors), _Reading Mathematics in the Early Modern Europe: Studies in the Production, Collection, and Use of Mathematical Books_, Pages 12–32, Routledge, London (2020) * [Thomas Taylor](https://archive.org/details/taylor-philosophical-and-mathematical-commentaries...-t.-2-en-1792/page/17/mode/2up?view=theater), _The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid’s Elements_, [Volume 1](https://archive.org/details/taylor-philosophical-and-mathematical-commentaries...-t.-1-en-1792/mode/2up?view=theater), Volume 2, London (1792) ## Image Credits ## * [Vaticanus Graecus 190 (Folio 15r)](https://digi.vatlib.it/view/MSS_Vat.gr.190.pt.1/0039): Vatican Apostolic Library, Vatican City, Public Domain * [Vincenzo De Risi](https://u-paris.fr/societes-humanites/felicitations-a-vincenzo-de-risi-laureat-de-la-medaille-de-bronze-du-cnrs/): © Université Paris-Cité, Fair Use ## Online Resources ## * [Euclid’s _Elements_ by David E Joyce](http://aleph0.clarku.edu/~djoyce/java/elements/toc.html) * [Life of Euclid](https://mathshistory.st-andrews.ac.uk/Biographies/Euclid/) * [Reading Euclid](https://mysite.du.edu/~etuttle/classics/nugreek/contents.htm#conts) https://i.imgur.com/7kq532u.png