Esta página utiliza javascript para mostrarse mejor, javascript no está activado en su navegador, se va a mostrar una información básica que podría no estar actualizada
Revista Digital Matemática, Educación e Internet
Volumen 26
Número 1
Agosto 2025 - Febrero 2026
¿Qué es GeoGebra Discovery? Una ilustración
What is GeoGebra Discovery? An illustration
Saulo Mosquera López
samolo@udenar.edu.co
Grupo de investigación GESCAS. Universidad de Nariño
Nariño, Colombia
https://orcid.org/0000-0002-5932-5446
Sergio Gómez Noguera
sgomez1987@gmail.com
Dpto de Matemáticas y Estadística. Universidad de Nariño
https://orcid.org/0009-0003-9556-510X
Resumen: GeoGebra es un software de matemáticas dinámicas que, entre otros, permite la construcción de objetos geométricos, que pueden manipularse a través del arrastre y así observar los cambios que experimenta la construcción y las relaciones que permanecen constantes en la misma. En los últimos años se ha incorporado a GeoGebra una versión experimental llamada GeoGebra Discovery, que consiste en una colección de herramientas y comandos, que posibilitan la verificación matemática rigurosa y el descubrimiento automático de proposiciones sobre figuras geométricas, es decir, GeoGebra Discovery es una versión de GeoGebra que complementa, mejora y amplía determinadas herramientas de razonamiento automático que están en la versión estándar. El objetivo de este documento es el de describir algunas de estas herramientas e ilustrar su uso con ejemplos que permitan al usuario visualizar e interpretar resultados de geometría plana obtenidos en las construcciones desarrolladas.
Palabras claves: GeoGebra Discovery, construcciones geométricas, demostración automática, descubrimiento.
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.
Keywords: GeoGebra Discovery, geometric constructions, automatic demonstration, discovery.
Fecha en que se recibió el artículo: 30 de enero de 2025
Fecha en que se aceptó el artículo: 30 de abril de 2025
Bajar el PDF RevistaDigital_V26_n1_2025_Mosquera.pdf
DOI: https://doi.org/10.18845/rdmei.v26i1.7981
Para citar el artículo: Mosquera López, S., & Gómez Noguera, S. (2025). ¿Qué es GeoGebra Discovery? Una ilustración. Revista Digital: Matemática, Educación e Internet, 26(1).
Auspiciado por el Instituto Tecnológico de Costa Rica
Volver al inicio
Contacto:
Directora: Nuria Vanessa Figueroa Flores
Editor: Greivin Ramírez Arce
Edición de materiales: Rebeca Solís Ortega.
Escuela de Matemática
Teléfono (506) 2550 2225
Correo electrónico: RevistaDigitalMatematica@itcr.ac.cr
Todos los artículos publicados están bajo licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional