En este cursillo trabajaremos una propuesta de utilización del software Geometrix como asistente para la construcción de demostraciones formales a partir de problemas de construcción.