A través de un ejemplo de geometría euclidiana y utilizando el programa de geometría dinámica Cabri Géomètre, mostraremos cómo seguir un proceso para la solución de problemas mediante la matemática experimental que comprende dos momentos: la experimentación y la formalización. El problema que resolvemos es el siguiente: Dado un triángulo cualquiera, encontrar el lugar geométrico de todos los puntos en el plano tales que el triángulo simétrico lateral del triángulo dado sea rectángulo.