Matpic
mathematics, in pictures
Concept

Straightedge and compass

The two classical drawing operations — the line through two points and the circle centred at one through another — and nothing else. What they can reach is exactly the numbers built from the four operations and square roots, which is what settles the classical impossibilities.

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

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 The tower ℚ ⊂ ℚ(√2) ⊂ ℚ(√2, √3). A tower of field extensions with the degree of each step, beside the multiplication table of the basis.

Every step is a square root

A line meets a line by solving a linear equation and a circle by solving a quadratic one. There is no third case, so the numbers a construction reaches can only ever double in complexity — and a doubling is a thing that can be counted.

computation · Constructible numbers Every rational number that could be a root of x³ − 2. A table of the candidate rational roots allowed by the rational root theorem, with the polynomial's exact value at each.

The cube that will not double

Doubling a cube needs an edge in the ratio of the cube root of two. That number satisfies an equation of degree three, three does not divide any power of two, and the oldest open problem in geometry closes in a line.

computation · Constructible numbers Which angles with a rational cosine can be cut in three. A dial of angles marked trisectable or not, beside the cubic whose rational roots decided each one.

The angle that will not divide by three

Halving an angle costs one circle. Cutting it in three means solving a cubic, and for sixty degrees that cubic has no rational root — but plenty of angles do trisect, and which ones is a question with a countable answer.

computation · Constructible numbers Which regular polygons a compass and straightedge can draw, up to 100. A grid of the integers with the constructible ones filled in, each verdict computed two independent ways.

Which polygons can be drawn

Three sides yes, seven no, seventeen yes. The list of constructible regular polygons is neither everything nor almost nothing, and the pattern in it is a fact about which numbers are one less than a power of two.

computation · Constructible numbers Looking for a polynomial with π as a root. A table of the closest an integer polynomial of each degree comes to vanishing at the number, over a bounded search.

The circle that will not square

The other three impossibilities are a number having the wrong degree. This one is a number having no degree at all — and that is a claim no finite search can establish, which makes it the one place in this field where the picture has to admit what it is not doing.

computation · Constructible numbers Trisect every angle, and an equilateral triangle appears. A triangle with angles 78°, 54°, 48°, its six angle trisectors, and the triangle whose corners are where the trisectors nearest each side meet. That inner triangle is equilateral, which is Morley's theorem.

Three trisectors and a triangle nobody expected

Cut every angle of a triangle into three. The trisectors nearest each side meet in three points, and those three points are always the corners of an equilateral triangle — for every triangle there is, with no exceptions and no reason anybody finds obvious.

geometry · Morley

Named alongside it

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

Constructible numberDegree of an extensionRational root theoremMinimal polynomialOperation setClosureField extensionIrreducible polynomialTrisectionAlgebraic numberAngleBasis

All concepts