Statement
Setup
Consider
, three-dimensional Euclidean space, with coordinates
. Denote:
Identify
with the
-plane under the map:
Let
denote the north pole in
, and define the stereographic projection as a bijective map:
which sends a point
to the unique point in
that is collinear with
and
.
Actual statement
Pick any point
. Then there is a natural induced map from the tangent space to
in
to the tangent space to its image, in
. This map is conformal, i.e. it preserves angles.
In other words, if we make two smooth curves in
that intersect at
, the angle of intersection between those curves at
equals the angle of intersection of their images under stereographic projection.