Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom (Q2334485): Difference between revisions

The authors state several axioms such as Lippmann's axiom (1906): ``for any circle there exists a triangle circumscribing it'' or Bachmann's Lotschnittaxiom (1964): ``every quadrilateral with three right angles closes''. They provide detailed proofs for the equivalence of all of the listed axioms over Hilbert's plane absolute geometry \(\mathcal{A}\), report extensively on the history of the subject, and include references to the literature. They also show that, in the presence of the circle axiom, the statement ``There is an angle such that the perpendiculars raised on its legs at equal distances from the vertex meet'' is equivalent to the negation of Hilbert's hyperbolic parallel postulate.