Reasoning by contradiction in dynamic geometry

Abstract

Se abordan las contribuciones que los sistemas de geometría dinámica (DGSs) pueden dar al razonamiento por contradicción en geometría. Presenta 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. Se afirma 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 pseudo-objetos.