Proofs produced by secondary school students learning geometry in a dynamic computer environment

As a key objective, secondary school mathematics teachers seek to improve the proof skills of students. In this paper we present an analytic framework to describe and analyze students' answers to proof problems. We employ this framework to investigate ways in which dynamic geometry software can be used to improve students' understanding of the nature of mathematical proof and to improve their proof skills. We present the results of two case studies where secondary school students worked with Cabri-Géeomèetre to solve geometry problems structured in a teaching unit. The teaching unit had theaims of: i) Teaching geometric concepts and properties, and ii) helping students to improve their conception of the nature of mathematical proof and to improve their proof skills. By applying the framework defined here, we analyze students' answers to proof problems, observe the types of justifications produced, and verify the usefulness of learning in dynamicgeometry computer environments to improve students' proof skills.