Teselado pitagórico

enlosado del plano utilizando cuadrados de dos tamaños distintos

Un teselado pitagórico o mosaico de dos cuadrados es un enlosado de un plano euclídeo formado por cuadrados de dos tamaños diferentes, en el que cada cuadrado toca cuatro cuadrados del otro tamaño en sus cuatro lados. Muchas pruebas del teorema de Pitágoras se basan en este diseño,[2]​ lo que explica su nombre.[1]​ Se utiliza comúnmente como patrón para embaldosar suelos. Cuando se emplea con este fin, también se conoce como patrón de rayuela[3]​ o patrón de molinete,[4]​ aunque no debe confundirse con el teselado de molinillo, un patrón matemático con el que no está relacionado.[5]

Teselado pitagórico
Músicos callejeros en la puerta, Jacob Ochtervelt, 1665. Como observó Nelsen,[1]​ las baldosas de esta pintura están colocadas en forma de mosaico pitagórico

Este mosaico tiene simetría rotacional de cuatro lóbulos alrededor de cada uno de sus cuadrados. Cuando la relación de las longitudes de los lados de los dos cuadrados es un número irracional (como por ejemplo, el número áureo), sus secciones forman patrones aperiódicos, con una estructura recursiva similar a la de la palabra de Fibonacci. También se han estudiado generalizaciones de este mosaico a tres dimensiones.

Topología y simetría editar

El teselado pitagórico es el mosaico único formado por cuadrados de dos tamaños diferentes, que es a la vez unilateral (no hay dos cuadrados que tengan un lado común) y equitransitivo (cada dos cuadrados del mismo tamaño se pueden hacer corresponder entre sí mediante una simetría del mosaico).[6]

Topológicamente, el mosaico pitagórico tiene la misma estructura que el teselado cuadrado truncado, formado con cuadrados y octógonos regulares.[7]​ Los cuadrados más pequeños en el mosaico pitagórico están adyacentes a cuatro losetas más grandes, al igual que los cuadrados en el mosaico de cuadrados truncados, mientras que los cuadrados más grandes en el teselado pitagórico son adyacentes a ocho piezas vecinas, que se alternan entre grandes y pequeñas, tal como los octágonos en el teselado cuadrado truncado. Sin embargo, los dos mosaicos tienen diferentes conjuntos de simetrías, porque el teselado cuadrado truncado es simétrico bajo reflexiones especulares, mientras que el teselado pitagórico no lo es. Matemáticamente, esto se puede explicar diciendo que el teselado cuadrado truncado tiene simetría diédrica alrededor del centro de cada loseta, mientras que el teselado pitagórico tiene un conjunto más pequeño de simetrías cíclicas alrededor de los puntos correspondientes, lo que le confiere simetría p4.[8]​ Es un patrón quiral, lo que significa que es imposible superponerlo sobre su imagen especular usando solo traslaciones y rotaciones.

Un teselado uniforme es aquel en el que cada tesela es un polígono regular y en el que cada vértice se puede asignar a todos los demás vértices mediante una simetría del teselado. Por lo general, se requiere adicionalmente que los teselados uniformes tengan piezas que se encuentren de lado a lado, pero si este requisito se relaja, entonces se pueden considerar ocho teselados uniformes adicionales. Cuatro están formados por infinitas franjas de cuadrados o triángulos equiláteros, y tres están formados por triángulos equiláteros y hexágonos regulares. El caso restante es el teselado pitagórico.[9]

Teorema de Pitágoras y disecciones editar

 
Las disecciones de cinco piezas utilizadas en las demostraciones de Al-Nayrizi y de Thábit ibn Qurra (izquierda) y de Henry Perigal (derecha)

Este mosaico se llama teselado pitagórico porque ha sido utilizado como base algunas demostraciones del teorema de Pitágoras por los matemáticos islámicos del siglo IX Al-Nayrizi y Thábit ibn Qurra, y por el matemático aficionado británico Henry Perigal del siglo XIX.[1][10][11][12]​ Si los lados de los dos cuadrados que forman el teselado son los números a y b, entonces la distancia más cercana entre los puntos correspondientes en cuadrados congruentes es c, donde c es la longitud de la hipotenusa de un triángulo rectángulo que tiene lados a y b.[13]​ Por ejemplo, en la ilustración de la izquierda, los dos cuadrados en el teselado pitagórico tienen longitudes laterales de 5 y 12 unidades de largo, y la longitud lateral de las baldosas en el teselado cuadrado superpuesto es 13, según la terna pitagórica (5, 12 ,13).

Al superponer una cuadrícula de longitud de lado c sobre el teselado pitagórico, se puede usar para generar una disección de cinco piezas de dos cuadrados desiguales de lados a y b en un solo cuadrado de lado c, lo que demuestra que los dos cuadrados más pequeños tienen la misma área que el más grande. De manera similar, se puede utilizar la superposición de dos teselados pitagóricos para generar una disección de seis piezas de dos cuadrados desiguales en otros dos cuadrados desiguales diferentes.[10]

Secciones transversales aperiódicas editar

 
Una sicesión aperiódica generada a partir de un teselado de dos tipos de cuadrados, cuyas longitudes de arista tienen como proporción el número áureo (cuando la recta corta un cuadrado grande, se asigna 0; y cuando cruza un cuadrado pequeño, se asigna 1)

Aunque el teselado pitagórico es en sí mismo periódico (define un retículo cuadrado mediante simetrías traslacionales), su sección se puede utilizar para generar sucesiones aperiódicas unidimensionales.[14]

En la construcción de Klotz para sucesiones aperiódicas (Klotz es una palabra alemana que significa bloque), se forma un teselado pitagórico con dos cuadrados cuyos tamaños se eligen para que la relación entre las longitudes de los dos lados sea un número irracionalx. A continuación, se elige una línea paralela a los lados de los cuadrados y se forma una secuencia de valores binarios a partir de los tamaños de los cuadrados atravesados por la línea: un 0 corresponde al cruce de un cuadrado grande y un 1 corresponde a un cruce de un cuadrado pequeño. En esta secuencia, la proporción relativa de 0 y 1 estará en la proporción x:1. Esta proporción no se puede lograr mediante una secuencia periódica de 0 y 1, porque es irracional, por lo que la secuencia es aperiódica.[14]

Si x se elige como el número áureo, la secuencia de 0 y 1 generada de esta manera tiene la misma estructura recursiva que la palabra de Fibonacci: se puede dividir en subcadenas de la forma "01" y "0" (es decir , no hay dos unos consecutivos) y si estas dos subcadenas se reemplazan consistentemente por las cadenas más cortas "0" y "1", entonces se obtiene otra cadena con la misma estructura.[14]

Resultados relacionados editar

Según la conjetura de Keller, cualquier teselado del plano mediante cuadrados congruentes debe incluir dos cuadrados que se encuentren lado a lado.[15]​ Ninguno de los cuadrados del teselado pitagórico se toca de lado a lado,[6]​ pero este hecho no viola la conjetura de Keller, porque las losetas tienen diferentes tamaños, por lo que no todas son congruentes entre sí.

El teselado pitagórico puede generalizarse a un teselado tridimensional del espacio euclídeo formado por cubos de dos tamaños diferentes, que además es unilateral y equitransitivo. Attila Bölcskei llamó a esta disposición tridimensional el teselado de Rogers. Conjeturó que, en cualquier dimensión mayor que tres, existe nuevamente una forma única, unilateral y equitransitiva, de teselado del espacio mediante hipercubos de dos tamaños diferentes.[16]

Burns y Rigby encontraron varias prototeselas, incluido el copo de nieve de Koch, que pueden usarse para revestir el plano usando exclusivamente copias del prototipo en dos o más tamaños diferentes.[17]​ Un artículo anterior de Danzer, Grünbaum y Shephard proporciona otro ejemplo, un pentágono convexo que rellena el plano cuando se combina en dos tamaños.[18]​ Aunque el teselado pitagórico usa dos tamaños diferentes de cuadrados, el teselado cuadrado no tiene la misma propiedad que estos prototipos de teselas solo por semejanza, dado que también es posible teselar el plano usando únicamente cuadrados de un solo tamaño.

Aplicación editar

Una aplicación estructural temprana del teselado pitagórico aparece en los trabajos de Leonardo da Vinci, quien lo consideró entre varios otros patrones potenciales para la distribución de viguetas.[19]​ Este mosaico también se ha utilizado durante mucho tiempo de forma decorativa, para paredes o suelos embaldosados, como se puede ver, por ejemplo, en el cuadro de Jacob Ochtervelt Músicos callejeros en la puerta (1665).[1]​ Se ha sugerido que ver un mosaico similar en el palacio de Polícrates de Samos podo haber proporcionado a Pitágoras la inspiración original para su teorema.[13]

Referencias editar

  1. a b c d Nelsen, Roger B. (November 2003), «Paintings, plane tilings, and proofs», Math Horizons 11 (2): 5-8, S2CID 126000048, doi:10.1080/10724117.2003.12021741 .. Reprinted in Haunsperger, Deanna; Kennedy, Stephen (2007), The Edge of the Universe: Celebrating Ten Years of Math Horizons, Spectrum Series, Mathematical Association of America, pp. 295-298, ISBN 978-0-88385-555-3 .. Véase también Alsina, Claudi; Nelsen, Roger B. (2010), Charming proofs: a journey into elegant mathematics, Dolciani mathematical expositions 42, Mathematical Association of America, pp. 168-169, ISBN 978-0-88385-348-1 ..
  2. Wells, David (1991), «two squares tessellation», The Penguin Dictionary of Curious and Interesting Geometry, New York: Penguin Books, pp. 260–261, ISBN 0-14-011813-6 ..
  3. «How to Install Hopscotch Pattern Tiles», Home Guides, San Francisco Chronicle, consultado el 12 de diciembre de 2016 ..
  4. ((Editors of Fine Homebuilding)) (2013), Bathroom Remodeling, Taunton Press, p. 45, ISBN 978-1-62710-078-6 .. A schematic diagram illustrating this floor tile pattern appears earlier, on p. 42.
  5. Radin, C. (1994), «The Pinwheel Tilings of the Plane», Annals of Mathematics 139 (3): 661-702, JSTOR 2118575, doi:10.2307/2118575 .
  6. a b Martini, Horst; Makai, Endre; Soltan, Valeriu (1998), «Unilateral tilings of the plane with squares of three sizes», Beiträge zur Algebra und Geometrie 39 (2): 481-495, MR 1642720 ..
  7. Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, W. H. Freeman, p. 171 ..
  8. Grünbaum y Shephard (1987), p. 42.
  9. Grünbaum y Shephard (1987), pp. 73–74.
  10. a b Frederickson, Greg N. (1997), Dissections: Plane & Fancy, Cambridge University Press, pp. 30-31 ..
  11. Aguiló, Francesc; Fiol, Miquel Angel; Fiol, Maria Lluïsa (2000), «Periodic tilings as a dissection method», American Mathematical Monthly 107 (4): 341-352, JSTOR 2589179, MR 1763064, doi:10.2307/2589179 ..
  12. Grünbaum y Shephard (1987), p. 94.
  13. a b Ostermann, Alexander; Wanner, Gerhard (2012), «Thales and Pythagoras», Geometry by Its History, Undergraduate Texts in Mathematics, Springer, pp. 3-26, doi:10.1007/978-3-642-29163-0_1 .. Véase en particular pp. 15–16.
  14. a b c Steurer, Walter; Deloudi, Sofia (2009), «3.5.3.7 The Klotz construction», Crystallography of Quasicrystals: Concepts, Methods and Structures, Springer Series in Materials Science 126, Springer, pp. 91-92, ISBN 978-3-642-01898-5, doi:10.1007/978-3-642-01899-2 ..
  15. Keller ya conocía la certeza de su conjetura para los teselados bidimensionales, pero desde entonces se demostró que era falsa para las dimensiones de ocho y superiores. Para un estudio posterior sobre los resultados relacionados con esta conjetura, véase el trabajo de Chuanming Zong.Zong, Chuanming (2005), «What is known about unit cubes», Bulletin of the American Mathematical Society, New Series 42 (2): 181-211, MR 2133310, doi:10.1090/S0273-0979-05-01050-5 ..
  16. Bölcskei, Attila (2001), «Filling space with cubes of two sizes», Publicationes Mathematicae Debrecen 59 (3–4): 317-326, MR 1874434, S2CID 226270246, doi:10.5486/PMD.2001.2480 .. Véase también Dawson (1984), que incluye una ilustración del mosaico tridimensional, atribuida a Rogers pero citada en un artículo de 1960 de Richard Guy: Dawson, R. J. M. (1984), «On filling space with different integer cubes», Journal of Combinatorial Theory, Series A 36 (2): 221-229, MR 734979, doi:10.1016/0097-3165(84)90007-4 ..
  17. Burns, Aidan (1994), «78.13 Fractal tilings», Mathematical Gazette 78 (482): 193-196, JSTOR 3618577, S2CID 126185324, doi:10.2307/3618577 .. Rigby, John (1995), «79.51 Tiling the plane with similar polygons of two sizes», Mathematical Gazette 79 (486): 560-561, JSTOR 3618091, S2CID 125458495, doi:10.2307/3618091 ..
  18. Figure 3 of Danzer, Ludwig; Grünbaum, Branko; Shephard, G. C. (1982), «Unsolved Problems: Can All Tiles of a Tiling Have Five-Fold Symmetry?», The American Mathematical Monthly 89 (8): 568-570+583-585, JSTOR 2320829, MR 1540019, doi:10.2307/2320829 ..
  19. Sánchez, José; Escrig, Félix (December 2011), «Frames designed by Leonardo with short pieces: An analytical approach», International Journal of Space Structures 26 (4): 289-302, S2CID 108639647, doi:10.1260/0266-3511.26.4.289 ..

Enlaces externos editar