Perspectivas de exploração de propriedades da geometria plana em construções no GeoGebra discovery
Tipo de documento
Autores
Lista de autores
Abar, Celina, Russo, Alexandre Matias y Souza, Daniel.
Resumen
O programa de matemática dinâmica GeoGebra sempre ofereceu, como qualquer outro Sistema de Geometria Dinâmica, possibilidades notáveis para melhorar a construção e exploração visual de objetos geométricos, arrastando elementos em uma figura, possibilitando ao aluno perceber as mudanças resultantes e relações permanentes na construção. Mais recentemente, foi incorporado ao GeoGebra, uma versão experimental denominada GeoGebra Discovery, uma coleção de recursos e comandos, as chamadas Ferramentas Automatizadas de Raciocínio (ART), que permitem uma verificação matemática e a descoberta automática de proposições gerais sobre figuras da geometria euclidiana construídas pelo usuário. Estas ferramentas permitem automaticamente conjecturas, descobertas e provas sobre diferentes elementos de uma determinada construção geométrica. O objetivo desse trabalho é apresentar, por meio de dois exemplos, perspectivas de exploração de teoremas geométricos que podem ser desenvolvidos no GeoGebra Discovery, permitindo ao usuário visualizar e interpretar os resultados da geometria plana obtidos nas construções realizadas.
Fecha
2023
Tipo de fecha
Estado publicación
Términos clave
Formas geométricas | Otro (razonamiento) | Relaciones geométricas | Software | Teoremas | Tipos de metodología
Enfoque
Nivel educativo
Idioma
Revisado por pares
Formato del archivo
Usuario
Título libro actas
Educación matemática en las américas 2023. Uso de tecnologías digitales (volumen 9)
Editores (actas)
González, Sarah | Morales, Yuri | Ruiz, Ángel | Scott, Patrick
Lista de editores (actas)
González, Sarah, Morales, Yuri, Ruiz, Ángel y Scott, Patrick
Editorial (actas)
Lugar (actas)
Rango páginas (actas)
266 - 272
ISBN (actas)
Referencias
Hohenwarter, M., Kovács, Z., & Recio, T. (2019). Using GeoGebra automated reasoning tools to explore geometric statements and conjectures. In G. Hanna, M. de Villiers, & D. Reid (Eds.), Proof technology in mathematics research and teaching, series: Mathematics education in the digital era (Vol. 14, pp. 215–236). Cham: Springer. Kovács, Z., Recio, T., & Vélez, M. P. (2018). Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry. The International Journal for Technology in Mathematics Education, 25(2), 33–50. Kovács, Z., Recio, T. & Vélez, M.P. (2021). GeoGebra Discovery in Context. Proceedings of the 13th International Conference on Automated Deduction in Geometry, EPTCS 352, 141-147. Kovács, Z.; Recio, T.&Vélez, M.P. (2022) Automated reasoning tools with GeoGebra: What are they good for? In: P. R. Richard, M. P. Vélez, S. Van Vaerenbergh (eds). Mathematics Education in the Age of Artificial Intelligence. Series: Mathematics Education in the Digital Era, 17, Springer. Recio, T., Richard, P. R., & Vélez, M. P. (2019). Designing tasks supported by GeoGebra automated reasoning tools for the development of mathematical skills. The International Journal for Technology in Mathematics Education, 26(2), 81–89.