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 fachada de la Universidad Rey Juan Carlos en la Calle Quintana de Madrid, el usuario puede realizar una varias construcciones ( en este caso son tres) que se ajusten a las ventanas ( una mas pequeña) y puerta de garaje, para luego preguntar a GeoGebra Discovery, por la relación entre los dos segmentos que forman el alto y el ancho de cada una de las ventanas y de la puerta de garaje, obteniendo lo que se muestra en las siguientes imágenes.



Nombre en GeoGebra: Fachada Quintana GGB Discovery
https://www.geogebra.org/m/g3mxrxbu
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 II Workshop sobre IAxEM (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.