Este trabajo constituye un avance del proyecto de investigación doctoral enfocado a conocer los procesos cognitivos que intervienen cuando un alumno aprende a validar conjeturas con ayuda de una herramienta, en este caso el software de geometría dinámica, ya que este puede servir para hacer conjeturas sobre objetos geométricos, específicamente estos pueden jugar el rol de mediador en la transición entre la argumentación y la prueba, a través de la funcion de ¿arrastre?, que abre nuevas rutas a los conocimientos teóricos dentro de un entorno concreto que sea significativo para los estudiantes. El analizar los argumentos que los alumnos dan, será un referente importante para llegar a la demostración, es decir suponemos que la argumentación antecede a la demostración.