The extension of Napoleon´s theorem to n-gons for n>3 is well known. The construction of the corresponding configurations is treated in this article. The validity of these construcions is proved using mechanical theorem proving methods when the n-gons are constructible. For non-constructible n-gons, the automatic proving process ir replaced by an approach that uses a dynamic geometri sustem to check the validity. The latter approach requires to distinguish whether n is odd or not.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados