On the Reconstruction of SAS from Other Triangle Congruence Criteria
Starting from a Hilbert plane and removing the Side-Angle-Side (SAS) congruence axiom, we investigate to what extent SAS can be recovered synthetically from the remaining classical triangle congruence criteria. We show that the Angle-Side-Angle criterion, together with a ray correspondence principle corresponding to Theorem 13 of Hilbert's \emph{Grundlagen der Geometrie}, suffices to reconstruct SAS. We further show that both the Side-Side-Side and the Side-Angle-Angle criteria also suffice, once combined with the ray correspondence principle and suitable auxiliary principles -- the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.16039
curl -X POST /api/v1/records/arxiv/2609.16039/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.16039/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'