Luego, se demuestra que la distancia entre estos dos puntos tiene que ser necesariamente cero lo que supone que estos segmentos son idénticos, demostrando la perpendicularidad.