Concept

Circle

The set of points at a fixed distance from a centre, which is the shape a fixed length sweeps out as it turns. It is the shape enclosing the most area for its perimeter, and the unit circle is where the trigonometric functions are read off.

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

An angle standing on a chord. A circle with a fixed chord and a movable apex on the major arc. The angle at the apex is 60 degrees wherever the apex is put, and the angle the same chord subtends at the centre is 120 degrees.

An angle that does not care where it stands

Fix two points on a circle and look at them from anywhere else on the far arc. The angle is the same from every one of those places, and it is exactly half the angle at the centre.

geometry · Inscribed angle
The plane divided by nearest neighbour. 10 sites, and every point of the rectangle shaded by which site is closest to it. The boundaries are the places where two sites tie.

The plane, divided by whoever is nearest

Scatter some points and colour every other point of the plane by which one is closest. The result is a tiling nobody designed, and its dual triangulation has a property that no part of the construction mentions.

geometry · Voronoi
Two points, and everything one round of compass and straightedge adds. Two starting points with the line and circles they permit, and the four points where those objects cross.

What two points can build

A compass and a straightedge are not a craft. They are two operations on a set of points, applied over and over, and writing them that way turns "can this be drawn?" into a question with an answer.

computation · Constructible numbers
One perimeter of 300, spent five ways. Regular polygons all of the same perimeter, drawn to scale beside the circle of that perimeter, with the area each encloses and the ratio 4πA/L².

The most area a fence can hold

One length of boundary, and the question of what shape to bend it into. The answer is a circle, everybody knows it, and the argument that convinced the nineteenth century turned out to prove something slightly different.

geometry · Isoperimetric
Nine points of a triangle, on one circle. A triangle with the midpoints of its sides, the feet of its three altitudes and the midpoints from each corner to the orthocentre marked; all nine lie on a single circle of half the circumradius.

Nine points on one circle

Three midpoints, three feet of altitudes and three more midpoints. Nine points defined in three unrelated ways, on an arbitrary triangle, and all nine sit on one circle — checked here on two hundred and forty triangles as well as on the drawn one.

geometry · Triangle centres
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
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
The diagram when the sites are not the same size. 7 weighted sites drawn as circles of different radius, with the power diagram over them. The boundaries are straight, as in the unweighted diagram, but each one is pushed towards the smaller of the two circles it separates.

When the sites are not the same size

Give every site a weight and the boundaries slide. The cells stay convex and the edges stay straight, which is surprising, and one thing happens that the unweighted diagram never allows — a site can end up owning nothing at all.

geometry · Voronoi
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 circle is used once, and its centre is the point. A circle with its centre and one diameter, a point above it, and the straightedge-only construction of the parallel to that diameter through the point.

One circle, and a straightedge

A straightedge alone cannot bisect a segment, so it cannot draw a parallel, so it can construct almost nothing. Draw one circle anywhere and mark its centre and everything a compass could ever have done becomes available — the circle is never needed again.

computation · Compass-only
A compass that will not change its opening. A segment longer than twice the compass's fixed opening, with the opening stepped along it 2 times and the remaining piece bisected by two arcs of that same opening.

The compass that will not open

Fix the compass at one opening and never change it. That looks like a serious loss — a circle of a given radius through a given point is the compass's whole job — and it turns out to cost nothing at all, for reasons that are arithmetic rather than geometric.

computation · Compass-only
Fences of 300 against a straight wall. Fences made of two, three and four straight pieces with both ends on a wall, beside a half-circle with the same length of fence, each labelled with the area it holds.

Half a circle against a wall

Lay a fence of fixed length with both ends against a straight wall and the best shape is a half-circle, holding exactly twice what a full circle of the same fence holds. The proof is a mirror: doubled in the wall, any fence becomes a closed curve with twice the length and twice the area, and the closed-curve answer carries over. In a corner the same mirrors give a slice of a circle — until the corner's angle stops dividing a half-turn.

geometry · Isoperimetric
Four shapes of perimeter 300 between their inner and outer circles. A square, an ellipse, a Reuleaux triangle and a stadium, each drawn with the largest circle inside it and the smallest circle around it, the ring between the two shaded, with the ring's width and the widest ring allowed.

Nearly the most means nearly round

A shape that holds almost as much as a circle of the same perimeter must almost be a circle. Bonnesen made that exact: the ring between a convex shape's largest inscribed circle and smallest enclosing circle is never wider than √(L² − 4πA)/π. Three quite different shapes holding 99% of the circle's area all have rings under 9.55 wide, and not one of 200 random convex shapes breaks the bound.

geometry · Isoperimetric
The nine-point circle, touching four others. A triangle with its nine-point circle, its inscribed circle and its three escribed circles, each of the four tangent to the first — with the distances between centres compared against the radii.

One circle touching four

The nine-point circle touches the inscribed circle and each of the three escribed ones. Nothing in its construction mentions them, the two families of centres are built from different kinds of number, and the tangency is four exact equalities between distances and radii.

geometry · Triangle centres
The midpoint of AB: simplicity 11. A construction drawn step by step — the midpoint of AB, using ruler and compass — with each circle and line numbered in order and Lemoine's count of its operations beneath.

The price of a construction

Three theorems have shown that a compass alone, a straightedge with one circle, and a compass stuck at one opening all reach exactly the points a full set of instruments reaches. None of them said what the journey costs. Émile Lemoine priced every movement of the hand in 1888, and by his count a compass that collapses when lifted — Euclid's — pays twenty-one operations, by Euclid's own method, for what a compass that holds its opening does in four.

computation · Compass-only
Every chord through the point cuts into pieces whose product is 16.00. A circle with a point inside it and four chords drawn through the point, each labelled with the lengths of its two pieces, beside four rectangles whose sides are those pieces and whose areas are all equal.

One number for every chord through a point

Draw any line through a point and let it cut a circle twice. The two distances from the point to the circle multiply to the same number whichever line is drawn — inside, outside, or grazing as a tangent. The number belongs to the point, and the reason it does not depend on the line is the inscribed angle: two chords through a point cut out two triangles with the same angles.

geometry · Inscribed angle

Named alongside it

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

ConstructionConvexitySimilar trianglesInscribed angleInversionTangencyAreaConstructible numberIncidenceLocusOptimalityStraightedge

All concepts