Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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)
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)
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)
Capani, A., Niesi, G., Robbiano, L.: CoCoA: a system for doing computations in commutative algebra. http://cocoa.dima.unige.it
Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht (1987)
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms. Springer, Berlin (1997)
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)
Jackiw, N.: The Geometer’s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)
Johnson, R.: Advanced Euclidean Geometry. Dover, New York (1960)
Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)
Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63–82 (1999)
Schumann, H.: A dynamic approach to simple algebraic curves. Zentralblatt für Didaktik der Mathematik 35, 301–316 (2003)
Shikin, E.V.: Handbook and Atlas of Curves. CRC Press, Boca Raton (1995)
Acknowledgements
The authors wish to thank the referees for their valuable and helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Blažek, J., Pech, P. Locus Computation in Dynamic Geometry Environment. Math.Comput.Sci. 13, 31–40 (2019). https://doi.org/10.1007/s11786-018-0355-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-018-0355-3