On the Simson-Wallace Theorem and its Generalizations
Pavel Pech · 2005
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 Grobner basis computations (see (3)). This method enables to flnd and to prove such statements which are often very di-cult 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