Distance formula for inverse stereographic projection

From Companal

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