d metrik olduğundan
d(x,z)≤d(x,y)+d(y,z)⇒d(x,z)−d(y,z)≤d(x,y) ...(1)
d(y,z)≤d(y,x)+d(x,z)⇒−d(x,y)≤d(x,z)−d(y,z) ...(2)
(1) ve (2 ) eşitsilziklerinden
−d(x,y)≤d(x,z)−d(y,z)≤d(x,y)=|d(x,z)−d(z,y)|≤d(x,y) elde edilir. Bu eişitsilziği kulanarak diğer ifadeyi gösterebiliriz.
|d(x,z)−d(y,t))|≤d(x,y)+d(z,t)
|d(x,z)−d(y,z)|≤d(x,z)⇒−d(x,z)≤d(x,z)−d(y,z)≤d(x,z) ...(*)
|d(y,z)−d(z,t)|≤d(y,t)⇒−d(y,t)≤d(y,z)−d(z,t)≤d(y,t) ...(**)
(* ) ve (** ) eşitsizliklerini taraf tarafa toplarsak
−(d(x,z)+d(y,t))≤d(x,y)−d(z,t)≤d(x,z)+d(y,t) |d(x,y)−d(z,t)|≤d(x,z)+d(y,t)