The equivalence of side-angle-side and side-side-side in the absolute plane (Q895720)

The author works with a system of axioms for absolute geometry introduced by \textit{G. D. Birkhoff} [Ann. Math. (2) 33, 329--345 (1932; JFM 58.1196.01)]. The real numbers are incorporated into this system. The author first investigates properties about the length of sides of a triangle. In his proofs he makes use of the real numbers and of continuous functions. Then he proves the uniqueness of perpendiculars. Finally he replaces the Side-Angle-Side axiom by a Side-Side-Side axiom and obtains the following result: Theorem (Side-Angle-Side). Given triangles \(\triangle ABC\) and \(\triangle DEF\), if \(\overline{AB} \simeq \overline{DE}\), \(\angle ABC \simeq \angle DEF\), and \(\overline{BC} \simeq \overline{EF}\), then \(\triangle ABC \simeq \triangle DEF\).