Le logiciel Geometrix, déjà décrit dans cette revue, a grandement gagné en interactivité ces derniers temps, au point que pendant la construction de la figure, on voit apparaître en temps réel la liste des propositions qui peuvent être démontrées à propos de la figure.
Par exemple, en construisant les milieux de deux côtés d’un triangle, apparaissent les parallélismes et égalités de longueurs qui découlent du théorème des milieux sont automatiquement listées.
Ensuite, il suffit de passer en mode démonstration et de choisir quelle proposition on peut demander de démontrer en exercice.
Le seul inconvénient de cette nouvelle mouture du logiciel est qu’elle est réservée aux utilisateurs de Windows...