Taller 7- Resolviendo problemas con la cabeza mientras GeoGebra razona automáticamente

Mª Pilar Vélez Melón (Universidad Nebrija)

Resumen

GeoGebra ha desarrollado recientemente varias herramientas de razonamiento automático (ART): Relación, Demuestra, DemuestraDetalles, EcuaciónLugar, que permiten interrogar a GeoGebra sobre la existencia de determinadas propiedades entre diversos elementos de una construcción. GeoGebra contesta afirmando si tal propiedad es cierta en general o, en otro caso, qué modificaciones sería preciso hacer a la construcción para que se verifique. En el taller comenzaremos mostrando con precisión lo que hacen estos comandos (Relación, Demuestra, etc.) para, a continuación, centrarnos en desarrollar, trabajando entre todos sobre una colección de ejercicios, su utilización –con mucha cabeza— como herramienta de exploración y resolución de problemas geométricos elementales, sí, pero no triviales.

https://diageogebra.es/dia-de-geogebra/conferencias-y-talleres/#t7

Desarrollo del taller:

Primera parte: Presentación de los comandos de razonamiento automático (Relación, Demuestra, DemuestraDetalles y EcuaciónLugar) en GeoGebra.

Ø Presentación

Segunda parte: Nos ponemos todos a resolver problemas con la cabeza mientras GeoGebra razona automáticamente.

Ø Cuestionario con las actividades

Para saber más:

o Automated Reasoning Tools in GeoGebra (por Zoltán Kovács): https://www.geogebra.org/m/McEqwQNb

o Un tutorial (en inglés) sobre ART (por Zoltán Kovács, Tomás Recio y M. Pilar Vélez) se puede descargar en https ://github.com/kovzol/gg-art-doc