Describir: Uso de software de geometría dinámica para la validación de propiedades de los triángulos