FotoGebra Discovery
Nuestra contribución propone, como una herramienta tecnológica relevante para la divulgación matemática, la utilización de los comandos de razonamiento automático de GeoGebra Discovery en la formulación e interpretación de las propiedades geométricas de determinadas imágenes fotográficas captadas por los participantes en el concurso Fotogebra, o por el público en general a lo largo de un "paseo matemático". Argumentamos que la utilización de esta tecnología de inteligencia artificial simbólica (y exacta) anima al usuario a plantearse la búsqueda y el descubrimiento de propiedades geométricas y a indagar en el porqué de las mismas.
Por ejemplo, dada una imagen como la de la siguiente figura, el usuario puede realizar una construcción que se ajuste a una de las ventanas y preguntar, luego, a GeoGebra Discovery, por la relación entre los dos segmentos que forman el alto y el ancho de la ventana, obteniendo la razón raíz de dos entre ambos.

Nombre en GeoGebra: Instituto Balseiro Biblioteca 2. GGBDiscovery
https://www.geogebra.org/m/fx8su5zs
Para abrir en autgeo.online: busque este nombre (no utilice el enlace de GeoGebra).
Otra opción interesante en un contexto de divulgación matemática (ver figura de abajo), consiste en conjeturar directamente dicha razón, y verificar la pertinencia de la misma tras la visualización del lugar geométrico correspondiente, sobre el que, a continuación, se puede tratar de construir rigurosamente, como en la figura de arriba.

Nombre en GeoGebra: Instituto Balseiro Biblioteca 2 Lugar. GGBDiscovery
https://www.geogebra.org/m/ggydhzr4
Para abrir en autgeo.online: busque este nombre (no utilice el enlace de GeoGebra).
Argumentaremos en nuestra comunicación breve, con diversos ejemplos como estos, sobre imágenes de los edificios donde tendrá lugar el congreso UMA-RSME (ver siguiente capítulo), cómo el usuario se puede enriquecer con esa visión, una especie de realidad automáticamente aumentada que le motiva a plantearse la justificación de las propiedades que GeoGebra Discovery le presenta, dado que el programa no le da argumentos intuitivos que las justifiquen.
Diríamos que GeoGebra Discovery es un oráculo geómetra...por lo que no elimina, sino incrementa, la construcción de conocimiento geométrico en el usuario.