Determinando propiedades geométricas simbólicamente con GeoGebra

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 (por ejemplo, como pasos intermedios para establecer la prueba de una proposición dada) 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