Theme

The same thing twice — page 9

Two constructions that look unrelated and turn out to be the same object wearing different clothes.

The most mass 2 deviations out, with only a mean and a variance. The distribution putting as much probability as possible outside a window 2 standard deviations wide, found by searching every triple of support points, with the quadratic certificate that bounds it drawn over.

The bound is the answer to a search

Chebyshev's inequality is not a clever estimate that happens to be sharp. It is the exact answer to a maximisation over all distributions with a stated mean and variance, and the polynomial that proves nothing beats it is the certificate a search of that kind always produces.

4 surfaces with an edge, and the three numbers they need. Polygons whose gluing words leave some edges unpaired, each with its Euler characteristic, its sidedness and the number of boundary circles the unpaired edges form.

Topology

The third number a surface needs

Leave an edge unpaired in a gluing word and the surface acquires an edge of its own. Two numbers no longer name it — a count of boundary circles is needed as well — and with that third number the list is complete again, every triple occurring exactly once.

The nine-point circle, touching four others. A triangle with its nine-point circle, its inscribed circle and its three escribed circles, each of the four tangent to the first — with the distances between centres compared against the radii.

Geometry

One circle touching four

The nine-point circle touches the inscribed circle and each of the three escribed ones. Nothing in its construction mentions them, the two families of centres are built from different kinds of number, and the tangency is four exact equalities between distances and radii.

The classical centres as three weights each. A table of triangle centres with the weights on the three corners that produce each, and the determinants that decide which triples of them are collinear.

Geometry

A centre is three weights

Write each classical centre as a weighted average of the corners and a coincidence becomes a determinant. The Euler line is then one number rather than a construction, the whole catalogue becomes mechanical, and the reason one centre is missing from it is visible in the weights.

4 axioms against 4 finite algebras. A table of candidate axioms against finite Heyting algebras built from small orders, marking which algebras validate which axiom at every valuation.

Logic

Not one step but a continuum

Classical logic is the constructive system plus one axiom, which makes it sound as though there are two logics and one gap. There are uncountably many logics in that gap, each one a class of algebras, and the smallest separations between them fit in five elements.

Which polygons two instrument sets reach, up to 24. A strip of the polygons from 3 to 24 sides, each marked according to whether compass and straightedge reach it and whether a conic or a trisector does, with the degree of its cosine beneath.

Computation

Two instruments with one reach

Allow every conic to be drawn at will, or allow an angle to be cut in three. The two permissions look nothing alike and reach exactly the same numbers — because what an operation buys is a degree, and both of these buy three.

All themes