The Huzita-Hatori axioms are seven fundamental operations that define what is geometrically constructible by folding paper. Remarkably, origami construction is strictly more powerful than classical compass-and-straightedge: Axiom 6 allows the simultaneous placement of two points onto two lines, which solves general cubic equations and makes angle trisection and cube doubling achievable by folding. These properties have real-world applications in deployable structures — NASA's Miura-ori fold pattern compacts solar panels into a single straight-pull that unfolds a 2D array with zero bending stress.
This simulation lets you apply each of the seven axioms step by step and watch crease lines emerge on a virtual sheet. You can explore the Miura-ori grid pattern, the waterbomb base, and compare what compass-and-straightedge cannot reach.
What are the Huzita-Hatori axioms?
They are seven fold operations that together define the complete set of geometrically constructible creases. Robert Huzita identified six in 1991 and Koshiro Hatori added the seventh in 2001. Each axiom places one or two points or lines onto targets using a single straight fold.
Why can origami trisect an angle when a compass and straightedge cannot?
Compass-and-straightedge constructions solve only linear and quadratic equations, so they cannot trisect a general angle (which requires solving a cubic). Axiom 6, the simultaneous fold, places two points onto two lines at once — a geometric operation equivalent to finding a root of a cubic polynomial, making trisection straightforward.
What is the Miura-ori pattern and where is it used?
Miura-ori is a rigid-foldable tessellation of parallelogram facets invented by Koryo Miura. Its vertices are all degree-4, satisfying the Kawasaki theorem (alternating angles sum to 180°), which means the entire sheet can be folded flat with a single push-pull motion. It has been used for satellite solar panel arrays and is studied for deployable medical stents.
For a flat fold to be valid at an interior vertex, the alternating sum of the surrounding crease angles must equal 180°. Formally, α₁ − α₂ + α₃ − α₄ = 0 for a degree-4 vertex. This is a necessary (and for single vertices, sufficient) condition for the paper to lie flat without tearing.
Yes — this is the Delian problem, doubling the cube, which requires constructing ∛2. Axiom 6 allows you to fold a mark to a mark while simultaneously aligning another fold line, producing a segment of length ∛2 from a unit length. The construction was described by Peter Messer in 1986 using a simple sequence of folds on a square.
The waterbomb base is a foundational crease pattern consisting of four valley folds along diagonals and two mountain folds along the horizontal and vertical midlines of a square. It produces six crease lines meeting at the centre, giving a puffed 3D form that is the starting point for many traditional models including the waterbomb balloon and the origami crane's counterpart.
Maekawa's theorem states that at every interior vertex of a flat-foldable crease pattern, the number of mountain folds and valley folds must differ by exactly two. This means if there are M mountains and V valleys, then |M − V| = 2. Combined with Kawasaki's theorem, these two conditions are necessary for flat-foldability of single-vertex patterns.
For a pattern with n crease lines meeting at a single vertex, the number of valid mountain-valley assignments satisfying both Kawasaki and Maekawa theorems can grow exponentially with complexity. For the classic bird base (8 creases at the central vertex), there are exactly 8 valid assignments, though only some produce non-self-intersecting models.
Yes — the fold-and-cut theorem, proved by Demaine, Demaine, and Lubiw in 1999, states that any straight-line drawing can be obtained by folding a piece of paper flat and making a single straight cut. The result applies to any combination of line segments, including all 26 letters of the alphabet simultaneously from one sheet.
Rigid origami requires that each facet remains planar during folding — no bending within panels. Degree-4 vertices are the key building blocks because they have a single degree of freedom: once one fold angle is set, all others are determined by the rigid-fold equations. Higher-degree vertices are generically rigid (locked), so most deployable structures are built from degree-4 grids like Miura-ori.