On a problem that was not interesting for Erdős
DOI:
https://doi.org/10.23925/2237-9657.2021.v10i1p005-018Palabras clave:
Automated Reasoning Tools, inscribed angle theorem, Pythagorean theoremResumen
We study a problem in elementary Euclidean geometry by using multiple approaches. We conclude that today's computer assisted study can introduce new methods to understand relationships and concepts better. Namely, using GeoGebra's Automated Reasoning Tools, several details of the original problem can be put into an algebraic context, and therefore, its automated investigation is possible, in some sense, mechanically. Still, creative thinking and reformulation of the problem in a different setting remains useful.
Descargas
Métricas
Citas
CHOU, S.C. Mechanical Geometry Theorem Proving. Springer Science + Business Media. 1987
COX, D.; LITTLE, J.; O'SHEA, D. Ideals, Variaties and Algorithms. Third Edition. Springer. 2007
ERDŐS, P. Problem 3740. American Mathematical Monthly, v. 42, p. 396, 1935.
HOHENWARTER, M.; KOVÁCS, Z.; RECIO, T. Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures. In: HANNA, G.; REID, D.A.; DeVILLIERS, M. Proof Technology in Mathematics Research and Teaching. Springer, 2019, p. 215 – 236.
KOVÁCS, Z.; PARISSE, B. Giac and GeoGebra – Improved Gröbner Basis Computations. In: GUTIERREZ, J.; SCHICHO, J.; WEIMANN, M. Computer Algebra and Polynomials. Lecture Notes in Computer Science. Springer, 2015, p. 126 – 138.
KOVÁCS, Z.; RECIO, T.; VÉLEZ, M.P. Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry. International Journal for Technology in Mathematics Education, v. 25, no 2, p. 33-50, 2018.
LOSADA, R. El color dinámico de GeoGebra. La Gaceta de la RSME, v. 17, no 3, p. 525-547, 2014.
REIMAN, I. Fejezetek az elemi geometriából. Budapest: Tankönyvkiadó Vállalat. 1987 (in Hungarian)
UNDERWOOD, D. Elementary Number Theory. Second Edition. Mineola, New York: Dover Publications. 1978
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
No se cobrarán tasas de envío, procesamiento y publicación de los trabajos enviados a la revista, ni el registro del DOI en la Crossref.
Los autores mantienen sus derechos de autor y conceden a la revista el derecho a la primera publicación del trabajo, simultáneamente licenciada bajo una licencia Creative Commons - Atribución 4.0 Licencia Internacional CC BY, que permite que otros compartan el trabajo con un reconocimiento de la autoría del mismo y publicación inicial en esta revista.
La revista GeoGebra incentiva a que sus autores registren sus trabajos en sistemas orientados a la gestión de información y comunicación de investigadores, tales como Academia.edu, Mendeley, ResearchGate etc.