Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven
Resumen
El popular programa de matemática dinámica GeoGebra incluye herramientas para la verificación matemática rigurosa y el descubrimiento automático de proposiciones generales sobre figuras geométricas. En este trabajo se presenta, en primer lugar, una breve descripción de tales herramientas, para centrarse a continuación en una reflexión sobre su potencial impacto educativo, a través de un nuevo diseño de tareas escolares en el ámbito de la enseñanza de la geometría, que aprovechen las nuevas características de GeoGebra y contribuyan a guiar al estudiante en la indagación, conjetura y descubrimiento de propiedades geométricas en una construcción dada.
Palabras clave: geometría dinámica, razonamiento automático, geometría elemental, GeoGebra
Descargas
Derechos de autor 2020 Tomas Recio, M. Pilar Vélez, , Steven Van Vaerenbergh
Esta obra está bajo licencia internacional Creative Commons Reconocimiento 4.0.
El material publicado en la revista se distribuye bajo una licencia Creative Commons Reconocimiento Internacional 4.0 (CC-BY 4.0). Esta licencia permite a otros distribuir, mezclar, ajustar y construir a partir de su obra, incluso con fines comerciales, siempre que le sea reconocida la autoría de la creación original. Los autores de los trabajos publicados en Revista Unión retienen el copyright de los mismos sin restricción alguna.
Publicado 2020-08-31
.png)
