Building on Hilbert's `Grundlagen der Geometrie', \textit{F. Bachmann} [Abh. Math. Semin. Univ. Hamb. 27, 173--192 (1964; Zbl 0123.38002)] introduced an axiom `every quadrilateral with three right angles closes'. The author of the present paper calls this statement the `Lotschnittaxiom'. The author shows that in absolute geometry the Lotschnittaxiom is equivalent with the following statement: For any non-incident pair \((P, l)\) and any line \(h\), there is a point \(Q\) on \(h\) whose distance to \(l\) is less than or equal to its distance to \(P\). The author gives a brief overview of relevant contributions to the above problem.
- Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
- scientific article; zbMATH DE number 3899653 (Why is no real title available?)
- scientific article; zbMATH DE number 5203535 (Why is no real title available?)
- Lotketten in metrischen Ebenen
- Lotschnittebenen. Ein Beitrag zum Problem der algebraischen Beschreibung metrischer Ebenen.
- On the equivalence of Lagrange's axiom to the Lotschnittaxiom
- On the stepwise construction of the parallel postulate
- Zur Parallelenfrage
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- The ubiquitous axiom
- The elementary Archimedean axiom in absolute geometry
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
- On the equivalence of Lagrange's axiom to the Lotschnittaxiom
This page was built for publication: Another equivalent of the Lotschnittaxiom
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515727)
