Uso de herramientas de razonamiento automático en la enseñanza y el aprendizaje de la geometría

Abstract

En esta tesis doctoral se investiga el uso de herramientas de razonamiento automático implementadas en la versión experimental de GeoGebra Discovery y se presentan cuatro propuestas sobre su posible uso e impacto en la enseñanza y el aprendizaje de la geometría en diferentes niveles educativos. La investigación se centra en cómo estas herramientas pueden transformar la enseñanza tradicional de la geometría, facilitando el desarrollo de competencias argumentativas, el pensamiento computacional y la integración de la tecnología en el currículo educativo. El principal objetivo de esta tesis es evaluar el impacto del uso de las herramientas de razonamiento automático de GeoGebra Discovery en la enseñanza y el aprendizaje de la geometría. Se busca determinar, entre otros aspectos, cómo estas herramientas pueden mejorar la comprensión de lugares geométricos, facilitar el análisis matemático de obras de arte, desarrollar paseos matemáticos que integren el currículo STEAM y promuevan la Ciencia Ciudadana, y medir algorítmicamente la dificultad de teoremas geométricos evaluando su utilidad educativa...

This doctoral thesis investigates the use of automated reasoning tools implemented in the experimental version of GeoGebra Discovery and presents four proposals on their potential use and impact on the teaching and learning of geometry at different educational levels. The research focuses on how these tools can transform traditional geometry teaching, facilitating the development of argumentative skills, computational thinking, and the integration of technology into the educational curriculum.The main objective of this thesis is to evaluate the impact of using GeoGebra Discovery's automated reasoning tools on the teaching and learning of geometry. Among other aspects, it aims to determine how these tools can enhance the understanding of geometric loci, facilitate the mathematical analysis of artworks, develop mathematical walks that integrate the STEAM curriculum and promote Citizen Science, and algorithmically measure the difficulty of geometric theorems by evaluating their educational utility...