On the Reconstruction of SAS from Other Triangle Congruence Criteria, Part II: Eliminating the Pons Asinorum
En palabras de los autores
In the first part of this work we showed that, within a Hilbert plane deprived of the Side-Angle-Side axiom, the Side-Angle-Angle criterion, together with a ray correspondence principle [RCT], the existence of angle bisectors [AB], the congruence of supplements of congruent angles [SA], and the Pons Asinorum [PA], suffices to reconstruct SAS. We left open the question of whether [PA] is genuinely required alongside the other three principles, noting only a qualitative asymmetry in the nature of the principles involved. In this second part we answer this question: we show that \begin{equation*} SAA,\ [RCT],\ [AB] \;\vdash\; [PA], \end{equation*} so that [PA] is redundant among the hypotheses of our main theorem, which improves to \begin{equation*} SAA,\ [RCT],\ [AB],\ [SA] \;\vdash\; SAS. \end{equation*} The proof adapts an argument recently given by Donnelly, who reconstructs SAS from SAA together with an angle addition axiom and the existence of angle bisectors.
Apareció: lunes, 21 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 12 pages, 4 Figures