Bonjour et merci pour cette article.
@About Antoun
Puisque vous abordez le sujet de la résolution automatique symbolique vous devriez vous intéresser aux logiciels de calcul formel comme Maple ou Mathematica. Ils sont désormais capables de résoudre des équations d’une rare complexité. Pour les avoir testé moi-même c’est bluffant.
@o.man
Le problème que vous présentez est relativement simple... mais votre intervention sur le sens des équations est très intéressant.
Les symboles mathématiques ne sont qu’un alphabet, et les mathématiques un langage. Et comme tout apprentissage d’une langue, il faut se l’approprier, se construire un lexique, chercher à former ses phrases, etc. J’ai vu beaucoup d’élève manipuler ces symboles de manière magique : ils répètent un geste sans le comprendre, comme l’alchimiste fait ses incantations.
Une autre erreur fondamentale faite par l’enseignement actuel est - à mon avis - de confondre le calcul et les mathématiques. Exactement comme si on confondait la grammaire avec la littérature : il ne suffit pas d’aligner des phrases construites pour faire un bouquin. On peut même ne faire aucune faute, et ne produire aucun sens.
Or pour les élèves en mathématiques, les deux se confondent : on passe de la résolution symbolique de la division au théorème de Pythagore, alors que l’une est une technique pure et l’autre a une signification. Pythagore lui-même (pas forcément l’auteur du théorème d’ailleurs) ne connaissait pas l’écriture symbolique, mais il pouvait faire un mur parfaitement droit !