Bravo

Par contre pour la condition avec x y et z , c'est une conséquence directe de l'inégalité triangulaire ?

Je pense que c'est ça oui.
Tu as a+b>c donc il existe une réel positif égal à la différence a+b-c on le note 2y donc a+b=c+2y
Pareil pour b+c>a tu as b+c=a+2z
De même avec a+c>b a+c=b+2x

Tu as donc le système à résoudre
b+c=a+2z
a+c=b+2x
a+b=c+2y

Et ça te donne bien ce qu'on veut

Ouai ok merci c'est ce que j'avais compris

C'est sympa, on y pense pas forcément

Il aura quand même fallu attendre plus d'un an pour avoir la réponse

La frequence a laquelle amandin frequente le forum quoi

Amandin notre sauveur