Stereographic projection preserves circles

From Companal

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