The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof

Abstract

The national secondary school mathematics curriculum of Turkey, promulgated in 2013, encourages teachers to integrate dynamic geometry software into their classroom practices. One of the reasons for this request is that this kind of software offer teachers the opportunity to design learning environments in which students can experience the processes that constitutes mathematical exploration and proof. However, in order to exploit the possible advantages of integrating such software, teachers need the necessary technical knowledge about the software to be used and concrete examples of how it can be utilized as well. This study aims to contribute to the latter need by analyzing the solution steps of an open-ended geometry problem and exemplifying the role of the software in the solution process.