Les deux premières affirmations suivent directement des propriétés de la valeur absolue. Pour la troisième, on insère
−z+z=0, et on utilise l’inégalité triangulaire:
dist(x,y)=∣x−y∣=∣(x−z)+(z−y)∣⩽∣x−z∣+∣z−y∣=dist(x,z)+dist(z,y).Remarque: En géométrie Euclidienne, l’inégalité triangulaire dit que le chemin direct allant d’un point
A à un point
B est plus court que tout autre chemin (rectiligne) passant par un point intermédiaire
C:
dist(A,B)⩽dist(A,C)+dist(C,B).□