Le logiciel Aplusix Standard comme environnement d'apprentissage duraisonnement par équivalence dans le cas des équations et systèmes d’équationsHamid Chaachoua, Laboratoire LEIBNIZ - Institut IMAG, GrenobleIntroductionL'une des spécificités de la résolution algébrique est le raisonnement paréquivalence. Cependant, l'enseignement de l'algèbre au collège ne le prend pas encharge. Ainsi, les élèves travaillent par implication sans avoir de contrôle sur leursréponses. En particulier, dans la résolution des systèmes des équations linéaires, lesélèves procèdent rarement par équivalence. Nous avons proposé d’étudier comment le logiciel Aplusix, par ses interactions,peut favoriser l'apprentissage de la résolution des équations et des systèmesd’équations par équivalence.Présentation du logiciel1Aplusix (Bouhineau et al., 2003) est un logiciel d’aide à l’apprentissage del’algèbre formelle avec lequel l’élève développe ses propres calculs. Il est doté pourcela d’un éditeur avancé d’expressions algébriques qui affiche les expressions sousla forme habituelle (en deux dimensions) et permet leur écriture et leur modificationsous cette forme, en respectant la structure des expressions algébriques. Il porte surla résolution d’exercices formels (calculs numériques, développements,factorisations, résolutions d’équations, d’inéquations et de systèmes d’équations)ainsi que sur la résolution de problèmes donnés en français. Il comporte un mode appelé « Exercice » qui ...