A set of axioms for classical absolute geometry is proposed that is accessible to students new to axioms. The metric axioms adopted are the ruler axiom, triangle inequality and the bisector axiom. Angle measure is derived from distance, and all properties needed to establish a consistent system are derived. In particular, the SAS congruence theorem is proved. The proofs are broken into many small steps suitable for the target audience. Some explorations with geometry drawing programmes are shown.
© 2008-2025 Fundación Dialnet · Todos los derechos reservados