The distance between two points and
is given by
, where
and
are the edgepoints of the line joining them.
To prove the second property, note that interchanging and
in the formula replaces the cross ratio by its reciprocal and
the logarithm by its negative. The absolute value ensures that
the end result is the same:
.