Je ne sais honnêtement pas si cela peut être utile :

bonjour
on pose;  a=b+(a+c)-(b+c)  donc;|a|<_|b|+|a+c|+|b+c|
de mme pour b on a;            |b|<_|a| +|b+c|+|a+c|
D'oû                       -|a+c|-|b+c|<_ |a|-|b|<_|a+c|+|b+c|
  D'oû le résultat

Bonjour kachouyab

Bonjour ELHOR. j espere que vous allez bien.

Y'a juste une erreur kachouyab : ta réponse concerne module(a)-module(b) mais moi c'est module(module(a)-module(b))

rappel;
     |x|<_y  ssi   -y<_x<_y
dans ton éxo  x correspond à |a|-|b|

Je suis sceptique... Normalement on a pas le droit de soustraire membre à membre une inégalité non? Faut d'abord multiplier des deux côtés par (-1). Or ce faisant on change le sens de la deuxième inégalité et ce serait faux... A confirmer

Ah non je crois que j'ai compris
/me joue son boulet

Merci beaucoup
PS : ce serait mieux de mettre une fonction "éditer ses messages" non?

pas de soustraction membre à membre..
récapitulons;
    |a|<_|b|+|a+c|+|b+c| implique    |a|-|b|<_ |a+c|+|b+c|
    |b|<_|a| +|b+c|+|a+c| implique   |b|-|a| <_ |b+c|+|a+c|
                           implique  |a|-|b| >/ -|b+c|-|a+c|