Determinando propiedades geométricas simbólicamente con GeoGebra
Tipo de documento
Autores
Lista de autores
Hohenwarter, Markus, Kovács, Zoltán y Recio, Tomás
Resumen
Los programas de Geometría Dinámica (GD) constituyen unas herramientas tan útiles como provocadoras para la enseñanza/aprendizaje de los conceptos matemáticos de razonamiento y prueba. Así, estos programas de GD facilitan a los estudiantes la formulación de ciertos hechos geométricos (por ejemplo, como pasos intermedios para establecer la prueba de una proposición dada) dibujando diagramas auxiliares que permiten, luego, convencerse de la verdad/falsedad de la afirmación conjeturada al poder verificar su validez en muchos casos, tras arrastrar al azar algunos elementos de la figura y comprobar, en la figura arrastrada, la permanencia de determinadas propiedades.
Fecha
2019
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Nivel educativo
Educación media, bachillerato, secundaria superior (16 a 18 años) | Educación secundaria básica (12 a 16 años) | Educación superior, formación de pregrado, formación de grado
Idioma
Revisado por pares
Formato del archivo
Volumen
100
Rango páginas (artículo)
79-84
ISSN
18871984
Referencias
Ancsin, G., Hohenwarter, M., Kovács, Z. (2013). GeoGebra goes web. The electronic journal of mathematics and technology (Volume 7, Number 6, pp. 412-418). Botana, F., Hohenwarter, M., Janičić, P., Kovács Z., Petrović, I., Recio, T., Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: current achievements. Journal of Automated Reasoning (Vol. 5, Number 1, pp. 39-59). Chou, S. C. (1987). Mechanical geometry theorem proving. Norwell, MA, USA: Kluwer Academic Publishers. Decker, W., Greuel, G.M., Pfister, G. & Schönemann, H. (2012). Singular 3-1-6 – A computer algebra system for polynomial computations. http://www.singular.uni-kl.de. Hohenwarter, M. (2002). Ein Softwaresystem für dynamische Geometrie und Algebra der Ebene. Master’s thesis. Salzburg: Paris Lodron University. Houghton, T. (2014).The impact of GeoGebra – Evidence.Presentación Prezi disponible en https://prezi.com/bsi-qdd6jr6r/the-impact-of-geogebra-evidence. Howson, G. & Wilson, B. (Eds.) (1986).School mathematics in the 1990s. ICMI Study Series Volume 2.Cambridge University Press. Kovács, Z. (2015a). Computer based conjectures and proofs. Dissertation. Linz: Johannes Kepler University. Kovács, Z. (2015b). The Relation Tool in GeoGebra 5. In Botana, F., Quaresma, P. (Eds.), Postconference Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 July 2014, Lecture Notes in Artificial Intelligence 9201 (pp. 53-71). Springer. Kovács, Z., Recio, T. and Vélez, M. P. (2018).Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry. International Journal of Technology in Mathematics Education 25 (2), p. 33–50 (DOI: 10.1564/tme_v25.2.03). Lin, F. L., Yang, K. L., Lee, K. H., Tabach, M. & Stylianides, G. (2012). Principles of task design for conjecturing and proving. In Hanna, G. & de Villiers, M. (Eds.), Proof and Proving in Mathematics Education. The 19th ICMI Study (pp. 305-326). Springer. Parisse, B. (2013). Giac/Xcas, a free computer algebra system.Disponible en http://www-fourier.ujfgrenoble.fr/~parisse/giac.html