Lehmann 1.4. Distancia entre dos puntos

Teorema: En un sistema coordenado lineal, la longitud del segmento dirigido que une dos puntos se obtiene, en magnitud y signo, restando la coordenada del punto de origen de la coordenada del punto final. La distancia entre dos puntos se define como el valor numérico (valor absoluto) de la longitud del segmento rectilíneo que une esos dos puntos.