The sheet that is the same shape after it is folded
paper-proportion is one function. Everything below came out of it during this
build, at arguments taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
At its defaults
view: "assumes"
view: "assumes", sheets: [1,1,square, 1,1.2,6 : 5, tall, 1.2,1,6 : 5, wide, 1,1.8,9 : 5, tall, 1.8,1,9 : 5, wide]
view: "assumes", sheets: [1,1,square, 1,1.1,11 : 10, tall, 1,1.4142135623730951,A series, tall, 1,2,double, tall, 1,1.3,13 : 10, tall, 1.3,1,13 : 10, wide]
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.
- on A series, tall the last of 4 creases marks 1/3 of an edge ×5
- on square the last of 4 creases marks 1/3 of an edge ×5
- the quiet failures are not near misses — the worst returns 0.250000 where the recipe promises 0.666667 ×5
- 2 of the sheets put the crease off the paper and refuse the construction; 2 accept it and return a different number with nothing to show for it ×3
- 5 of the 6 sheets alternate between two shapes for all 5 folds and settle on neither; the √2 sheet is the flat line ×1
- a sheet of proportion 1.3 halves to 1.538 and back to 1.3 for ever — it never creeps towards √2, and √2 is the one proportion the fold leaves alone rather than one it approaches ×1
- a square metre at proportion √2 measures 840.9 × 1189.2 mm, which rounds to the 841 × 1189 printed on a sheet of A0 — the paper was cut to the mathematics rather than the other way about ×1
- every construction made of crossings, midpoints and folds along the sheet's own edges returns the square's fraction on all 5 sheets, and every one that folds across a slanted line returns a different point on at least one ×1
- every fraction up to 12ths is marked by both toolkits inside the depth searched, so every count in the table is a minimum rather than a cap ×1
- every portable sequence, stretched onto four other rectangles, still marks its fraction there ×1
- every value is derived from the reflection on that sheet rather than scaled from the square's answer ×1
- folding into 2, 3, 4, 5, 6 parts fixes the proportions 1.414, 1.732, 2.000, 2.236, 2.449, each of them the square root of the number of parts ×1
- for every one of 2, 3, 4, 5, 6, the proportion a sheet keeps when it is folded into that many parts is the square root of that many, found by bisection and checked against the root ×1
- for the constructions that keep their answer, the square's point stretched onto each rectangle is the rectangle's own point, computed separately ×1
- neither sheet is cheaper everywhere: the square wins on 1/3, 1/6, 2/9, 4/9, 1/11, 5/11 and the A-series sheet on 1/4, 1/7, 2/7, 3/7, 1/9, 1/10, 3/11 ×1
- no fraction costs more creases on a named sheet with every axiom than with the portable toolkit alone, which is contained in it ×1
- on a square the crease meets the vertical edges at exactly 3/8 and 7/8 and the folded edge crosses at exactly 2/3, computed from the reflection rather than quoted ×1
- portability costs more than a crease a fraction on average: 4.65 creases portably against 2.96 and 2.91 on the two sheets ×1
- the 1.3 sheet takes 1.300 and 1.538 in turn as it is halved, and the √2 sheet takes only 1.414 ×1
- the 1.4142 sheet takes 1.414 in turn as it is halved, and the √2 sheet takes only 1.414 ×1
- the same rectangle turned through a right angle changes which class it is in — one orientation returns a number and the other cannot be folded at all ×1
- the two curves cross where r and 2/r are the same number, at 1.414213562, and the cobweb from 1.05 closes into a rectangle rather than spiralling in ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
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.
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.
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.
The sheet decides which points exist
Every measurement of what folding can locate has been made on a square, because origami paper is sold square. Hold the area fixed and change the proportion: one fold reaches nine marks on a square and twenty-nine on the A-series rectangle, and two folds reach 565 against 45,705. The square is the worst of five proportions at both depths, and the reason is its own symmetry.
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.
Every generator · The axioms and construction field · The patterns a reader can fold