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. [br][justify]Este proceso será ilustrado mediante ejemplos basados en fotografías del entorno de las[br]JAEM.[/justify][b] Ejemplos de aplicación [/b][br][br]

[b]Nombre en GeoGebra: [/b][b][color=#9900ff]GGB Discovery[/color][/b][br]Para abrir en autgeo.online: busque este nombre (no utilice el enlace de GeoGebra).[br][br][url=https://autgeo.online/geogebra-discovery/?filename=/m/tomas/catedral_Jaen.ggb]https://autgeo.online/geogebra-discovery/?filename=/m/tomas/catedral_Jaen.ggb[/url]

Argumentaremos en nuestra comunicación breve, con diversos ejemplos,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. [br] 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.