**[The _Elements_ of Euclid - Part 1](https://steemit.com/euclid/@harlotscurse/the-elements-of-euclid)** https://i.postimg.cc/3wQDT8fX/Other-Common-Notions.jpg As we have seen, Book 1 of Euclid’s _Elements_ lists five Common Notions: axioms that are shared by geometry and several other branches of logic and mathematics. Over the past two millennia the authenticity of some or all of these axioms has been called into question. But for every mathematician who would strike out one or more of these Common Notions there is another who believes that Euclid’s text would be improved if their number were increased. In this article we will be taking a brief look at some of these additional axioms. # François Peyrard # We have already learned that some of the manuscript sources for the _Elements_ contain as many as nine common notions, so this practice of adding to the original five is not a recent phenomenon. In his 1814 edition of the _Elements_, the French mathematician [François Peyrard](https://en.wikipedia.org/wiki/Fran%C3%A7ois_Peyrard) lists nine Common Notions. The first three and the last two correspond to Euclid’s Five as found in modern editions. The remaining four are: * **And if unequal things are added to equal things then the wholes are unequal.** * **And if from unequal things equal things are subtracted then the remainders are unequal.** * **And those things which are equal to twice the same thing are equal to each other.** * **And those things which are equal to half the same thing are equal to each other.** In some manuscripts of the _Elements_ the third and fourth of these are quoted in the proofs of Propositions 1:37 and 1:47 (the Pythagorean Theorem)―which is probably the reason they were added to Euclid’s list of Common Notions (Fitzpatrick 37, 48). https://i.postimg.cc/DzQtvkp1/XyU3BEN.jpg**Euclid: Proposition 1:47 (The Pythagorean Theorem)** In his critical notes at the end of Volume 1, Peyrard also records three more Common Notions that can be found in some manuscripts: * **And all right angles are equal to each other.** * **And if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles.** * **And two straight lines do not enclose a region.** Of these, the first two are Euclid’s Fourth and Fifth Postulates. The third is known as Euclid’s Sixth Postulate, as it was sometimes included among the Postulates rather than the Common Notions. # Christopher Clavius # [Christopher Clavius](https://en.wikipedia.org/wiki/Christopher_Clavius), a German Jesuit scholar of the late 16th century, is better known today as a geocentric astronomer, who resisted the Copernican Revolution and played a pivotal rôle in the introduction of the Gregorian Calendar. But he was also a mathematician and the author of a commentary on Euclid. Clavius took the liberty of adding several common notions to Euclid’s Five, bringing the total number to nineteen. The first twelve of these correspond to the twelve in Peyrard. The remaining seven are: * **Two straight lines cannot have one and the same line segment in common.** * **If unequals are added to equals, the excess of the wholes will be equal to the excess of the things added.** * **If equals are added to unequals, the excess of the wholes will be equal to the excess of the things we started with.** * **If unequals are taken from equals, the excess of the remainders will be equal to the excess of the things removed.** * **If equals are taken from unequals, the excess of the remainders will be equal to the excess of the original things.** * **Every whole is equal to all its parts taken together.** * **If a whole is twice another whole, and we take away from the first twice what is taken away from the second, then the remainder of the first shall be twice the remainder of the second.** https://i.postimg.cc/YCgtcP6w/gPDs7nc.jpg**Christopher Clavius** # Thomas Heath # In his translation and commentary on the _Elements_ the British mathematician [Thomas Little Heath](https://en.wikipedia.org/wiki/Thomas_Heath_(classicist)) reviews the axioms that were introduced after Euclid’s time. Among those that we haven’t met already are six that he attributes to [Pappus of Alexandria](https://en.wikipedia.org/wiki/Pappus_of_Alexandria), who flourished in the 4th century of the Common Era: * **All the parts of a plane, or of a straight line, coincide with one another.** * **A point divides a line, a line a surface, and a surface a solid.** * **A surface cuts a surface in a line.** * **If two surfaces which cut one another are plane, they cut one another in a straight line.** * **A line cuts a line in a point.** * **Magnitudes are susceptible of the infinite (or unlimited) both by way of addition and by way of successive diminution, but in both cases potentially only.** This refers to the way in which a line (for example) can be extended indefinitely without limit, or can be made as small as one wishes, again without limit. Heath suggests that this axiom was prompted by Aristotle’s discussion of the infinite in the _Physics_ 3:5-8. Heath also includes a lengthy discussion of the Principle of Continuity, which he believes is necessary to make good some deficiencies in Euclid’s proofs. For example, in the very first Proposition in the _Elements_, Euclid assumes that the two circle in the diagram intersect: >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 (see note thereon above, p. 235). It is sufficient for the purpose of this proposition and of 1.21, where there is a similar tacit assumption, to use the form of postulate suggested by Killing. “_If a line_ [in this case e.g. the circumference _ACE_] _belongs entirely to a figure_ [in this case a plane] _which is divided into two parts_ [namely the part enclosed within the circumference of the circle _BCD_ and the part outside that circle]_, and if the line has at least one point common with each part, it must also meet the boundary between the parts_ [i.e. the circumference _ACE_ must meet the circumference _BCD_].” (Heath 242) https://i.postimg.cc/mrjwrFhj/Dedekind-Quote.jpg**Richard Dedekind** Related to this is the [**Postulate of Dedekind**](https://en.wikipedia.org/wiki/Dedekind_cut), named for the German mathematician [Richard Dedekind](https://en.wikipedia.org/wiki/Richard_Dedekind), who first enunciated this axiom in 1872: >_If a segment of a straight line _AB_ is divided into two parts so that (i) every point of the segment _AB_ belongs to one of the parts, (2) the extremity _A_ belongs to the first part and _B_ to the second, and (3) any point whatever of the first part precedes any point whatever of the second part, in the order _AB_ of the segment, there exists a point _C_ of the segment _AB_ (which may belong either to one part or to the other) such that every point of _AB_ that precedes _C_ belongs to the first part, and every point of _AB_ that follows _C_ belongs to the second part in the division originally assumed._ > >(If one of the two parts consists of the single point _A_ or _B_, the point _C_ is the said extremity _A_ or _B_ of the segment.) > >This is the Postulate of Dedekind, which was enunciated by Dedekind himself in the following slightly different form (_Stetigkeit und irrationale Zahlen, 1872, new edition 1905, p. 11). > >“_If all points of a straight line fall into two classes such that every point of the first class lies to the left of every point of the second class, there exists one and only one point which produces this division of all the points into two classes, this division of the straight line into two parts._” > >The above enunciation may be said to correspond to the intuitive notion which we have that, if in a segment of a straight line two points start from the ends and describe the segment in opposite senses, they meet in a point. The point of meeting might be regarded as belonging to both parts, but for the present purpose we must regard it as belonging to one only and subtracted from the other part. (Heath 236) https://i.postimg.cc/MGbJ9tHD/d7MD25I.jpg**David Hilbert** # David Hilbert # In his _Grundlagen der Geometrie_ [_Foundations of Geometry_] of 1899 the German mathematician [David Hilbert](https://en.wikipedia.org/wiki/David_Hilbert) set out to formally axiomatize geometry by substituting for Euclid’s Postulates and Common Notions a formal set of axioms. There are twenty or so of [Hilbert’s Axioms](https://en.wikipedia.org/wiki/Hilbert%27s_axioms)―the precise number varies from edition to edition. The following list of twenty-one is taken from E J Townsend’s 1910 authorized translation of _Grundlagen der Geometrie_: * **I1 Two distinct points _A_ and _B_ always completely determine a straight line _a_.** [Euclid’s First Postulate] * **I2 Any two distinct points of a straight line completely determine that line.** * **I3 Three points _A_, _B_, _C_ not situated in the same straight line always completely determine a plane.** * **I4 Any three points _A_, _B_, _C_ of a plane _α_ which do not lie in the same straight line, completely determine that plane.** * **I5 If two points _A_, _B_ of a straight line _a_ lie in a plane _α_, then every point of _a_ lies in _α_.** * **I6 If two planes _α_, _β_ have a point _A_ in common, then they have at least a second point _B_ in common.** * **I7 Upon every straight line there exist at least two points, in every plane at least three points not lying in the same straight line, and in space there exist at least four points not lying in a plane.** * **II1 If _A_, _B_, _C_ are points of a straight line and _B_ lies between _A_ and _C_, then _B_ lies also between _C_ and _A_.** * **II2 If _A_ and _C_ are two points of a straight line, then there exists at least one point _B_ lying between _A_ and _C_ and at least one point _D_ so situated that _C_ lies between _A_ and _D_.** * **II3 Of any three points situated on a straight line, there is always one and only one which lies between the other two.** * **II4 Any four points _A_, _B_, _C_, _D_ of a straight line can always be so arranged that _B_ shall lie between _A_ and _C_ and also between _A_ and _D_, and, furthermore, that _C_ shall lie between _A_ and _D_ and also between _B_ and _D_.** Hilbert discarded this axiom when the American mathematicians [E H Moore](https://en.wikipedia.org/wiki/E._H._Moore) and [R L Moore](https://en.wikipedia.org/wiki/Robert_Lee_Moore) independently proved in 1902 that it is redundant. https://i.postimg.cc/wvkRL3PB/Pasch-Quote.jpg**Moritz Pasch** * **II5 Pasch’s Axiom: Let _A_, _B_, _C_ be three points not lying in the same straight line and let _a_ be a straight line lying in the plane _ABC_ and not passing through any of the points _A_, _B_, _C_. Then, if the straight line _a_ passes through a point of the segment _AB_, it will also pass through either a point of the segment _BC_ or a point of the segment _AC_.** * **III Playfair’s Axiom: In a plane a there can be drawn through any point _A_, lying outside of a straight line _a_, one and only one straight line which does not intersect the line _a_. This straight line is called the parallel to a through the given point A.** [Euclid’s Fifth Postulate] * **IV1 If _A_, _B_ are two points on a straight line _a_, and if _A´_ is a point upon the same or another straight line _a´_, then, upon a given side of _A´_ on the straight line _a´_ , we can always find one and only one point _B´_ so that the segment _AB_ (or _BA_) is congruent to the segment _A´B´_. We indicate this relation by writing _AB_≡_A´B´_. Every segment is congruent to itself.** * **IV2 If a segment _AB_ is congruent to the segment _A´B´_ and also to the segment _AʺBʺ_, then the segment _A´B´_ is congruent to the segment _AʺBʺ_.** * **IV3 Let _AB_ and _BC_ be two segments of a straight line _a_ which have no points in common aside from the point _B_, and, furthermore, let _A´B´_ and _B´C´_ be two segments of the same or of another straight line _a´_ having, likewise, no point other than _B´_ in common. Then, if _AB_≡_A´B´_ and _BC_≡_B´C´_, we have _AC_≡_A´C´_.** * **IV4 Let an angle (_h_, _k_) be given in the plane _α_ and let a straight line _a´_ be given in a plane _α´_. Suppose also that, in the plane _α´_, a definite side of the straight line _a´_ be assigned. Denote by _h´_ a half -ray of the straight line _a´_ emanating from a point _O´_ of this line. Then in the plane _α´_ there is one and only one half ray _k´_ such that the angle (_h_, _k_), or (_k_, _h_), is congruent to the angle (_h´_, _k´_) and at the same time all interior points of the angle (_h´_, _k´_) lie upon the given side of _a´_. We express this relation by means of the notation ∠(_h_, _k_)≡∠(_h´_, _k´_). Every angle is congruent to itself; that is, ∠(_h_, _k_)≡∠(_h_, _k_) or ∠(_h_, _k_)≡∠(_k_, _h_).** * **IV5 If the angle (_h_, _k_) is congruent to the angle (_h´_, _k´_) and to the angle (_hʺ_, _kʺ_), then the angle (_h´_, _k´_) is congruent to the angle (_hʺ_, _kʺ_).** * **IV6 If, in the two triangles _ABC_ and _A´B´C´_ , the following congruences hold: _AB_≡_A´B´_, _AC_≡_A´C´_, ∠_BAC_≡∠_B´A´C´_, then the congruences ∠_ABC_≡∠_A´B´C´_ and ∠_ACB_≡∠_A´C´B´_ also hold.** https://i.postimg.cc/qBS6nfDy/Archimede-Langetti.jpg**_Archimedes_** * **V1 Archimedes’ Axiom: Let _A₁_ be any point upon a straight line between the arbitrarily chosen points _A_ and _B_. Take the points _A₂_, _A₃_, _A₄_ ... so that _A₁_ lies between _A_ and _A₂_, _A₂_ lies between _A₁_ and _A₃_, _A₃_ lies between _A₂_ and _A₄_, etc. Moreover, let the segments _AA₁_, _A₁A₂_, _A₂A₃_, _A₃A₄_, etc be equal to one another. Then, among this series of points there always exists a certain point _A_n_ such that _B_ lies between _A_ and _A_n_** * **V2 Axiom of Completeness: To a system of points, straight lines, and planes, it is impossible to add other elements in such a manner that the system thus generalized shall form a new geometry obeying all of the five groups of axioms. In other words, the elements of geometry form a system which is not susceptible of extension, if we regard the five groups of axioms as valid.** This axiom was added by Hilbert to the French translation of _Grundlagen der Geometrie_. Only Euclid’s First and Fifth Postulates are included among Hilbert’s Axioms. None of his Common Notions are explicitly included, though IV2 and IV5 are closely related to CN1. Hilbert was attempting to create a rigorous axiomatic foundation for Euclidean geometry, which required a much more sophisticated set of axioms than those found in the _Elements_. Nevertheless, there are some curious omissions among Hilbert’s Axioms. Take, for example, Euclid’s “proof” of Proposition 1:1 on the construction of an equilateral triangle. Euclid assumes that the two circle intersect, but this is an unwarranted assumption: > The assumption that the circles do indeed cut one another should be counted as an additional postulate. (Fitzpatrick 8) https://i.postimg.cc/nVsV70WD/sThiw5a.png**Euclid’s _Elements_: Proposition 1:1** The Italian historian of philosophy and science Vincenzo De Risi has investigated this matter: >It has been well known, at least since the time of [Pasch](https://en.wikipedia.org/wiki/Moritz_Pasch) onward, that in the _Elements_ there are no explicit principles governing the existence of the points of intersections between lines, so that in several propositions of Euclid the simple crossing of two lines (two circles, for instance) is regarded as the actual meeting of such lines, it being simply assumed that the point of their intersection exists. Such assumptions are labelled, today, as implicit claims about the continuity of the lines, or about the continuity of the underlying space. Euclid’s proofs, therefore, would seem to have some demonstrative gaps that need to be filled by a set of continuity axioms (as we do, in fact, find in modern axiomatizations). (De Risi 233) De Risi, however, contests the claim that Euclid’s theory of intersections was based on some notion of continuity: >Had Euclid been asked to explain why the points of intersections of lines and circles should exist, it would have never occurred to him to mention continuity in this connection. Ancient geometry was very different from ours, and it is only our modern views on continuity that tend to give rise to the expectation that this latter must be included in the foundations of elementary mathematics. (De Risi 233) This is a question we will discuss at greater length when we come to study Proposition 1:1. In the meantime De Risi suggests the following “fix”: >In modern terms, the simplest and most economical way of assuming that all the intersection points required in elementary geometry exist is to adopt one of the following (equivalent) geometrical axioms: the so-called _Line-Circle intersection axiom_, stating that > >**If a straight line has one point inside a circle, the line will meet the circle** (ie the point of their intersection exists). > >Or the _Circle-Circle intersection axiom_,stating that: > >**If one of two circles has one point inside the other and one point outside it, the two circles will meet.** > >These latter axioms may be immediately adduced in order to prove Elements I, 1 in a rigorous way and it can be easily proven that all the remaining propositions of Euclid’s book may also be demonstrated using these axioms―at least as far as the problem of intersections is concerned. (De Risi 236) https://i.postimg.cc/DwdFPDFx/Xceurot.jpg**Vincenzo De Risi** Why then does Hilbert not include either of these axioms? It might be argued that the reason is that he includes more general Axioms of Continuity (ie Archimedes’ Axiom and the Axiom of Completeness), which do the job: >This axiom makes possible the introduction into geometry of the idea of continuity. (Hilbert 24) But Hilbert explicitly contradicts this neat solution in the Preface to _Grundlagen der Geometrie_: >Among the important results obtained, the following are worthy of special mention ... > >**4.** The significance of several of the most important axioms and theorems in the development of the euclidean geometry is clearly shown; for example, it is shown that the whole of the euclidean geometry may be developed without the use of the axiom of continuity ... (Hilbert iii-iv) De Risi does not explicitly solve this mystery. He does, however, mention that Dedekind’s Axiom is a sufficient axiom of continuity to satisfy all of euclidean geometry: * **Dedekind’s Axiom** For every partition of all the points on a line into two nonempty sets such that no point of either lies between two points of the other, there is a point of one set which lies between every other point of that set and every point of the other set. ([Wolfram Alpha](https://mathworld.wolfram.com/DedekindsAxiom.html)) >Dedekind’s axiom is sufficient to rigorously prove all the Euclidean propositions in the _Elements_ (and much more), but it has been regarded as a threat to the purity of methods in geometry, as it requires a difficult roundabout path through number theory and analysis. (De Risi 236-237) As De Risi points out in a footnote, Thomas Heath provides a proof of this statement in his translation of the _Elements_ (Heath 237-240). Dedekind’s Axiom of Continuity is equivalent to Hilbert’s two Axioms of Continuity (V1 and V2). Unfortunately, Hilbert never proves―or even mentions―Euclid’s Proposition 1:1 in _Grundlagen der Geometrie_, so I do not know how he would have proved it without using an Axiom of Continuity, such as Archimedes’ Axiom or Dedekind’s Axiom. After extensively researching the matter online, I came across only a few helpful remarks: https://i.postimg.cc/BQFHxtBc/Nathaniel-Miller-Quote.png**Nathaniel Miller** >... the proof of Euclid’s first proposition ... requires finding a point where the two circles intersect. Euclid seems to assume that this is always possible on the basis of the diagram, but none of his postulates appear to require the circles to intersect. Hilbert’s axiomatization was meant to make it possible to eliminate all such unstated assumptions. In fact, Hilbert showed that there is a unique geometry that satisfies his axioms, so that any fact that is true in that geometry is a logical consequence of his axioms. However, a proof from Hilbert’s axioms may not look anything like Euclid’s proof of the same fact. For example, Hilbert’s axioms do not mention circles, so any proof of Euclid’s first proposition will have to be very different from Euclid’s proof. (Miller 9-10) >A key point of Hilbert’s foundations involved a distinction that was fully formulated only 20 years after his geometry. The distinction is between first and second order logic. First order sentences only quantify over individuals. Thus, Hilbert would rephrase Euclid’s first proposition, I.1, as: for any two points _A_, _B_ there is a third point _C_, not on _AB_, so that _AB_, _BC_ and _CA_ are congruent (_ABC_ is an equilateral triangle.). (Baldwin & Mueller 12) As I understand things, then, Euclid’s proof of Proposition 1:1 requires something like an Axiom of Continuity or one of De Risi’s Axioms of Intersection to complete it, but without these it is still possible to prove the existence of equilateral triangles using only Hilbert’s first nineteen Axioms (categories I-IV)―but the proof will be quite different from Euclid’s. And that’s a good place to stop. --- ## References ## * [John T Baldwin and Andreas Mueller](https://bibliotekanauki.pl/articles/1790592.pdf), _The Autonomy of Geometry_, _**Annales Universitatis Paedigocicae Cracoviensis**_, _Studia ad Didacticam Mathematicae Pertinentia 11, Crackow (2019) * [Jonathan Barnes (editor)](https://archive.org/details/completeworksofa0000aris/page/346/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) * [Marvin Jay Greenberg](https://archive.org/details/euclideannoneucl0000gree_l9j8/page/n5/mode/2up?view=theater), _Euclidean and Non-Euclidean Geometries: Development and History_, W H Freeman and Company, San Francisco (1972) * [Thomas Little Heath (translator & editor)](https://archive.org/details/euclid_heath_2nd_ed/1_euclid_heath_2nd_ed/page/n249/mode/2up?view=theater), _The Thirteen Books of Euclid’s Elements_, Second Edition, Dover Publications, New York (1956) * [David Hilbert](https://archive.org/details/in.ernet.dli.2015.75965/page/n7/mode/2up?view=theater), _Foundations of Geometry_, Authorized Translation by E J Townsend, Second Edition, The Open Court Publishing Company, Chicago (1910) * [Nathaniel Miller](https://www.unco.edu/nhs/mathematical-sciences/faculty/miller/pdf/euclid20thcenturyrivalsmiller.pdf), _Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry_, Center for the Study of Language and Information Publications, Stanford University, Stanford, California (2007) * [François Peyrard](https://archive.org/details/lesuvresdeuclide01eucl/page/4/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://www.degruyter.com/document/doi/10.1515/apeiron-2019-0012/html?lang=de), _Gapless Lines and Gapless Proofs: Intersections and Continuity in Euclid’s Elements_, _**Apeiron**_, Volume 54, Number 2, Pages 233-259, De Gruyter, Berlin (2019) * [Oswald Veblen](https://www.jstor.org/stable/27899395), _Hilbert’s Foundations of Geometry_, _**The Monist**_, Volume 13, Number 2, Pages 303-309, The Open Court Publishing Company, Chicago (1903) ## Image Credits ## * [Euclid: Proposition 1:47 (The Pythagorean Theorem)](https://commons.wikimedia.org/wiki/File:Euclid_Vat_ms_no_190_I_prop_47.jpg): _Codex Vaticanus Graecus 190_, [Folios 38v-39r](https://digi.vatlib.it/view/MSS_Vat.gr.190.pt.1), Vatican Apostolic Library, Vatican City, Public Domain * [Christopher Clavius](https://commons.wikimedia.org/wiki/File:Portrait_of_Cardinal_Christopher_Clavius_MET_DP218205.jpg): Francesco Vilamena (artist), Metropolitan Museum of Art, New York, Public Domain * [Richard Dedekind](https://commons.wikimedia.org/wiki/File:Richard_Dedekind_1900s.jpg): Anonymous Photograph, Mondadori (publishers), Public Domain * [David Hilbert](https://commons.wikimedia.org/wiki/File:Hilbert.jpg), Anonymous Postcard, University of Göttingen, Public Domain * [Moritz Pasch](https://commons.wikimedia.org/wiki/File:Moritz_Pasch_(mathematician).jpg): Göttingen State and University Library, Manuscripts and Scholarly Collections, Cod. Ms. Hilbert 754 Bl. 43 Nr. 200, Public Domain * [_Archimedes_](https://commons.wikimedia.org/wiki/File:Archimede_-_Langetti.jpg): Giovanni Battista Langetti (artist), Herzog Anton Ulrich Museum, Braunschweig, Germany, Public Domain * [Vincenzo De Risi](https://u-paris.fr/societes-humanites/felicitations-a-vincenzo-de-risi-laureat-de-la-medaille-de-bronze-du-cnrs/): Anonymous Photograph, © Université Paris-Cité, Fair Use * [Nathaniel Miller](https://www.unco.edu/nhs/mathematical-sciences/faculty/miller.aspx): Anonymous Photograph, © University of Northern Colorado, 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