×

Using jointly geometry and algebra to determine RC-constructibility. (English) Zbl 1395.68352

Summary: In most cases in geometry, applying analytic or algebraic tools on coordinates helps to solve some difficult problems. For instance, proving that a geometrical construction problem is solvable using ruler and compass is often impossible within a synthetic geometry framework. But in an analytic geometry framework, it is a direct application of Galois theory after performing triangularizations. However, these algebraic tools lead to a large amount of computation. Their implementation in modern Computer Algebra Systems (CAS) are still too time consuming to provide an answer in a reasonable time. In addition, they require a lot of memory space which can grow exponentially with the size of the problem. Fortunately, some geometrical properties can be used to setup the algebraic systems so that they can be more efficiently computed. These properties turn polynomials into new ones so as to reduce both the degrees and the number of monomials. The present paper promotes this approach by considering two corpora of geometric construction problems, namely Wernick’s and Connely’s lists. These lists contain about 280 problems. The purpose is to determine their status i.e. whether they are constructible or not with ruler and compass. Some of these problems had unknown status that will be settled in this paper. More generally, the status of all problems of these corpora are fully automatically given by an approach combining geometry and algebra.

MSC:

68W30 Symbolic computation and algebraic computation
51M15 Geometric constructions in real or complex geometry
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

References:

[1] Aubry, P.; Lazard, D.; Maza, M. M., On the theories of triangular sets, J. Symb. Comput., 28, 2, 105-124, (1999) · Zbl 0943.12003
[2] Botana, F.; Valcarce, J. L., Automated discovery in elementary extrema problems, (Alexandrov, V. N.; van Albada, G. D.; Sloot, P. M.A.; Dongarra, J., International Conference on Computational Science - ICCS 2006, Part II, Lect. Notes Comput. Sci., vol. 3992, (2006), Springer), 470-477 · Zbl 1155.68590
[3] Boutry, P.; Braun, G.; Narboux, J., From Tarski to Descartes: formalization of the arithmetization of Euclidean geometry, (Davenport, James H.; Ghourabi, Fadoua, International Symposium on Symbolic Computation in Software (SCSS 2016), EasyChair Proc. Comput., vol. 39, (2016))
[4] Chen, X.; Song, D.; Wang, D., Automated generation of geometric theorems from images of diagrams, Ann. Math. Artif. Intell., 74, 3-4, 333-358, (2015) · Zbl 1330.68263
[5] Chou, S., Mechanical geometry theorem proving, Math. Appl., (1988), D. Reidel Dordrecht · Zbl 0661.14037
[6] Connelly, H., An extension of triangle constructions from located points, Forum Geom., 9, 109-112, (2009) · Zbl 1168.51302
[7] Gao, X.-S.; Chou, S.-C., Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility, Comput. Aided Des., 30, 2, 115-122, (1998)
[8] Imbach, R.; Mathis, P.; Schreck, P., A robust and efficient method for solving point distance problems by homotopy, Math. Program., 163, 1-2, 115-144, (2017) · Zbl 1372.65057
[9] Imbach, R.; Schreck, P.; Mathis, P., Leading a continuation method by geometry for solving geometric constraints, Comput. Aided Des., 46, 138-147, (2014)
[10] Lebesgue, H., Leçons sur LES constructions géométriques, (1950), Gauthier-Villars Paris, in French, re-edition by Jacques Gabay, France · Zbl 0035.09601
[11] Marinković, V.; Janičić, P., Towards understanding triangle construction problems, (Jeuring; et al., J., Intelligent Computer Mathematics - CICM 2012, Lect. Notes Comput. Sci., vol. 7362, (2012), Springer) · Zbl 1359.68265
[12] Marinković, V.; Janičić, P.; Schreck, P., Computer theorem proving for verifiable solving of geometric construction problems, (Botana, F.; Quaresma, P., Automated Deduction in Geometry, Revised Selected Papers, 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Lect. Notes Comput. Sci., vol. 9201, (2014), Springer), 72-93 · Zbl 1434.03032
[13] Schreck, P.; Marinković, V.; Janičić, P., Constructibility classes for triangle location problems, Math. Comput. Sci., 10, 1, 27-39, (2016) · Zbl 1342.51017
[14] Schreck, P.; Mathis, P., Rc-constructibility of problems in Wernick’s List, (Botana, F.; Quaresma, P., Proceedings of the 10th Int. Workshop on Automated Deduction in Geometry, vol. TR 2014/01, (2014), University of Coimbra), 85-104
[15] Schreck, P.; Mathis, P., Automatic constructibility checking of a corpus of geometric construction problems, Math. Comput. Sci., 10, 1, 41-56, (2016) · Zbl 1342.51018
[16] Schreck, P.; Mathis, P.; Narboux, J., Geometric construction problem solving in computer-aided learning, (International Conference on Tools with Artificial Intelligence - ICTAI, (2012), IEEE), 1139-1144, core B - short paper
[17] Stewart, I., Galois theory, (2003), Chapman and Hall
[18] Wernick, W., Triangle constructions with three located points, Math. Mag., 55, 4, 227-230, (1982) · Zbl 0497.51016
[19] Wu, W.-T., Basic principles of mechanical theorem proving in elementary geometries, J. Symb. Comput., 4, 207-235, (1984)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.