NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES
DOI:
https://doi.org/10.57016/MV-ockn6579Keywords:
Napoleon's theorem, automatic theorem proving, elementary geometry, Gröbner basesSubjects:
13P10, 68T15, 51M04Abstract
In this article, we present a new proof of the Napoleon's theorem using algorithmic commutative algebra and algebraic geometry.We also show that, by using the same technique, several related theorems, with the same basic set of objects can be proved.Thus, from the new proof of Napoleon's theorem, we prove the Relative of Napoleon's theorem (result given by B. Grünbaum). Then, we present a new theorem related to Napoleon's theorem. In this theorem the existence of two more quadruplets of equilateral triangles associated with a given triangle was established.
Downloads
Published
2022-10-15
Issue
Section
Articles
License
Copyright (c) 2022 Authors retain copyright to their work.
This work is licensed under a Creative Commons Attribution 4.0 International License.