On the equivalence of Lagrange's axiom to the Lotschnittaxiom

DOI10.1007/S00022-009-0018-2MaRDI QIDQ2380488zbMATH OpenOpenAlexWikidataFDO

Authors Victor V. Pambuccian

Publication date 26 March 2010

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00022-009-0018-2

zbMATH Keywords

absolute geometryBachmann's LotschnittaxiomLagrange's axiommetric plane

Mathematics Subject Classification ID

Absolute planes in metric geometry (51F05) Reflection groups, reflection geometries (51F15)

Review text

The author shows that in Hilbert's plane absolute geometry the following two axioms are equivalent. \textit{Lagrange's axiom} \(\mathbf{L}\), If \(a\) and \(b\) are two parallels from \(P\) to \(g\), then the reflection of \(a\) in \(b\) is parallel to \(g\) as well. Bachmann's \textit{Lotschnittaxiom} \(\mathbf{A}\), Every quadrilateral with three right angles closes.

Recommendations

• On the stepwise construction of the parallel postulate
• The ubiquitous axiom
• Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
• Another equivalent of the Lotschnittaxiom
• Why Did Lagrange "Prove" the Parallel Postulate?

Cites work

• Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
• scientific article; zbMATH DE number 3139362 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 4099225 (Why is no real title available?)
• Lotschnittebenen mit halbierbarem rechtem Winkel
• Lotschnittebenen. Ein Beitrag zum Problem der algebraischen Beschreibung metrischer Ebenen.
• Metrische Teilebenen hyperbolischer projektiv-metrischer Ebenen
• On the stepwise construction of the parallel postulate
• Orthogonality as single primitive notion for metric planes
• Why Did Lagrange "Prove" the Parallel Postulate?
• Zur Parallelenfrage

Cited in

(11)

• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• On the derivation of the non-Euclidean angle of parallelism function
• The ubiquitous axiom
• The elementary Archimedean axiom in absolute geometry
• On the equivalence of Playfair's axiom to the parallel postulate
• Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
• Why Did Lagrange "Prove" the Parallel Postulate?
• Another equivalent of the Lotschnittaxiom
• On Heckits, LATE, and Numerical Equivalence
• The principle of duality in Euclidean and in absolute geometry
• The parallel postulate

This page was built for publication: On the equivalence of Lagrange's axiom to the Lotschnittaxiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2380488)