Reasoning by contradiction in dynamic geometry

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.

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.