machine de d'Alembert

Imaginez une suite de roues ou de constructions qui reçoit les coefficients d'un polynôme et les combine l'un après l'autre avec une même valeur. Au lieu de développer tous les produits, la machine conserve un résultat intermédiaire, le multiplie par la valeur choisie, puis lui ajoute le coefficient suivant. Cette cascade évalue rapidement le polynôme. La méthode rappelle l'algorithme de Horner, mais la machine de d'Alembert appartient à une histoire antérieure. Elle mobilise aussi des constructions fondées sur le théorème de Thalès et reste limitée aux équations à coefficients positifs.

La machine de d'Alembert est un dispositif mécanique destiné à évaluer des polynômes dans le cadre de la résolution d'équations polynomiales. Un polynôme est une expression formée de puissances d'une inconnue, chacune multipliée par un coefficient. Pour une valeur donnée de cette inconnue, la machine combine les coefficients selon une cascade de multiplications et d'additions, plutôt que de calculer séparément toutes les puissances. Cette organisation est équivalente à l'algorithme de Horner, nommé ainsi aujourd'hui, bien que le dispositif de d'Alembert lui soit antérieur.

Dans cette description, les coefficients sont les nombres qui pondèrent les puissances, et la valeur choisie est celle que l'on attribue à l'inconnue. La machine est présentée dans l'Encyclopédie comme un « constructeur universel d'équations ». Certaines de ses constructions géométriques s'appuient sur le théorème de Thalès, qui relie des longueurs portées par des droites parallèles. La source lui attribue toutefois une condition restrictive : elle ne traite que les équations à coefficients positifs. Cette condition exclut les expressions comportant un coefficient négatif et limite donc fortement son domaine d'application.

On rencontre la machine de d'Alembert dans l'histoire des instruments de calcul et dans les planches de l'Encyclopédie. Les marqueurs visibles sont un dispositif mécanique, une succession de réglages liés aux coefficients d'une équation, une valeur donnée à l'inconnue et des constructions géométriques. Son nom renvoie à Jean le Rond d'Alembert, mathématicien et philosophe. Le support porte une méthode de calcul : il transforme les coefficients et la valeur choisie en une évaluation du polynôme, avec la perspective de contribuer à la résolution d'une équation. Il ne s'agit donc pas d'une simple machine à mesurer une longueur.

Pour lire le fonctionnement, on repère d'abord les coefficients du polynôme, du terme de plus haut degré au terme constant, puis la valeur attribuée à l'inconnue. On suit ensuite la cascade : le premier coefficient est conservé, il est multiplié par cette valeur, puis le coefficient suivant est ajouté. Le résultat intermédiaire est repris à l'étape suivante, jusqu'au terme constant. La convention importante est que les coefficients sont parcourus dans cet ordre et que la même valeur intervient à chaque multiplication.

L'œil peut croire que chaque puissance est construite séparément, comme dans une multiplication posée. Le mécanisme réel réutilise au contraire un résultat intermédiaire. Pour un polynôme de degré trois, la lecture s'écrit ainsi : $b_{3}b\_3$, puis $b_2=b_{3}x+a_{2}b\_2=b\_3x+a\_2$, puis $b_1=b_{2}x+a_{1}b\_1=b\_2x+a\_1$, et enfin $P(x)=b_{1}x+a_{0}P(x)=b\_1x+a\_0$. Les lettres désignent les résultats intermédiaires et les coefficients ; elles sont introduites pour rendre la cascade lisible, pas pour ajouter une nouvelle convention à la machine.

Considérons le polynôme $P(x)=2x^3+3x^2+4x+5P(x)=2x^3+3x^2+4x+5$ et évaluons-le pour $x=2x=2$. Les données sont les coefficients 2, 3, 4 et 5, ainsi que la valeur 2 attribuée à l'inconnue. Elles sont toutes positives, ce qui respecte la limitation indiquée pour la machine.

La cascade commence par le coefficient du terme de plus haut degré : $b_3=2b\_3=2$.
Le premier résultat intermédiaire vaut $b_2=2\times 2+3=7b\_2=2\times 2+3=7$.
Le suivant vaut $b_1=7\times 2+4=18b\_1=7\times 2+4=18$.
La dernière étape donne $P(2)=18\times 2+5=41P(2)=18\times 2+5=41$.

Le résultat exact est donc 41. Un contrôle refaisable consiste à calculer directement $2\times 2^3+3\times 2^2+4\times 2+5=16+12+8+5=412\times 2^3+3\times 2^2+4\times 2+5=16+12+8+5=41$. Les deux cheminements concordent : la cascade ne change pas la valeur du polynôme, elle organise seulement le calcul.

Dans une lecture historique, on utilise la machine de d'Alembert pour comprendre comment une équation pouvait être traitée par un dispositif mécanique. Le geste consiste à associer les coefficients et à suivre la construction qui les combine. Une transcription algébrique moderne est préférable lorsque l'objectif est de vérifier rapidement un résultat numérique.

Pour évaluer un polynôme à coefficients positifs en une valeur positive, la cascade de Horner fournit une méthode possible et observable : elle demande moins de puissances calculées séparément et conserve un résultat intermédiaire à chaque étape. Pour une équation dont certains coefficients sont négatifs, une autre méthode est nécessaire, car la source limite la machine de d'Alembert aux coefficients positifs ; Horner constitue alors une méthode possible.

La machine de d'Alembert ne doit pas être confondue avec l'algorithme de Horner pris comme une méthode abstraite. Le critère qui les rapproche est la même cascade d'évaluations ; le cas qui tranche est la présence d'un dispositif mécanique présenté dans l'Encyclopédie pour la première notion, contre une règle de calcul formulée sans machine pour la seconde. La source précise que la machine est antérieure à Horner, même si leurs procédés sont équivalents pour l'évaluation des polynômes.

Elle ne doit pas non plus être confondue avec le théorème de Thalès. Thalès fournit un principe pour certaines constructions géométriques, tandis que la machine organise le traitement d'une équation. Une construction de longueurs proportionnelles relève du théorème ; la cascade appliquée aux coefficients relève du fonctionnement de la machine.

La limite décisive est le signe des coefficients. La source indique que la machine ne traite que les équations à coefficients positifs. Dès qu'un coefficient négatif apparaît, le fonctionnement décrit ne couvre plus le cas : il faut employer une méthode algébrique ou un autre instrument capable de représenter ce signe. Il ne faut donc pas présenter la machine comme un résolveur universel de toutes les équations malgré son ancienne dénomination de « constructeur universel d'équations ».

Un autre piège consiste à confondre l'évaluation d'un polynôme avec la résolution complète de l'équation. Évaluer signifie calculer une valeur pour une inconnue choisie ; résoudre signifie rechercher les valeurs qui annulent l'expression. La machine met en œuvre l'évaluation nécessaire au traitement d'une équation, mais cette description ne suffit pas à établir qu'elle trouve toutes les solutions dans tous les cas.

La cascade présentée ici ouvre sur une idée générale de l'algèbre numérique : une expression polynomiale peut être réorganisée pour réduire les calculs intermédiaires. En étudiant l'algorithme de Horner, on peut comparer la forme développée d'un polynôme et sa forme emboîtée, puis vérifier que les deux donnent la même valeur. Cette prolongation éclaire ce que la machine de d'Alembert rendait matériel : une suite d'opérations algébriques devenue mouvement et construction.