• Increase font size
  • Default font size
  • Decrease font size

Manipulateur Algébrique

Ses caractéristiques principales sont: la possibilité de transformer les expressions à travers des commandes qui font référence aux propriétés de base des opérations sur les égalités et inégalités, des opérations logiques entre propositions, des opérations entre ensembles. L’utilisateur a la possibilité de créer de nouvelles commandes à partir de leur démonstration.

Ces caractéristiques peuvent être exploitées pour favoriser:

  • L’exploration des règles qui préservent l’équivalence dans la transformation algébrique. Demo
  • La capacité de transformer des expressions, résoudre des équations, inéquations, et  systèmes d’équations et inéquations. Demo

 

La technique de transformation est facile à contrôler parce que chaque commande produit le résultat indiqué par son icone.

Dans le Manipulateur Algébrique il est possible de:
  • explorer la structure hiérarchique des expressions
  • créer une nouvelle règle une fois qu’elle a été démontrée

Explorer la structure hiérarchique des expressions

A travers le mouvement du pointeur de la souris sur les parties des expressions et propositions (nombres, lettres, operateurs, parenthèses…) le système met en évidence la partie de l’expression dans sa structure hiérarchique relative à l’élément indiqué. Cela permet d’explorer les parties significatives d’une expression dans les différents niveaux de sa structure.

Créer une nouvelle règle

Dans le Manipulateur Algébrique il est possible de construire de nouvelles règles de transformation (règles utilisateur) une fois qu’elles ont été démontrées en utilisant les commandes disponibles dans l’interface.

Par exemple, une fois que la règle du produit remarquable a2-b2=(a+b)*(a-b) a été démontrée, il est possible d’ajouter la nouvelle règle dans l’interface pour l’utiliser dans les transformations suivantes.