L’article aborde l’usage en classe de mathématiques de logiciels de géométrie dynamique tel que Cabri-Géomètre.
Il s’agit plus précisément d’étudier, à partir de problèmes qui amènent les élèves à établir des conjectures, la motivation qui s’en suit pour chercher une démonstration :
Est-ce que les performances du logiciel n’affaiblissent pas systématiquement le besoin de preuve par la démonstration, besoin que l’on peut trouver chez les élèves dans la résolution de problèmes ouverts par exemple, lorsqu’ils sont traités seulement sur papier.

Cette problématique est étudiée dans un premier temps dans quelques situations (invariance d’une grandeur, lieu de points, construction d’un point).
Est ensuite présenté en détail le traitement dans une classe de 1re S d’un problème d’optimisation, dans une situation concrète qui est la transformation d’un essai au rugby.
Outre l’apport classique du logiciel par une simulation dynamique de la situation, le caractère erroné d’une première conjecture établie à l’aide de Cabri-Géomètre puis la découverte d’une deuxième conjecture permettent notamment de valoriser le rôle de la démonstration dans cette recherche.