Abstract
An axiom system for Euclidean geometry with Euclid’s version of the parallel postulate, in which the order axioms are introduced in terms of the separation a line introduces in the plane, as pioneered by Sperner (Math Ann 121:107–130, 1949), in which the compass can be used only to transport segments, which lacks the Pasch axiom, is shown to imply the Pasch axiom due to the very form in which Euclid chose to express his fifth postulate. This shows, as first noted without proof by Salvatore di Noi in that same year 1949, that Euclid did not need the Pasch axiom.
Similar content being viewed by others
Data Availability Statement
This article did not generate or analyze any datasets; therefore, data sharing is not relevant or applicable to this study.
References
Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s Elements. Rev. Symb. Log. 2, 700–768 (2009)
Bachmann, F.: Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt II. Math. Z. 51, 769–779 (1949)
Bachmann, F.: Über die Konstruierbarkeit mit Lineal, Rechtwinkelmaß und Eichmaß. Math.-Phys. Semesterber. 1, 77–88 (1949)
Beeson, M.: Constructive geometry. Arai, T., Brendle, J., Kikyo, H., Chong, C. T., Downey, R., Feng Q., Ono H. (eds.)., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific, 19–84 (2010)
Beeson, M.: Constructive geometry and the parallel postulate. Bull. Symb. Log. 22(1), 1–104 (2016)
Beeson, M.: Brouwer and Euclid. Indag. Math., New Ser. 29(1), 483–533 (2018)
Dehn, M.: Die Legendre’schen Sätze über die Winkelsumme im Dreieck. Math. Ann. 53, 404–439 (1900)
Di Noi, S.: La continuità della retta e il postulato V\(^0\)di Euclide. Boll. Unione Mat. Ital., III. Ser. 4, 410–412 (1949)
Euclid: The thirteen books of the Elements. Translated and introduced by Sir Thomas L. Heath. Second Edition, revised with additions. New York: Dover (1956)
Grochowska, M.: Euclidean two dimensional equidistance theory. Demonstr. Math. 17, 593–607 (1984)
Hartshorne, R.: Geometry: Euclid and beyond. Springer, Berlin (2000)
Hilbert, D.: Grundlagen der Geometrie, 12th edn B. G. Teubner, Stuttgart (1977)
Pambuccian, V.: The axiomatics of ordered geometry I. Ordered incidence spaces. Expo. Math. 29, 24–66 (2011)
Pasch, M.: Vorlesungen über neuere Geometrie. Leipzig: Teubner (1882) (second edition: Berlin: J. Springer, (1926))
Pickert, G.: Projektive Ebenen, 2nd edn Springer-Verlag, Berlin-Heidelberg-New York (1975)
Piesyk, Z.: On the betweenness relation in a set of cardinality\(\ne 4\). Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25(7), 667–670 (1977)
Prestel, A.: Euklidische Geometrie ohne das Axiom von Pasch. Abh. Math. Semin. Univ. Hamb. 41, 82–109 (1974)
Prieß-Crampe, S.: Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen. Springer-Verlag, Berlin-Heidelberg-New York (1983)
Rigby, J.F.: Congruence axioms for absolute geometry. Math. Chronicle 4, 13–44 (1975)
Schwabhäuser, W., Szmielew, W., Tarski, A.: Metamathematische Methoden in der Geometrie. Springer Verlag, Berlin (1983)
Sperner, E.: Die Ordnungsfunktionen einer Geometrie. Math. Ann. 121, 107–130 (1949)
Struve, R.: Ordered metric geometry. J. Geom. 106, 551–570 (2015)
Struve, R., Struve, H.: Ordered groups and ordered geometries. J. Geom. 105, 419–447 (2014)
Szczerba, L.W.: Independence of Pasch’s axiom. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18, 491–498 (1970)
Szczerba, L., Szmielew, W.: On the Euclidean geometry without the Pasch axiom. Bull. Acad. Pol. Sci. Sér. Sci. Math. Astron. Phys. 18, 659–666 (1970)
Szmielew, W.: The Pasch axiom as a consequence of the circle axiom. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18, 751–758 (1970)
Szmielew, W.: Concerning the order and the semi-order of\(n\)-dimensional Euclidean space. Fund. Math. 107, 47–56 (1980)
Tarski, A.: What is elementary geometry? Henkin, L., Suppes P., Tarski. A. (eds.), The axiomatic method. With special reference to geometry and Physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957-Jan. 4, 1958, 16–29, Amsterdam: North-Holland (1959)
Acknowledgements
This paper was largely written while enjoying the wonderful hospitality of the University of Urbino “Carlo Bo” during the Spring semester of 2022, a stay made possible by Pierluigi Graziani, for which I am filled with gratitude.
Funding
No financial support was received for this manuscript.
Author information
Authors and Affiliations
Contributions
The author is solely responsible for the intellectual content of this work.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there are no competing interests as defined by Springer, or other interests that might be perceived to influence the results and/or discussion reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Pambuccian, V. Why did Euclid not need the Pasch axiom?. J. Geom. 115, 13 (2024). https://doi.org/10.1007/s00022-024-00712-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022-024-00712-x