Determinando propiedades geométricas simbólicamente con GeoGebra

Abstract

Los programas de Geometría Dinámica (GD) constituyen unas herramientas tan útiles como provocadoras para la enseñanza/aprendizaje de los conceptos matemáticos de razonamiento y prueba. Así, estos programas de GD facilitan a los estudiantes la formulación de ciertos hechos geométricos, dibujando diagramas auxiliares que permiten, luego, convencerse de la verdad/falsedad de la afirmación conjeturada al poder verificar su validez en muchos casos, tras arrastrar al azar algunos elementos de la figura y comprobar, en la figura arrastrada, la permanencia de determinadas propiedades. Se pretende llamar a la atención de la comunidad educativa la necesidad de abordar los desafíos planteados por los programas de GD con rutinas de demostración automática de teoremas geométricos, de los que GeoGebra es un ejemplo paradigmático, que están disponibles, de forma gratuita y en múltiples plataformas, para millones de estudiantes en todo el mundo.