Hum, oui effectivement.
En fait j'ai toujours considéré que / avait une priorité supérieure à ×, mais ça a l'air équivalent à considérer que / et × sont associatifs à gauche avec la même priorité.
En gros, "+" et "-" n'ont pas besoin d'avoir de définition de priorité. Idem pour "*" et "/", car on les a défini de manière symétrique (on peut passer de l'un à l'autre sans difficulté), et personne n'a de difficulté à opérer 5*8*1*(1/7).
Par exemple, la preuve que 5/8*9=9*5/8 :
5/8*9=5*(1/8)*9=9*5*(1/8)=9*5/8.
Si on voulait 5/(8*9) on ferait 5/8/9 (je sens déjà certains faire une syncope tellement c'est immonde).
Aller, on répète plus explicitement. On commence par "+", -" avant d'attaquer "*", "/".
On définit "+" et on trouve son élément neutre de "+" que l'on note "0" (c'est à dire x+0=x). Ensuite, on nous donne un nombre "x" et on trouve l'élément inverse "x2" qui va être choisi par la relation : x+x2=0. Pour 8, ce sera le nombre "-8" (ici, le "-" signifie qu'il est négatif).
Ensuite on définit l'opération "-" (c'est ici qu'il faudra être attentif pour plus tard) symétriquement à "+", c'est l'opération qui va donner x-y= x+y2 où y2 est l'inverse de y dans "+". Ainsi 8-7, c'est 8+(-7).
On décide de nommer l'inverse de a :"0-a", car les propriétés des opérations le permettent (mais on a mieux, on a "-a" donc pas besoin de l'utiliser).
Comme "+" est commutatif, on peut inverser a+b-c=a+b+(-c)=(-c)+a+b, donc 4+8-3=(-3)+4+8.
Maintenant, attaquons nous à "*". On trouve l'élément neutre de "*" que l'on note "1" (c'est à dire que x*1=x). Ensuite on nous donne "x" et on trouve l'élément inverse "x2" qui va être choisi par la relation x*x2=1. Pour 5, ce sera la nombre "0.2".
On remarque que 0 n'a pas d'inverse.
Ensuite on définit l'opération "/" symétriquement à "*", c'est l'opération qui va donner x/y=x*y2 où y2 est l'inverse de y dans "*". Ainsi, 8/5=8*(0.2).
Comme "0" n'a pas d'inverse, "8/0" ne signifie rien.
On décide de nommer l'inverse de "x", "1/x" (on l'utilise plus souvent car il est chiant de noter "0.33333-" pour 1/3).
Comme "*" est commutatif, on peut inverser a*b/c=a*b*(1/c)=a*(1/c)*b=(1/c)*a*b.
Il se trouve qu'il faut définit un ordre de priorité entre + et *, mais sinon nul besoin.
Bref, quelle était la question ? On cherche 1/2(1+1). Alors déjà appliquons la parenthèse : 1/2*2. Et appliquons la définition : 1/2*2=1*(1/2)*2=2
Des trucs immondes comme "1/5/8/7" se retrouvent avec 5*(1/5)*(1/8)*(1/7).
On peut continuer avec les puissances et racines (le symbole "racine" courte qui ne survole pas tous les nombres), d'ailleurs. On met un ordre de priorité à la puissance, puis à la multiplication puis à l'addition.