Je rebondis juste sur votre dernier post. 

Bon, en termes ’autorisés’ une formule comme celle que vous citez exprime une relation entre trois grandeurs.Vous avez votre vocabulaire, je n’y vois aucun problème sinon un pb de communication.

Le processus que vous décrivez s’appelle la résolution de l’équation en une inconnue (R ou I). De mon temps (comme disent les vieux dont je fais partie) on apprenait tout ça en classe de cinquième au collège (voir les manuels Lebossé Hemery).

Vous faites remarquer qu’au moins deux ministres de l’E.N. ont été pris en flag. de ne pas savoir résoudre une règle de trois. Je l’ai souvent affirmé ici-même. C’est ce à quoi on parvient quand l’incompétence est au pouvoir. Nos ministres d’aujourd’hui ne savent ni faire une règle de trois ni vraisemblablement écrire en français, c’est leur directeur de comm. qui s’y colle. A l’oral ils ont du mal à bafouiller un texte à peine écrit par cœur.

Pour en revenir à nos moutons je ne suis pas sûr que ce soit le moment et le lieu, mais j’aurais pu monter comment la théorie générale de la résolution des équations formelles du premier degré peut être résolue et enseignée à partir de programmes d’analyse d’expression mathML, par exemple au moyen du module python xml.etree. 

A titre d’exemple un tel programme pourrait proposer une résolution à partir de la forme ’canonique’ ax+b=c en isolant les coefficients a,b,c quelle que soit leur complexité respective. 

Attention, je ne veux pas être mal compris, je ne me propose pas d’enseigner la programmation à des élèves de cinquième mais de leur montrer le processus dynamique d’isolation d’une inconnue que l’on appelle encore ’résolution’, en fournissant au programme des exemples d’une difficulté croissante.