This paper investigates the current state and future requirements for technology tools in teaching geometric proof, identifying key gaps between teacher needs and existing solutions.

In plain terms

Geometric proof is a core but challenging topic in mathematics that requires students to combine visual understanding with logical reasoning. While technology has significantly improved learning in other math areas, its impact on geometric proof has been limited. To understand this, the researchers interviewed 18 geometry teachers to find out what features they need in educational tools. They then reviewed 33 existing commercial and research tools. They found that teachers appreciate digital tools for brainstorming ideas but ultimately return to pen-and-paper for formal proofs. This is because physical paper allows them to easily annotate diagrams and explore multiple solution paths, a key feature that current digital tools lack. The paper proposes design guidelines for future tools, including integrating diagrams with proofs, automatically generating problems and feedback, supporting various proof formats, and creating user-friendly experiences.