Teorema de Kawasaki
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fe/Kawasaki%27s_theorem.jpg/220px-Kawasaki%27s_theorem.jpg)
El teorema de Kawasaki o teorema de Kawasaki-Justin es un teorema de la disciplina de las matemáticas del origami que caracteriza los patrones de pliegues con un solo vértice que pueden ser doblados para formar una figura plana. Enuncia que el patrón es plegable plano si y sólo si sumando y restando alternativamente los ángulos entre los pliegues alrededor del vértice da una suma alternada de cero. Los patrones de pliegue de más de un vértice no obedecen a un criterio tan simple y son, de hecho, NP-complejos de doblar.
El teorema lleva el nombre de uno de sus descubridores, Toshikazu Kawasaki. Sin embargo, otras personas contribuyeron a su descubrimiento, por lo que a veces también es llamado teorema de Kawasaki-Justin o teorema de Husimi en honor a Jacques Justin y Kôdi Husimi.
Enunciado
[editar]Un patrón de pliegue de un vértice consiste en un conjunto de líneas o pliegues dibujadas sobre una hoja de papel plana, todas concurrentes en un único punto en el interior del papel, el vértice del patrón. Cada línea debe ser doblada, aunque no se especifica si los pliegues deben ser montaña o valle. El objetivo es determinar si es posible doblar el papel de forma que cada línea quede doblada, no haya más dobleces que las de las líneas, y la hoja de papel doblada quede plana.[1]
Para que el papel se doble plano el número de pliegues debe ser par. Esto se deduce, por ejemplo, del teorema de Maekawa, que tiene por corolario (véase el artículo sobre este teorema) que si una figura es plana, el número de pliegues en cada vértice es par. Por contrarrecíproco, si hay un número impar de pliegues, la figura no se doblará en un plano. Por tanto, supongamos que un patrón de pliegues consiste en líneas, y sean los ángulos consecutivos entre los pliegues alrededor del vértice, en el sentido de las agujas del reloj, empezando por un pliegue cualquiera. Entonces, el teorema de Kawasaki afirma que el patrón se puede dobrlar en un plano si y sólo si la suma y resta alternada de los ángulos da cero:
Una manera equivalente de enunciar lo mismo es que, si los ángulos se parten en dos conjuntos alternados, entonces la suma de los ángulos en cada uno de los conjuntos es exactamente .[2] Sin embargo, esta forma equivalente sólo es válida para una hoja plana de papel, mientras que la condición de la suma alternada sigue siendo válida para patrones de pliegues en hojas de papel cónicas con defecto angular no nulo en el vértice.[1]
Demostración
[editar]Necesidad
[editar]Para demostrar que la condición de Kawasaki es necesaria para cualquier figura doblada plana, es suficiente observar que, en cada pliegue, la orientación del papel se invierte. Por tanto, si el primer pliegue de la figura doblada se coloca sobre un eje , el segundo tendrá que estar rotado respecto al primero un ángulo , el tercero, un ángulo (porque el segundo ángulo tiene una orientación opuesta al primero), y así sucesivamente. Después de todos los pliegues, el papel debe volver a donde empezó para se junten los extremos del mismo. Es decir, el ángulo total girado () debe ser nulo, que es la condición a la que queríamos llegar.
Suficiencia
[editar]Primera demostración
[editar]Veamos ahora que la condición es suficiente. Para ello, tenemos que describir cómo doblar un patrón de pliegue dado para que se doble en un plano. Esto es, debemos elegir si hacemos pliegues valle o montaña, y en qué orden. Una forma de hacer esto es elegir un número tal que la suma alternada parcial
sea lo más pequeña posible. O y la suma parcial es una suma vacía que también es nula, o para alguna elección no nula de la suma es negativa. Entonces, doblamos el papel en forma de acordeón, empezando con el ángulo y alternando pliegues montaña y valle, colocando cada nueva solapa de papel debajo de los pliegues anteriores. En cada paso hasta el último pliegue, un pliegue acordeón como este nunca se intersecará a sí mismo. La elección de asegura que la primera solapa sobresalga hacia la izquierda del resto de papel doblado, permitiendo que el último trozo se conecte de nuevo a él.[3]
Demostración alternativa
[editar]Veamos una demostración alternativa de la suficiencia. Consideremos el ángulo más pequeño y los dos pliegues que hay a sus lados. Plegamos uno de ellos en montaña y el otro en valle, eligiendo el tipo de pliegue para cada uno arbitrariamente. Entonces, "pegamos" la doblez resultante al resto del patrón de pliegues. El resultado será un patrón de pliegues con dos líneas menos, sobre una pieza de papel cónica, que todavía satisface la condición de Kawasaki.
En efecto, al haber elegido como el ángulo más pequeño, ninguna línea del patrón quedará tapada por el pliegue hecho. Además, los ángulos contiguos a se transforman en un ángulo conjunto de tamaño , pues se ha doblado sobre uno de los dos. Por tanto, mientras que la suma de ángulos de la paridad de ha perdido un ángulo , los de la otra paridad, a los que pertenecían y , han perdido también un ángulo al agruparse estos últimos como se ha dicho antes. Como antes de la doblez ambas paridades sumaban un mismo ángulo, al perder las dos , siguen sumando lo mismo y, por tanto, el patrón sigue cumpliendo la condición de Kawasaki.
Repetimos el proceso: elegimos el ángulo más pequeño de entre los que quedan, hacemos los dos pliegues ya descritos y obtenemos el cono con dos líneas menos que sigue cumpliendo la condición de Kawasaki. Haciendo esto sucesivamente, acabaremos llegando al siguiente caso base, que sabemos resolver: un cono con dos líneas que determinan dos ángulos iguales, que se puede doblar en un plano trivialmente haciendo un pliegue montaña (o un pliegue valle) en cada una. Entonces, por inducción matemática, por este proceso, podemos transformar cualquier patrón con la condición de Kawasaki en un pliegue plano.
Corolario: cota inferior del número de formas de plegar un patrón
[editar]La anterior demostración alternativa permite contar cuántas maneras hay de doblar el patrón en un plano. En efecto, en cada paso (elección de ) podemos elegir entre dos opciones: hacer un pliegue valle y el otro montaña, o viceversa. Para un patrón con líneas, como a cada paso eliminamos dos, tenemos que hacer esta elección veces. Por tanto, por este método hay patrones distintos que podemos obtener. Sin embargo, es posible que hubiera otros plegados planos que no fueran obtenibles mediante este método. Por tanto, lo que podemos afirmar es que,
Para un patrón de pliegues alrededor de un vértice que cumpla la condición de Kawasaki hay, por lo menos, plegados planos posibles.[4]
Historia
[editar]A finales de la década de 1970, Kôdi Husimi y David A. Huffman observaron independientemente que figuras doblables planas con cuatro pliegues tenían ángulos opuestos que sumaban , un caso particular del teorema de Kawasaki.[5][6] Huffman incluyó el resultado en un artículo de 1976 sobre pliegues curvos,[7] y Husimi publicó el teorema de los cuatro pliegues en un libro sobre geometría del origami con su mujer Mitsue Husimi.[8] El mismo resultado fue publicado antes incluso, en un par de artículos de 1966 escritos por S. Murata que, además, incluían el caso para seis pliegues y el caso general del teorema de Maekawa.
El hecho de la suma alternada de los ángulos de patrones con un número arbitrario de pliegues necesariamente es fue descubierto por Kawasaki, Stuart Robertson y Jacques Justin (cada uno independientemente de los demás) a finales de la década de 1970 y principios de la de los 1980.[5][9][10][11][12][13] Por la contribución de Justin al problema, el teorema de Kawasaki también se ha llamado a veces teorema de Kawasaki-Justin.[14] El hecho de que la condición es suficiente (esto es, que patrones con un número par de pliegues cuyos ángulos alternados sumen son plegables planos) fue posiblemente enunciado por primera vez por Hull en 1994.[3]
El mismo Kawasaki llamó al resultado teorema de Husimi en honor a Kôdi Husimi, y otros autores han seguido esta terminología.[15][16] El resultado recibió el nombre de teorema de Kawasaki por primera vez en Origami for the Connoisseur, de Kunihiko Kasahara y Toshie Takahama (Japan Publications, 1987).[9]
Hull (2003)[4] acredita, por la cota inferior de para el número de plegados planos de un patrón de líneas con la condición de Kawasaki, a trabajos independientes de principios de la década de 1990 de Azuma,[17] Justin,[12] y Ewins y Hull.[4]
Plegabilidad plana local y global
[editar]El teorema de Kawasaki, aplicado a cada vértice de un patrón de pliegue arbitrario, determina si el patrón es localmente plegable plano, es decir, si en un entorno de cada vértice el patrón se puede plegar en un plano. Si embargo, existen patrones que son localmente plegables planos, pero que no tienen un plegado global que deje todo el patrón plegado en un plano.[9]Tom Hull (1994) conjeturó que la plegabilidad plana global se podía comprobar por el teorema de Kawasaki en cada vértice, seguido de una comprobación de que un grafo no dirigido asociado al patrón de pliegues fuera bipartito.[3] Sin embargo, esta conjetura fue desmentida por Bern y Hayes (1996)[18], que mostraron que esas condiciones no eran suficientes. Dieron además un resultado más fuerte: que el problema de comprobar el plegabilidad global de un patrón de pliegues es NP-completo.[18]
Referencias
[editar]- ↑ a b Hull, Tom (2002), "The combinatorics of flat folds: a survey", Origami: Third International Meating of Origami Science, Mathematics and Education, AK Peters, p. 29-38.
- ↑ Alsina, Claudi; Nelsen Roger (2010), Charming Proofs: A Journey Into Elegant Mathematics, Donciani Mathematical Expositions, vol. 42, Mathematical Association of America, p. 57.
- ↑ a b c Hull, Tom (1994), "On the mathematics of flat origamis", Congressus Numerantium, 100: 215-224.
- ↑ a b c Hull, Thomas (2003), "Counting mountain-valley assignments for flat folds", Ars Combinatoria, 67: 175-187.
- ↑ a b Hull, Tom (otoño de 2010), "Maekawa and Kawasaki's Theorems Revisited and Extended", Guest Lecture 6.849, Massachusetts Institute of Technology.
- ↑ Wertheim, Margaret (22 de junio de 2004), "Cones, Curves, Shells, Towers: He Made Paper Jump to Life", New York Times.
- ↑ Huffman, David A. (1976), "Curvature and Creases: A primer on paper", IEEE Transactions on Computers, C-25 (10): 1010-1019.
- ↑ Husimi, K.; Husimi, M. (1979), The Geometry of Origami, Tokyo: Nihon Hyouronsha, segunda edición, 1984.
- ↑ a b c Hull, Tom, MA 323A Combinatorial Geometry!: Notes on Flat Folding.
- ↑ Robertson, S. A. (1977), "Isometric folding of Riemannian manifolds", Proceedings of the Royal Society of Edimburgh, sección A: Matemáticas, 79 (3-4): 275-284.
- ↑ Justin, J. (junio de 1986), "Mathematics of origami, part 9", British Origami: 30. Citado en las notas de Hull de MA 323A.
- ↑ a b Justin, J. (1994), "Towards a mathematical theory of origami", 2nd Int. Meeting of Origami Science, Otsu, Japón.
- ↑ Kawasaki, T. (1989), "On the relationship between mountain-creases and valley-creases of a flat origami", en Huzita H. (ed.), Origami Science and Technology, p. 229-237.
- ↑ O'Rourke, Joseph (2011), "4.5 The Kawasaki-Justin theorem", How To Fold It: The Mathematics of Linkages, Origami, and Polyhedra, Cambridge University Press, p. 66-68.
- ↑ Kawasaki, Toshikazu (2005), Roses, Origami and Math, Japan Publications Trading, p.139.
- ↑ Kaino, K. (2007), "Four-dimensional geometry and folding regular tetrahedron", en Fujita, Shigeji; Obata, Tsunehiro; Suzuki, Akira (eds.), Statistical and condensed matter physics: over the horizon, Nova Publishers, p. 101-112 [102].
- ↑ Azuma, H. (1994), "Some mathematical observation on flat foldings", 2nd Int. Meeting of Origami Science, Otsu, Japón.
- ↑ a b Bern, Marshall; Hayes, Barry (1996), "The complexity of flat origami", Proc. 7th ACM-SIAM Symposium on Discrete algorithms (SODA '96), p. 175-183.
Enlaces externos
[editar]- Esta obra contiene una traducción derivada de «Kawasaki's theorem» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.