Rational division — where it appears
Named by 14 essays across 2 fields — each of them below, with the objects they name alongside it.
Dividing without measuring
A square can be divided into any whole number of equal parts by folding alone — exactly, with no ruler, and with no error to accumulate. The construction is one fold and a theorem nobody expected.
Folding a strip into thirds
A third cannot be constructed by the axioms, so it is not constructed. It is guessed, and then halved into place — an algorithm rather than a construction, with an error that falls by exactly half at every fold.
A fold needs something to align
Every axiom names things that must already be on the paper — a point to fold onto a point, a line to bring to a line. So what a folder can build is bounded by what they can refer to, and that set is finite at every depth: nine references after one fold, several hundred after two, and every one of them computable in advance.
The rectangle that keeps its shape
Halving a rectangle across its long side turns a proportion of r into one of 2/r, so almost every sheet comes out of the fold a different shape from the one that went in. Exactly one does not, and it is not a shape anybody chose.
One crossing, and then another
Folding a strip into thirds by Fujimoto's method halves the error at every fold and never reaches a third. There is a construction that arrives instead: cross the square's diagonal with a line through the mark you already have, and the crossing lands on the next fraction exactly — one fold per step, all the way down.
One member of a family
A4 halves into A5 and keeps its shape, which is the one thing everybody knows about paper sizes. The property is not about halving and not about two: a rectangle in the ratio √n divides into n copies of itself, for every n, and every one of those rectangles can be folded out of a square one diagonal at a time.
Cheap where it reaches
Two folds from a bare square put marks at a half, a third, a quarter, a fifth, a sixth, an eighth and a twelfth — and at no seventh, ninth or eleventh at all. A rule that reaches every fraction takes n folds to reach one nth. The systematic route and the short one disagree everywhere, and neither of them knows about the other.
Spelling a tree on a grid
Box pleating asks every limb of a design to be a whole number of grid squares, which sounds like rounding and is not. Rounding each limb to its own nearest whole number is one way to choose the numbers, and at most resolutions it is not the best way — the best whole-number version of a subject is often a coarser one, with fewer squares and a shape twice as close.
The grid a division makes
Dividing a square into thirds in both directions is a construction: four creases, each exact, each landing on a rational the ladder can name. The object it leaves behind is a three-by-three map of stamps, and how many ways that folds is the oldest open problem in the subject — 1,368 at three, 300,608 at four, and unknown at five.
The edge was there first
A folder's first fold has nothing to align to but the sheet's own outline, and it shows in where the marks land: four of the five references the first fold adds are on the paper's edge. By the second fold the edge holds forty-eight of five hundred and fifty-six new ones. The rim is where references are cheap and it fills up, because an edge is a line a fold can cross twice while two folds inside the paper cross once each.
Dividing a loop into n
Fujimoto's method divides a strip into any number of equal parts by folding badly and then folding the error in half, over and over. It converges because each step halves what is left over. On a closed loop there is no edge for the leftover to sit against, and what replaces the edge is the loop's own closure.
A construction assumes its sheet
Haga's fold gives exactly two thirds on a square. Run the same alignment on an A-series sheet held tall and it gives exactly two sevenths, with the crease meeting the vertical edges at seven sixteenths and eleven sixteenths — every one of them a clean fraction, none of them what the recipe promised. Turn the same rectangle through a right angle and the crease leaves the paper instead, which is the loud failure rather than the quiet one.
A stretch keeps crossings
A rectangle is a square stretched along its edges, and a stretch along the edges keeps straight lines straight, crossings as crossings, midpoints as midpoints and the fraction a point divides a segment into. So a construction made only of those — halve an edge, cross two lines — lands at the same fraction of every rectangle, and four standard constructions do. A fold across a slanted line is a reflection the stretch does not keep, and every construction that uses one — Haga's, a corner halved, a corner brought to its opposite — returns a different point on some rectangle, or none.
What the square saves
A construction made only of crossings, midpoints and folds along the edges lands at the same fraction of every rectangle, so its cost is one number for all of them. Counted crease by crease against every fold the first four axioms allow, that portability costs about a crease and three quarters a fraction up to twelfths — and the square is not the cheapest sheet to give it up for. An A-series sheet, where Haga's fold goes silently wrong, marks two sevenths in two creases; the square needs three, and any sheet at all needs five.
Named alongside it
The objects these essays reach for when they reach for this one.
Reference pointExact divisionConstructionPaper proportionHaga's theoremConvergenceError propagationThe axiomsFixed pointFujimoto's methodGridSheet shape