Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

14.5: On Inversive Transformations

( \newcommand{\kernel}{\mathrm{null}\,}\)

Recall that the inversive plane is the Euclidean plane with an added point at infinity, denoted by . We assume that every line passes thru . Recall that the term circline stands for circle or line.

An inversive transformation is a bijection from the inversive plane to itself that sends circlines to circlines. Inversive geometry studies the circline incidence structure of the inversive plane (it sees which points lie on which circlines and nothing else).

Theorem 14.5.1

A map from the inversive plane to itself is an inversive transformation if and only if it can be presented as a composition of inversions and reflections.

Exercise 18.8.3 gives another description of inversive transformations by means of complex coordinates.

Proof

Evidently, reflection is an inversive transformation — it maps lines to lines and circles to circles. According to Theorem 10.3.1, any inversion is an inversive transformation as well. Therefore, the same holds for any composition of inversions and reflections.

To prove the converse, fix an inversive transformation α.

Assume α()=. Recall that any circline passing thru is a line. If follows that α maps lines to lines; that is, α is an affine transformation that also maps circles to circles.

Note that any motion or scaling (defined in Exercise 14.1.2b) are affine transformations that map circles to circles. Composing α with motions and scalings, we can obtain another affine transformation α that maps a given unit circle Γ to itself. By Exercise 14.2.3, α fixes the center, say O, of the circle Γ.

Set P=α(P). It follows that if OP=1, then OP=1. By Proposition 14.3.1, OP=OP for any point P. Finally, by Exercise 14.3.1, we have that if XY=OP, then XY=OP. It follows that XY=XY for any points X and Y; that is, α is a motion.

Summarizing the discussion above, α is a composition of motions and scalings. Observe that any scaling is a composition of two inversions in concentric circles. Recall that any motion is a composition of reflections (see Exercise 5.4.1). Whence α is a composition of inversions and reflections.

In the remaining case α(), set P=α(). Consider an inversion β in a circle with center at P and set γ=βα. Note that β(P)=; therefore, γ()=. Since α and β are inversive, so is γ. From above we get that γ is a composition of reflections and inversions. Since β is self-inverse, we get α=βγ; therefore α is a composition of reflections and inversions as well.

Exercise 14.5.1

Show that inversive transformations preserve the angle between arcs up to sign.

More precisely, assume AB1C1, AB2C2 are the images of two arcs AB1C1, AB2C2 under an inversive transformation. Let α and α denote the angle between the tangent half-lines to AB1C1 and AB2C2 at A and the angle between the tangent half-lines to AB1C1 and AB2C2 at A respectively. Then

α=±α.

Hint

Apply Theorem 10.6.1 and Theorem 14.5.1

Exercise 14.5.2

Show that any reflection can be presented as a composition of three inversions.

Hint

Fix a line . Choose a circle Γ with its center not on . Let Ω be the inverse of in Γ; not that Ω is a circle.

Let ιΓ and ιΩ dentoe the inversions in Γ and Ω. Apply Corollary 10.6.1 to show that the composition ιΓιΩιΓ is the reflection across .

The exercise above implies a stronger version of Theorem 14.5.1; namely any inversive transformation is a composition of inversions — no reflections needed.


This page titled 14.5: On Inversive Transformations is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?