Matpic
mathematics, in pictures
Concept

Congruence

The relation between two figures of the same shape and size, so that one can be carried onto the other by a rigid motion. It is what a dissection proof asserts about its pieces, and it is checked by comparing edge lengths rather than by looking.

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

Euclid's proof, without moving anything. The square on a leg and its share of the square on the hypotenuse are each exactly twice the same triangle, so they are equal. Nothing in the figure is cut or rearranged; the triangle is only looked at from the other side.

Euclid proves it without moving anything

The rearrangement proof cuts and slides. Euclid's does neither — it shows that a square and a rectangle are each exactly twice the same triangle, seen from opposite sides, and that is harder to hold in the head for a reason worth understanding.

geometry · Pythagoras A knotted rope pulled into a 3-4-5 triangle. A closed loop of rope carrying 12 equally spaced knots, held at three of them so the sides are 3, 4 and 5 knots long; the angle between the two shorter sides is 90.0 degrees.

The rope that squares a corner

The theorem turns two sides into a third. Run it backwards and it turns three lengths into a right angle — which is a different statement, needs its own proof, and is the only one of the two that has ever been used to build anything.

geometry · Pythagoras 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 Every fifth partition count divides, and the rank that says why. A row of partition counts with the ones in a congruence class marked, and a histogram of partitions sorted by rank.

Every fifth one divides

p(4) is 5, p(9) is 30, p(14) is 135, and every partition count at a number leaving four on division by five is divisible by five. Ramanujan read it off a table; the explanation is a way of splitting those partitions into five equal heaps.

number · Partitions The primes below 100,000, by remainder mod 4. A bar for each remainder on division by 4, showing how many primes below 100000 leave it. The 2 classes sharing no factor with 4 hold near-equal counts; the rest are empty or hold one prime.

Infinitely many of one kind

Euclid's argument produces a prime nobody had listed, and says nothing about what it looks like. Ask for infinitely many primes ending in 3, or leaving a remainder of 1 on division by 4, and the same construction has to be aimed — and for most targets nobody knows how to aim it.

number · Infinitude of primes 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 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 441 factored two ways among the numbers of the form 4k + 1. Two factor trees for 441 among the Hilbert numbers, those one more than a multiple of four: one splits it as 9 times 49, the other as 21 times 21, and every factor is irreducible there.

A factorisation that hides its primes

Keep only the whole numbers one more than a multiple of four. They multiply among themselves and nothing is lost — yet 441 is 9 × 49 and also 21 × 21, and every one of those factors is unbreakable there. Unique factorisation turns out not to be a fact about multiplication at all.

number · Unique factorisation The parities of the first 1,200 partition numbers. A 40-by-30 grid of p(n) mod 2 for n from 0 to 1199, filled where p(n) is odd; 568 are even.

Is the partition count even half the time?

The number of partitions of n is even for 50.0% of the n up to half a million, its runs of one parity are as long as a coin's, and nothing proves that the share is a half — the best theorems only show there are at least about √n of each. Modulo 5 and 7 the zeros carry Ramanujan's congruences and something more: an excess that follows whether 1 − 24n is a square.

number · Partitions

Named alongside it

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

AreaDissectionOperation setPolygonConstructionInvariantModular arithmeticRigid motionDirichlet theoremImpossibilityQuadratic residueUnique factorisation

All concepts