Estudio de la construcción de pasos de razonamiento en el proceso de justificación teórica en la resolución de problemas de geometría

Presentamos los avances de un trabajo de investigación que estudia el uso de un software (asistente de demostración), utilizado en la actividad de exploración de teoremas, definiciones y postulados de la geometría euclidiana, en el proceso de construcción de demostraciones por estudiantes de un curso de geometría euclidiana de la carrera de la licenciatura en matemáticas. Planteamos la hipótesis de que; “el uso del asistente de demostración, caracterizado por un proceso de razonamiento abductivo, se transformará progresivamente en propiedad del individuo”. Mostramos el análisis a priori y el análisis a posteriori de los resultados de la aplicación de un problema de demostración. Los análisis practicados y el análisis de dos entrevistas clínicas permitieron identificar y caracterizar algunos de los usos dados al asistente durante el planteamiento de la conjetura y la construcción de una justificación teórica, así como también en los momentos en los cuales se abandona el uso de este software