Matpic
mathematics, in pictures
Concept

Polygon

A closed curve made of finitely many straight segments joined end to end. Almost every statement about curves is easy for polygons and hard in general, because a polygon has finitely many corners, a length, and a triangulation, and a curve need have none of them.

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

A triangle cut into three pieces that make a rectangle. A triangle sliced at half its height and again down the altitude of the small triangle, beside the rectangle the same three pieces make when each top piece is turned a half turn.

Equal area is enough, and equal volume is not

Any two polygons of the same area can be cut into each other with finitely many straight cuts. The same sentence with area replaced by volume and polygon by polyhedron is false, and what blocks it is an angle.

computation · Scissors congruence Stage 3 of a curve that has area. A square split into 64 smaller squares by removing crosses of decreasing width, the squares joined in Hilbert order; the kept area is 63.2 per cent and its limit is 0.5931.

A curve that has area

The Jordan curve theorem assumes three things and nothing else — continuous, closed, no self-crossing. Everything else the eye supplies is false of some curve that satisfies all three, including the assumption that a curve is thin.

topology · Jordan curve Every ear carried to a slice of a disc. The corridor's triangulation on the left and the same triangulation of a regular 20-gon on the right, with four points and their images marked; the map is affine on each triangle and agrees on every shared edge.

Every loop is a circle in disguise

Separating the plane is the weak half of what the eye believes about a closed curve. The strong half is that the inside is a disc — that the whole plane can be bent until the curve is a round circle — and for a polygon that is a construction rather than an argument.

topology · Jordan curve A dissection that never comes apart. The three pieces of the triangle-to-rectangle dissection drawn at 4 moments of the swing. Each top piece turns about a pin at the end of the slice it stands on, and the pieces stay joined throughout.

A dissection that never comes apart

The plane theorem lets the pieces be picked up and put down anywhere. Require instead that they stay joined at their corners and swing, and the theorem survives — which was open for a century and is a much stronger statement about the same cuts.

computation · Scissors congruence The quantity a cut cannot change and a turn can. 4 polygons, each with the spikes of its translation invariant drawn round a dial: the length of the edges facing each direction, less the length of those facing the opposite way. It vanishes everywhere for 3 of them.

Slid, but never turned

The classical dissections all turn their pieces. Forbid the turn — allow the pieces to be slid and nothing else — and equal area stops being enough, for a reason that is a single number attached to each direction and that a cut cannot change.

computation · Scissors congruence What the chain costs on a 6-gon: 39 pieces. A regular 6-gon fanned into 4 triangles, each with the three cuts that turn it into a rectangle, beside the running count of the pieces the whole chain produces — 39 of them.

Finitely many, and nobody says how many

The theorem promises a dissection exists and the proof produces one. Running the proof on a hexagon produces thirty-nine pieces, ingenuity produces five, and there is no method for proving that five cannot be four.

computation · Scissors congruence A spherical triangle becomes a quadrilateral with two right angles. A triangle on a sphere with the arc through the midpoints of two of its sides, the perpendiculars dropped from its three corners, and the quadrilateral with right angles at its base that the same area makes when the two corner pieces are moved.

Equal area on a sphere, without a rectangle

On a sphere, two polygons of the same area can still be cut into each other, exactly as in the plane. Almost nothing in the plane proof survives the move: a sphere has no rectangles, no parallel strips and no similar triangles of different sizes. What carries the theorem instead is a quadrilateral with two right angles, built from a triangle's midline.

computation · Scissors congruence Five squares on one octagon. Octagon [[1.0756,0.5516],[0.6082,1.2964],[-0.466,1.2294],[-0.8758,0.3153],[-0.797,-0.3348],[-0.3706,-0.7683],[0.2718,-0.6558],[1.1693,-0.4453]]; squares with sides 1.4975, 1.4588, 1.4407, 1.3929, 1.3921.

An odd number of squares on every polygon

Does every closed curve that does not cross itself pass through the four corners of some square? Toeplitz asked in 1911, and for polygons and smooth curves the answer is yes, because the squares can be counted and the count is odd. For rectangles of a fixed shape the count is even, which is why they needed a different proof — and for an arbitrary continuous curve the square is still not proved to exist.

topology · Jordan curve

Named alongside it

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

AreaDissectionOperation setCongruenceInvariantConstructionImpossibilityJordan curveRigid motionClosed curveContinuityCounterexample

All concepts