Origami Fold Mathematics: The Hidden Geometry of Paper Folding

The Huzita-Hatori axioms

Just as Euclidean geometry is built from compass-and-straightedge operations, origami geometry is built from a small set of single-fold operations, catalogued by Humiaki Huzita in 1991 and completed by Koshiro Hatori — the seven Huzita-Hatori axioms. The first five are within reach of compass and straightedge. The breakthrough is axiom O6: placing two points onto two lines simultaneously, a tangent-to-two-parabolas problem equivalent to solving a general cubic equation. Because compass and straightedge can only solve quadratics (sequences of square roots), origami is strictly more powerful as a constructive geometry.

Trisecting an angle by folding

Trisecting an arbitrary angle was one of antiquity's three great unsolved problems. Pierre Wantzel proved in 1837 that it is impossible with compass and straightedge, because trisection requires solving an irreducible cubic (from the identity cos(3θ) = 4cos³θ − 3cosθ). Origami, having access to that cubic through axiom O6, can do it: the classic construction, due to Hisashi Abe, places the angle in a corner of a square, adds two equally spaced horizontal creases, and uses one simultaneous fold to divide the angle into three exactly equal parts — proof that the medium of computation changes what is constructible. Doubling the cube (constructing ∛2) is impossible for the same reason and also achievable by folding.

Flat-foldability: Kawasaki and Maekawa

A crease pattern is flat-foldable if it can be folded flat without tearing or self-intersecting. Kawasaki's theorem: at a flat-foldable interior vertex, the alternating angles around it sum to the same value — equivalently α1+α3+α5+… = α2+α4+α6+… = 180°. Maekawa's theorem: the number of mountain and valley folds meeting at that vertex always differs by exactly two, |M−V|=2. Both are necessary conditions locally, but deciding whether a whole crease pattern is globally flat-foldable is NP-complete (Bern & Hayes) — origami sits squarely inside computational complexity theory.

Kawasaki: α1 − α2 + α3 − α4 + … − α2n = 0
Maekawa:  |mountain folds − valley folds| = 2
Trisection cubic: cos(3θ) = 4cos³θ − 3cosθ  (needs axiom O6, unreachable by ruler/compass)

Miura-ori and rigid origami in engineering

The Miura-ori, devised by astrophysicist Koryo Miura, is a herringbone tessellation that deploys along a single degree of freedom — pulling two opposite corners expands or contracts the whole sheet at once — and exhibits a negative Poisson's ratio (auxetic behaviour). Rigid origami demands facets stay perfectly flat, with only creases acting as hinges — the regime that matters when panels are steel, glass or solar cells. NASA and JAXA have flown Miura-based solar arrays for exactly this reason: the crease geometry guarantees a clean, jam-free single-motion deployment. The same packing-ratio logic scales down to origami-inspired medical stents that collapse for insertion through a blood vessel and expand once in place, and to airbag folding patterns that determine the order regions inflate to avoid dangerous snags.

Frequently asked questions

Why can origami trisect an angle when compass and straightedge cannot?

Angle trisection requires solving an irreducible cubic equation, which Pierre Wantzel proved in 1837 is impossible using only compass-and-straightedge constructions (limited to sequences of square roots). Axiom O6 of origami — placing two points onto two lines simultaneously — is equivalent to solving a general cubic, so a single fold can trisect any angle exactly.

What are Kawasaki's and Maekawa's theorems?

Kawasaki's theorem says that at a flat-foldable interior vertex, the alternating angles around it sum to the same value on each side (180° each). Maekawa's theorem says the number of mountain folds and valley folds meeting at that vertex always differs by exactly two. Both are necessary local conditions for flat-foldability, though checking a whole crease pattern globally is NP-complete.

What is Miura-ori and why is it used in space engineering?

Miura-ori, devised by astrophysicist Koryo Miura, is a herringbone tessellation that collapses or expands along a single degree of freedom — pulling two opposite corners deploys the entire sheet in one motion. NASA and JAXA have flown origami-based solar arrays using this and related rigid patterns because the geometry guarantees a clean, jam-free deployment after a spacecraft reaches orbit.

Try it live

Everything above runs in your browser — open Origami Fold Mathematics and explore crease patterns from Axiom 1-6 to Miura-ori, Waterbomb and Bird base, watching fold sequences animate in real time. Nothing is installed, nothing is uploaded.

▶ Open Origami Fold Mathematics simulation