Laboratorio de geometría y demostraciónexperimentación, deducción y demostración con sistemas de geometría dinámica

Resumen

Se presenta una herramienta computacional que proporciona maneras de incorporar resultados con certeza matemática en el contexto de estudiantes trabajando con sistemas de geometría dinámica. Más concretamente se describe LAD, una aplicación web de acceso libre que de manera remota procesa tareas de demostración, lugares y descubrimiento sobre diagramas geométricos generados usando las aplicaciones comerciales Cabri Geometry II plus, The Geometer's Sketchpad y Cinderella 2.0. Además se presenta LADucation, una versión educativa adaptada de LAD que calcula ecuaciones y gráficas de lugares geométricos, además de dar respuestas certificadas a las cinco preguntas incluidas en el demostrador automático de Cabri. Como ilustración general, se utilizan las herramientas presentadas para resolver el problema 77 de la Gaceta de la Real Sociedad Matemática Española, propuesto en el número del 2007.