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.
Silvia Bernardis y Susana Moriena
Abstract: The aim of this article is to present a proposal to introduce students in geometrical demonstrations. We describe a number of tasks around a problem, to work with students in an environment of dynamic geometry. To do this we follow the guidance model of Van Hiele geometric reasoning. The sequence is given to students in their final years of secondary school (15-17 years) and the first year of upper level. Thought this previous work, taking into account other functions of proof as a tool of discovery or explanation, should be used to introduce the show as a meaningful activity for our students in this grade level.
Keywords: exploration, conjecture, explanation, communication, proof.