Towards Understanding Triangle Construction Problems
Artificial Intelligence
2012-07-19 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1207.4432,
title = {Towards Understanding Triangle Construction Problems},
author = {Vesna Marinkovic and Predrag Janicic},
journal= {arXiv preprint arXiv:1207.4432},
year = {2012}
}