O que é o GeoGebra Discovery? Uma ilustração What is GeoGebra Discovery? An illustration

Conteúdo do artigo principal

Saulo Mosquera López
Sergio Gómez Noguera

Resumo

GeoGebra é um software de matemática dinâmico que, entre outras coisas, entre outros, permite a construção de objetos geométricos. Esses objetos podem ser manipulados por meio de arrastar e soltar, permitindo ao usuário observar as mudanças que ocorrem na construção e as relações que permanecem constantes na mesma. Nos últimos anos, uma versão experimental chamada GeoGebra Discovery foi incorporada ao GeoGebra. Esta versão consiste em uma coleção de ferramentas e comandos que permitem uma verificação matemática rigorosa e a descoberta automática de proposições sobre figuras geométricas. Em outras palavras, o GeoGebra Discovery é uma versão do GeoGebra que complementa, melhora e estende certas ferramentas de raciocínio automático que estão na versão padrão. O objetivo deste documento é descrever algumas dessas ferramentas e ilustrar sua utilização com exemplos que permitam ao usuário visualizar e interpretar resultados de geometria plana obtidos nas construções desenvolvidas.

Detalhes do artigo

Como Citar
Mosquera López, S., & Gómez Noguera, S. (2025). O que é o GeoGebra Discovery? Uma ilustração: What is GeoGebra Discovery? An illustration. Revista Digital Matemática, Educação E Internet, 26(1). https://doi.org/10.18845/rdmei.v26i1.7981
Seção
Didactics and Software