Using a semiotic perspective based on Peirce's triadic sign theory, we try to capture part of the complexity that teacher and students encounter during the transition from an empiric procedure used to solve a geometric problem to a mathematical procedure needed to validate the construction, within a theoretic system for Euclidean geometry.
