INCORPORATING GEOGEBRA DISCOVERY INTO TEAC

The teaching of Plane Geometry is one of the pillars of Mathematics Education, and its understanding is essential for the development of students' logical reasoning.However, the way this content is taught can be significantly improved with the use of digital technologies, such as GeoGebra Discovery, an experimental version of the GeoGebra software that incorporates automated reasoning tools, known as Automated Reasoning Tools (ART).These commands allow teachers and students to explore geometric properties in greater depth, visualizing relationships and verifying theorems directly in the software, allowing them to verify conjectures and perform automatic proofs in geometric constructions, making the teaching and learning process more efficient.more interactive and dynamic.This article explores the use of GeoGebra Discovery software in continuing education for Mathematics teachers and investigated how GeoGebra Discovery's automated reasoning tools (ART) can contribute to teaching properties of Plane Geometry.The theoretical basis of the study is based on the Technological Pedagogical Content Knowledge (TPACK) theory, proposed by Mishra and Koehler (2006).This model recognizes that the effective use of technology in teaching requires a coherent integration between content, pedagogical and technological knowledge, and this article discusses the software's potential for mobilizing this knowledge.Considering the Design Research methodology, which allows the creation, execution and analysis of educational interventions in real contexts, the continuing education was organized in synchronous meetings, held via the Microsoft Teams platform, in which participants carried out practical activities with the software, developing geometric constructions and using automated reasoning commands to verify properties and theorems, mobilizing technological, pedagogical and content knowledge.Among the challenges faced, the initial difficulties in using GeoGebra Discovery commands and the need for more practice time to master the software stand out.However, teachers reported that the use of ART facilitated the understanding of geometric concepts and brought new possibilities to their teaching practices.The use of GeoGebra Discovery in the teaching of Plane Geometry has several didactic implications because it allows students to explore geometric properties interactively, visualizing relationships that would be difficult to perceive in static constructions.The results of the research demonstrate that the use of GeoGebra Discovery and similar digital tools should be encouraged in educational contexts, as a way to enrich the teaching of mathematics and promote the development of essential skills for the 21st century.