On the Simson-Wallace Theorem and its Generalizations
Journal for geometry and graphics, Tome 9 (2005) no. 2, pp. 141-153
Voir la notice de l'article provenant de la source Heldermann Verlag
In this contribution we show generalizations of the well known Simson-Wallace Theorem into the space. We use methods of commutative algebra which are based on Gröbner basis computations. This method enables to find and to prove such statements which are often very difficult to prove by techniques of synthetic geometry. In order to display geometric objects we use the dynamic geometry software Cabri and the mathematical software Maple. All computations were done by the computer algebra system CoCoA.
Classification :
51N20, 51M04, 13P10
Mots-clés : Simson-Wallace Theorem, commutative algebra, normal form, Gr\"obner basis, automatic theorem proving, cubic surface
Mots-clés : Simson-Wallace Theorem, commutative algebra, normal form, Gr\"obner basis, automatic theorem proving, cubic surface
P. Pech. On the Simson-Wallace Theorem and its Generalizations. Journal for geometry and graphics, Tome 9 (2005) no. 2, pp. 141-153. http://geodesic.mathdoc.fr/item/JGG_2005_9_2_JGG_2005_9_2_a2/
@article{JGG_2005_9_2_JGG_2005_9_2_a2,
author = {P. Pech},
title = {On the {Simson-Wallace} {Theorem} and its {Generalizations}},
journal = {Journal for geometry and graphics},
pages = {141--153},
year = {2005},
volume = {9},
number = {2},
url = {http://geodesic.mathdoc.fr/item/JGG_2005_9_2_JGG_2005_9_2_a2/}
}