Abstract
On the basis of the theory ε- of Pasch-free 2-dimensional geometry, Pasch's axiom is shown to be equivalent to the conjunction of the following two axioms: "In any right triangle the hypotenuse is greater than the leg" and "If ∠AOB is right, B lies between O and C, and D is the footpoint of the perpendicular from B to AC, then the segment OA is greater than the segment BD." This represents an attempt to split the Pasch axiom with respect to ε-. Only the question whether the second of the above two axioms is really weaker than Pasch's axiom, remains open.
Original language | English (US) |
---|---|
Pages (from-to) | 126-130 |
Number of pages | 5 |
Journal | Journal of Geometry |
Volume | 56 |
Issue number | 1-2 |
DOIs | |
State | Published - Jan 1 1996 |
ASJC Scopus subject areas
- Geometry and Topology