Another equivalent of the Lotschnittaxiom (Q515727)

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.