The equivalence of Side-Angle-Side with Side-Side-Side and the general triangle inequality in the absolute plane

摘要

We show that if we start with an absolute plane, remove Side-Angle-Side as an axiom, and replace it with Side-Side-Side together with a weakened version of the triangle inequality as new axioms, then the new resulting axiom system is also an absolute plane. In particular, we show that Side-Angle-Side still holds in the new axiom system. In addition, we give a new proof of the two-circle theorem which does not depend on Side-Angle-Side, but instead uses Side-Side-Side and the weakened version of the triangle inequality.