Martín E. Acosta, Carolina Mejía y Carlos W. Rodríguez
Abstract: We answer the need to explicit a mathematical practice which uses dynamic geometry software as a model of mathematical activity to reproduce in class. We present an example of construction problem solving in qhich we use dynamic geometry to find a solution and a proof of this solution. In the solution process, we use the locus technique and the locus tool of the sofware. We show the articulation between intutive and formal aspects of the mathematical activity and the role of software in these processes.
Keywords: experimental mathematics, locus, dragging, construction, proof, mathematical praxeology.