GPT: A Tutor for Geometry Proving

Abstract

Geometry is a mandatory subject for secondary school students, where they learn geometric figures and their properties, and the axioms, postulates and theorems involving them. A key topic in Geometry class is proving, where learners are required to derive and prove a certain property is true based from the given properties and by using various axioms, postulates and theorems. This is where most learners encounter difficulty. In this paper, we describe Geometry Proof Tutor, a learning environment where learners can practice Geometry proving through multiple representations - two-column proof and proof tree. With the use of a knowledge base to model Geometry concepts, the software validates the learner’s proof statements and provides corrective feedback accordingly. Test results showed that the learners found the availability of the proof tree to be useful in tracking their progress. The presence of complete reasons to use for proofs also helped them understand Geometric Proving better. However, the long list of available choices and the one-proof-statement-at-a-time user interface design made it difficult for them to encode their answers.