Géométrix
Géométrix est un logiciel pédagogique de géométrie dynamique doublé d’un système d’aide à la démonstration. Son développement repose sur des méthodes et des techniques d’intelligence artificielle. Il peut corriger un élève sur tout exercice de construction géométrique et vise à le guider lors d’exercices de démonstration.
Sur le plan pédagogique, ce logiciel met l’accent sur le langage. La construction de tout objet géométrique exige la formulation d’une phrase (automatiquement générée par le logiciel) qui le définit totalement dans ses relations logiques avec ses ascendants. Cette construction basée sur des phrases exprimant les relations logiques entre les objets est essentielle pour l’étape suivante : la démonstration.
Géométrix tente de promouvoir une approche pédagogique constructiviste. Les élèves doivent pouvoir agir comme des chercheurs. Conjectures, tests, preuves, formalisations, abstractions, nouvelles conjectures, tests, erreurs, etc. Pour cela, il faut un logiciel capable de détecter et traiter toute erreur. L’ordinateur est ici un outil d’investigation, il doit permettre de mener une « enquête » basée sur des expériences.
Sur le site, il est possible de télécharger le logiciel mais aussi d’accéder (et de télécharger) des exercices de construction (section « Ressources).
http://geometrix.free.fr/site/index.php
