Reasoning by Contradiction in Dynamic Geometry

• Autores: Anna E. Baccaglini Frank, Samuele Antonini, Allen Leung, Maria Alessandra Mariotti
• Localización: PNA: Revista de investigación en didáctica de la matemática, ISSN-e 1887-3987, Vol. 7, Nº. 2, 2013, págs. 63-73
• Idioma: inglés
• DOI: 10.30827/pna.v7i2.6129
• Títulos paralelos:
  • Razonamiento por contradicción en geometría dinámica
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Este artículo aborda las contribuciones que los sistemas de geometría dinámica (DGSs) pueden dar al razonamiento por contradicción en geometría. Presentamos un análisis de tres extractos del trabajo de estudiantes y el uso de la noción de pseudo-objeto, elaborado a partir de investigaciones anteriores, para mostrar algunas especificidades del DGS en la construcción de pruebas por contradicción. En particular, afirmamos que un DGS puede orientar en el desarrollo de un argumento indirecto gracias a las posibilidades que ofrece tanto para construir sólidamente algunas propiedades como para ayudar a percibir los pseudoobjetos.

  • English

    This paper addresses contributions that dynamic geometry systems (DGSs) may give in reasoning by contradiction in geometry. We present analyses of three excerpts of students� work and use the notion of pseudo object, elaborated from previous research, to show some specificities of DGS in constructing proof by contradiction. In particular, we support the claim that a DGS can offer guidance in the solver�s development of an indirect argument thanks to the potential it offers of both constructing certain properties robustly, and of helping the solver perceive pseudo objects.

• Referencias bibliográficas
  • Antonini, S., & Mariotti, M. A. (2007). Indirect proof: an interpreting model. In D. Pitta-Pantazi & G. Philippou (Eds.), Proceedings...
  • Antonini, S., & Mariotti, M. A. (2008). Indirect proof: What is specific to this way of proving? Zentralblatt für Didaktik der Mathematik,...
  • Baccaglini-Frank, A. (2010). The maintaining dragging scheme and the notion of instrumented abduction. In P. Brosnan, D. Erchick, & L....
  • Baccaglini-Frank, A., & Mariotti, M. A. (2010). Generating conjectures through dragging in dynamic geometry: the Maintaining Dragging...
  • Healy, L. (2000). Identifying and explaining geometric relationship: interactions with robust and soft Cabri constructions. In T. Nakahara...
  • Leron, U. (1985). A direct approach to indirect proofs. Educational Studies in Mathematics, 16(3), 321-325.
  • Leung, A., & Lopez-Real, F. (2002). Theorem justification and acquisition in dynamic geometry: a case of proof by contradiction. International...
  • Mariotti, M. A., & Antonini, S. (2006). Reasoning in an absurd world: difficulties with proof by contradiction. In J. Novotna, H. Moraova,...
  • Mariotti, M. A., & Antonini, S. (2009). Breakdown and reconstruction of figural concepts in proofs by contradiction in geometry. In F....
  • Wu Yu, J., Lin, F., & Lee, Y. (2003). Students’ understanding of proof by contradiction. In N. A. Pateman, B. J. Dougherty, & J. T....