A pattern to fold

Fold and cut — the triangle

Fold on every line, make one straight cut along the fold, and the triangle falls out whole. The heavy outline is the shape, not a crease — it is drawn so a folder can check that every one of its edges has landed on the same line before cutting.
One straight cut: the triangleAn outline, the straight skeleton computed by shrinking it, and the perpendiculars dropped from each skeleton node onto the edges that formed it. Folding along these carries every edge of the outline onto a single line, so one straight cut releases the shape. The mountain-and-valley assignment is found by search, because the obvious one fails Maekawa.the cut line3 straight edgesthe pattern3 skeleton arcs3 perpendiculars1 interior vertexassignments that fold30 of 646 creases in allarcs one way, perpendicularsthe other: fails Maekawaequidistance off by 1.9e-16mountainvalleyevery node sits the same distance from each edge that formed it,which is why one fold can carry several edges onto the line at once
Fold and cut — triangle — sheet 150×150 mm — 2 mountain, 4 valley, 257.98 mm of crease

Fold it

The sheet is on the printed page, at the size it says.

Printing this page gives the page, and adds one more: the pattern alone, at 150 mm across, on a sheet of its own. Cut a square that size, transfer or trace the lines, and fold. The size is repeated in the corner of the sheet, because a printer set to fit to page rescales silently and there has to be some way to notice.

Mountain and valley are distinguished by dash as well as by colour, so the sheet survives the monochrome laser printer it will almost certainly come out of.

Fold and cut — the triangle — sheet 150×150 mm — 2 mountain, 4 valley, 257.98 mm of crease

What it is

ProvenanceGenerated here, from the straight skeleton
Creases2 mountain, 4 valley
Interior vertices1, every one checked
Panels not read — see below
Folding to doabout 258 mm of crease at this size
Printed sheet150 mm across

What was checked

Four theorems at every interior vertex, and the faces two ways.

  • Developability — the sectors around each of the 1 interior vertices sum to a full turn, so the sheet was flat before it was creased.
  • Kawasaki — alternating sectors sum to a straight angle at each of them.
  • Maekawa — mountains and valleys differ by exactly two.
  • Big-little-big — no strictly smallest sector is flanked by two creases of the same letter.
  • The faces — not read, and not exported. This pattern's graph is in 2 pieces: the outline is where the scissors go rather than a crease, and it does not reach the edge of the sheet. Faces are read out of adjacency, and two components that never touch carry no adjacency saying which contains which — so the export carries edges only rather than faces that would be wrong.

None of this decides whether the whole sheet folds flat, which is NP-hard in general. Every local condition holds. That is a different and weaker statement, and it is the one being made.

Take it away

The field's own interchange format, so the pattern is reusable outside this site.

fold-and-cut-triangle.fold — 11 vertices, 16 edges, 1696 bytes. It opens in ORIPA, Rabbit Ear and the rest of the FOLD ecosystem.

The export is short because this repository never converts anything: FOLD's vertices_coords, edges_vertices and edges_assignment have been the in-memory representation of a pattern here since the site's first phase. What the file adds is the metadata that makes it openable, and the faces where they can be read. Coordinates are in sheet widths, and the file says what one unit measures on paper.

What is argued with it

Essays that call fold-and-cut — read off the figure index rather than listed by hand.

the cut line3 straight edgesthe pattern3 skeleton arcs3 perpendiculars1 interior vertexassignments that fold30 of 646 creases in allarcs one way, perpendicularsthe other: fails Maekawaequidistance off by 1.9e-16mountainvalleyevery node sits the same distance from each edge that formed it,which is why one fold can carry several edges onto the line at once

One straight cut

Any drawing made of straight lines can be folded so that the whole drawing lands on a single line, and one cut releases it. The construction is a shrinking process, and it explains itself the moment the shrinking is drawn.

flat-folding
4681012010203040sides of the polygoncreasescreases in the patternperpendicularsskeleton arcsa 12-sided outline needs 36 creases and one skeleton nodea convex outline is the cheap casea reflex corner splits the shrinking front, and this solver refuses those rather than guessing

What universality costs

The fold-and-cut theorem says any straight-line drawing can be flattened onto a single line. It says nothing about how much crease pattern that takes, and the amount is a measurable quantity — computed here by running the construction rather than by estimating it.

complexity
4×4 — 16 cranes, 9 corner joinsone sheet, and cut2×2 4 cranes 4 sides of slit3×3 9 cranes 12 sides of slit4×4 16 cranes 24 sides of slit5×5 25 cranes 40 sides of slit6×6 36 cranes 60 sides of slitcranes − joins = 2n − 1the rule the subject is usually stated under is one sheet and no cuts; theoldest surviving origami book does not keep it

The oldest book cuts the paper

The Hiden Senbazuru Orikata of 1797 is the earliest surviving book of recreational paper folding, and its famous connected cranes are made by slitting one sheet into a grid. The founding rule of the modern subject is younger than the tradition it claims to describe.

history
10 layers, one cutwhat the fold decides5 points, 10 cornerscut at 54° to the foldwaist 0.309 of the pointregular, and checkedequal radii to 1e-12equal turning to 1e-12the symmetry is the method — a shape without it is not reachable thisway, and that is what 1998 changed

The star that was cut before it was proved

Fold a sheet into ten wedges, make one straight cut, and a regular five-pointed star falls out. The trick is at least two centuries old and the theorem that any straight-line drawing can be released by one cut is of 1998 — because the traditional method is not the theorem, and works only on shapes with the symmetry the folding imposes.

history
The preliminary base: 8 symmetries, 112 letteringsthe bar is the share of letterings the symmetry carries to themselvesa quarter turnnone of 112 — this symmetry cannot be foldeda half turnnone of 112 — this symmetry cannot be foldedthree quarters of a turnnone of 112 — this symmetry cannot be foldeda mirror across the sheet12 of 112a mirror up the sheet12 of 112a mirror in one diagonal12 of 112a mirror in the other diagonal12 of 112

The symmetry the letters cannot keep

Every pattern in this subject is drawn symmetric and the symmetry is always quoted of the drawing. A folded object is a drawing and a lettering together, so a symmetry survives only if the letters keep it — and the preliminary base loses every rotation while the square twist, drawn with the same eight, loses the other half.

design
the bar is the vertices the drawing has and the list does notThe preliminary base09 listed · panels closeThe Miura fold035 listed · panels closeThe square twist016 listed · panels closeThe hexagon twist022 listed · panels closeThe Yoshimura pattern045 listed · panels closeFold and cut — the triangle011 listed · panels closeThe tapered corrugation040 listed · panels closeThe waterbomb tessellation041 listed · panels closethe square grid, assembled064 listed · panels closethe triangular grid, assembled1282 listed · panels 1.73 apartthe honeycomb, assembled1884 listed · panels 2.00 apartthe rhombille tiling, assembled12138 listed · panels 1.86 apartthe elongated triangular tiling, assembled576 listed · panels 1.73 apartevery pattern with a bar has panels that cannot be placed, and every pattern without one places exactly

The vertex the list does not have

Every condition this collection checks is asked at a vertex of a crease pattern, and a crease pattern is handed to the checker as a list of points and segments. A reader is handed ink. Read the same patterns the second way and eight printed sheets gain nothing at all — while four tessellation patches gain 12, 18, 12 and 5 vertices that nobody wrote down, every one of them a place where two creases were drawn across each other.

flat-folding
the cut line10 straight edgesthe pattern10 skeleton arcs0 perpendiculars1 interior vertexassignments that fold420 of 102410 creases in allarcs one way, perpendicularsthe other: fails Maekawaequidistance off by 1.9e-16mountainvalleyevery node sits the same distance from each edge that formed it,which is why one fold can carry several edges onto the line at once

One cut for a star

The fold-and-cut construction here could reach a triangle, a pentagon and a house, and refused everything that turned back on itself, because shrinking an outline with a reflex corner needs an event the shrink did not implement. With split events it reaches a five-pointed star — ten creases through one point, four hundred and twenty letterings that fold, and every edge of the outline landing on one line to a part in 10^16.

flat-folding
the outline, shrunk — and the one corner that moves outwardwhat the shrink finds5 edges, 1 of them meeting at a corner that turns back3 skeleton nodes7 arcs traced by the cornersthe last of them forms at 0.181 of a sheet

The corner that splits the shrink

The universal molecule fills a convex polygon by shrinking it, and at a corner that turns back the shrink does something no convex polygon does: the region breaks in two. That event can now be computed — the skeleton of a non-convex outline is available here for the first time, and it is what lets one straight cut reach a star. It does not give the molecule back, because a molecule needs the shrinking region to stay one piece and a split is exactly the moment it stops.

design
the cut line10 straight edgesthe pattern10 skeleton arcs0 perpendiculars1 interior vertexassignments that fold420 of 102410 creases in allarcs one way, perpendicularsthe other: fails Maekawaequidistance off by 1.9e-16mountainvalleyevery node sits the same distance from each edge that formed it,which is why one fold can carry several edges onto the line at once

A tree cannot argue

A molecule fills a polygon with creases taken from its straight skeleton, and a straight skeleton is a tree. So a molecule's panels have almost no closed chains for its letters to contradict themselves round — one to three, against thirty-six on the smallest tessellation patch. Two hundred and eighty independent letterings across seven outlines, including an L and a five-pointed star, and not one of them disagrees with itself.

design

Every pattern · The figure library