Developing a Geometric Proof Problem-Solving Support System Utilizing Card Selection

Abstract

We think the solving of proof questions is cited as being conducive to the development of the skill of logical thinking. In this paper, we conducted an analysis of the structure of the proof question regarding the congruence of triangles. On the basis of this analysis, we constructed a solutions-support system that utilized the card selection method. As a result, the structure of the proof question consist of “assumptions” and “conclusions”. In this system, the blanks are then increased one after another, and finally, all the proofs are left blank. It is not only assumptions and conditions that are searched. In addition, sorting the given cards themselves and solving the proof promotes gradual learning.