Towards Understanding Triangle Construction Problems
This work addresses the problem of automating geometric constructions for researchers and educators, but it is incremental as it focuses on a specific family of problems.
The paper tackled the challenge of solving triangle construction problems by analyzing the underlying geometry knowledge to identify essential definitions, lemmas, and primitive steps, resulting in a simple algorithm for automated solving within this family.
Straightedge and compass construction problems are one of the oldest and most challenging problems in elementary mathematics. The central challenge, for a human or for a computer program, in solving construction problems is a huge search space. In this paper we analyze one family of triangle construction problems, aiming at detecting a small core of the underlying geometry knowledge. The analysis leads to a small set of needed definitions, lemmas and primitive construction steps, and consequently, to a simple algorithm for automated solving of problems from this family. The same approach can be applied to other families of construction problems.