Bon j'ai trouvé une méthode, mais ce qui me gène c'est qu'il y a surement bien plus simple mais je trouve pas.
Tu as:
d(x,y) >= d(x,y)
d(y,t) >= d(y,z) - d(z,t)
d(z,t) >= d(z,t)
d(z,x) >= d(z,y) - d(x,y)
Donc d(x,y)+d(y,t)+d(t,z)+d(z,x) >= 2d(y,z) (I1)
Et:
d(x,y) >= d(x,t) - d(t,y)
d(y,t) >= d(y,t)
d(z,t) >= d(z,t)
d(z,x) >= d(x,t) - d(t,z)
Donc d(x,y)+d(y,t)+d(t,z)+d(z,x) >= 2d(x,t) (I2)
Donc 2(d(x,y)+d(y,t)+d(t,z)+d(z,x)) >= 2d(x,t) + 2d(y,z)
Après tu divises par 2.
J'ai pas relu j’espère ne pas mettre trompé