Dynamic geometry, implication and abduction: a case study

Resumen

In this paper we illustrate the role of dynamic geometry as an environment that propitiates the use of empirical explorations to favor learning to prove. This is possible thanks to abductive processes, related to the establishment of implications that university students of a plane geometry course carry out when, supported by a dynamic geometry program, they solve a problem in which they must discover a geometric fact, formulate a conjecture and prove it.