Ordre des opérations

Ordre des opérations

En mathématiques, la priorité des opérations ou ordre des opérations est un ensemble de règles d'usage Modèle:Référence nécessaire. Elle précise l'ordre dans lequel les calculs doivent être effectués dans une expression complexe.

Les règles de priorité sont :

1. Les calculs entre parenthèses ou crochets sont prioritaires sur les calculs situés en dehors. La barre horizontale de fraction ou de racine joue le rôle d'une parenthèse ;
2. L'exponentiation est prioritaire sur la multiplication, la division, l'addition et la soustraction ;
3. La multiplication et la division sont prioritaires sur l'addition et la soustraction ;
4. Dans les parenthèses, on effectue les multiplications et divisions de gauche à droite. Même chose ensuite pour les additions et soustractions.

PEMDAS est un moyen mnémotechnique qui permet de se souvenir facilement de ces règles de priorité. Il signifie Parenthèse, Exposant, Multiplication et Division, Addition et Soustraction ; multiplication et division étant sur un même niveau, tout comme addition et soustraction.

Exemples

Dans une succession d'additions et de soustractions, on peut effectuer les calculs de gauche à droite

Modèle:Formule

mais d'autres regroupements sont possibles

Modèle:Formule

Modèle:Formule

(mais on n'effectuera pas : Modèle:Formule)

Dans un calcul tel que Modèle:Formule, priorité est donnée à la multiplication :

Modèle:Formule

(et on n'effectuera pas ainsi : Modèle:Formule, comme on serait tenté de le faire par lecture de gauche à droite).

L'usage de parenthèses permet donc de créer une exception aux priorités opératoires (multiplications et divisions prioritaires sur les additions et soustractions).

Ainsi, un calcul comme Modèle:Formule s'effectue ainsi :

Modèle:Formule.

Ces quatre règles se complètent les unes les autres : ainsi le calcul Modèle:Formule s'effectue ainsi :

Modèle:Formule (priorité aux calculs entre parenthèses Modèle:Formule)

Modèle:Formule (priorité à la multiplication Modèle:Formule sur la soustraction précédant les crochets)

Modèle:Formule (priorité à la multiplication au Modèle:Formule sein des crochets)

Modèle:Formule (priorité à la somme Modèle:Formule entre crochets)

Modèle:Formule (différence finale)

Une calculatrice scientifique prend en compte cet ordre des opérations mais effectuera les additions et soustractions mêlées ainsi que les produits et divisions mêlées dans l'ordre d'apparition des opérandes.

Cas particuliers

Exponentiation et négation

Diverses conventions régissent l'opérateur de soustraction unaire. En mathématiques écrites ou imprimées, l'expression −3² est interprétée comme Modèle:Nowrap.

Certaines applications et langages de programmation, notamment Microsoft Excel (mais aussi d'autres tableurs comme LibreOffice) et le langage de programmation bc, les opérateurs unaires ont une priorité plus grande que les opérateurs binaires. Ainsi le moins unaire est prioritaire sur l'exponentiation et donc, dans ces langages −3² est interprété comme Modèle:Nowrap. Cela ne s'applique pas à l'opérateur binaire −. Par exemple, alors que les formules =-2^2 et =0+-2^2 renvoient 4 sous Microsoft Excel, la formule =0-2^2 renvoie −4. Dans les cas où il est possible que la notation soit mal interprétée, une opération binaire peut être renforcée en spécifiant explicitement le 0 précédent (comme dans 0-2^2 plutôt que juste -2^2), ou en ajoutant des parenthèses pour clarifier le sens attendu.

Mélange d'additions et soustractions sans parenthèse

Il est fréquent de voir, dans les manuels, le conseil d'effectuer les calculs dans l'ordre de la gauche vers la droiteModèle:,Modèle:Sfn. Mais ce conseil ne peut pas avoir valeur de règle nécessaire puisque d'autres ordres de calculs sont possiblesModèle:Sfn. En particulier, le calcul d'une succession d'additions peut s'effectuer dans l'ordre de son choix en associant les termes au gré de la fantaisie de chacun et souvent dans l'objectif de simplifier les calculs.

Ainsi, la somme Modèle:Formule a tout intérêt à s'effectuer par regroupements des termes Modèle:Formule et Modèle:Formule plutôt que de la gauche vers la droite.

Il en est de même pour une succession d'additions et de soustractions dès lors que la soustraction est transformée en addition de l'opposé.

Ainsi, l'expression Modèle:Formule peut être lue comme Modèle:Formule et s'effectuer par regroupement des termes Modèle:Formule, puis Modèle:Formule puis Modèle:Formule.

L'intérêt de la règle de gauche à droite est sa simplicité et le fait qu'elle évite les associations fautives comme le serait, dans l'exemple précédent, l'association 95 + 8.

Mélange de divisions et de multiplications

1=6/2(1+2) sur deux calculatrices.

Une règle parfois utilisée mais également très critiquée propose, dans un mélange de multiplications et divisions, de calculer de la gauche vers la droite. Ainsi 80÷4×2 se lira (80÷4) × 2. Cette règle est compatible avec la commutativité de la multiplication, et cohérente avec la technique consistant à remplacer la division par la multiplication inverse et réécrire ce calcul Modèle:Tunité.

Mais l'usage des mathématiciens concernant l'enchaînement des multiplications et des divisions hésite. Ainsi, en 1928, l'historien des mathématiques Florian Cajori indique dans son ouvrage Une histoire des notations mathématiques Modèle:CitationModèle:,.

Une ambiguïté semble survenir dans l'utilisation de la barre oblique « / » au sein d'expressions comme 3/2x qu'on lira couramment 3/(2x). Il semble alors que la multiplication notée par la juxtaposition, aussi nommée multiplication implicite est interprétée comme ayant une priorité supérieure à la division, et donc 3/2x, pouvant être vu comme Modèle:Nowrap, devient égal alors à Modèle:Nowrap, et non à Modèle:Nowrap qui serait le cas si on appliquait la convention « de la gauche vers la droite ».

Mais, selon le standard international ISO 80000-2 édité en Modèle:Date- qui retranscrit les usages consensuels en mathématique, l'usage de ÷, nommé obélus, est tombé en désuétude et est remplacé par la fraction notée avec une barre oblique ou une barre horizontale, ce qui rend de fait la multiplication forcément implicite donc prioritaire et la règle de sens de lecture sans intérêt.

Modèle:Refnec.

Modèle:Refnec.

On choisira naturellement l'écriture (3/2)x ou 3x/2, qui ne présentent aucune ambiguïté, si cette expression est désirée.

Exponentiations successives

Si l'exponentiation est indiquée par un empilement de symboles en exposant, la règle usuelle est d'aller du haut vers le bas :

Modèle:Nowrap

ce qui typiquement n'est pas égal à (a^b)^c.

Toutefois, quand l'opérateur est noté par un caret (^) ou une flèche (↑), il n'y a pas de convention universelle. Par exemple, Microsoft Excel et le langage de programmation MATLAB évaluent a^b^c comme (a^b)^c, mais Google (moteur de recherche) et WolframAlpha comme a^(bc). Ainsi 4^3^2 est évalué à 4096 dans le premier cas et à 262144 dans le second.

Divisions successives

Une ambiguïté similaire se produit dans le cas de divisions successives. Par exemple, l'expression Modèle:Nowrap peut être interprétée comme

Modèle:Nowrap

ou comme

Modèle:Nowrap

Dans ce cas, la convention « opérations de gauche à droite » qui est la référence arithmétique résout l’ambiguïté en faveur de cette dernière expression. De même l'habitude mathématique de combiner les facteurs et de représenter la division comme une multiplication par l'inverse supprime aussi cette ambiguïté.

Arbre arithmétique

Modèle:Animation Un arbre d'expression arithmétique est un arbre dont les feuilles sont des nombres et dont les nœuds contiennent une opération arithmétique (somme, différence, produit, quotient, exponentiation,...). Toute expression arithmétique bien formée peut se résumer en un arbre arithmétique. Au sommet de l'arbre se trouve le dernier calcul à effectuer, les noeuds de niveau inférieur sont les avant-derniers calculs à effectuer, ainsi de suite jusqu'à arriver aux feuilles. Il s'agit donc de lire les priorités à l'envers.

Ainsi, dans l'exemple précédent : Modèle:Formule, le dernier calcul à effectuer est une soustraction entre Modèle:Formule et Modèle:Formule. L'arbre de l'expression est alors la concaténation de l'arbre de Modèle:Formule et de l'arbre de Modèle:Formule. L'arbre se construit de propre en proche. Le calcul s'effectue ensuite en partant des feuilles et en remontant jusqu'à la racine.

La représentation en arbre peut favoriser une vision structurelle d'une expression algébrique et mettre en évidence les priorités opératoires.

De l'écriture avec parenthèses à l'écriture sans parenthèse

En mathématiques, les opérations de base, addition, soustraction, multiplication, division, exponentiation sont binaires, c'est-à-dire, qu'à deux éléments, on associe un troisième appelé résultat de l'opération. Dans une expression complexe, il est normalement nécessaire de retrouver ces associations par paires. Les parenthèses permettent de déterminer avec précision les paires concernées lorsque la priorité des opérations n'est pas appliquée. Ainsi une écriture sous la forme $a+b.c-d+e$ ne permet pas d'identifier les paires concernées et peut être l'écriture incomplète de

$((a+b)\cdot (c-d))+e=(A\cdot B)+e$ avec $A=a+b$ et $B=c-d$

Les parenthèses définissent un ordre de calcul consistant à calculer d'abord les parenthèses les plus intérieures.

Mais l'expression incomplète pourrait tout autant être celle de :

$((((a+b)\cdot c))-d)+e$ (si on prenait comme convention l'ordre de lecture)

$(a+(b\cdot c))-(d+e)$

$((a+(b\cdot c))-d)+e$

$(a+((b\cdot c)-d))+e$

ou autres…

Entre la présence complète de toutes les parenthèses et l'écriture ambiguë sans aucune parenthèse, il a fallu définir certaines règles.

Associativité

Les premières sont héritées des propriétés d'associativité des lois utilisées. C'est le cas de l'addition et de la multiplication.

Ainsi les calculs de

$(a\cdot b)\cdot c$

et

$a\cdot (b\cdot c)$

donnant le même résultat, on autorise la suppression des parenthèses, le calcul

$a\cdot b\cdot c=(a\cdot b)\cdot c=a\cdot (b\cdot c)$

pouvant s'effectuer dans l'ordre de son choix. Il en est de même de l'écriture Modèle:Formule qui s'effectue dans l'ordre de son choix.

Il n'en est pas de même pour des mélanges d'additions et de soustractions. Ainsi les calculs de

Modèle:Formule

et de

Modèle:Formule

ne donnent pas le même résultat. La convention, là, est de voir dans une soustraction l'addition de l'opposé. Une écriture comme Modèle:Formule est alors une abréviation autorisée de Modèle:Formule.

Une telle convention n'est pas aussi explicite pour des mélanges de divisions et de multiplications. Les calculs de

Modèle:Formule

et de

Modèle:Formule

ne donnent pas le même résultat. L'expression Modèle:Formule est parfois interprétée comme Modèle:Formule mais cette interprétation est loin d'être universelle. Ainsi certaines calculatrices continuent à effectuer le calcul de

Modèle:Formule comme Modèle:Formule

et celui de

Modèle:Formule comme Modèle:Formule

L'écriture sous forme fractionnaire, présentant un délimitant fractionnaire, évite toute ambiguïté de ce genre et limite l'usage de la parenthèse :

Modèle:Formule s'écrit alors $\frac{a}{b}.c$,

et l'écriture Modèle:Formule, $\frac{a}{bc}$

Le cas de la puissance, à cause de sa disposition spatiale, pose un problème légèrement différent : le calcul de Modèle:Formule n'a pas même valeur que Modèle:Formule. La présence d'un délimitant spatial permet en partie de lever l'ambiguïté : l'expression

$a^{b^c}$

est une traduction sans parenthèses de la seconde expression. La première expression, elle, nécessite la présence des parenthèses ou bien un début de calcul

$(a^b{)}^c=a^{bc}$

Niveau opératoire

Il existe ensuite des niveaux opératoires qui précisent, en cas d'absence de parenthèses, les calculs à effectuer en premier : il s'agit de calculer d'abord les puissances, ensuite les produits et quotients et enfin les additions et les soustractions. Les parenthèses pouvant être remplacées par des indications de positions comme pour les fractions ou les exposants, ou des barres comme pour les racines.

Ainsi par convention l'écriture de départ,

Modèle:Formule

ne présente plus aucune ambiguïté avec ces nouvelles conventions et ne peut valoir que le résultat de la somme suivante :

Modèle:Formule

et une expression comme

$2x^2-3x+5$

ne peut se lire que sous la somme suivante

$(2(x^2))+(-3x)+5$

Lorsque le calcul à effectuer ne respecte pas cet ordre d'exécution, les parenthèses sont alors là pour indiquer les priorités non conventionnelles. Ainsi, l'expression

Modèle:Formule

étant interprétée comme

Modèle:Formule,

le produit de deux sommes doit comporter les parenthèses

Modèle:Formule

Mise en place historique des priorités

René Descartes, précurseur dans la notation symbolique.

Les premières écritures des formules mathématiques furent rhétoriques, c'est-à-dire sous forme de phrase. Le modèle de référence est le texte mathématique euclidien, celui mis en place dans les éléments d'Euclide en 300 Modèle:Av JC Dans celui-ci, l'ordre des opérations est explicite. Il n'y a pas confusion possible entre les deux phrases suivantes :

• ajoute à la première quantité, le produit de la seconde par la troisième ;
• ajoute les deux premières quantités puis multiplie le résultat par la troisième.

ni aucune ambiguïté dans la phrase

• Prends la racine carrée de la somme des deux termes.

Mais, lors de la mise en place du calcul symbolique à la fin du Modèle:S et tout au long du Modèle:S, se pose alors le problème de l'écriture d'expressions mathématiques complexes. Les deux textes précédents pouvant se traduire l'une et l'autre par la même notation symbolique

Modèle:Formule

et le troisième texte s'écrivant comme

Modèle:Formule

pouvait aussi se traduire par « prends la racine carrée de a et ajoute-lui b ».

La recherche s'est donc portée sur l'étude des délimitants. Ceux-ci avaient pour but de préciser quelles étaient les opérations principales et secondaires et comment devaient se regrouper les termes. Ces délimitants furent de plusieurs types. Les principaux sont

• le vinculum : une barre horizontale placée sous ou au-dessus de l'expression à regrouper. Cette syntaxe permet de distinguer les deux sens

$a+\underset{\_}{bc}$

et

$\underset{\_}{a+b}c$

de l'expression précédente. On trouve trace de ce vinculum dans la barre de la racine carrée puisque le troisième texte se traduit encore de nos jours par

$\sqrt{a+b}$

• le point
• la parenthèse

Ainsi une expression qui se lit de nos jours

Modèle:Formule,

s'écrivait

Modèle:Formule

et l'on trouve chez Descartes des expressions comme

Modèle:Formule.

signifiant actuellement

$\sqrt{3+\sqrt{2}}.$

Ces délimitants ou signes d'agrégation furent particulièrement étudiés par Leibniz qui les appelle des signes de comprehensio.

D'autres moyens d'agréger plusieurs contenus consistaient à les positionner sur des lignes différentes. On retrouve notamment cette habitude dans l'écriture spatiale des fractions où le positionnement par rapport à la ligne d'écriture sert de délimiteur confirmé par la barre de fraction, sorte de vinculum. Ainsi l'expression que Descartes écrit sous la forme

$\frac{a+\frac{b}{c}}{e+\frac{f}{g}}$

sera traduite par Leibniz, favorable à l'écriture linéaire,

Modèle:Formule

On peut à ce sujet signaler l'importance de la position spatiale pour la lecture des priorités dans une expression comme

$E=\frac{a}{\frac{b}{c}}$

qui doit être lue

$E=a:(b:c)$

alors que

$F=\frac{\frac{a}{b}}{c}$

doit être lue

$F=(a:b):c$

Descartes utilise grandement la notation spatiale pour regrouper par exemple les termes à l'intérieur d'un produit, ainsi on peut lire chez lui des expressions comme

$y^6-2b{y}^5+\begin{array}{c}-2cd\\ +b^2\\ +d^2\end{array}\}{y}^4+\begin{array}{c}+4bcd\\ -2d^{2}v\end{array}\}{y}^3+\begin{array}{c}-2b^{2}cd\\ +c^2{d}^2\\ -d^2{s}^2\\ +d^2{v}^2\end{array}\}{y}^2-2b{c}^2{d}^{2}y+b^2{c}^2{d}^2=0$,

Le cas particulier de l'exponentiation doit être évoqué pour son rôle positionnel non symétrique : dans une écriture comme

Modèle:Formule,

la position de Modèle:Formule sur la ligne de l'exponentiation vaut comme signe d'agrégation et l'expression ne peut pas être confondue avec

Modèle:Formule.

En revanche, le fait que 3 et a soient tous les deux placés sur la ligne de calcul ne permet pas pour autant de les agréger et, de manière implicite, dès les premières exponentiations, chez Descartes, seul le premier terme à gauche de la puissance est concerné.

En toute théorie, toute expression mathématique complexe devrait contenir autant de délimitants que nécessaire pour lever toute ambiguïté. Ainsi une écriture comme

Modèle:Formule

devrait s'écrire

$3a^{2b+5}=3\left(a^{2b+5}\right)$

$3a^{2b+5}=3\left(a^{(2b+5)}\right)$

$3a^{2b+5}=3\left(a^{(\left(2b\right)+5)}\right)$

écriture qui, certes, ne présente aucune autre interprétation, mais ne brille pas par la clarté de sa lecture.

La suppression de certains délimitants, comme dans l'exemple de l'exponentiation évoqué précédemment, apparaît naturellement chez les premiers auteurs comme Descartes ou Leibniz. Ainsi dans la résolution de l'équation du second degré que Descartes écrit

$zz=az+bb$

et dont il propose comme solution

$\frac{1}{2}a+\sqrt{\frac{1}{4}aa+bb}$,

celui-ci omet délibérément les délimitants

$zz=(az)+(bb)$

et

$\left(\frac{1}{2}a\right)+\sqrt{\left(\frac{1}{4}aa\right)+(bb)}$

sans que soient jamais indiquées les règles de priorité qui régissent ce type de calcul.

Il faut probablement voir dans cette absence de délimitant une interprétation quant à la nature des objets manipulés. Cette interprétation en termes d'unité se retrouve déjà dans des textes rhétoriques. Quand les traducteurs d'Euclide écrivent, concernant le partage entre moyenne et extrême raison Modèle:Citation bloc il n'y a pour eux aucune ambiguïté. Le mathématicien moderne, cherchant à écrire sous forme algébrique une telle expression et appelant x le plus grand segment et L la ligne se trouverait devant deux interprétations pour ce texte :

• le carré du plus grand segment (xModèle:Exp) ajouté à la moitié du tout (L/2) est égal à cinq fois le carré de la moitié (5(L/2)Modèle:Exp) ;
• Le carré du Modèle:Citation ((x+L/2)Modèle:Exp) est égal à cinq fois le carré de la moitié (5(L/2)Modèle:Exp).

Pour Euclide et ses lecteurs, en revanche, il n'existe aucune ambiguïté, la première interprétation n'ayant aucun sens à leurs yeux. Le carré du plus grand segment étant une aire, et la moitié du tout étant une longueur, il n'y a aucun sens à ajouter une aire et une longueur et seule la seconde interprétation est correcte.

De même, quand Descartes écrit

$zz=az+bb$,

le membre de gauche reste pour lui une aire et tout autre agrégation du second membre que celle couramment admise, ne pourrait conduire à une aire. Enfin le 1/2 devant a est davantage vu comme une fraction qu'une multiplication, on prend la moitié de a. De même, il n'y a pas moyen d'agréger différemment

$\frac{1}{4}aa+bb$

sans que l'expression perde sa qualité d'aire.

Descartes donc, et ses successeurs, ont établi de manière implicite les règles de priorité opératoire qui sont utilisées actuellement. L'usage des parenthèses n'intervenant que pour déroger à ces priorités ou lever une ambiguïté sur le contenu.

La convention qui aurait privilégié l'ordre d'écriture, c'est-à-dire qui aurait consisté à effectuer les opérations dans leur ordre d'apparition, de la gauche vers la droite, sauf contrordre signalé par des délimiteurs, aurait chargé inutilement des expressions comme $az+bb$. Elle aurait, de plus, installé un ordre prioritaire (ce qui est à gauche est plus aggloméré que ce qui arrive à droite) qui serait entré en conflit avec les propriétés de commutativité (ce qui est à gauche peut passer à droite)

D'autres priorités ont tenté de voir le jour comme la notation polonaise inversée au début de Modèle:S mais elles n'ont pas résisté à trois siècles de conventions et de publications.

En informatique

En informatique, le concept de priorité des opérations porte en anglais le nom operator precedence.

Il porte aussi sur les opérateurs logiques : ainsi le « et » (logique) est prioritaire sur le « ou » (logique).

Certains langages informatiques comme le langage C ne possèdent que des opérateurs dont la fonction et la priorité sont prédéfinies. D'autres langages comme Haskell et Raku (Perl 6) permettent au programmeur de définir de nouveaux opérateurs dont ils doivent aussi spécifier la priorité.

Bibliographie

• Modèle:Chapitre.
• Modèle:Chapitre.

Voir aussi

Articles connexes

• Calcul algébrique
• Opération (mathématiques)

Liens externes

• Modèle:YouTube
• Modèle:Planetmath