L’auteur associe à GéométriX , son logiciel de Géométrie Dynamique, un moteur d’inférences qui permet d’évaluer les démonstrations d’élèves à partir d’une figure donnée et de les aider dans leurs tentatives de démonstration. Dans cet article, il décrit les fonctionnalités principales du module de démonstration ainsi que l’environnement général dont dispose l’élève pour construire et rédiger sa démonstration. L’auteur parle de lentes progressions qu’a connues le module de démonstration depuis son écriture en 1990/1991. Il parle particulièrement de la version 4.1 écrite en Swi-Prolog et FreePascal/Lazarus qui a pris forme en 2012. Cette version est fondamentalement différente des autres tant sur le plan pédagogique que sur le plan technique. Il annonce la parution de la prochaine version de Géométrix (4.2) dans quelques mois.