Matpic
mathematics, in pictures
Concept

Extremal configuration

An arrangement achieving the largest or smallest possible value of some count, given a constraint. Finding one settles half of an extremal problem; the other half is proving that nothing does better, and the two halves are usually different arguments.

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

The nine-point grid, and the lines they force. 9 points with all 20 of their connecting lines drawn. The 12 carrying exactly two points are drawn solid and the rest faintly; the count is computed from the coordinates rather than read off the drawing.

The line with only two points on it

Scatter finitely many points on a page, not all in one line, and draw every line through two or more of them. However cunningly the points are placed, some line ends up carrying exactly two — and the proof is a minimisation with no algebra in it at all.

geometry · Ordinary lines A sequence of 3² with no climb and no fall longer than 3. 10 terms plotted in order, each labelled with the longest climb and the longest fall ending at it; the first 9 keep both counters at 3 or below and the last one cannot.

The sequence that cannot avoid a staircase

Any ten numbers in a row contain four that climb or four that fall. The proof gives every term a pair of counters, notices that no two terms can share a pair, and is finished — with a bound that is exactly right.

discrete · Ramsey theory A triangle, its midpoints and its centroid, turned into lines. The dual arrangement of 7 points: one line per point, crossing where points were collinear. 3 crossings are of exactly two lines, the dual of the ordinary lines; the others are where three or more meet.

Three ordinary lines from a count

Kelly's proof finds one line through exactly two of the points by minimising a distance. Melchior, seven years earlier, had found three — by turning every point into a line and counting the corners, edges and regions of the picture that results. Euler's formula for the projective plane does the rest, and it says exactly which configurations have no more than three.

geometry · Ordinary lines Böröczky's 12 points and their 6 ordinary lines. A disc standing for the projective plane: the 6 corners of a regular polygon inside, and 6 points at infinity marked in pairs on the rim. All 22 connecting lines are drawn, the 6 ordinary ones solid.

The fewest ordinary lines a polygon allows

Take the corners of a regular polygon and add the points at infinity where its parallel chords meet. Every chord then carries three points, the line at infinity carries all the new ones, and the only lines left with exactly two points are the tangents at the corners — half as many as there are points. Dirac guessed in 1951 that nothing does better, and Green and Tao proved it in 2013.

geometry · Ordinary lines Removing one end of an ordinary line from a triangle, its midpoints and its centroid. Two panels. Left: 7 points with all 9 connecting lines, one ordinary line solid and one of its ends ringed. Right: the same points with that end removed, 7 connecting lines left.

At least as many lines as points

Sylvester's theorem says some line through two of the points misses all the rest. Remove one end of that line and the line itself disappears, taking at least one line away with one point. Run that backwards and it proves that n points not all in a line determine at least n lines — and the only sets that manage exactly n are a line of n − 1 points with one point off it.

geometry · Ordinary lines 9 trees on a cubic, 10 rows of three. The curve y = 1/(1 + x²) with 8 marked points on it and a 9th at infinity. Every line through three of them is drawn: 10 in all.

Rows of three, planted on a cubic

Nine trees can be planted in ten rows of three, and the arrangement that does it is not a grid or a star but nine points on a cubic curve. On the curve three points are in line exactly when their angles add up to a right angle, so choosing the points as a cyclic group turns collinearity into addition — and the count of rows it produces is the number Green and Tao proved is the most any planting can reach.

geometry · Ordinary lines

Named alongside it

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

IncidenceOrdinary linePoint setProjective planeConjectureCounting argumentExhaustive searchCollinearConfigurationConvex positionCounting two waysCyclic group

All concepts