NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES

Authors

  • M. Čvorak Faculty of Natural Sciences and Mathematics, University of Sarajevo, Bosnia and Herzegovina Author
  • M. Muzika Dizdarević Faculty of Natural Sciences and Mathematics, University of Sarajevo, Bosnia and Herzegovina Author

DOI:

https://doi.org/10.57016/MV-ockn6579

Keywords:

Napoleon's theorem, automatic theorem proving, elementary geometry, Gröbner bases

Subjects:

13P10, 68T15, 51M04

Abstract

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