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).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Grochowska M.: Euclidean two-dimensional equidistance theory. Demonstr. Math. 17, 593–607 (1984)
Pambuccian V.: Ternary operations as primitive notions for constructive plane geometry. IV. Math. Logic Quart. 40, 76–86 (1994)
Pambuccian V.: What is the natural Euclidean metric?. J. Symbolic Logic 59, 711 (1994)
Pambuccian V.: Acute triangulation of a triangle in a general setting. Can. Math. Bull. 53, 534–541 (2010)
Schnabel R., Pambuccian V.: Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet-euklidische Geometrie. Expo. Math. 3, 285–288 (1985)
Schröder E.M.: Geometrie euklidischer Ebenen. Ferdinand Schöningh, Paderborn (1985)
Author information
Authors and Affiliations
Corresponding author
Additional information
The work of the first author was supported by an NCUIRE Research Assistantship from Arizona State University, West campus.
Rights and permissions
About this article
Cite this article
Hociotă, I., Pambuccian, V. Acute triangulation of a triangle in a general setting revisited. J. Geom. 102, 81–84 (2011). https://doi.org/10.1007/s00022-011-0097-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00022-011-0097-8