Algebraic Analysis of Huzita’s Origami Operations and Their Extensions
Fadoua Ghourabi, Asem Kasem, and Cezary KaliszykProceedings of the 9th International Workshop on 9th International Workshop on Automated Deduction in Geometry, Lecture Notes in Computer Science 7993, pp. 143 – 160, 2013.
Abstract
We investigate the basic fold operations, often referred to as Huzita’s axioms, which represent the standard seven operations used commonly in computational origami. We reformulate the operations by giving them precise conditions that eliminate the degenerate and incident cases. We prove that the reformulated ones yield a finite number of fold lines. Furthermore, we show how the incident cases reduce certain operations to simpler ones. We present an alternative single operation based on one of the operations without side conditions. We show how each of the reformulated operations can be realized by the alternative one. It is known that cubic equations can be solved using origami folding. We study the extension of origami by introducing fold operations that involve conic sections. We show that the new extended set of fold operations generates polynomial equations of degree up to six.
BibTeX
@inproceedings{FGAKCK-ADG12, author = "Fadoua Ghourabi and Asem Kasem and Cezary Kaliszyk", title = "Algebraic Analysis of Huzita's Origami Operations and Their Extensions", booktitle = "Proceedings of the 9th International Workshop on Automated Deduction in Geometry, Revised Selected Papers", series = "Lecture Notes in Computer Science", volume = 7993, pages = "143--160", year = 2013, doi = "10.1007/978-3-642-40672-0_10", }