Resumen de Automatic Reasoning Tools in GeoGebra Discovery: Resources for Mathematics Teaching and Learning

Tomás Jesús Recio Muñiz , Angélica Martínez Zarzuelo

• 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.