Two posts by Evelyn Lamb about the theorem that you can make any shape by folding+one cut, and a fold+cut alphabet by Erik and Marty Demaine and Katie Steckles: and

Small peeve: Lamb and Steckles omit credit for some theorem authors, particularly Lubiw.

If you want to design your own, the disk packing method is implemented at but I think the straight skeleton method produces prettier folding patterns.

@11011110 I have a different peeve: E. Demaine, M. Demaine, and Lubiw didn't actually prove the Fold and Cut theorem! Their straight-skeleton-based algorithm doesn't necessarily yield a finite number of folds, thanks to the possibility of "dense spiraling". (See Figure 17.10 in Geometric Folding Algorithms.) The first actual *proof* is your circle-packing argument with Bern, E. Demaine, and Hayes (1998), with some bugs corrected by E. Demaine and O'Rourke in (2006).

Sign in to participate in the conversation

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.