Describimos aquí, con ánimo ilustrador, una aplicación de un prototipo experimental de programa de computadora que une las capacidades de un entorno de geometría dinámica con las funcionalidades de un sistema de cálculo simbólico. Se trata de (re)descubrir, de manera sencilla, el teorema de Simson y dos de sus generalizaciones por un usuario dotado de regla y compás virtuales y conocedor de unos pocos conceptos geométricos básicos.
CD IX JAEN: (debido al compilador utilizado para la ejecucuón de REX sitúe el calendario de su PC en 1999) GUZMÁN, M. (1999): «An extension of the Wallace-Simson theo- rem: projecting in arbitrary directions», American Math. Monthly, n.° 106 (6), 574-580. RECIO, T. (1998): Cálculo simbólico y geométrico, Síntesis, Madrid. ROANES MACÍAS, E. y E. ROANES LOZANO (1999): «Búsqueda automática de lugares geométricos», Boletín de la Sociedad «Puig Adam» de Profesores de Matemáticas-Congreso IMACS- ACA’99, n.° 53, 67-77. VALCARCE, J. L. y F. BOTANA (1999): «REX: un recurso para el estudio de la geometría», Actas de las IX Jornadas para el Aprendizaje y la Enseñanza de las Matemáticas, Lugo, 260- 262. WOLFRAM, S. (1996): The Mathematica book, Cambridge University Press, Cambridge. WU, W. T. (1994): Mechanical Theorem Proving in Geometries, Springer, Viena.
