Más recientemente, el desarrollo de herramientas de razonamiento automático en GeoGebra ha dado lugar a la versión GeoGebra Discovery, disponible gratuitamente para distintos dispositivos y sistemas operativos, on y offline, accesible en [url=https://github.com/kovzol/geogebra/releases]https://github.com/kovzol/geogebra/releases[/url] Véanse las referencias Kovács et al. (2022),  Kovács et al. (2024), Recio et al. (2020), o el libro GeoGebra https://www.geogebra.org/m/cwwx3ask , para una introducción detallada a tales herramientas.[br][br]     De manera muy resumida podemos decir que las mismas permiten encontrar automáticamente, dados ciertos objetos geométricos [i]h, i [/i]en una construcción realizada sobre GeoGebra Discovery   (por ejemplo, en la pantalla de un teléfono inteligente) y usando el comando [i]Relación(h,i),[/i] propiedades de los mismos que sean matemáticamente ciertas con toda generalidad (Boutry et. al. 2019). Por otra parte, GeoGebra Discovery también proporciona herramientas para corroborar o denegar, dada una propiedad [i]P [/i]enunciada por el usuario sobre ciertos objetos geométricos, usando los comandos [i]Demuestra(P[/i]) o [i]DemuestraDetalles( P ),[/i]  si dicha propiedad se verifica o no, de nuevo, con toda generalidad, no sólo para algunas posiciones.[br]  [br]En resumen: [i]Relación( , )[/i] descubre automáticamente tesis válidas en una construcción, involucrando ciertos objetos, mientras que [i]Demuestra( )[/i] y [i]DemuestraDetalles( )[/i] verifica la corrección de tesis formuladas, en el mismo contexto, pero por el usuario. Existe también la posibilidad de usar la herramienta [i]Descubrir(P)[/i] (que da nombre a Discovery), aplicada a un punto, que da todos los teoremas que satisface ese punto en la construcción concreta, con posibilidades de abrirnos a nuevo conocimiento.  

[i]Figura 1[/i]: Izda: Relación obtenida por GeoGebra Discovery, versión [url=https://autgeo.online/]https://autgeo.online[/url], desde un móvil, expresando la desigualdad existente entre el perímetro (i+g+h) y el área (i*k/2) de un triángulo. [br] Dcha: GeoGebra Discovery, versión [url=https://autgeo.online/]https://autgeo.online[/url], desde un portátil, responde true al comando Demuestra(2hi=?=g[sup]2[/sup]), en un triángulo rectángulo isósceles ABD, siendo g la hipotenusa, h, i los catetos iguales. Fuente: autores.

Finalmente, el comando [i]EcuaciónLugar( expresión lógica, punto variable)[/i] proporciona automáticamente el dibujo y la ecuación del conjunto de posiciones del punto variable que tienen lugar si se impone en la construcción la restricción descrita en la expresión lógica. El resultado es, desde el punto de vista matemático, una aproximación numérica --dependiente de los valores de las coordenadas de los puntos libres de la construcción-- al lugar geométrico simbólico, por lo que no este resultado no puede usarse para formular luego sobre el mismo preguntas del tipo [i]Demuestra[/i] o [i]Relación[/i]. Pero, en todo caso, sirve para que el usuario pueda conjeturar ese lugar simbólico y, tras formular dicha conjetura, realizar una construcción rigurosa del mismo, sobre la que sí puede verificar la corrección o falsedad de la conjetura. [br][br] En la siguiente figura 2 se muestra un ejemplo de este protocolo. Arriba, se describe (en rojo) el lugar geométrico de los puntos [i]C[/i] tales que las rectas [i]AC[/i] y [i]BC [/i]son perpendiculares, tras introducir el comando [i]EcuaciónLugar(SonPerpendiculares(f,g), C)[/i]. Abajo, tras conjeturar que dicho lugar geométrico es un círculo de diámetro [i]AB[/i], se procede a su construcción a través del punto medio [i]D [/i]y del círculo de centro [i]D[/i] pasando por [i]A[/i], sobre el que su ubica un punto [i]E[/i], verificando, con el comando [i]Demuestra [/i]que las rectas [i]h=EA, i=EB[/i] son perpendiculares.[br][br]

Figura 2: Ejemplo de cálculo y verificación de lugar geométrico con GeoGebra Discovery

[b]Nombre en GeoGebra:[/b] [color=#9900ff][size=150][i]Ejemplo de lugar GGB Discovery[br][url=https://www.geogebra.org/m/ksf9hfr4]https://www.geogebra.org/m/ksf9hfr4[/url][/i][/size][/color][br]Para abrir en [url=http://autgeo.online/]autgeo.online[/url]: busque este nombre (no utilice el enlace de GeoGebra).

[color=#9900ff][size=150][size=200]Aviso importante sobre GeoGebra Discovery[/size][/size][/color][br][br]Las construcciones creadas con GeoGebra Discovery no funcionan correctamente en GeoGebra clásico, porque GeoGebra clásico no tiene implementados de la misma manera los comandos de GeoGebra Discovery.[br][br]Para utilizarlas, abra [url=https://autgeo.online/]autgeo.online[/url] y búsquelas por su nombre exacto .[br][br]En este libro, debajo de cada imagen se indica el nombre exacto de la construcción.[br]Por favor, vaya al Apéndice Técnico de este libro para más detalles.[br]