Contraintes informatiques et environnements d'apprentissage de la démonstration en géométrie. Computational Constraints and Environments for Learning Proofs in Geometry

In this article, we propose an analysis of the computational constraints that are imposed on the design and the implementation of computer-based learning environments for proofs in geometry, and an analysis of the negotiation of these constraints by the students during their activities in such interactive environments. For this purpose we have divided the article into three parts. The first presents an analysis of a problem-situation. The second describes an analysis of three computer programs -each program is first presented and then analysed from the point of view of the constraints it may impose on a solution. Finally, we describe an experiment with the problem presented, in 8th grade classroom, using DEFI-CABRI. The aim of the study is to study the way in which students manage the constraints on the student-system interaction.Nous proposons, dans cet article, une analyse des contraintes informatiques pesant sur la réalisation d'environnements d'apprentissage de la démonstration en géométrie et de la négociation de ces contraintes sur l'interaction élève-logiciel par l'élève dans le cours de son activité. Pour cela, nous avons divisé notre étude en trois parties : analyse d'une situation problème, chaque logiciel est d'abord présenté puis nous analysons les contraintes a priori sur la résolution ; enfin nous rendons compte d'une expérimentation avec la situation pro¬ blème choisie, dans une classe de quatrième, en utilisant le logiciel DEFI-CABRI. L'objectif est l'étude de la gestion des contraintes élève-logiciel par les élèves.Luengo Vanda, Balacheff Nicolas. Contraintes informatiques et environnements d'apprentissage de la démonstration en géométrie. Computational Constraints and Environments for Learning Proofs in Geometry. In: Sciences et techniques éducatives, volume 5 n°1, 1998. pp. 15-45