An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment

Many students of geometry theorem proving do not perform satisfactorily when asked to prove simple theorems. Their problems might arise from their poor understanding of the involved geometric concepts, or from their ignorance of intermediate geometric propositions that are needed to derive the final conclusion. To address these issues, we propose an instructional model using a dynamic geometry environment that integrates the elements of exploration and theorem proving.