Statement
Consider the inverse stereographic projection map:
where
is the north pole in
.
Then the distance in
between
and
is given by:
Facts used
We use here the formula for inverse stereographic projection:
Proof
We simply plug in the formula for
in the formula to calculate the distance between two points in Euclidean space. Fill this in later