fbpx
Wikipedia

Mathematics of paper folding

The discipline of origami or paper folding has received a considerable amount of mathematical study. Fields of interest include a given paper model's flat-foldability (whether the model can be flattened without damaging it), and the use of paper folds to solve up-to cubic mathematical equations.[1]

Map folding for a 2×2 grid of squares

Computational origami is a recent branch of computer science that is concerned with studying algorithms that solve paper-folding problems. The field of computational origami has also grown significantly since its inception in the 1990s with Robert Lang's TreeMaker algorithm to assist in the precise folding of bases.[2] Computational origami results either address origami design or origami foldability.[3] In origami design problems, the goal is to design an object that can be folded out of paper given a specific target configuration. In origami foldability problems, the goal is to fold something using creases of an initial configuration. Results in origami design problems have been more accessible than in origami foldability problems.[3]

History

In 1893, Indian civil servant T. Sundara Row published Geometric Exercises in Paper Folding which used paper folding to demonstrate proofs of geometrical constructions. This work was inspired by the use of origami in the kindergarten system. Rao demonstrated an approximate trisection of angles and implied construction of a cube root was impossible.[4]

In 1922, Harry Houdini published "Houdini's Paper Magic," which described origami techniques that drew informally from mathematical approaches that were later formalized.[5]

 
The Beloch fold

In 1936 Margharita P. Beloch showed that use of the 'Beloch fold', later used in the sixth of the Huzita–Hatori axioms, allowed the general cubic equation to be solved using origami.[1]

In 1949, R C Yeates' book "Geometric Methods" described three allowed constructions corresponding to the first, second, and fifth of the Huzita–Hatori axioms.[6][7]

The Yoshizawa–Randlett system of instruction by diagram was introduced in 1961.[8]

 
Crease pattern for a Miura fold. The parallelograms of this example have 84° and 96° angles.

In 1980 was reported a construction which enabled an angle to be trisected. Trisections are impossible under Euclidean rules.[9]

Also in 1980, Kōryō Miura and Masamori Sakamaki demonstrated a novel map-folding technique whereby the folds are made in a prescribed parallelogram pattern, which allows the map to be expandable without any right-angle folds in the conventional manner. Their pattern allows the fold lines to be interdependent, and hence the map can be unpacked in one motion by pulling on its opposite ends, and likewise folded by pushing the two ends together. No unduly complicated series of movements are required, and folded Miura-ori can be packed into a very compact shape.[10] In 1985 Miura reported a method of packaging and deployment of large membranes in outer space,[11] and as early as 2012 this technique had been applied to solar panels on spacecraft.[12][13]

 
A diagram showing the first and last step of how origami can double the cube

In 1986, Messer reported a construction by which one could double the cube, which is impossible with Euclidean constructions.[14]

The first complete statement of the seven axioms of origami by French folder and mathematician Jacques Justin was written in 1986, but were overlooked until the first six were rediscovered by Humiaki Huzita in 1989.[15] The first International Meeting of Origami Science and Technology (now known as the International Conference on Origami in Science, Math, and Education) was held in 1989 in Ferrara, Italy. At this meeting, a construction was given by Scimemi for the regular heptagon.[16]

Around 1990, Robert J. Lang and others first attempted to write computer code that would solve origami problems.[17]

 
Mountain-valley counting

In 1996, Marshall Bern and Barry Hayes showed to be an NP-complete problem the assignation of a crease pattern of mountain and valley folds in order to produce a flat origami structure starting from a flat sheet of paper.[18]

In 1999, a theorem due to Haga provided constructions used to divide the side of a square into rational fractions.[19][20]

In late 2001 and early 2002, Britney Gallivan proved the minimum length of paper necessary to fold it in half a certain number of times and folded a 4,000-foot-long (1,200 m) piece of toilet paper twelve times.[21][22]

In 2002, belcastro and Hull brought to the theoretical origami the language of affine transformations, with an extension from  2 to  3 in only the case of single-vertex construction.[23]

In 2002, Alperin solved Alhazen's problem of spherical optics.[24] In the same paper, Alperin showed a construction for a regular heptagon.[24] In 2004, was proven algorithmically the fold pattern for a regular heptagon.[25] Bisections and trisections were used by Alperin in 2005 for the same construction.[26]

In 2003, Jeremy Gibbons, a researcher from the University of Oxford, described a style of functional programming in terms of origami. He coined this paradigm as "origami programming." He characterizes fold and unfolds as natural patterns of computation over recursive datatypes that can be framed in the context of origami.[27]

In 2005, principles and concepts from mathematical and computational origami were applied to solve Countdown, a game popularized in British television in which competitors used a list of source numbers to build an arithmetic expression as close to the target number as possible.[28]

In 2009, Alperin and Lang extended the theoretical origami to rational equations of arbitrary degree, with the concept of manifold creases.[29][30] This work was a formal extension of Lang's unpublished 2004 demonstration of angle quintisection.[30][31]

Pure origami

Flat folding

 
Two-colorability
 
Angles around a vertex

The construction of origami models is sometimes shown as crease patterns. The major question about such crease patterns is whether a given crease pattern can be folded to a flat model, and if so, how to fold them; this is an NP-complete problem.[32] Related problems when the creases are orthogonal are called map folding problems. There are three mathematical rules for producing flat-foldable origami crease patterns:[33]

  1. Maekawa's theorem: at any vertex the number of valley and mountain folds always differ by two.
    It follows from this that every vertex has an even number of creases, and therefore also the regions between the creases can be colored with two colors.
  2. Kawasaki's theorem or Kawasaki-Justin theorem: at any vertex, the sum of all the odd angles adds up to 180 degrees, as do the even.
  3. A sheet can never penetrate a fold.

Paper exhibits zero Gaussian curvature at all points on its surface, and only folds naturally along lines of zero curvature. Curved surfaces that can't be flattened can be produced using a non-folded crease in the paper, as is easily done with wet paper or a fingernail.

Assigning a crease pattern mountain and valley folds in order to produce a flat model has been proven by Marshall Bern and Barry Hayes to be NP-complete.[18] Further references and technical results are discussed in Part II of Geometric Folding Algorithms.[34]

Huzita–Justin axioms

Some classical construction problems of geometry — namely trisecting an arbitrary angle or doubling the cube — are proven to be unsolvable using compass and straightedge, but can be solved using only a few paper folds.[35] Paper fold strips can be constructed to solve equations up to degree 4. The Huzita–Justin axioms or Huzita–Hatori axioms are an important contribution to this field of study. These describe what can be constructed using a sequence of creases with at most two point or line alignments at once. Complete methods for solving all equations up to degree 4 by applying methods satisfying these axioms are discussed in detail in Geometric Origami.[36]

Constructions

As a result of origami study through the application of geometric principles, methods such as Haga's theorem have allowed paperfolders to accurately fold the side of a square into thirds, fifths, sevenths, and ninths. Other theorems and methods have allowed paperfolders to get other shapes from a square, such as equilateral triangles, pentagons, hexagons, and special rectangles such as the golden rectangle and the silver rectangle. Methods for folding most regular polygons up to and including the regular 19-gon have been developed.[36] A regular n-gon can be constructed by paper folding if and only if n is a product of distinct Pierpont primes, powers of two, and powers of three.

Haga's theorems

 
BQ is always rational if AP is.

The side of a square can be divided at an arbitrary rational fraction in a variety of ways. Haga's theorems say that a particular set of constructions can be used for such divisions.[19][20] Surprisingly few folds are necessary to generate large odd fractions. For instance 15 can be generated with three folds; first halve a side, then use Haga's theorem twice to produce first 23 and then 15.

The accompanying diagram shows Haga's first theorem:

 

The function changing the length AP to QC is self inverse. Let x be AP then a number of other lengths are also rational functions of x. For example:

Haga's first theorem
AP BQ QC AR PQ
         
12 23 13 38 56
13 12 12 49 56
23 45 15 518 1315
15 13 23 1225 1315

A generalization of Haga's theorems

Haga's theorems are generalized as follows:

 

Therefore, BQ:CQ=k:1 implies AP:BP=k:2 for a positive real number k.[37]

Doubling the cube

 
Doubling the cube: PB/PA = cube root of 2

The classical problem of doubling the cube can be solved using origami. This construction is due to Peter Messer:[38] A square of paper is first creased into three equal strips as shown in the diagram. Then the bottom edge is positioned so the corner point P is on the top edge and the crease mark on the edge meets the other crease mark Q. The length PB will then be the cube root of 2 times the length of AP.[14]

The edge with the crease mark is considered a marked straightedge, something which is not allowed in compass and straightedge constructions. Using a marked straightedge in this way is called a neusis construction in geometry.

Trisecting an angle

 
Trisecting the angle CAB

Angle trisection is another of the classical problems that cannot be solved using a compass and unmarked ruler but can be solved using origami.[39] This construction, which was reported in 1980, is due to Hisashi Abe.[38][9] The angle CAB is trisected by making folds PP' and QQ' parallel to the base with QQ' halfway in between. Then point P is folded over to lie on line AC and at the same time point A is made to lie on line QQ' at A'. The angle A'AB is one third of the original angle CAB. This is because PAQ, A'AQ and A'AR are three congruent triangles. Aligning the two points on the two lines is another neusis construction as in the solution to doubling the cube.[40][9]

Related problems

The problem of rigid origami, treating the folds as hinges joining two flat, rigid surfaces, such as sheet metal, has great practical importance. For example, the Miura map fold is a rigid fold that has been used to deploy large solar panel arrays for space satellites.

The napkin folding problem is the problem of whether a square or rectangle of paper can be folded so the perimeter of the flat figure is greater than that of the original square.

The placement of a point on a curved fold in the pattern may require the solution of elliptic integrals. Curved origami allows the paper to form developable surfaces that are not flat.[41] Wet-folding origami is a technique evolved by Yoshizawa that allows curved folds to create an even greater range of shapes of higher order complexity.

The maximum number of times an incompressible material can be folded has been derived. With each fold a certain amount of paper is lost to potential folding. The loss function for folding paper in half in a single direction was given to be  , where L is the minimum length of the paper (or other material), t is the material's thickness, and n is the number of folds possible.[42] The distances L and t must be expressed in the same units, such as inches. This result was derived by Britney Gallivan, a high schooler from California, in December 2001. In January 2002, she folded a 4,000-foot-long (1,200 m) piece of toilet paper twelve times in the same direction, debunking a long-standing myth that paper cannot be folded in half more than eight times.[21][22]

The fold-and-cut problem asks what shapes can be obtained by folding a piece of paper flat, and making a single straight complete cut. The solution, known as the fold-and-cut theorem, states that any shape with straight sides can be obtained.

A practical problem is how to fold a map so that it may be manipulated with minimal effort or movements. The Miura fold is a solution to the problem, and several others have been proposed.[43]

Computational origami

Computational origami is a branch of computer science that is concerned with studying algorithms for solving paper-folding problems. In the early 1990s, origamists participated in a series of origami contests called the Bug Wars in which artists attempted to out-compete their peers by adding complexity to their origami bugs. Most competitors in the contest belonged to the Origami Detectives, a group of acclaimed Japanese artists.[44] Robert Lang, a research-scientist from Stanford University and the California Institute of Technology, also participated in the contest. The contest helped initialize a collective interest in developing universal models and tools to aid in origami design and foldability.[44]

Research

Paper-folding problems are classified as either origami design or origami foldability problems. There are predominantly three current categories of computational origami research: universality results, efficient decision algorithms, and computational intractability results.[45] A universality result defines the bounds of possibility given a particular model of folding. For example, a large enough piece of paper can be folded into any tree-shaped origami base, polygonal silhouette, and polyhedral surface.[46] When universality results are not attainable, efficient decision algorithms can be used to test whether an object is foldable in polynomial time.[45] Certain paper-folding problems do not have efficient algorithms. Computational intractability results show that there are no such polynomial-time algorithms that currently exist to solve certain folding problems. For example, it is NP-hard to evaluate whether a given crease pattern folds into any flat origami.[47]

In 2017, Erik Demaine of the Massachusetts Institute of Technology and Tomohiro Tachi of the University of Tokyo published a new universal algorithm that generates practical paper-folding patterns to produce any 3-D structure. The new algorithm built upon work that they presented in their paper in 1999 that first introduced a universal algorithm for folding origami shapes that guarantees a minimum number of seams. The algorithm will be included in Origamizer, a free software for generating origami crease patterns that was first released by Tachi in 2008.[48]

Software & tools

There are several software design tools that are used for origami design. Users specify the desired shape or functionality and the software tool constructs the fold pattern and/or 2D or 3D model of the result. Researchers at the Massachusetts Institute of Technology, Georgia Tech, University of California Irvine, University of Tsukuba, and University of Tokyo have developed and posted publicly available tools in computational origami. TreeMaker, ReferenceFinder, OrigamiDraw, and Origamizer are among the tools that have been used in origami design.[49]

There are other software solutions associated with building computational origami models using non-paper materials such as Cadnano in DNA origami.[50]

Applications

Computational origami has contributed to applications in robotics, biotechnology & medicine, industrial design.[51] Applications for origami have also been developed in the study of programming languages and programming paradigms, particular in the setting of functional programming.[52]

Robert Lang participated in a project with researchers at EASi Engineering in Germany to develop automotive airbag folding designs.[53] In the mid-2000s, Lang worked with researchers at the Lawrence Livermore National Laboratory to develop a solution for the James Webb Space Telescope, particularly its large mirrors, to fit into a rocket using principles and algorithms from computational origami.[54]

In 2014, researchers at the Massachusetts Institute of Technology, Harvard University, and the Wyss Institute for Biologically Inspired Engineering published a method for building self-folding machines and credited advances in computational origami for the project's success. Their origami-inspired robot was reported to fold itself in 4 minutes and walk away without human intervention, which demonstrated the potential for autonomous self-controlled assembly in robotics.[55]

Other applications include DNA origami and RNA origami, folding of manufacturing instruments, and surgery by tiny origami robots.[56]

Applications of computational origami have been featured by various production companies and commercials. Lang famously worked with Toyota Avalon to feature an animated origami sequence, Mitsubishi Endeavor to create a world entirely out of origami figures, and McDonald's to form numerous origami figures from cheeseburger wrappers.[57]

See also

Notes and references

  1. ^ a b Hull, Thomas C. (2011). "Solving cubics with creases: the work of Beloch and Lill" (PDF). American Mathematical Monthly. 118 (4): 307–315. doi:10.4169/amer.math.monthly.118.04.307. MR 2800341. S2CID 2540978.
  2. ^ "origami - History of origami | Britannica". www.britannica.com. Retrieved 2022-05-08.
  3. ^ a b "Lecture: Recent Results in Computational Origami". Origami USA: We are the American national society devoted to origami, the art of paperfolding. Retrieved 2022-05-08.
  4. ^ T. Sundara Rao (1917). Beman, Wooster; Smith, David (eds.). Geometric Exercises in Paper Folding. The Open Court Publishing Company.
  5. ^ Houdini, Harry. Houdini's Paper Magic.
  6. ^ George Edward Martin (1997). Geometric constructions. Springer. p. 145. ISBN 978-0-387-98276-2.
  7. ^ Robert Carl Yeates (1949). Geometric Tools. Louisiana State University.
  8. ^ Nick Robinson (2004). The Origami Bible. Chrysalis Books. p. 18. ISBN 978-1-84340-105-6.
  9. ^ a b c Hull, Tom (1997). "a comparison between straight edge and compass constructions and origami". origametry.net.
  10. ^ Bain, Ian (1980), "The Miura-Ori map", New Scientist. Reproduced in British Origami, 1981, and online at the British Origami Society web site.
  11. ^ Miura, K. (1985), Method of packaging and deployment of large membranes in space, Tech. Report 618, The Institute of Space and Astronautical Science
  12. ^ . Japan Aerospace Exploration Agency. Archived from the original on 25 November 2005.
  13. ^ Nishiyama, Yutaka (2012), "Miura folding: Applying origami to space exploration" (PDF), International Journal of Pure and Applied Mathematics, 79 (2): 269–279
  14. ^ a b Peter Messer (1986). "Problem 1054" (PDF). Crux Mathematicorum. 12 (10): 284–285 – via Canadian Mathematical Society.
  15. ^ Justin, Jacques, "Resolution par le pliage de l'equation du troisieme degre et applications geometriques", reprinted in Proceedings of the First International Meeting of Origami Science and Technology, H. Huzita ed. (1989), pp. 251–261.
  16. ^ Benedetto Scimemi, Regular Heptagon by Folding, Proceedings of Origami, Science and Technology, ed. H. Huzita., Ferrara, Italy, 1990
  17. ^ Newton, Liz (1 December 2009). "The power of origami". University of Cambridge. + plus magazine.
  18. ^ a b Bern, Marshall; Hayes, Barry (1996). "The complexity of flat origami". Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms (Atlanta, GA, 1996). ACM, New York. pp. 175–183. MR 1381938.
  19. ^ a b Hatori, Koshiro. "How to Divide the Side of Square Paper". Japan Origami Academic Society.
  20. ^ a b K. Haga, Origamics, Part 1, Nippon Hyoron Sha, 1999 (in Japanese)
  21. ^ a b Weisstein, Eric W. "Folding". MathWorld.
  22. ^ a b D'Agostino, Susan (2020). How to Free Your Inner Mathematician. Oxford University Press. p. 22. ISBN 9780198843597.
  23. ^ Belcastro, Sarah-Marie; Hull, Thomas C. (2002). "Modelling the folding of paper into three dimensions using affine transformations". Linear Algebra and Its Applications. 348 (1–3): 273–282. doi:10.1016/S0024-3795(01)00608-5.
  24. ^ a b Alperin, Roger C. (2002). "Ch.12". In Hull, Thomas (ed.). Mathematical Origami: Another View of Alhazen's Optical Problem. pp. 83–93. doi:10.1201/b15735. ISBN 9780429064906.
  25. ^ Robu, Judit; Ida, Tetsuo; Ţepeneu, Dorin; Takahashi, Hidekazu; Buchberger, Bruno (2006). "Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness". Automated Deduction in Geometry. Lecture Notes in Computer Science. Vol. 3763. pp. 19–33. doi:10.1007/11615798_2. ISBN 978-3-540-31332-8.
  26. ^ Alperin, Roger C. (2005). "Trisections and Totally Real Origami". The American Mathematical Monthly. 112 (3): 200–211. arXiv:math/0408159. doi:10.2307/30037438. JSTOR 30037438.
  27. ^ Gibbons, Jeremy (2003). "Origami Programming" (PDF).
  28. ^ Bird, Richard; Mu, Shin-Cheng (September 2005). "Countdown: A case study in origami programming". Journal of Functional Programming. 15 (5): 679–702. doi:10.1017/S0956796805005642. ISSN 1469-7653. S2CID 46359986.
  29. ^ Lang, Robert J.; Alperin, Roger C. (2009). "One-, two-, and multi-fold origami axioms" (PDF). Origami4: Fourth International Meeting of Origami Science, Mathematics, and Education: 383–406. doi:10.1201/b10653-38. ISBN 9780429106613.
  30. ^ a b Bertschinger, Thomas H.; Slote, Joseph; Spencer, Olivia Claire; Vinitsky, Samuel. The Mathematics of Origami (PDF). Carleton College.
  31. ^ Lang, Robert J. (2004). "Angle Quintisection" (PDF). langorigami.com. Retrieved 16 January 2021.
  32. ^ Thomas C. Hull (2002). "The Combinatorics of Flat Folds: a Survey". The Proceedings of the Third International Meeting of Origami Science, Mathematics, and Education. AK Peters. arXiv:1307.1065. ISBN 978-1-56881-181-9.
  33. ^ "Robert Lang folds way-new origami".
  34. ^ Demaine, Erik D.; O'Rourke, Joseph (2007). Geometric folding algorithms. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511735172. ISBN 978-0-521-85757-4. MR 2354878.
  35. ^ Tom Hull. "Origami and Geometric Constructions".
  36. ^ a b Geretschläger, Robert (2008). Geometric Origami. UK: Arbelos. ISBN 978-0-9555477-1-3.
  37. ^ Hiroshi Okumura (2014). "A Note on Haga's theorems in paper folding" (PDF). Forum Geometricorum. 14: 241–242.
  38. ^ a b Lang, Robert J (2008). "From Flapping Birds to Space Telescopes: The Modern Science of Origami" (PDF). Usenix Conference, Boston, MA.
  39. ^ Archived at Ghostarchive and the : Dancso, Zsuzsanna (December 12, 2014). "Numberphile: How to Trisect an Angle with Origami". YouTube. Retrieved October 2, 2021.{{cite web}}: CS1 maint: url-status (link)
  40. ^ Michael J Winckler; Kathrin D Wold; Hans Georg Bock (2011). "Hands-on Geometry with Origami". Origami 5. CRC Press. p. 225. ISBN 978-1-56881-714-9.
  41. ^ . Archived from the original on 2017-05-08. Retrieved 2008-10-08.
  42. ^ Korpal, Gaurish (25 November 2015). "Folding Paper in Half". At Right Angles. Teachers of India. 4 (3): 20–23.
  43. ^ Hull, Thomas (2002). "In search of a practical map fold". Math Horizons. 9 (3): 22–24. doi:10.1080/10724117.2002.11975147. JSTOR 25678354. S2CID 126397750.
  44. ^ a b "The Origami Lab". The New Yorker. 2007-02-12. Retrieved 2022-05-09.
  45. ^ a b Demaine, Erik (2001). "Recent Results in Computational Origami" (PDF).
  46. ^ Lang, Robert. "A Computational Algorithm for Origami Design" (PDF).
  47. ^ Schneider, Jonathan (December 10, 2004). "Flat-Foldability of Origami Crease Patterns" (PDF).
  48. ^ "Origami anything". MIT News | Massachusetts Institute of Technology. Retrieved 2022-05-08.
  49. ^ TASON. "Computational Origami". Retrieved 2022-05-08.
  50. ^ "Cadnano". cadnano. Retrieved 2022-05-08.
  51. ^ Magazine, Smithsonian; Morrison, Jim. "How Origami Is Revolutionizing Industrial Design". Smithsonian Magazine. Retrieved 2022-05-08.
  52. ^ Gibbons, Jeremy (2003). "Origami Programming" (PDF).
  53. ^ TASON. "Airbag Folding". Retrieved 2022-05-08.
  54. ^ "Webb and Origami - Webb Telescope/NASA". webb.nasa.gov. Retrieved 2022-05-08.
  55. ^ Felton, S.; Tolley, M.; Demaine, E.; Rus, D.; Wood, R. (2014-08-08). "A method for building self-folding machines". Science. 345 (6197): 644–646. Bibcode:2014Sci...345..644F. doi:10.1126/science.1252610. ISSN 0036-8075. PMID 25104380. S2CID 18415193.
  56. ^ Brewin, Bob (2004-05-10). "Computational Origami". Computerworld. Retrieved 2022-05-08.
  57. ^ "The Origami Resolution". Damn Interesting. Retrieved 2022-05-08.

Further reading

  • Demaine, Erik D., "Folding and Unfolding", PhD thesis, Department of Computer Science, University of Waterloo, 2001.
  • Friedman, Michael (2018). A History of Folding in Mathematics: Mathematizing the Margins. Science Networks. Historical Studies. Vol. 59. Birkhäuser. doi:10.1007/978-3-319-72487-4. ISBN 978-3-319-72486-7.
  • Geretschlager, Robert (1995). "Euclidean Constructions and the Geometry of Origami". Mathematics Magazine. 68 (5): 357–371. doi:10.2307/2690924. JSTOR 2690924.
  • Haga, Kazuo (2008). Fonacier, Josefina C; Isoda, Masami (eds.). Origamics: Mathematical Explorations Through Paper Folding. University of Tsukuba, Japan: World Scientific Publishing. ISBN 978-981-283-490-4.
  • Lang, Robert J. (2003). Origami Design Secrets: Mathematical Methods for an Ancient Art. A K Peters. ISBN 978-1-56881-194-9.
  • Dureisseix, David, "Folding optimal polygons from squares", Mathematics Magazine 79(4): 272–280, 2006. doi:10.2307/27642951
  • Dureisseix, David, "An Overview of Mechanisms and Patterns with Origami", International Journal of Space Structures 27(1): 1–14, 2012. doi:10.1260/0266-3511.27.1.1

External links

  • Dr. Tom Hull. "Origami Mathematics Page".
  • Paper Folding Geometry at cut-the-knot
  • Dividing a Segment into Equal Parts by Paper Folding at cut-the-knot
  • Overview of Origami Axioms
  • Introduction to Statistics with Origami by Mario Cigada

mathematics, paper, folding, discipline, origami, paper, folding, received, considerable, amount, mathematical, study, fields, interest, include, given, paper, model, flat, foldability, whether, model, flattened, without, damaging, paper, folds, solve, cubic, . The discipline of origami or paper folding has received a considerable amount of mathematical study Fields of interest include a given paper model s flat foldability whether the model can be flattened without damaging it and the use of paper folds to solve up to cubic mathematical equations 1 Map folding for a 2 2 grid of squares Computational origami is a recent branch of computer science that is concerned with studying algorithms that solve paper folding problems The field of computational origami has also grown significantly since its inception in the 1990s with Robert Lang s TreeMaker algorithm to assist in the precise folding of bases 2 Computational origami results either address origami design or origami foldability 3 In origami design problems the goal is to design an object that can be folded out of paper given a specific target configuration In origami foldability problems the goal is to fold something using creases of an initial configuration Results in origami design problems have been more accessible than in origami foldability problems 3 Contents 1 History 2 Pure origami 2 1 Flat folding 2 2 Huzita Justin axioms 3 Constructions 3 1 Haga s theorems 3 2 A generalization of Haga s theorems 3 3 Doubling the cube 3 4 Trisecting an angle 4 Related problems 5 Computational origami 5 1 Research 5 2 Software amp tools 5 3 Applications 6 See also 7 Notes and references 8 Further reading 9 External linksHistory EditSee also History of origami In 1893 Indian civil servant T Sundara Row published Geometric Exercises in Paper Folding which used paper folding to demonstrate proofs of geometrical constructions This work was inspired by the use of origami in the kindergarten system Rao demonstrated an approximate trisection of angles and implied construction of a cube root was impossible 4 In 1922 Harry Houdini published Houdini s Paper Magic which described origami techniques that drew informally from mathematical approaches that were later formalized 5 The Beloch fold In 1936 Margharita P Beloch showed that use of the Beloch fold later used in the sixth of the Huzita Hatori axioms allowed the general cubic equation to be solved using origami 1 In 1949 R C Yeates book Geometric Methods described three allowed constructions corresponding to the first second and fifth of the Huzita Hatori axioms 6 7 The Yoshizawa Randlett system of instruction by diagram was introduced in 1961 8 Crease pattern for a Miura fold The parallelograms of this example have 84 and 96 angles In 1980 was reported a construction which enabled an angle to be trisected Trisections are impossible under Euclidean rules 9 Also in 1980 Kōryō Miura and Masamori Sakamaki demonstrated a novel map folding technique whereby the folds are made in a prescribed parallelogram pattern which allows the map to be expandable without any right angle folds in the conventional manner Their pattern allows the fold lines to be interdependent and hence the map can be unpacked in one motion by pulling on its opposite ends and likewise folded by pushing the two ends together No unduly complicated series of movements are required and folded Miura ori can be packed into a very compact shape 10 In 1985 Miura reported a method of packaging and deployment of large membranes in outer space 11 and as early as 2012 this technique had been applied to solar panels on spacecraft 12 13 A diagram showing the first and last step of how origami can double the cube In 1986 Messer reported a construction by which one could double the cube which is impossible with Euclidean constructions 14 The first complete statement of the seven axioms of origami by French folder and mathematician Jacques Justin was written in 1986 but were overlooked until the first six were rediscovered by Humiaki Huzita in 1989 15 The first International Meeting of Origami Science and Technology now known as the International Conference on Origami in Science Math and Education was held in 1989 in Ferrara Italy At this meeting a construction was given by Scimemi for the regular heptagon 16 Around 1990 Robert J Lang and others first attempted to write computer code that would solve origami problems 17 Mountain valley counting In 1996 Marshall Bern and Barry Hayes showed to be an NP complete problem the assignation of a crease pattern of mountain and valley folds in order to produce a flat origami structure starting from a flat sheet of paper 18 In 1999 a theorem due to Haga provided constructions used to divide the side of a square into rational fractions 19 20 In late 2001 and early 2002 Britney Gallivan proved the minimum length of paper necessary to fold it in half a certain number of times and folded a 4 000 foot long 1 200 m piece of toilet paper twelve times 21 22 In 2002 belcastro and Hull brought to the theoretical origami the language of affine transformations with an extension from R displaystyle R 2 to R displaystyle R 3 in only the case of single vertex construction 23 In 2002 Alperin solved Alhazen s problem of spherical optics 24 In the same paper Alperin showed a construction for a regular heptagon 24 In 2004 was proven algorithmically the fold pattern for a regular heptagon 25 Bisections and trisections were used by Alperin in 2005 for the same construction 26 In 2003 Jeremy Gibbons a researcher from the University of Oxford described a style of functional programming in terms of origami He coined this paradigm as origami programming He characterizes fold and unfolds as natural patterns of computation over recursive datatypes that can be framed in the context of origami 27 In 2005 principles and concepts from mathematical and computational origami were applied to solve Countdown a game popularized in British television in which competitors used a list of source numbers to build an arithmetic expression as close to the target number as possible 28 In 2009 Alperin and Lang extended the theoretical origami to rational equations of arbitrary degree with the concept of manifold creases 29 30 This work was a formal extension of Lang s unpublished 2004 demonstration of angle quintisection 30 31 Pure origami EditFlat folding Edit Two colorability Angles around a vertex The construction of origami models is sometimes shown as crease patterns The major question about such crease patterns is whether a given crease pattern can be folded to a flat model and if so how to fold them this is an NP complete problem 32 Related problems when the creases are orthogonal are called map folding problems There are three mathematical rules for producing flat foldable origami crease patterns 33 Maekawa s theorem at any vertex the number of valley and mountain folds always differ by two It follows from this that every vertex has an even number of creases and therefore also the regions between the creases can be colored with two colors Kawasaki s theorem or Kawasaki Justin theorem at any vertex the sum of all the odd angles adds up to 180 degrees as do the even A sheet can never penetrate a fold Paper exhibits zero Gaussian curvature at all points on its surface and only folds naturally along lines of zero curvature Curved surfaces that can t be flattened can be produced using a non folded crease in the paper as is easily done with wet paper or a fingernail Assigning a crease pattern mountain and valley folds in order to produce a flat model has been proven by Marshall Bern and Barry Hayes to be NP complete 18 Further references and technical results are discussed in Part II of Geometric Folding Algorithms 34 Huzita Justin axioms Edit Main article Huzita Hatori axioms Some classical construction problems of geometry namely trisecting an arbitrary angle or doubling the cube are proven to be unsolvable using compass and straightedge but can be solved using only a few paper folds 35 Paper fold strips can be constructed to solve equations up to degree 4 The Huzita Justin axioms or Huzita Hatori axioms are an important contribution to this field of study These describe what can be constructed using a sequence of creases with at most two point or line alignments at once Complete methods for solving all equations up to degree 4 by applying methods satisfying these axioms are discussed in detail in Geometric Origami 36 Constructions EditAs a result of origami study through the application of geometric principles methods such as Haga s theorem have allowed paperfolders to accurately fold the side of a square into thirds fifths sevenths and ninths Other theorems and methods have allowed paperfolders to get other shapes from a square such as equilateral triangles pentagons hexagons and special rectangles such as the golden rectangle and the silver rectangle Methods for folding most regular polygons up to and including the regular 19 gon have been developed 36 A regular n gon can be constructed by paper folding if and only if n is a product of distinct Pierpont primes powers of two and powers of three Haga s theorems Edit BQ is always rational if AP is The side of a square can be divided at an arbitrary rational fraction in a variety of ways Haga s theorems say that a particular set of constructions can be used for such divisions 19 20 Surprisingly few folds are necessary to generate large odd fractions For instance 1 5 can be generated with three folds first halve a side then use Haga s theorem twice to produce first 2 3 and then 1 5 The accompanying diagram shows Haga s first theorem B Q 2 A P 1 A P displaystyle BQ frac 2AP 1 AP The function changing the length AP to QC is self inverse Let x be AP then a number of other lengths are also rational functions of x For example Haga s first theorem AP BQ QC AR PQx displaystyle x 2 x 1 x displaystyle frac 2x 1 x 1 x 1 x displaystyle frac 1 x 1 x 1 x 2 2 displaystyle frac 1 x 2 2 1 x 2 1 x displaystyle frac 1 x 2 1 x 1 2 2 3 1 3 3 8 5 61 3 1 2 1 2 4 9 5 62 3 4 5 1 5 5 18 13 151 5 1 3 2 3 12 25 13 15A generalization of Haga s theorems Edit Haga s theorems are generalized as follows B Q C Q 2 A P B P displaystyle frac BQ CQ frac 2AP BP Therefore BQ CQ k 1 implies AP BP k 2 for a positive real number k 37 Doubling the cube Edit Doubling the cube PB PA cube root of 2 The classical problem of doubling the cube can be solved using origami This construction is due to Peter Messer 38 A square of paper is first creased into three equal strips as shown in the diagram Then the bottom edge is positioned so the corner point P is on the top edge and the crease mark on the edge meets the other crease mark Q The length PB will then be the cube root of 2 times the length of AP 14 The edge with the crease mark is considered a marked straightedge something which is not allowed in compass and straightedge constructions Using a marked straightedge in this way is called a neusis construction in geometry Trisecting an angle Edit Trisecting the angle CAB Angle trisection is another of the classical problems that cannot be solved using a compass and unmarked ruler but can be solved using origami 39 This construction which was reported in 1980 is due to Hisashi Abe 38 9 The angle CAB is trisected by making folds PP and QQ parallel to the base with QQ halfway in between Then point P is folded over to lie on line AC and at the same time point A is made to lie on line QQ at A The angle A AB is one third of the original angle CAB This is because PAQ A AQ and A AR are three congruent triangles Aligning the two points on the two lines is another neusis construction as in the solution to doubling the cube 40 9 Related problems EditThe problem of rigid origami treating the folds as hinges joining two flat rigid surfaces such as sheet metal has great practical importance For example the Miura map fold is a rigid fold that has been used to deploy large solar panel arrays for space satellites The napkin folding problem is the problem of whether a square or rectangle of paper can be folded so the perimeter of the flat figure is greater than that of the original square The placement of a point on a curved fold in the pattern may require the solution of elliptic integrals Curved origami allows the paper to form developable surfaces that are not flat 41 Wet folding origami is a technique evolved by Yoshizawa that allows curved folds to create an even greater range of shapes of higher order complexity The maximum number of times an incompressible material can be folded has been derived With each fold a certain amount of paper is lost to potential folding The loss function for folding paper in half in a single direction was given to be L p t 6 2 n 4 2 n 1 displaystyle L tfrac pi t 6 2 n 4 2 n 1 where L is the minimum length of the paper or other material t is the material s thickness and n is the number of folds possible 42 The distances L and t must be expressed in the same units such as inches This result was derived by Britney Gallivan a high schooler from California in December 2001 In January 2002 she folded a 4 000 foot long 1 200 m piece of toilet paper twelve times in the same direction debunking a long standing myth that paper cannot be folded in half more than eight times 21 22 The fold and cut problem asks what shapes can be obtained by folding a piece of paper flat and making a single straight complete cut The solution known as the fold and cut theorem states that any shape with straight sides can be obtained A practical problem is how to fold a map so that it may be manipulated with minimal effort or movements The Miura fold is a solution to the problem and several others have been proposed 43 Computational origami EditComputational origami is a branch of computer science that is concerned with studying algorithms for solving paper folding problems In the early 1990s origamists participated in a series of origami contests called the Bug Wars in which artists attempted to out compete their peers by adding complexity to their origami bugs Most competitors in the contest belonged to the Origami Detectives a group of acclaimed Japanese artists 44 Robert Lang a research scientist from Stanford University and the California Institute of Technology also participated in the contest The contest helped initialize a collective interest in developing universal models and tools to aid in origami design and foldability 44 Research Edit Paper folding problems are classified as either origami design or origami foldability problems There are predominantly three current categories of computational origami research universality results efficient decision algorithms and computational intractability results 45 A universality result defines the bounds of possibility given a particular model of folding For example a large enough piece of paper can be folded into any tree shaped origami base polygonal silhouette and polyhedral surface 46 When universality results are not attainable efficient decision algorithms can be used to test whether an object is foldable in polynomial time 45 Certain paper folding problems do not have efficient algorithms Computational intractability results show that there are no such polynomial time algorithms that currently exist to solve certain folding problems For example it is NP hard to evaluate whether a given crease pattern folds into any flat origami 47 In 2017 Erik Demaine of the Massachusetts Institute of Technology and Tomohiro Tachi of the University of Tokyo published a new universal algorithm that generates practical paper folding patterns to produce any 3 D structure The new algorithm built upon work that they presented in their paper in 1999 that first introduced a universal algorithm for folding origami shapes that guarantees a minimum number of seams The algorithm will be included in Origamizer a free software for generating origami crease patterns that was first released by Tachi in 2008 48 Software amp tools Edit There are several software design tools that are used for origami design Users specify the desired shape or functionality and the software tool constructs the fold pattern and or 2D or 3D model of the result Researchers at the Massachusetts Institute of Technology Georgia Tech University of California Irvine University of Tsukuba and University of Tokyo have developed and posted publicly available tools in computational origami TreeMaker ReferenceFinder OrigamiDraw and Origamizer are among the tools that have been used in origami design 49 There are other software solutions associated with building computational origami models using non paper materials such as Cadnano in DNA origami 50 Applications Edit Computational origami has contributed to applications in robotics biotechnology amp medicine industrial design 51 Applications for origami have also been developed in the study of programming languages and programming paradigms particular in the setting of functional programming 52 Robert Lang participated in a project with researchers at EASi Engineering in Germany to develop automotive airbag folding designs 53 In the mid 2000s Lang worked with researchers at the Lawrence Livermore National Laboratory to develop a solution for the James Webb Space Telescope particularly its large mirrors to fit into a rocket using principles and algorithms from computational origami 54 In 2014 researchers at the Massachusetts Institute of Technology Harvard University and the Wyss Institute for Biologically Inspired Engineering published a method for building self folding machines and credited advances in computational origami for the project s success Their origami inspired robot was reported to fold itself in 4 minutes and walk away without human intervention which demonstrated the potential for autonomous self controlled assembly in robotics 55 Other applications include DNA origami and RNA origami folding of manufacturing instruments and surgery by tiny origami robots 56 Applications of computational origami have been featured by various production companies and commercials Lang famously worked with Toyota Avalon to feature an animated origami sequence Mitsubishi Endeavor to create a world entirely out of origami figures and McDonald s to form numerous origami figures from cheeseburger wrappers 57 See also Edit Wikimedia Commons has media related to Origami mathematics Flexagon Lill s method Napkin folding problem Map folding Regular paperfolding sequence for example the dragon curve Notes and references Edit a b Hull Thomas C 2011 Solving cubics with creases the work of Beloch and Lill PDF American Mathematical Monthly 118 4 307 315 doi 10 4169 amer math monthly 118 04 307 MR 2800341 S2CID 2540978 origami History of origami Britannica www britannica com Retrieved 2022 05 08 a b Lecture Recent Results in Computational Origami Origami USA We are the American national society devoted to origami the art of paperfolding Retrieved 2022 05 08 T Sundara Rao 1917 Beman Wooster Smith David eds Geometric Exercises in Paper Folding The Open Court Publishing Company Houdini Harry Houdini s Paper Magic George Edward Martin 1997 Geometric constructions Springer p 145 ISBN 978 0 387 98276 2 Robert Carl Yeates 1949 Geometric Tools Louisiana State University Nick Robinson 2004 The Origami Bible Chrysalis Books p 18 ISBN 978 1 84340 105 6 a b c Hull Tom 1997 a comparison between straight edge and compass constructions and origami origametry net Bain Ian 1980 The Miura Ori map New Scientist Reproduced in British Origami 1981 and online at the British Origami Society web site Miura K 1985 Method of packaging and deployment of large membranes in space Tech Report 618 The Institute of Space and Astronautical Science 2D Array Japan Aerospace Exploration Agency Archived from the original on 25 November 2005 Nishiyama Yutaka 2012 Miura folding Applying origami to space exploration PDF International Journal of Pure and Applied Mathematics 79 2 269 279 a b Peter Messer 1986 Problem 1054 PDF Crux Mathematicorum 12 10 284 285 via Canadian Mathematical Society Justin Jacques Resolution par le pliage de l equation du troisieme degre et applications geometriques reprinted in Proceedings of the First International Meeting of Origami Science and Technology H Huzita ed 1989 pp 251 261 Benedetto Scimemi Regular Heptagon by Folding Proceedings of Origami Science and Technology ed H Huzita Ferrara Italy 1990 Newton Liz 1 December 2009 The power of origami University of Cambridge plus magazine a b Bern Marshall Hayes Barry 1996 The complexity of flat origami Proceedings of the Seventh Annual ACM SIAM Symposium on Discrete Algorithms Atlanta GA 1996 ACM New York pp 175 183 MR 1381938 a b Hatori Koshiro How to Divide the Side of Square Paper Japan Origami Academic Society a b K Haga Origamics Part 1 Nippon Hyoron Sha 1999 in Japanese a b Weisstein Eric W Folding MathWorld a b D Agostino Susan 2020 How to Free Your Inner Mathematician Oxford University Press p 22 ISBN 9780198843597 Belcastro Sarah Marie Hull Thomas C 2002 Modelling the folding of paper into three dimensions using affine transformations Linear Algebra and Its Applications 348 1 3 273 282 doi 10 1016 S0024 3795 01 00608 5 a b Alperin Roger C 2002 Ch 12 In Hull Thomas ed Mathematical Origami Another View of Alhazen s Optical Problem pp 83 93 doi 10 1201 b15735 ISBN 9780429064906 Robu Judit Ida Tetsuo Ţepeneu Dorin Takahashi Hidekazu Buchberger Bruno 2006 Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness Automated Deduction in Geometry Lecture Notes in Computer Science Vol 3763 pp 19 33 doi 10 1007 11615798 2 ISBN 978 3 540 31332 8 Alperin Roger C 2005 Trisections and Totally Real Origami The American Mathematical Monthly 112 3 200 211 arXiv math 0408159 doi 10 2307 30037438 JSTOR 30037438 Gibbons Jeremy 2003 Origami Programming PDF Bird Richard Mu Shin Cheng September 2005 Countdown A case study in origami programming Journal of Functional Programming 15 5 679 702 doi 10 1017 S0956796805005642 ISSN 1469 7653 S2CID 46359986 Lang Robert J Alperin Roger C 2009 One two and multi fold origami axioms PDF Origami4 Fourth International Meeting of Origami Science Mathematics and Education 383 406 doi 10 1201 b10653 38 ISBN 9780429106613 a b Bertschinger Thomas H Slote Joseph Spencer Olivia Claire Vinitsky Samuel The Mathematics of Origami PDF Carleton College Lang Robert J 2004 Angle Quintisection PDF langorigami com Retrieved 16 January 2021 Thomas C Hull 2002 The Combinatorics of Flat Folds a Survey The Proceedings of the Third International Meeting of Origami Science Mathematics and Education AK Peters arXiv 1307 1065 ISBN 978 1 56881 181 9 Robert Lang folds way new origami Demaine Erik D O Rourke Joseph 2007 Geometric folding algorithms Cambridge Cambridge University Press doi 10 1017 CBO9780511735172 ISBN 978 0 521 85757 4 MR 2354878 Tom Hull Origami and Geometric Constructions a b Geretschlager Robert 2008 Geometric Origami UK Arbelos ISBN 978 0 9555477 1 3 Hiroshi Okumura 2014 A Note on Haga s theorems in paper folding PDF Forum Geometricorum 14 241 242 a b Lang Robert J 2008 From Flapping Birds to Space Telescopes The Modern Science of Origami PDF Usenix Conference Boston MA Archived at Ghostarchive and the Wayback Machine Dancso Zsuzsanna December 12 2014 Numberphile How to Trisect an Angle with Origami YouTube Retrieved October 2 2021 a href Template Cite web html title Template Cite web cite web a CS1 maint url status link Michael J Winckler Kathrin D Wold Hans Georg Bock 2011 Hands on Geometry with Origami Origami 5 CRC Press p 225 ISBN 978 1 56881 714 9 Siggraph Curved Origami Archived from the original on 2017 05 08 Retrieved 2008 10 08 Korpal Gaurish 25 November 2015 Folding Paper in Half At Right Angles Teachers of India 4 3 20 23 Hull Thomas 2002 In search of a practical map fold Math Horizons 9 3 22 24 doi 10 1080 10724117 2002 11975147 JSTOR 25678354 S2CID 126397750 a b The Origami Lab The New Yorker 2007 02 12 Retrieved 2022 05 09 a b Demaine Erik 2001 Recent Results in Computational Origami PDF Lang Robert A Computational Algorithm for Origami Design PDF Schneider Jonathan December 10 2004 Flat Foldability of Origami Crease Patterns PDF Origami anything MIT News Massachusetts Institute of Technology Retrieved 2022 05 08 TASON Computational Origami Retrieved 2022 05 08 Cadnano cadnano Retrieved 2022 05 08 Magazine Smithsonian Morrison Jim How Origami Is Revolutionizing Industrial Design Smithsonian Magazine Retrieved 2022 05 08 Gibbons Jeremy 2003 Origami Programming PDF TASON Airbag Folding Retrieved 2022 05 08 Webb and Origami Webb Telescope NASA webb nasa gov Retrieved 2022 05 08 Felton S Tolley M Demaine E Rus D Wood R 2014 08 08 A method for building self folding machines Science 345 6197 644 646 Bibcode 2014Sci 345 644F doi 10 1126 science 1252610 ISSN 0036 8075 PMID 25104380 S2CID 18415193 Brewin Bob 2004 05 10 Computational Origami Computerworld Retrieved 2022 05 08 The Origami Resolution Damn Interesting Retrieved 2022 05 08 Further reading EditDemaine Erik D Folding and Unfolding PhD thesis Department of Computer Science University of Waterloo 2001 Friedman Michael 2018 A History of Folding in Mathematics Mathematizing the Margins Science Networks Historical Studies Vol 59 Birkhauser doi 10 1007 978 3 319 72487 4 ISBN 978 3 319 72486 7 Geretschlager Robert 1995 Euclidean Constructions and the Geometry of Origami Mathematics Magazine 68 5 357 371 doi 10 2307 2690924 JSTOR 2690924 Haga Kazuo 2008 Fonacier Josefina C Isoda Masami eds Origamics Mathematical Explorations Through Paper Folding University of Tsukuba Japan World Scientific Publishing ISBN 978 981 283 490 4 Lang Robert J 2003 Origami Design Secrets Mathematical Methods for an Ancient Art A K Peters ISBN 978 1 56881 194 9 Dureisseix David Folding optimal polygons from squares Mathematics Magazine 79 4 272 280 2006 doi 10 2307 27642951 Dureisseix David An Overview of Mechanisms and Patterns with Origami International Journal of Space Structures 27 1 1 14 2012 doi 10 1260 0266 3511 27 1 1External links Edit Wikimedia Commons has media related to Origami mathematics Dr Tom Hull Origami Mathematics Page Paper Folding Geometry at cut the knot Dividing a Segment into Equal Parts by Paper Folding at cut the knot Britney Gallivan has solved the Paper Folding Problem Overview of Origami Axioms Introduction to Statistics with Origami by Mario CigadaPortal Mathematics Retrieved from https en wikipedia org w index php title Mathematics of paper folding amp oldid 1133960585 Flat folding, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.