Statement
Setup
- Further information: Stereographic projection
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
The following two facts are true:
- Circles in
get mapped to circles in 
- A circle in
that passes through
, minus the point
, gets mapped to a straight line in 
Facts used
Proof
Computational proof
Fill this in later