Automatic Reasoning Tools in GeoGebra Discovery: Resources for Mathematics Teaching and Learning
-
Autores: Tomás Jesús Recio Muñiz
, Angélica Martínez Zarzuelo
- Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 120 (Octubre), 2025, págs. 19-32
- Idioma: inglés
- Títulos paralelos:
- Herramientas de razonamiento automático en GeoGebra Discovery: Recursos para la enseñanza y el aprendizaje de las matemáticas
- Texto completo no disponible (Saber más ...)
-
Resumen
The different reasoning tools currently implemented in GeoGebra , and more advanced ones in GeoGebra Discovery, are described through examples.These tools not only automate the verification of properties and the formulation of relationships but also promote forms of thinking typical of formal mathematics,enabling , rigorous argumentation conjeture, and validation. Through visual constructions , it is shown how GeoGebra Discovery fosters a more active and exploratory learning of geometry. Educational proposals for using these tools are presented, such as geometric modeling of real objects during math walks or exploring geometric loci.These proposals demostrate how integrating such technologies can transform the way geometric concepts are experienced, represented and understood in the classroom, enriching the math experience from a more dynamic, visual perspective aligned with mathematical reasoning.
