On the equivalence of Playfair's axiom to the parallel postulate

Abstract

We show that the classical equivalence of Euclid's parallel postulate and Playfair's axiom collapses in the absence of triangle congruence. In particular, we construct a non-SAS geometry that models the Playfair axiom but not the parallel postulate.

arXiv comment5 pages, 3 figures