Understanding the development of the proving process within a dynamic geometry environment

Abstract

In this paper we investigated the development of the proving process within a dynamic geometry environment in order to provide tertiary students with a strategy for proving. As a result, we classified different levels of proving and designed an interactive help system corresponding with these levels. This help system makes a contribution to bridge the cognitive gaps between conjecture and proof. We also propose three basic conditions for understanding the development of the proving process.