Earth radius
where formula_9 and formula_10 are the "n"-vectors representing the two positions "a" and "b". formula_11 is the angular difference, and thus the great-circle distance is achieved by multiplying with the Earth radius. This expression also works at the poles and at the ±180° meridian.