(X,d) metrik uzay olmak üzere her x,y,z∈X için |d(x,z)−d(z,y)|≤d(x,y) olduğunu gösteriniz.
x,y,z∈X(X,d) metrik uzay⇒d,X'de metrik}⇒d(z,y)≤d(z,x)+d(x,y)
⇒−d(x,y)≤d(x,z)−d(z,y)…(1)
x,y,z∈X(X,d) metrik uzay⇒d,X'de metrik}⇒d(x,z)≤d(x,y)+d(y,z)
⇒d(x,z)−d(z,y)≤d(x,y)…(2)
(1),(2)⇒−d(x,y)≤d(x,z)−d(z,y)≤d(x,y)⇒|d(x,z)−d(z,y)|≤d(x,y).