Using Computer-Assisted Instruction for the Visualization of Proof Tree to Improve the Reading Comprehension of Geometry Proofs

Abstract

Geometry has long been a nightmare for both instructors and students. This research focuses on how to help students study geometry from the perspective of reading and understanding. For most students, to comprehend the formal proof in textbooks is indeed difficult. As a result, this research introduces a computer-assisted learning environment, which can automatically draw the figure for a geometry problem, provide an interactive proof tree and a formal proof. Users of this learning environment can better understand the invariant properties of a geometric figure by dragging its points, or click on any node on the proof tree to observe the conditions supporting the node. The main purpose of this research is to facilitate students’ understanding in geometric properties so that they can produce correct geometry proof later on.