Matpic
mathematics, in pictures
Concept

Volume

The amount of space a solid occupies, measured against a chosen unit cube. It is additive over pieces that do not overlap, and the factor by which a linear map multiplies it is that map's determinant.

Named by 11 essays across 6 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 A parallelepiped of volume 2.94. The image of the unit cube under a three-by-three matrix, beside the six signed products whose sum is its volume.

The only function that behaves like a volume

Ask for a function of the columns of a matrix that scales when a column scales, vanishes when two columns agree, and gives one on the identity. Three conditions, and there is exactly one such function in every dimension.

algebra · Determinant Four solids with the same counts and every volume. The Reeve tetrahedra at heights 1, 2, 3, 5, drawn in wireframe with a table of their lattice-point counts and volumes. All have four boundary points and none inside; their volumes run from 0.17 to 0.83.

The theorem that has no version in space

A lattice polygon's area is decided completely by two counts of dots. The obvious guess is that a lattice solid's volume is decided by the same two counts in three dimensions, and there is a family of tetrahedra with identical counts and every volume that says otherwise.

discrete · Pick theorem The same banding at every magnification. The Hénon attractor drawn from 26000 points, followed by 2 magnifications of one part of it. Each magnification resolves what looked like a single curve into several parallel ones.

Neither a surface nor a solid

The attractor has no volume, because the flow shrinks volumes at a rate that can be read off the equations. It is also not a surface, because a surface cannot carry chaotic dynamics. What is left is an object of dimension a little over two, and that number is measurable.

dynamics · Strange attractor The Reuleaux tetrahedron's width runs from 2.83 to 2.9. The largest and smallest width of the intersection of four balls, plotted against the polar angle of the measuring direction, with the constant width it would need to have drawn flat.

The same question in space

Intersect four balls at the corners of a tetrahedron and the result is not of constant width — it misses by two and a half per cent, computed exactly. Repairing it gives a body that is, and whether that body is the smallest of its kind has been open for a century.

geometry · Constant width Volume and one more number decide what a solid can be cut into. A table of a cube, a prism, a sixth of a cube, a regular tetrahedron, a regular octahedron and a collection of two tetrahedra with one octahedron, giving each one's volume, its Dehn invariant computed from its measured dihedral angles, and whether it can be cut into a box of equal volume.

The obstruction that was the only one

Dehn showed in 1901 that a cube cannot be cut into a regular tetrahedron of the same volume, because a number built from edges and angles disagrees. For sixty-four years nobody knew whether that number was the whole story. Sydler proved in 1965 that it is: volume and Dehn's number together decide every case.

computation · Scissors congruence A quadratic in the exponent, completed. Two panels sharing an x-axis. Above, the parabola −x² + 2x with its top at x = 1 marked. Below, e raised to that parabola: a bell centred at the same x = 1, with peak height e^1, beside the faint unmoved bell e^(−x²).

One number under every bell

The area under e^(−x²) has no formula in terms of the usual functions, and yet the area under e raised to any downward quadratic is known exactly. Completing the square in the exponent moves and squeezes every such curve into the same one, so a single number — √π — pays for all of them.

algebra · Completing the square Area out to infinity, for three powers. Left: the curves 1/√x, 1/x, 1/x² from x = 0 to 10, with the region beyond x = 1 shaded under the lowest. Right: the area from 1 to T for each, on logarithmic scales, for T up to 10^6. 1/√x keeps growing, 1/x keeps growing, 1/x² levels off at 1.

An endless region with a finite area

A region that runs off to infinity can still have a finite area, and for the curves 1/xᵖ the exponent that makes the far end finite is exactly the one that makes the end at zero infinite. 1/x fails at both, no power succeeds at both, and a horn can hold less than π while needing infinite paint.

analysis · The integral The same two lengths at 3 angles, and the area largest at the right angle. Parallelograms spanned by columns of lengths 1.6 and 1.25 at angles 38, 90, 142 degrees. Their areas are 1.23, 2.00, 1.23; the bound 2.00 is the product of the lengths and is reached only when the columns are perpendicular.

The biggest box built from signs

Fill a square table with plus and minus ones and ask how large its determinant can be. The columns all have the same length, so the answer is a box with fixed edges — largest when every corner is square, which is possible only when the size is a multiple of four.

algebra · Determinant The volume of the unit ball and the area of its sphere, dimension by dimension. Unit ball volumes for dimensions 0 to 20, largest at 5 (5.2638); sphere areas largest at 7 (33.0734).

The ball that is largest in five dimensions

A disc of radius one has area π, a ball of radius one volume 4π/3, and in each further dimension the unit ball grows — until five, where its volume is 5.264, after which it shrinks towards nothing. The recursion that shows it is the ring dissection of the disc, done one dimension at a time, and the shrinking is not the ball getting small: it is almost all of a high-dimensional cube lying outside the ball, and almost all of the ball lying in a thin rind at its surface.

geometry · Circle area A ball counted slice by slice. Ball of radius 7.5: slices 0:177, 1:177, 2:169, 3:145, 4:129, 5:97, 6:69, 7:21; total 1791, volume 1767.146.

The dots a ball catches

Count the lattice points inside a ball and compare with its volume. In five dimensions the error is about the size of one spherical shell, and that is a theorem; in four a logarithm sneaks in; in three and two the true size of the error is unknown. The difficulty runs backwards because the arithmetic of sums of squares is most erratic when there are fewest squares to add.

discrete · Pick theorem

Named alongside it

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

DimensionPiDeterminantDihedral angleDissectionImpossibilityIntegralInvariantMatrixNormal distributionOperation setPolyhedron

All concepts