{"id":"arxiv/2609.35853","url":"https://arxiv.org/abs/2609.35853","tags":["math.GM"],"score":0,"title":"A Hypotenuse-Angle Axiomatization of the Hilbert Plane","domain":"math.GM","source":"arxiv","authors":["Roberto Volpe"],"reviews":0,"subject":"math.GM","summary":"We show that, in $\\MG^{-}$ --- $\\MG$, the Hilbert plane, deprived of the Side-Angle-Side axiom --- a hypotenuse-angle criterion for right triangles, together with the existence of a perpendicular from an external point to a line and a ray correspondence principle governing the ordering of angles, suffices to reconstruct SAS in full --- and hence, as standard consequences, SSS and SAA as well. This offers a more elementary alternative to Hilbert's own choice of SAS as an axiom, confined throughout to right triangles and provable without any continuity assumption. Several recent papers have…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}