×

Locus computation in dynamic geometry environment. (English) Zbl 1474.97015

Summary: The article is focused on investigation of geometric loci by current dynamic geometry software. On a few problems we illustrate ability of actual software to determine an unknown locus and its equation in terms of given properties using GeoGebra commands Locus and LocusEquation. After the use of these commands we present how computer arrives at the searched locus and how to analyze the cases when we get some extra components apart from the locus, either due to degenerate instances of the construction or due to Zariski closure of an algebraic set. We also demonstrate the ways how to attain new results by experiments, which would be hardly accessible without computers.

MSC:

97G40 Plane and solid geometry (educational aspects)
14H50 Plane and space curves
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
97U70 Technological tools, calculators (aspects of mathematics education)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abánades, M.A., Botana, F., Montes, A., Recio, T.: An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. 56, 22-33 (2014) · Zbl 1437.13001 · doi:10.1016/j.cad.2014.06.008
[2] Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Implementing automatic discovery in GeoGebra, In: Proceedings of ADG 2016, Strasbourg (2016) · Zbl 1434.68636
[3] Botana, F., Hohenwarter, M., Janičič, P., Kovács, Z., Petrovič, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55, 39-59 (2015) · Zbl 1356.68181 · doi:10.1007/s10817-015-9326-4
[4] Capani, A., Niesi, G., Robbiano, L.: CoCoA: a system for doing computations in commutative algebra. http://cocoa.dima.unige.it · Zbl 0920.68060
[5] Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht (1987) · Zbl 0661.14037 · doi:10.1007/978-94-009-4037-6
[6] Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms. Springer, Berlin (1997) · Zbl 0861.13012 · doi:10.1007/978-3-662-41154-4
[7] Hašek, R., Kovács, Z., Zahradník, J.: Contemporary interpretation of a historical locus problem with the use of computer algebra. In: Kotsieras, I.S., Martínez-Mora, E. (eds.) Proceedings in Mathematics and Statistics: Applications of Computer Algebra, pp. 191-205. Springer, Berlin (2017) · Zbl 1395.51004
[8] Jackiw, N.: The Geometer’s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)
[9] Johnson, R.: Advanced Euclidean Geometry. Dover, New York (1960)
[10] Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)
[11] Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63-82 (1999) · Zbl 0941.03010 · doi:10.1023/A:1006135322108
[12] Schumann, H.: A dynamic approach to simple algebraic curves. Zentralblatt für Didaktik der Mathematik 35, 301-316 (2003) · doi:10.1007/BF02656694
[13] Shikin, E.V.: Handbook and Atlas of Curves. CRC Press, Boca Raton (1995) · Zbl 0974.51500
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.