Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Pythagorean tiling
open-in-new
<h2 id="topology-and-symmetry">Topology and symmetry</h2> <p>The Pythagorean tiling is the unique tiling by squares of two different sizes that is both <i>unilateral</i> (no two squares have a common side) and <i>equitransitive</i> (each two squares of the same size can be mapped into each other by a symmetry of the tiling).<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> </p><p>Topologically, the Pythagorean tiling has the same structure as the <a href="/facts/Truncated_square_tiling/Mbj1fVzm">truncated square tiling</a> by squares and regular <a href="/facts/Octagon/H5PuP3wP">octagons</a>.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> The smaller squares in the Pythagorean tiling are adjacent to four larger tiles, as are the squares in the truncated square tiling, while the larger squares in the Pythagorean tiling are adjacent to eight neighbors that alternate between large and small, just as the octagons in the truncated square tiling. However, the two tilings have different sets of symmetries, because the truncated square tiling is symmetric under mirror reflections whereas the Pythagorean tiling isn't. Mathematically, this can be explained by saying that the truncated square tiling has <a href="/facts/Dihedral_group/1PUlRh4M">dihedral</a> symmetry around the center of each tile, while the Pythagorean tiling has a smaller <a href="/facts/Cyclic_group/JL5zfFuL">cyclic</a> set of symmetries around the corresponding points, giving it <a href="/facts/Wallpaper_group/egxEaC8q">p4 symmetry</a>.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> It is a <a href="/facts/Chiral/hjx0eGrB">chiral</a> pattern, meaning that it is impossible to superpose it on top of its mirror image using only translations and rotations. </p><p>A <a href="/facts/Uniform_tiling/QVK02ksI">uniform tiling</a> is a tiling in which each tile is a regular polygon and in which every vertex can be mapped to every other vertex by a symmetry of the tiling. Usually, uniform tilings additionally are required to have tiles that meet edge-to-edge, but if this requirement is relaxed then there are eight additional uniform tilings. Four are formed from infinite strips of squares or equilateral triangles, and three are formed from equilateral triangles and regular hexagons. The remaining one is the Pythagorean tiling.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> </p> <h2 id="pythagorean-theorem-and-dissections">Pythagorean theorem and dissections</h2> <p>This tiling is called the Pythagorean tiling because it has been used as the basis of proofs of the <a href="/facts/Pythagorean_theorem/Lh6x2Kr5">Pythagorean theorem</a> by the ninth-century Islamic mathematicians <a href="/facts/Al-Nayrizi/w0IjgSNX">Al-Nayrizi</a> and <a href="/facts/Th%25C4%2581bit_ibn_Qurra/zuHkTsqK">Thābit ibn Qurra</a>, and by the 19th-century British amateur mathematician <a href="/facts/Henry_Perigal/ssc9CaQm">Henry Perigal</a>.<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a><a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a><a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a><a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a> If the sides of the two squares forming the tiling are the numbers <i>a</i> and <i>b</i>, then the closest distance between corresponding points on congruent squares is <i>c</i>, where <i>c</i> is the length of the <a href="/facts/Hypotenuse/hVMauM5f">hypotenuse</a> of a <a href="/facts/Right_triangle/dD6M9GAn">right triangle</a> having sides <i>a</i> and <i>b</i>.<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> For instance, in the illustration to the left, the two squares in the Pythagorean tiling have side lengths 5 and 12 units long, and the side length of the tiles in the overlaying square tiling is 13, based on the <a href="/facts/Pythagorean_triple/I3IJgWhf">Pythagorean triple</a> (5,12,13). </p><p>By overlaying a square grid of side length <i>c</i> onto the Pythagorean tiling, it may be used to generate a five-piece <a href="/facts/Dissection_problem/lslQIYpS">dissection</a> of two unequal squares of sides <i>a</i> and <i>b</i> into a single square of side <i>c</i>, showing that the two smaller squares have the same area as the larger one. Similarly, overlaying two Pythagorean tilings may be used to generate a six-piece dissection of two unequal squares into a different two unequal squares.<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a> </p> <h2 id="aperiodic-cross-sections">Aperiodic cross sections</h2> <p>Although the Pythagorean tiling is itself periodic (it has a <a href="/facts/Square_lattice/mcVtpcQK">square lattice</a> of translational symmetries) its <a href="/facts/Cross_section_(geometry)/g5R1c6v2">cross sections</a> can be used to generate one-dimensional <a href="/facts/Aperiodic_tiling/WFJMWDg4">aperiodic</a> sequences.<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> </p><p>In the "Klotz construction" for aperiodic sequences (Klotz is a German word for a block), one forms a Pythagorean tiling with two squares whose sizes are chosen to make the ratio between the two side lengths be an <a href="/facts/Irrational_number/Psv19TET">irrational number</a> <i>x</i>. Then, one chooses a line parallel to the sides of the squares, and forms a sequence of binary values from the sizes of the squares crossed by the line: a 0 corresponds to a crossing of a large square and a 1 corresponds to a crossing of a small square. In this sequence, the relative proportion of 0s and 1s will be in the ratio <i>x</i>:1. This proportion cannot be achieved by a periodic sequence of 0s and 1s, because it is irrational, so the sequence is aperiodic.<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a> </p><p>If <i>x</i> is chosen as the <a href="/facts/Golden_ratio/anloSRmD">golden ratio</a>, the sequence of 0s and 1s generated in this way has the same recursive structure as the <a href="/facts/Fibonacci_word/DfhEMX8P">Fibonacci word</a>: it can be split into substrings of the form "01" and "0" (that is, there are no two consecutive ones) and if these two substrings are consistently replaced by the shorter strings "0" and "1" then another string with the same structure results.<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a> </p> <h2 id="application">Application</h2> <p>An early structural application of the Pythagorean tiling appears in the works of <a href="/facts/Leonardo_da_Vinci/E83tcPl2">Leonardo da Vinci</a>, who considered it among several other potential patterns for <a href="/facts/Joist/w9uFbLqe">floor joists</a>.<a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a> This tiling has also long been used decoratively, for <a href="/facts/Floor_tile/vk9El8Ty">floor tiles</a> or other similar patterns, as can be seen for instance in <a href="/facts/Jacob_Ochtervelt/aEnyPQKP">Jacob Ochtervelt</a>'s painting <i>Street Musicians at the Door</i> (1665).<a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a> It has been suggested that seeing a similar tiling in the palace of <a href="/facts/Polycrates/HulDMRJ8">Polycrates</a> may have provided <a href="/facts/Pythagoras/8oe8UgCj">Pythagoras</a> with the original inspiration for his theorem.<a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a> </p> <h2 id="related-results">Related results</h2> <p>According to <a href="/facts/Keller%2527s_conjecture/KXDD5E5w">Keller's conjecture</a>, any tiling of the plane by congruent squares must include two squares that meet edge-to-edge.<a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a> None of the squares in the Pythagorean tiling meet edge-to-edge,<a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a> but this fact does not violate Keller's conjecture because the tiles have different sizes, so they are not all congruent to each other. </p><p>The Pythagorean tiling may be generalized to a three-dimensional tiling of <a href="/facts/Euclidean_space/R2UbzmzM">Euclidean space</a> by cubes of two different sizes, which also is unilateral and equitransitive. Attila Bölcskei calls this three-dimensional tiling the <i>Rogers filling</i>. He conjectures that, in any dimension greater than three, there is again a unique unilateral and equitransitive way of tiling space by <a href="/facts/Hypercube/q2mRPbIz">hypercubes</a> of two different sizes.<a class="footnote-ref" id="fnref:24" href="#fn:24"><sup>24</sup></a> </p><p>Burns and Rigby found several <a href="/facts/Prototile/zh5RBHy5">prototiles</a>, including the <a href="/facts/Koch_snowflake/JTckxQVK">Koch snowflake</a>, that may be used to tile the plane only by using copies of the prototile in two or more different sizes.<a class="footnote-ref" id="fnref:25" href="#fn:25"><sup>25</sup></a> An earlier paper by Danzer, Grünbaum, and Shephard provides another example, a convex pentagon that tiles the plane only when combined in two sizes.<a class="footnote-ref" id="fnref:26" href="#fn:26"><sup>26</sup></a> Although the Pythagorean tiling uses two different sizes of squares, the square does not have the same property as these prototiles of only tiling by similarity, because it also is possible to tile the plane using only squares of a single size. </p> Wikimedia Commons has media related to Pythagorean tiling. <h2 id="references">References</h2> <ol> <li id="fn:1"><p>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. <a href="0-14-011813-6" target="_blank">0-14-011813-6</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Nelsen, Roger B. (November 2003), "Paintings, plane tilings, and proofs" (PDF), Math Horizons, 11 (2): 5–8, doi:10.1080/10724117.2003.12021741, S2CID 126000048. 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. See also Alsina, Claudi; Nelsen, Roger B. (2010), Charming proofs: a journey into elegant mathematics, Dolciani mathematical expositions, vol. 42, Mathematical Association of America, pp. 168–169, ISBN 978-0-88385-348-1. <a href="978-0-88385-555-3978-0-88385-348-1" target="_blank">978-0-88385-555-3978-0-88385-348-1</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"How to Install Hopscotch Pattern Tiles", Home Guides, San Francisco Chronicle, retrieved 2016-12-12. <a href="http://homeguides.sfgate.com/install-hopscotch-pattern-tiles-25897.html" target="_blank">http://homeguides.sfgate.com/install-hopscotch-pattern-tiles-25897.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>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. <a href="978-1-62710-078-6" target="_blank">978-1-62710-078-6</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Radin, C. (1994), "The Pinwheel Tilings of the Plane", Annals of Mathematics, 139 (3): 661–702, doi:10.2307/2118575, JSTOR 2118575 <a href="/wiki/Charles_Radin" target="_blank">/wiki/Charles_Radin</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>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. <a href="http://www.emis.de/journals/BAG/vol.39/no.2/b39h2mar.ps.gz" target="_blank">http://www.emis.de/journals/BAG/vol.39/no.2/b39h2mar.ps.gz</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, W. H. Freeman, p. 171. <a href="/wiki/Branko_Gr%C3%BCnbaum" target="_blank">/wiki/Branko_Gr%C3%BCnbaum</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Grünbaum & Shephard (1987), p. 42. - Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, W. H. Freeman, p. 171 <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Grünbaum & Shephard (1987), pp. 73–74. - Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, W. H. Freeman, p. 171 <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Nelsen, Roger B. (November 2003), "Paintings, plane tilings, and proofs" (PDF), Math Horizons, 11 (2): 5–8, doi:10.1080/10724117.2003.12021741, S2CID 126000048. 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. See also Alsina, Claudi; Nelsen, Roger B. (2010), Charming proofs: a journey into elegant mathematics, Dolciani mathematical expositions, vol. 42, Mathematical Association of America, pp. 168–169, ISBN 978-0-88385-348-1. <a href="978-0-88385-555-3978-0-88385-348-1" target="_blank">978-0-88385-555-3978-0-88385-348-1</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Frederickson, Greg N. (1997), Dissections: Plane & Fancy, Cambridge University Press, pp. 30–31. <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Aguiló, Francesc; Fiol, Miquel Angel; Fiol, Maria Lluïsa (2000), "Periodic tilings as a dissection method", American Mathematical Monthly, 107 (4): 341–352, doi:10.2307/2589179, JSTOR 2589179, MR 1763064. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Grünbaum & Shephard (1987), p. 94. - Grünbaum, Branko; Shephard, G. C. (1987), Tilings and Patterns, W. H. Freeman, p. 171 <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>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. See in particular pp. 15–16. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Frederickson, Greg N. (1997), Dissections: Plane & Fancy, Cambridge University Press, pp. 30–31. <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>Steurer, Walter; Deloudi, Sofia (2009), "3.5.3.7 The Klotz construction", Crystallography of Quasicrystals: Concepts, Methods and Structures, Springer Series in Materials Science, vol. 126, Springer, pp. 91–92, doi:10.1007/978-3-642-01899-2, ISBN 978-3-642-01898-5. <a href="978-3-642-01898-5" target="_blank">978-3-642-01898-5</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>Steurer, Walter; Deloudi, Sofia (2009), "3.5.3.7 The Klotz construction", Crystallography of Quasicrystals: Concepts, Methods and Structures, Springer Series in Materials Science, vol. 126, Springer, pp. 91–92, doi:10.1007/978-3-642-01899-2, ISBN 978-3-642-01898-5. <a href="978-3-642-01898-5" target="_blank">978-3-642-01898-5</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>Steurer, Walter; Deloudi, Sofia (2009), "3.5.3.7 The Klotz construction", Crystallography of Quasicrystals: Concepts, Methods and Structures, Springer Series in Materials Science, vol. 126, Springer, pp. 91–92, doi:10.1007/978-3-642-01899-2, ISBN 978-3-642-01898-5. <a href="978-3-642-01898-5" target="_blank">978-3-642-01898-5</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>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, doi:10.1260/0266-3511.26.4.289, S2CID 108639647. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>Nelsen, Roger B. (November 2003), "Paintings, plane tilings, and proofs" (PDF), Math Horizons, 11 (2): 5–8, doi:10.1080/10724117.2003.12021741, S2CID 126000048. 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. See also Alsina, Claudi; Nelsen, Roger B. (2010), Charming proofs: a journey into elegant mathematics, Dolciani mathematical expositions, vol. 42, Mathematical Association of America, pp. 168–169, ISBN 978-0-88385-348-1. <a href="978-0-88385-555-3978-0-88385-348-1" target="_blank">978-0-88385-555-3978-0-88385-348-1</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> <li id="fn:21"><p>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. See in particular pp. 15–16. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li> <li id="fn:22"><p>The truth of his conjecture for two-dimensional tilings was known already to Keller, but it was since proven false for dimensions eight and above. For a recent survey on results related to this conjecture, see Zong, Chuanming (2005), "What is known about unit cubes", Bulletin of the American Mathematical Society, New Series, 42 (2): 181–211, doi:10.1090/S0273-0979-05-01050-5, MR 2133310. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li> <li id="fn:23"><p>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. <a href="http://www.emis.de/journals/BAG/vol.39/no.2/b39h2mar.ps.gz" target="_blank">http://www.emis.de/journals/BAG/vol.39/no.2/b39h2mar.ps.gz</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li> <li id="fn:24"><p>Bölcskei, Attila (2001), "Filling space with cubes of two sizes", Publicationes Mathematicae Debrecen, 59 (3–4): 317–326, doi:10.5486/PMD.2001.2480, MR 1874434, S2CID 226270246. See also Dawson (1984), which includes an illustration of the three-dimensional tiling, credited to "Rogers" but cited to a 1960 paper by Richard K. Guy: Dawson, R. J. M. (1984), "On filling space with different integer cubes", Journal of Combinatorial Theory, Series A, 36 (2): 221–229, doi:10.1016/0097-3165(84)90007-4, MR 0734979. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></p></li> <li id="fn:25"><p>Burns, Aidan (1994), "78.13 Fractal tilings", Mathematical Gazette, 78 (482): 193–196, doi:10.2307/3618577, JSTOR 3618577, S2CID 126185324. Rigby, John (1995), "79.51 Tiling the plane with similar polygons of two sizes", Mathematical Gazette, 79 (486): 560–561, doi:10.2307/3618091, JSTOR 3618091, S2CID 125458495. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></p></li> <li id="fn:26"><p>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, doi:10.2307/2320829, JSTOR 2320829, MR 1540019. <a href="/wiki/Branko_Gr%C3%BCnbaum" target="_blank">/wiki/Branko_Gr%C3%BCnbaum</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></p></li> </ol>