Figure

Every three of them fit, and the four together do not

Drawn here at the parameters it defaults to, with every essay that calls it.
Every three of them fit, and the four together do not. Each subset of the four places, with the smallest eigenvalue of its own double-centred distance matrix — the quantity that is zero exactly when a flat picture exists and negative when none does. Every one of the four triangles sits at zero to rounding, which is the triangle inequality doing what it always does. The one four-place subset does not, and the bar it draws is the whole of the impossibility this ladder is about. Nothing about the places was chosen to make this happen; it happens to any four points on a sphere that are not on one great circle.

Each subset of the four places, with the smallest eigenvalue of its own double-centred distance matrix — the quantity that is zero exactly when a flat picture exists and negative when none does. Every one of the four triangles sits at zero to rounding, which is the triangle inequality doing what it always does. The one four-place subset does not, and the bar it draws is the whole of the impossibility this ladder is about. Nothing about the places was chosen to make this happen; it happens to any four points on a sphere that are not on one great circle.

It is drawn by curvature-figure with show: "distance-triples" — one member of a family of 29 figures that share a generator, so the drawing above is what that generator returns when it is asked for this one and given nothing else.

1 essay calls it. Every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Changing this changes every one of these figures.

The whole library