Distance formula for inverse stereographic projection
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