Matpic
mathematics, in pictures
Concept

Inversion

The map that sends each point out along its own ray from a fixed centre, to the distance whose product with the original is the square of a fixed radius. It carries circles and lines to circles and lines and preserves angles, which is what turns a hard tangency question into an easy one.

Named by 8 essays across 3 fields — each of them below, with the objects they name alongside it.

Inversion in a circle of radius 1. Three points and their images under inversion in a circle: each image lies on the same ray from the centre, at the distance whose product with the original is the squared radius. Beside it, the tangent construction that finds the image with compass and straightedge.

The map that trades circles for lines

Send every point to the one on the same ray whose distance multiplies with it to a fixed number, and circles become lines, lines become circles, angles survive untouched, and a ring of tangent circles falls out of a ring of equal ones.

geometry · Inversion The midpoint of a segment, drawn with a compass and no straightedge. A segment with the arcs that step its length three times round one end to reach the point twice as far away, and the further arcs that send that point back to the midpoint, every one of them a circle.

The straightedge buys nothing

Every point a compass and a straightedge can construct together can be constructed by the compass alone. The straightedge draws lines nobody needs; the compass does the work, and the proof that it does is an inversion performed with arcs.

computation · Compass-only Eight circles touching three. Three given circles and the eight circles tangent to all of them, each labelled by which of the three it contains and which it lies outside.

Eight circles touching three

Draw three circles. How many circles touch all three? The answer is eight, the count is a fact about signs rather than about geometry, and the classical way to find them is to move the problem somewhere it becomes easy.

geometry · Inversion An Apollonian gasket, 125 circles in. The Apollonian gasket generated from four mutually tangent circles of curvature −1, 2, 2 and 3, drawn to 4 generations; every curvature in it is a whole number.

Curvatures that stay whole

Four circles touching one another satisfy an equation in their curvatures. Read it as a quadratic and the second solution is the first subtracted from something — so a packing that starts with whole numbers stays whole forever.

geometry · Inversion Two inversions, and the number four points agree on. Four points, their images after one inversion and after a second in a different circle, with the cross-ratio computed at each stage; it is conjugated once and restored twice.

The number four points agree on

One inversion is a reflection and reverses orientation. Two of them compose to a motion, and what that motion leaves alone is a single number computed from any four points.

geometry · Inversion Nineteen circles, one per vertex. A circle packing of a triangulation with seven interior vertices and twelve on the boundary: two circles touch exactly when their vertices are joined, and the radii were solved for rather than chosen.

Every flat graph is a pile of circles

A graph that can be drawn without crossings can be drawn in one particular way: as circles, one per vertex, touching exactly when their vertices are joined. The picture is not a choice — it is determined, up to the group two inversions generate.

geometry · Inversion A circle stays a circle, unless it meets the pole. 3 circles on a sphere beside their stereographic images in the plane, which are circles, together with one circle through the projection point whose image is a straight line.

Angles survive and areas do not

Stereographic projection takes every circle on the sphere to a circle or a line, and every crossing angle to itself. It does both exactly, with no approximation anywhere, and it destroys area so thoroughly that a patch near the pole can be a thousand times its neighbour's size.

topology · Stereographic projection The centre of a circle found with six circles and no straightedge. A circle with two marked points 37.3° apart and the six compass circles that construct its centre.

The centre a compass finds in six circles

A circle is drawn and its centre was never marked. A straightedge alone can never find it again. A compass alone can, from two points on the circle, in six circles — and a search through every construction of five circles or fewer shows that six is the least. The reason six works is an inversion that turns the circle into a straight line; the price of discarding the straightedge is exactly one move.

computation · Compass-only

Named alongside it

The objects these essays reach for when they reach for this one.

CircleConformal mapConstructionTangencyCompassCross-ratioFixed pointMobius transformationQuadratic polynomialsSphereAngleApollonian gasket

All concepts