Herramientas de razonamiento automático en GeoGebra Discovery: Recursos para la enseñanza y el aprendizaje de las matemáticas

• 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: español
• Títulos paralelos:
  • Automatic Reasoning Tools in GeoGebra Discovery: Resources for Mathematics Teaching and Learning
• 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.

• Referencias bibliográficas
  • [1] F. Botana, Z. Kovács, T. Recio & M.P. Vélez (2020). Hacia un autómata geómetra. La Gaceta de la Real Sociedad Matemática Española,...
  • [2] M. Hohenwater, Z. Kovács & T. Recio (2019). Determinando propiedades geométricas simbólicamente con GeoGebra. Números. Revista de...
  • [3] Z. Kovács, T. Recio & M. P. Vélez (2022). Automated Reasoning Tools with GeoGebra: What are they? What are they good for? En Richrd,...
  • [4] T. Recio, S. Van Vaerembergh & M. P. Vélez (2020). Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven....
  • [5] Z. Kovács, T. Recio & M. P. Vélez (2018). GeoGebra Automated Reasoning Tools: A Tutorial. Accesible https://github.com/kovzol/gg-art-doc/tree/master/pdf/english.pdf Consultado...
  • [6] E. Césaro (1880). Question 529, Nouvelle Correspondance Math, 6. Disponible en: https://babel.hathitrust.org/cgi/pt?id=umn.31951p01160158y&view=lup&seg=150&skin=2021 Consultado...
  • [7] B. Ariño-Morera, A. Martínez-Zarzuelo, C. Lázaro del Pozo & T. Recio (2024). Paseos mateáticos con MathCityMap y GeoGebra Discovery:...
  • [8] A. Martínez-Zarzuelo, Á. Nolla, T. Recio, P. Tolmos, B. Ariño-Morera & A. Gallardo (2025). An Experience with pre-Service Teachers,...
  • [9] A. Martínez-Zarzuelo, B. Ariño-Morera, J. M. Rodríguez-Mantilla & T. Recio (2025). Conjeturando, con GeoGebra Discovery, propiedades...
  • [10] A. Martínez-Zarzuelo, B. Ariño-Morera, J. M. Rodríguez-Mantilla ¬T. Recio (2025). Explorando lugares Geométricos con GeoGebra Discovery:...
  • [11] F. Botana, T. Recio & M.P. Vélez (2024). On Using GeoGebra and ChatGPT for Geometric Discovery. Computers, 13, 185. Accesible en:...
  • [12] S. Bartha, S. A. Kerekes, Z. Kovács & T. Recio (2025). Automated analysis of the difficulty of secondary shool geometry theorems....