Through an example of Euclidean geometry and using the dynamic geometry software Cabri Geometre , we show here how to follow a process to solve problems via experimental mathematics which include two phases: experimentation and formalization. The problem we solve is as follows: Given a triangle, find the locus for all points in the plane such that the lateral symmetrical triangle to triangle given be rectangle.