Abstract
The principle of duality is well established in projective geometry but can hardly be found in the literature on Euclidean geometry where it is “more a principle of analogy than a scientific principle with a logical foundation” (cp. Sommerville, The Elements of Non-Euclidean Geometry. The Open Court, London, 1919). We close this gap and develop a theory of duality in Euclidean geometry. Following Hilbert’s Grundlagen der Geometrie we consider the incidence, order and metric structure of a Euclidean plane and show (a) that there is a large class of theorems of Euclidean incidence geometry which allow a dualization (b) that Hilbert’s order structure can be introduced in a Euclidean plane in a self-dual way and (c) that appropriate definitions of metric notions (e.g., of an angle, a segment or a circle) lead to Euclidean theorems with meaningful dual versions. This shows that duality in Euclidean geometry is not a collection of isolated phenomena but corresponds to a rich and coherent theory.
Similar content being viewed by others
Notes
As in deVilliers (2009) where mainly fragments of duality are studied and “not a true duality like that in projective geometry”.
We consider in this article only projective planes which can be coordinatized over fields of characteristic \(\ne 2\), i.e., which satisfy the axioms of Pappus and Fano.
If all assumptions \(A_{i}\) are positive literals then (4.1) is the normal form of sentences of ‘geometric theories’ which have the property that a theorem, which can be derived within classical logic, can also be derived within intuitionistic logic (see Pambuccian 2017 for a discussion within the context of a direct proof of the Steiner–Lehmus theorem and Dyckhoff and Negri (2015) for the so-called geometrisation of first-order logic).
Or, equivalently, by ‘If two of the lines a, b and c are incident with E then E is incident with all lines a, b and c’.
The set of points on a line a is called a row of collinear points. The set of lines through a point A is called a pencil of concurrent lines.
The theorem of Pappus implies the theorem of Desargues (see Coxeter 1961, §14.3).
i.e., if all flags are conjugated or, equivalently, if any two lines with a common point have a bisector.
In the sense of Definition 4.6.
Lines a, b, c lie in a pencil if \(abc \in S\) (see Bachmann 1973, §3,5).
For the notion of a quadratic set of points of a projective plane we refer to Buekenhout (1969) who introduced this notion for a characterization of projective conics.
References
Atiyah, M.F.: Duality in Mathematics and Physics. Conferencies FME. University of Barcelona, Barcelona (2008)
Bachmann, F.: Aufbau der Geometrie aus dem Spiegelungsbegriff, 2nd edn. Springer, Heidelberg (1973)
Bachmann, F.: Ebene Spiegelungsgeometrie. BI-Verlag, Mannheim (1989)
Behnke, H., Bachmann, F., et al.: Fundamentals of Mathematics, vol. II. Geometry. MIT Press, London (1974)
Buekenhout, F.: Ensembles quadratiques des espaces projectifs. Math. Z. 110, 306–318 (1969)
Coxeter, H.S.M.: The Real Projective Plane. Cambridge University Press, London (1955)
Coxeter, H.S.M.: Introduction to Geometry. Wiley, London (1961)
de Villiers, M.: Some adventures in Euclidean geometry. Dynamic Mathematics Learning (2009)
Dyckhoff, R., Negri, S.: Geometrisation of first-order logic. Bull. Symb. Logic 21, 123–163 (2015)
Ewald, G.: Geometry: An Introduction. ISHI, New York (2013)
Hallett, M., Majer, U. (eds.): David Hilbert’s Lectures on the Foundations of Geometry, pp. 1891–1902. Springer, Berlin (2004)
Hartshorne, R.: Geometry: Euclid and Beyond. Springer, Heidelberg (2000)
Hessenberg, G., Diller, J.: Grundlagen der Geometrie. de Gruyter, Berlin (1967)
Hilbert, D.: Grundlagen der Geometrie, 11th edn. Teubner, Stuttgart (1972)
Hjelmslev, J.: Neue Begründung der ebenen Geometrie. Math. Ann. 64, 449–474 (1907)
Hjelmslev, J.: Danske Vid. Selsk. Mat-fys. Medd. 8(11) (1929a); 10(1) (1929b); 19(12) (1942); 22(6, 13) (1945); 25(10) (1949)
Karzel, H., Kroll, H.-J.: Geschichte der Geometrie seit Hilbert. Wissenschaftliche Buchgesellschaft, Darmstadt (1988)
Lenz, H.: Vorlesungen über projektive Geometrie. Akademische Verlagsgesellschaft, Leipzig (1965)
Lingenberg, R.: Grundlagen der Geometrie, 2nd edn. BI-Verlag, Wien (1976)
Pambuccian, V.: The axiomatics of ordered geometry. I. Ordered incidence spaces. Expo. Math. 29, 24–66 (2011)
Pambuccian, V.: Negation-free and contradiction-free proof of the Steiner–Lehmus theorem. Notre Dame J. Formal Logic (2017). https://doi.org/10.1215/00294527-2017-0019
Prieß-Crampe, S.: Angeordnete Strukturen: Gruppen, Körper, projektive Ebenen. Springer, Berlin (1983)
Sommerville, D.M.Y.: The Elements of Non-Euclidean Geometry. The Open Court, London (1919)
Sperner, E.: Die Ordnungsfunktion einer Geometrie. Math. Ann. 121, 107–130 (1949)
Struve, H., Struve, R.: Zum Begriff der projektiv-metrischen Ebene. Z. Math. Logik Grundlagen Math. 34, 79–88 (1988)
Struve, H., Struve, R.: An axiomatic analysis of the Droz–Farny line theorem. Aequat. Math. 90, 1201–1218 (2016)
Struve, R.: An axiomatic foundation of Cayley–Klein geometries. J. Geom. 107, 225–248 (2016a)
Struve, R.: The principle of duality in Euclidean and in absolute geometry. J. Geom. 107, 707–717 (2016b)
Thomsen, G.: Grundlagen der Elemenatargeometrie in gruppenalgebraischer Behandlung. Hambg. Math. Einzelschriften 15 (1933)
Wyler, O.: Order in projective and in descriptive geometry. Compos. Math. 11, 60–70 (1953)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Struve, R. A theory of duality in Euclidean geometry. Beitr Algebra Geom 59, 221–246 (2018). https://doi.org/10.1007/s13366-017-0370-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-017-0370-6