**[The _Elements_ of Euclid - Part 1](https://steemit.com/euclid/@harlotscurse/the-elements-of-euclid)** https://i.postimg.cc/D0pbYjtf/The-Propositions-Of-Book1.jpg Book 1 of Euclid’s _Elements_ contains 48 propositions. These can be divided into two broad categories: * **Theorems** * **Constructions** A **theorem** is a proposition that proves some geometric property or fact. For example, Proposition 1:47, the Pythagorean Theorem, proves that in any right triangle the square on the hypotenuse is equal to the sum of the squares on the other two sides. A **construction** is a proposition that proves that some geometric object actually exists by constructing it and then showing that the constructed object has the properties that satisfy the definition of the required geometric object. For example, Proposition 1:1 proves that equilateral triangles exist. Other constructions prove that certain actions are geometrically possible or valid in Euclidean geometry. For example, Proposition 1:9 demonstrates how to bisect an angle. In his _Commentary on the First Book of Euclid’s Elements_ [Proclus](https://en.wikipedia.org/wiki/Proclus) refers to these two categories as **Theorems** and **Problems**: >Again the propositions that follow from the first principles he [Euclid] divides into problems and theorems, the former including the construction of figures, the division of them into sections, subtractions from and additions to them, and in general the characters that result from such procedures, and the latter concerned with demonstrating inherent properties belonging to each figure ... Some of the ancients, however, such as the followers of Speusippus and Amphinomus, insisted on calling all propositions “theorems,” considering “theorems” to be a more appropriate designation than “problems” for the objects of the theoretical sciences, especially since these sciences deal with eternal things. ―Morrow 63–64 [Speusippus](https://en.wikipedia.org/wiki/Speusippus) was Plato’s nephew and his successor as Scholarch of the Academy (347–339). Amphinomus is thought to have been a contemporary of Speusippus, but he is otherwise unknown. Only fourteen of the forty-eight propositions in Book 1 of the _Elements_ are constructions. In David Joyce’s online edition of the [_Elements_](http://aleph0.clarku.edu/~djoyce/java/elements/bookI/bookI.html#props), these are displayed in red. https://i.postimg.cc/wj8T8Fd9/J1VeKD5.jpg**Euclid’s Pythagorean Theorem** Many of the propositions in Book 1 of the _Elements_ will be familiar to anyone who has studied geometry in high-school: * The angles at the base of an isosceles triangle are equal in measure (Proposition 1:5). * The sum of the angles of a triangle is equal to two right angles (Proposition 1:32). * The [Side-Angle-Side Theorem](https://www.britannica.com/science/side-angle-side-theorem) (Proposition 1:4). * The exterior angle of a triangle is equal to the sum of the two interior and opposite angles (Proposition 1:32). The propositions of Book 1 deal with the plane geometry of triangles, parallelograms and straight lines. Beginning with an elementary construction, Euclid proceeds in a logical fashion, using simpler theorems to prove more advanced ones. The book culminates with what is undoubtedly the most famous theorem in all mathematics, the Pythagorean Theorem (Proposition 1:47), and its converse (Proposition 1:48). # Aristotle on Definitions # In his Posterior Analytics 92 b 12 ff Aristotle discusses an important distinction between _definition_ and _existence_, which is very relevant to Euclid’s geometry. As Thomas Heath points out: >Let us now first be clear as to what a definition does _not_ do. There is nothing in connexion with definitions which Aristotle takes more pains to emphasise than that a definition asserts nothing as to the _existence_ or _non-existence_ of the thing defined. It is an answer to the question what a thing is (τί ἐστι), and does not say _that_ it is (ὅτι ἔστι). The _existence_ of the various things defined has to be _proved_, except in the case of a few primary things in each science, the existence of which is indemonstrable and must be _assumed_ among the first principles of each science; e.g. points and lines in geometry must be _assumed_ to exist, but the existence of everything else must be _proved_. ―Heath 143 Euclid does not explicitly assert that points and lines exist, but his First Postulate implies that they do: >1. Let it have been postulated to draw a straight-line from any point to any point. (Fitzpatrick 7) He also assumes the existence of circles, as this is implied by Postulate 3: >3. And to draw a circle with any center and radius. (Fitzpatrick 7) >Euclid has indeed no separate assumption affirming the existence of _points_ such as we find nowadays in text-books like those of [Veronese](https://en.wikipedia.org/wiki/Giuseppe_Veronese), [Giuseppe] Ingrami, [Enriques](https://en.wikipedia.org/wiki/Federigo_Enriques), “there exist distinct points” or “there exist an infinite number of points.” But, as regards the only lines dealt with in the _Elements_, straight lines and circles, existence is asserted in Postulates 1 and 3 respectively. ―Heath 195 >It need hardly be added that, speaking generally, Euclid’s definitions, and his use of them, agree with the doctrine of Aristotle that the definitions themselves say nothing as to the existence of the things defined, but that the existence of each of them must be proved or (in the case of the “principles”) _assumed_. In geometry, says Aristotle, the existence of points and lines only must be assumed, the existence of the rest being proved. Accordingly Euclid’s first three postulates declare the possibility of constructing straight lines and circles (the only “lines” except straight lines used in the _Elements_). Other things are defined and afterwards constructed and proved to exist: e.g. in Book I., Def. 20, it is explained what is meant by an equilateral triangle; then (1.1) it is proposed to construct it, and, when constructed, it is proved to agree with the definition. ―Heath 146 https://i.postimg.cc/bwD4J92S/lxQwnCX.png**Straightedge & Compass** # Straightedge & Compass Geometry # Euclidean geometry is sometimes described as a [straightedge-and-compass geometry](https://en.wikipedia.org/wiki/Straightedge_and_compass_construction). Valid constructions in this geometry can only be carried out using the straightedge and the compass. Euclid never actually mentions either of these instruments. So why is his geometry referred to as a straightedge-and-compass geometry? Because his postulates allow the use of these and only these instruments: * Postulate 1: Let it have been postulated to draw a straight-line from any point to any point. * Postulate 3: And [let it have been postulated] to describe a circle with any center and radius. Strictly speaking, actual straightedges and compasses can only be used to make marks on a page, which are not geometric objects. The diagrams that appear in the _Elements_ are merely crude representations of geometric objects. In reality, the geometric objects are purely abstract ideas. Like Plato’s Forms or Ideas, they only exist in a spiritual world. This is why Euclid never actually mentions the compass or the straightedge. This is also why Euclid’s constructions do not use the second person present active imperative mood, as one might find in a modern textbook: >_draw a circle with centre A and radius AB, etc_ Instead, he makes use of a rare and unusual grammatical form, the third person present perfect passive imperative: >_Let the circle with centre A and radius AB have been drawn, etc_ I believe Euclid employs this awkward, roundabout way of saying things to avoid any possibility of confusing material marks on a page with actual geometric objects, which can only be apprehended by the mind. I say _awkward_, but Thomas Heath actually refers to _the elegant and practically universal use of the perfect passive imperative in constructions_ (Heath 242). https://i.postimg.cc/k44n8DZz/Euclid-Postulates1-And3-Quote.jpg**Euclid: Postulates 1 and 3** And that’s a good place to stop. --- ## References ## * [Jonathan Barnes (editor)](https://archive.org/details/completeworksofa0000aris/page/n5/mode/2up?view=theater), _The Complete Works of Aristotle: The Revised Oxford Translation_, Volume 1, Princeton University Press, Princeton, NJ (1984) * [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/n3/mode/2up?view=theater), _The Thirteen Books of Euclid’s Elements_, Second Edition, Dover Publications, New York (1956) * [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, NJ (1970) * [Johan Ludvig Heiberg, Heinrich Menge](https://archive.org/details/euclidisoperaomn01eucluoft/page/8/mode/2up?view=theater), _Euclidis Elementa edidit et Latine interpretatus est I. L. Heiberg_, Volumes 1-5, B G Teubner Verlag, Leipzig (1883-1888) ## Image Credits ## * [Euclid’s Pythagorean Theorem](https://commons.wikimedia.org/wiki/File:Euclid_Vat_ms_no_190_I_prop_47.jpg): Euclid, _Elements_ 1:47, [Vatican Apostolic Library](https://digi.vatlib.it/search?k_f=0&k_v=Vat.gr.190.&f[]=a%3AEuclides), Vat Gr 190 Part 1, Folios 38v–39r, Public Domain * [Straightedge](https://commons.wikimedia.org/wiki/File:Straight-edge_owned_by_Henry_David_Thoreau,_c._1830_-_Concord_Museum_-_Concord,_MA_-_DSC05642.JPG), Henry David Thoreau’s Straightedge, Daderot (photographer), Concord Museum, Concord, MA, Public Domain * [Compass](https://historical.ha.com/itm/political/3d-and-other-display-pre-1896-/george-washington-his-personally-owned-compass-used-as-a-young-surveyor/a/6060-38007.s), George Washington’s Compass, © 2021 Heritage Auctions, Fair Use * [Euclid: Postulates 1 and 3](https://commons.wikimedia.org/wiki/File:Jusepe_de_Ribera_-_Euclid_-_2001.26_-_J._Paul_Getty_Museum.jpg): Jusepe di Ribera (artist), Getty Center, Los Angeles, Public Domain ## 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