Abstract
Axiom A16 from Pambuccian (Can. Math. Bull. 53, 534-541, 2010) is shown to be superfluous as it depends on axioms A1-A15. This provides a surprisingly simple axiom system in which the acute triangulation with seven triangles can be proved for any triangle, consisting only of A1-A15 in Pambuccian (Can. Math. Bull. 53, 534-541, 2010).
Original language | English (US) |
---|---|
Pages (from-to) | 81-84 |
Number of pages | 4 |
Journal | Journal of Geometry |
Volume | 102 |
Issue number | 1-2 |
DOIs | |
State | Published - Dec 1 2011 |
Keywords
- Acute triangulation
- Axiom independence
ASJC Scopus subject areas
- Geometry and Topology