Fold, Paper, Scissors...
summary
Claims the fold-and-cut theorem (any polygon from one cut), sketches two proofs, and shows a working Ruby solver that computes a straight skeleton plus perpendicular helper folds. Uses Shoes + geometry gem, demo folds and a single cut succeed for simple polygons. Notes limitations: solver handles common cases not pathological spirals or extreme concavities, straight skeleton alone isn't flat-foldable so helper perpendiculars are added, and physical paper thickness can make some computed foldings impossible.
AI-written summary · about
