Resumen

Las últimas versiones de GeoGebra disponen de herramientas y comandos que permiten hacer razonamiento automático en geometría (GGB-ART); esto es, derivar, descubrir y/o demostrar, de modo general y riguroso, propiedades sobre una construcción geométrica representada en GeoGebra. El propósito de esta comunicación es exponer, a través de diversos ejemplos, las posibilidades de GGB-ART, así como plantear el diseño de experimentos de aula para estimar el posible impacto de estas herramientas en la enseñanza y el aprendizaje de las Matemáticas. Para ello consideramos que es necesario comenzar promoviendo la reflexión colectiva sobre las oportunidades y diferencias –frente a la metodología tradicional-- que plantearía el uso escolar de los comandos de GGB-ART. En definitiva, se trata de avanzar hacia un marco en el que desarrollar experiencias de aula que aprovechen estas herramientas, tanto en un contexto escolar clásico (como utensilio auxiliar del currículo tradicional) como en un contexto curricular diferente, en el que se asuma la disponibilidad y popularización de una especie de “calculadora geométrica” entre el alumnado.