Hyperbolic Inversion (Inversion II)

The first time I taught hyperbolic geometry, I thought I could be done in a week. I also thought that it would help to do spherical and hyperbolic geometry side by side. To save time, I did it not side by side, but simultaneously, using the quadratic forms
Quadform
For negative ε, the spheres become hyperboloids, but the formula for inversion I(x) = x/ x ‧ x still works, with all its suitably formulated properties. Hence one can use the stereographic projection both for spheres and the hyperboloid in Lorentz space to get all the models with its simultaneously.

Needless to say, this was a complete disaster. Let’s just study the 2-dimensional hyperbolic inversion. Circles in this geometry are the level sets of the quadratic form above, which are hyperbolas. Below you see concentric hyperbolas with growing radius. For each radius, you get two branches. The squared radius can be 0, in which case you get the two diagonals, and even negative, so that the hyperbolas open upward and downward.

Concentric 01

These and their translates are the only hyperbolas we will consider, others belong to other quadratic forms. Let’s begin simple and invert a family of parallel horizontal lines at the blue hyperbola. Their images are hyperbolas with one branch intersecting the mirror hyperbola in the same points as the lines, and all touching at the origin.

Horizontal 01

In fact, all lines are mapped to hyperbolas. Below are to families of line segments and their image hyperbolas.

Stars 01

If you want to check this with a computation: A line through (a,b) making angle φ with the x-axis is mapped to a hyperbola with “center” p and squared radius

Linetohyperbola

Then, certain hyperbolas (namely level sets of our quadratic form) are mapped to hyperbolas. Below, the purplish hyperbolas are concentric, and their greenish images pass through the same pair points. (Where do these intersections come from – – -?).

Hyperbolicinv 01

In formulas: A hyperbola with center (a,b) and radius r is mapped to another hyperbola with

Hyp2hyp

Are circles mapped to circles?

Invcircles 01

Evidently not. Euclid isn’t here anymore, circles are not round, and we better don’t mention the rest.

Inversion at the Circle

Inv2 01

My first encounter with the inversion at a circle happened through Stan Ogilvy’s wonderful little book Excursions in Geometry. It is like a magic key: When you know how to use it, it opens many doors. The definition is simple: A point at distance r from the center of the uniut circle is inverted to a point on the ray through that point at distance 1/r.

One of the magic facts one has to learn is that this inversion maps lines or circles to lines or circles. More precisely:

  1. Lines through the origin or mapped to lines through the origin.
  2. Circles through the origin or mapped to lines not through the origin (and vice versa).
  3. Circles not through the origin or mapped to circles not through the origin.

Why is this true? One can of course prove this by computation. The formulas are not pretty and provide little insight. One can argue geometrically, but the diagrams get very messy. I suspect that a decent way to to this is to define a circles/line through three points as the set of points whose cross ratio with the three points is real, and then show that Möbius transformations preserve cross ratios. But arguments quickly become circular this way…

Here I am outlining a hybrid approach. We will only use two simple facts about triangle. Thales theorem

Thales 01

characterizes circles as those points that make a right angle over a given hypothenuse. Secondly a triangle ABC has a right angle at C if the pre-Pythagorean theorem AD AB = AC^2 holds. This follows from the similarity of triangles ABC and ACD.

We will now begin with the simplest non-trivial case, where the vertical straight line tangent to the unit circle at 1, is inverted to a circle with center at 1/2 and radius 1/2.

Inversion line 01

We use our geometric preliminaries: By Thales, the point q’ lies on the orange circle iff the angle at q’ is a right angle. This is the case iff the two triangles 01q’ and 0q1 are similar, and that is true iff |q||q’|=1.

That case was easy. All other non-trivial cases have significantly more complicated proofs, as far as I know. Therefore we will reduce all other cases to the one we just saw.

We will look at an arbitrary vertical line L not through the origin.
Let R(z) = r z be a homothety with r being fixed positve number chosen so that R maps our line to the vertical line through 1. We denote the inversion by I(z) = z/|z|^2. Please check in your head that R I R = I. This means that we can determine I(L) by computing R(I(R(L))). This is easy, because R(L) is the vertical line through 1, I(R(L)) the circle centered at 1/2 with radius 1/2, and R(I(R(L))) a circle through the origin. Because inversion is compatible with rotations about the origin, we have no proven the second statement above. The first was trivial.

Circleintouch2

Next we look at a circle C that touches the unit circle at the point 1.
For notational simplicity, we will argue with the reciprocal map 1/z instead of I(z). They only differ by a complex conjugation. Then

  • z-1 maps C to a circle through 0.
  • 1/(z-1) maps C to a line not through 0.
  • 1+1/(z-1) maps C to another vertical line.
  • 1/(1+1/(z-1)) maps C to another circle.
  • 1-1/(1-1/(1-z)) maps C to another circle.

So far so good. That last expression turns out to be equal to 1/z, so that in fact 1/z maps C indeed to a circle. I promised no serious computations.
Why then is this strange identity true? By taking reciprocals, it can be written even more dramatically as

Phi3

where φ(z) = 1/(1-z). No φ is a Möbius transformation that maps 0 to 1 to ∞ to 0. This means that its third power fixed these three points and therefore must be the identity as claimed.

Circleinv2

Lastly, we need to consider a general circle not through 0. Using a homothety R as before, we can map it to a circle touching the unit circle, invert, and scale again, using RIR=R.

It is a pity that this material is not taught in high schools, and even considered “obscure”. Its close cousin, the stereographic projection, and its corresponding properties were at the foundation of Astronomy and Navigation all the way through the Middle Ages. Only Mercator’s projection improved on the Astrolabe. Moreover, the inversion opens the door to hyperbolic geometry.