What is GeoGebra Discovery? An illustration

¿Qué es GeoGebra Discovery? Una ilustración

Authors

  • Saulo Mosquera López Universidad de Nariño
  • Sergio Gómez Noguera Universidad de Nariño

DOI:

https://doi.org/10.18845/rdmei.v26i1.7981

Abstract

GeoGebra is a dynamic mathematics software that, among other things, allows the construction of geometric objects, which can be manipulated by dragging and thus observing the changes that the construction undergoes and the relationships that remain constant in it. In recent years, an experimental version called GeoGebra Discovery has been incorporated into GeoGebra. This version consists of a collection of tools and commands that enable rigorous mathematical verification and the automatic discovery of propositions about geometric figures. In other words, GeoGebra Discovery is a version of GeoGebra that complements, improves and extends certain automatic reasoning tools that are in the standard version. The objective of this document is to describe some of these tools and illustrate their use with examples that allow the user to visualize and interpret plane geometry results obtained in the developed constructions.

Published

2025-07-22

How to Cite

Mosquera López, S., & Gómez Noguera, S. (2025). What is GeoGebra Discovery? An illustration: ¿Qué es GeoGebra Discovery? Una ilustración. Revista Digital: Matemática, Educación E Internet, 26(1). https://doi.org/10.18845/rdmei.v26i1.7981

Issue

Section

Didactics and Software