Dans l’élaboration de situations d’enseignement, les futures personnes enseignantes semblent accorder moins d’importance aux composantes de validation et de preuve dans le raisonnement mathématique (Mary, 1999). Pourtant, une compétence visée à l’école secondaire, Déployer un raisonnement mathématique (MEQ, 2006), mentionne ces composantes dans la formation des élèves. Ainsi, en se basant sur les approches anthropologique (Chevallard, 1998) et instrumentale (Trouche, 2007) ainsi que des repères théoriques, une séquence d’activités destinée à la formation initiale a été développée. Cette séquence avait pour objectif de montrer la complémentarité entre la preuve et les explorations géométriques avec GeoGebra afin d’amener les personnes étudiantes en formation initiale en enseignement des mathématiques à mieux saisir ces enjeux. L’expérimentation de la séquence a permis de dégager différents niveaux de preuve chez les futures personnes enseignantes en mathématiques tout en contribuant à leur instrumentation et leur instrumentalisation au regard de l’outil de géométrie dynamique utilisé. Chez les personnes étudiantes participant à ce projet, trois profils ont été dégagés et sont caractérisés par une vision différente du développement du raisonnement mathématique dans l’enseignement.