View source for Cairo pentagonal tiling

{{good article}}
{{Short description|Tiling of the plane by pentagons}}
{{Infobox face-uniform tiling
| name = Cairo pentagonal tiling|
| image = Equilateral Cairo tiling.svg
| caption = Equilateral form of the Cairo tiling
| type = [[Pentagonal tiling]]
| faces = [[pentagon|irregular pentagons]]
| dual = [[Snub square tiling]]
| properties = [[face-transitive]]
}}
In [[geometry]], a '''Cairo pentagonal tiling''' is a [[tessellation]] of the [[Euclidean plane]] by congruent convex [[pentagon]]s, formed by overlaying two tessellations of the plane by hexagons and named for its use as a paving design in [[Cairo]]. It is also called '''MacMahon's net'''{{r|okeefe}} after [[Percy Alexander MacMahon]], who depicted it in his 1921 publication ''New Mathematical Pastimes''.{{r|macmahon}} [[John Horton Conway]] called it a '''4-fold pentille'''.{{r|conway}}

Infinitely many different pentagons can form this pattern, belonging to two of the 15 families of [[pentagon tiling|convex pentagons that can tile the plane]]. Their tilings have varying symmetries; all are face-symmetric. One particular form of the tiling, dual to the [[snub square tiling]], has tiles with the minimum possible perimeter among all pentagonal tilings. Another, overlaying two flattened tilings by regular hexagons, is the form used in Cairo and has the property that every edge is collinear with infinitely many other edges.

In architecture, beyond Cairo, the Cairo tiling has been used in [[Mughal architecture]] in 18th-century India, in the early 20th-century [[Laeiszhalle]] in Germany, and in many modern buildings and installations. It has also been studied as a [[crystal structure]] and appears in the art of [[M. C. Escher]].

== Structure and classification ==
The union of all edges of a Cairo tiling is the same as the union of two tilings of the plane by [[hexagon]]s. Each hexagon of one tiling surrounds two vertices of the other tiling, and is divided by the hexagons of the other tiling into four of the pentagons in the Cairo tiling.{{r|schattschneider}} Infinitely many different pentagons can form Cairo tilings, all with the same pattern of adjacencies between tiles and with the same decomposition into hexagons, but with varying edge lengths, angles, and symmetries. The pentagons that form these tilings can be grouped into two different infinite families, drawn from the 15 families of [[Pentagonal tiling|convex pentagons that can tile the plane]],{{r|rao}} and the five families of pentagon found by [[Karl Reinhardt (mathematician)|Karl Reinhardt]] in 1918 that can tile the plane [[isohedral tiling|isohedrally]] (all tiles symmetric to each other).{{r|reinhardt}}

One of these two families consists of pentagons that have two non-adjacent [[right angle]]s, with a pair of sides of equal length meeting at each of these right angles. Any pentagon meeting these requirements tiles the plane by copies that, at the chosen right angled corners, are rotated by a right angle with respect to each other. At the pentagon sides that are not adjacent to one of these two right angles, two tiles meet, rotated by a 180° angle with respect to each other. The result is an isohedral tiling, meaning that any pentagon in the tiling can be transformed into any other pentagon by a symmetry of the tiling. These pentagons and their tiling are often listed as "type 4" in the listing of types of pentagon that can tile.{{r|schattschneider}} For any type 4 Cairo tiling, twelve of the same tiles can also cover the surface of a cube, with one tile folded across each cube edge and three right angles of tiles meeting at each cube vertex, to form the same combinatorial structure as a regular [[dodecahedron]].{{r|kaleido|thomas}}

The other family of pentagons forming the Cairo tiling are pentagons that have two [[complementary angles]] at non-adjacent vertices, each having the same two side lengths incident to it. In their tilings, the vertices with complementary angles alternate around each degree-four vertex. The pentagons meeting these constraints
are not generally listed as one of the 15 families of pentagons that tile; rather, they are part of a larger family of pentagons (the "type 2" pentagons) that tile the plane isohedrally in a different way.{{r|schattschneider}}

[[Bilateral symmetry|Bilaterally symmetric]] Cairo tilings are formed by pentagons that belong to both the type 2 and type 4 families.{{r|schattschneider}} The basketweave [[block paving|brick paving]] pattern can be seen as a [[degeneracy (mathematics)|degenerate]] case of the bilaterally symmetric Cairo tilings, with each brick (a <math>1\times 2</math> rectangle) interpreted as a pentagon with four right angles and one 180° angle.{{r|macmillan}}

<gallery widths=180 heights=180 class="center" >
File:Lattice p5-type2b.png|Type 2 Cairo tiles have non-adjacent [[complementary angles]], with the same two adjacent side lengths
File:Lattice_p5-type4.png|Type 4 tiles have non-adjacent [[right angle]]s between pairs of equal-length sides
File:Lattice p5-type2b4.png|Bilaterally symmetric tilings (belonging to both types) use tiles with non-adjacent right angles and four equal edges
</gallery>
<gallery widths=180 heights=180 class="center" >
File:P5-type2b p2.png|Type 2 Cairo tiling, with coloring showing reflected and non-reflected tiles
File:P5-type4.png|In a type 4 Cairo tiling, the pentagons can be bilaterally symmetric even when the tiling isn't
File:Wallpaper group-p4g-with Cairo pentagonal tiling.png|The basketweave, a degenerate bilaterally symmetric tiling, with non-degenerate tiling overlaid
</gallery>

It is possible to assign six-dimensional [[half-integer]] coordinates to the pentagons of the tiling, in such a way that the number of edge-to-edge steps between any two pentagons equals the [[Taxicab geometry|{{math|''L''<sup>1</sup>}} distance]] between their coordinates. The six coordinates of each pentagon can be grouped into two triples of coordinates, in which each triple gives the coordinates of a hexagon in an analogous three-dimensional coordinate system for each of the two overlaid hexagon tilings.{{r|knt}} The number of tiles that are <math>i</math> steps away from any given tile, for <math>i=0,1,2,\dots</math>, is given by the [[coordination sequence]]
<math display=block>1, 5, 11, 16, 21, 27, 32, 37, \dots</math>
in which, after the first three terms, each term differs by 16 from the term three steps back in the sequence. One can also define analogous coordination sequences for the vertices of the tiling instead of for its tiles, but because there are two types of vertices (of degree three and degree four) there are two different coordination sequences arising in this way. The degree-four sequence is the same as for the [[square grid]].{{r|oeis|gooslo}}

==Special cases==
===Catalan tiling===
{{multiple image
|image1=P2 dual.png
|caption1=Cairo tiling as the dual of the [[snub square tiling]]
|image2=Pentagonal Cairo Snub Square Tile 2.svg
|caption2=Geometry of pentagons for the dual snub square tiling
|total_width=540}}
The [[snub square tiling]], made of two squares and three equilateral triangles around each vertex, has a bilaterally symmetric Cairo tiling as its [[dual polyhedron|dual tiling]].{{r|rollett}} The Cairo tiling can be formed from the snub square tiling by placing a vertex of the Cairo tiling at the center of each square or triangle of the snub square tiling, and connecting these vertices by edges when they come from adjacent tiles.{{r|steurer}} Its pentagons can be [[Tangential polygon|circumscribed around a circle]]. They have four long edges and one short one with lengths in the ratio <math>1:\sqrt{3}-1</math>. The angles of these pentagons form the sequence 120°, 120°, 90°, 120°, 90°.{{r|chung}}

The snub square tiling is an [[Archimedean tiling]], and as the dual to an Archimedean tiling this form of the Cairo pentagonal tiling is a [[Catalan tiling]] or Laves tiling.{{r|steurer}} It is one of two monohedral pentagonal tilings that, when the tiles have unit area, minimizes the perimeter of the tiles. The other is also a tiling by circumscribed pentagons with two right angles and three 120° angles, but with the two right angles adjacent; there are also infinitely many tilings formed by combining both kinds of pentagon.{{r|chung}}
{{clear}}

===Tilings with collinear edges===
[[File:Collinear Cairo tiling.svg|thumb|upright|Collinear form of Cairo tiling, with integer-coordinate pentagons, formed by flattening two perpendicular regular hexagonal tilings in perpendicular directions|alt=Collinear form of Cairo pentagonal tiling]]
Pentagons with integer vertex coordinates <math>(\pm 2, 0)</math>, <math>(\pm 3,3)</math>, and <math>(0,4)</math>, with four equal sides shorter than the remaining side, form a Cairo tiling whose two hexagonal tilings can be formed by flattening two perpendicular [[hexagonal tiling|tilings by regular hexagons]] in perpendicular directions, by a ratio of <math>\sqrt 3</math>. This form of the Cairo tiling inherits the property of the tilings by regular hexagons (unchanged by the flattening), that every edge is collinear with infinitely many other edges.{{r|macmillan|bailey}}

===Tilings with equal side lengths===
The regular pentagon cannot form Cairo tilings, as it does not tile the plane without gaps. There is a unique [[equilateral pentagon]] that can form a type 4 Cairo tiling; it has five equal sides but its angles are unequal, and its tiling is bilaterally symmetric.{{r|schattschneider|rollett}} Infinitely many other equilateral pentagons can form type 2 Cairo tilings.{{r|schattschneider}}
{{clear}}

==Applications==
Several streets in [[Cairo]] have been paved with the collinear form of the Cairo tiling;{{r|macmillan|dunn}} this application is the origin of the name of the tiling.{{r|alsina|martin}} As of 2019 this pattern can still be seen as a surface decoration for square tiles near the [[Qasr El Nil Bridge]] and the [[List of Cairo Metro stations|El Behoos Metro station]]; other versions of the tiling are visible elsewhere in the city.{{r|morgan}} Some authors including [[Martin Gardner]] have written that this pattern is used more widely in [[Islamic architecture]], and although this claim appears to have been based on a misunderstanding, patterns resembling the Cairo tiling are visible on the 17th-century [[Tomb of I'timād-ud-Daulah]] in India, and the Cairo tiling itself has been found on a 17th-century [[Mughal architecture|Mughal]] [[jali]].{{r|bailey}}

<gallery widths=240 heights=160>
Agra-Itmad ud Daulah South doorway-20131019.jpg|[[Tomb of I'timād-ud-Daulah]], with rectangular side panels resembling the Cairo tiling
Sportska dvorana Zamet Rijeka 13032012 2.jpg|[[Centar Zamet]], with the Cairo tiling visible on its walls
Hovedgaden, Hørsholm - panoramio (1).jpg|Cairo tiling in [[Hørsholm]], Denmark
</gallery>

{{CSS image crop
|Image=Penta-graphane.png
|bSize=480
|cWidth=280
|cHeight=280
|oTop=0
|oLeft=105
|Description=[[Penta-graphane]]}}

One of the earliest publications on the Cairo tiling as a decorative pattern occurs in a book on [[textile design]] from 1906.{{r|nisbet}} Inventor H. C. Moore filed a US patent on tiles forming this pattern in 1908.{{r|moore}} At roughly the same time, [[Villeroy & Boch]] created a line of ceramic floor tiles in the Cairo tiling pattern, used in the foyer of the [[Laeiszhalle]] in [[Hamburg]], Germany. The Cairo tiling has been used as a decorative pattern in many recent architectural designs; for instance, the city center of [[Hørsholm]], Denmark, is paved with this pattern, and the [[Centar Zamet]], a sports hall in Croatia, uses it both for its exterior walls and its paving tiles.{{r|bailey}}

In [[crystallography]], this tiling has been studied at least since 1911.{{r|haag}} It has been proposed as the structure for layered [[hydrate]] crystals,{{r|banaru}} certain compounds of [[bismuth]] and [[iron]],{{r|ressouche}} and [[penta-graphene]], a hypothetical [[Allotropes of carbon|compound of pure carbon]]. In the penta-graphene structure, the edges of the tiling incident to degree-four vertices form [[single bond]]s, while the remaining edges form [[double bond]]s. In its [[Hydrogenation|hydrogenated]] form, penta-graphane, all bonds are single bonds and the carbon atoms at the degree-three vertices of the structure have a fourth bond connecting them to hydrogen atoms.{{r|zhang}}

The Cairo tiling has been described as one of [[M. C. Escher]]'s "favorite geometric patterns".{{r|kaleido}} He used it as the basis for his drawing ''Shells and Starfish'' (1941), in the bees-on-flowers segment of his ''[[Metamorphosis III]]'' (1967–1968), and in several other drawings from 1967–1968. An image of this tessellation has also been used as the cover art for the 1974 first edition of [[H. S. M. Coxeter]]'s book ''Regular Complex Polytopes''.{{r|schattschneider|bailey}}
{{clear}}

==References==
{{reflist|refs=

<ref name=alsina>{{citation|title=Charming proofs: a journey into elegant mathematics|volume=42|series=Dolciani mathematical expositions|first1=Claudi|last1=Alsina|first2=Roger B.|last2=Nelsen|publisher=Mathematical Association of America|year=2010|isbn=978-0-88385-348-1|page=164|url=https://books.google.com/books?id=mIT5-BN_L0oC&pg=PA164}}.</ref>

<ref name=bailey>{{citation|last=Bailey|first=David|url=http://www.tess-elation.co.uk/cairo-tiling|title=Cairo tiling|work=David Bailey's World of Escher-like Tessellations|access-date=2020-12-06|archive-date=2020-12-03|archive-url=https://web.archive.org/web/20201203040814/http://www.tess-elation.co.uk/cairo-tiling|url-status=dead}}</ref>

<ref name=banaru>{{citation | last1 = Banaru | first1 = A. M. | last2 = Banaru | first2 = G. A. | date = August 2011 | doi = 10.3103/S0027131411030023 | issue = 3 | journal = Moscow University Chemistry Bulletin | at = Article 159 | title = Cairo tiling and the topology of layered hydrates | volume = 66| s2cid = 96002269 }}</ref>

<ref name=chung>{{citation | last1 = Chung | first1 = Ping Ngai | last2 = Fernandez | first2 = Miguel A. | last3 = Li | first3 = Yifei | last4 = Mara | first4 = Michael | last5 = Morgan | first5 = Frank | author5-link = Frank Morgan (mathematician) | last6 = Plata | first6 = Isamar Rosa | last7 = Shah | first7 = Niralee | last8 = Vieira | first8 = Luis Sordo | last9 = Wikner | first9 = Elena | doi = 10.1090/noti838 | issue = 5 | journal = [[Notices of the American Mathematical Society]] | mr = 2954290 | pages = 632–640 | title = Isoperimetric pentagonal tilings | volume = 59 | year = 2012| doi-access = free }}</ref>

<ref name=conway>{{citation|first1=John H.|last1=Conway|author1-link=John Horton Conway|first2=Heidi|last2=Burgiel|first3=Chaim|last3=Goodman-Strauss|title=The Symmetries of Things|title-link=The Symmetries of Things|year=2008|publisher=AK Peters|isbn=978-1-56881-220-5|page=[https://books.google.com/books?id=Drj1CwAAQBAJ&pg=PA288 288]}}</ref>

<ref name=dunn>{{citation | last = Dunn | first = J. A. | date = December 1971 | doi = 10.2307/3612359 | issue = 394 | journal = [[The Mathematical Gazette]] | jstor = 3612359 | pages = 366–369 | title = Tessellations with pentagons | volume = 55| s2cid = 118680100 }}. Although Dunn writes that the equilateral form of the tiling was used in Cairo, this appears to be a mistake.</ref>

<ref name=gooslo>{{citation|last1=Goodman-Strauss|first1=C.|last2=Sloane|first2=N. J. A.|author2-link=Neil Sloane|arxiv=1803.08530|doi=10.1107/s2053273318014481|issue=1|journal=[[Acta Crystallographica Section A]]|mr=3896412|pages=121–134|title=A coloring-book approach to finding coordination sequences|url=https://neilsloane.com/doc/Cairo_final.pdf|volume=75|year=2019|pmid=30575590|s2cid=4553572|access-date=2021-06-18|archive-date=2022-02-17|archive-url=https://web.archive.org/web/20220217162848/http://neilsloane.com/doc/Cairo_final.pdf|url-status=dead}}</ref>

<ref name=haag>{{citation | last = Haag | first = F. | author-link = Friedrich Haag | hdl = 2027/uc1.b3327994 | journal = Zeitschrift für Kristallographie, Kristallgeometrie, Kristallphysik, Kristallchemie | pages = 360–369 | title = Die regelmäßigen Planteilungen | volume = 49 | year = 1911}} See in particular Figures 2b, p. 361, and 4a, p. 363.</ref>

<ref name=kaleido>{{citation|title=M. C. Escher Kaleidocycles|first1=Doris|last1=Schattschneider|author1-link=Doris Schattschneider|first2=Wallace|last2=Walker|publisher=Ballantine Books|year=1977|contribution=Dodecahedron|page=22}}; reprinted by Taschen, 2015</ref>

<ref name=knt>{{citation|last1=Kovács|first1=Gergely|last2=Nagy|first2=Benedek|last3=Turgay|first3=Neşet Deniz|bibcode=2021PaReL.145..141K|date=May 2021|doi=10.1016/j.patrec.2021.02.002|journal=[[Pattern Recognition Letters]]|pages=141–146|title=Distance on the Cairo pattern|volume=145|s2cid=233375125}}</ref>

<ref name=macmahon>{{citation|title=New Mathematical Pastimes|first=Major P. A.|last=Macmahon|publisher=University Press|year=1921|page=101|url=https://archive.org/details/cu31924001535024/page/n115/mode/2up}}</ref>

<ref name=macmillan>{{citation | last = Macmillan | first = R. H. | date = December 1979 | doi = 10.2307/3618038 | issue = 426 | journal = [[The Mathematical Gazette]] | jstor = 3618038 | pages = 251–255 | title = Pyramids and pavements: Some thoughts from Cairo | volume = 63| s2cid = 125608794 }}</ref>

<ref name=martin>{{citation|title=Transformation Geometry: An Introduction to Symmetry|series=[[Undergraduate Texts in Mathematics]]|first=George Edward|last=Martin|publisher=Springer|year=1982|isbn=978-0-387-90636-2|page=119|url=https://books.google.com/books?id=KW4EwONsQJgC&pg=PA119}}.</ref>

<ref name=moore>{{citation | last = Moore | first = H. C. | date = July 20, 1909 | title = Tile | type = US Patent 928,320 | url = https://patents.google.com/patent/US928320A}}</ref>

<ref name=morgan>{{citation | last = Morgan | first = Frank | author-link = Frank Morgan (mathematician) | doi = 10.1007/s00283-019-09906-7 | issue = 3 | journal = [[The Mathematical Intelligencer]] | mr = 3995312 | pages = 19–22 | title = My undercover mission to find Cairo tilings | volume = 41 | year = 2019| s2cid = 198468426 }}</ref>

<ref name=nisbet>{{citation | last = Nisbet | first = Harry | title = Grammar of Textile Design | page = 101 | year = 1906 | url = https://archive.org/details/grammaroftextile00nisb/page/100/mode/2up | location = London | publisher = Scott, Greenwood & Son }}</ref>

<ref name=oeis>Coordination sequences for the Cairo pentagonal tiling in the [[On-Line Encyclopedia of Integer Sequences]]: [http://oeis.org/A219529 A219529] for pentagons, [http://oeis.org/A296368 A296368] for degree-three vertices, and [http://oeis.org/A008574 A008574] for degree-four vertices, retrieved 2021-06-17</ref> 

<ref name=okeefe>{{citation|title=Plane nets in crystal chemistry|first1=M.|last1=O'Keeffe|first2=B. G.|last2=Hyde|journal=Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences|volume=295|issue=1417|year=1980|pages=553–618|jstor=36648|doi=10.1098/rsta.1980.0150|bibcode=1980RSPTA.295..553O|s2cid=121456259}}.</ref>

<ref name=rao>{{citation |last=Rao |first=Michaël |title=Exhaustive search of convex pentagons which tile the plane |year=2017 |arxiv=1708.00274  |url=https://perso.ens-lyon.fr/michael.rao/publi/penta.pdf}}</ref>

<ref name=reinhardt>{{citation | last=Reinhardt | first=Karl | author-link = Karl Reinhardt (mathematician) | title=Über die Zerlegung der Ebene in Polygone | url=http://resolver.sub.uni-goettingen.de/purl?PPN316479497 | location=Borna-Leipzig |publisher=Druck von Robert Noske | language=de | type=Doctoral dissertation | year=1918 | at = "Vierter Typus", p. 78, and Figure 24, p. 81}}</ref>

<ref name=ressouche>{{citation | last1 = Ressouche | first1 = E. | last2 = Simonet | first2 = V. | last3 = Canals | first3 = B. | last4 = Gospodinov | first4 = M. | last5 = Skumryev | first5 = V. | date = December 2009 | doi = 10.1103/physrevlett.103.267204 | issue = 26 | journal = [[Physical Review Letters]] | title = Magnetic frustration in an iron-based Cairo pentagonal lattice | volume = 103| page = 267204 | pmid = 20366341 | url = http://ddd.uab.cat/record/114205 | arxiv = 1001.0710 | bibcode = 2009PhRvL.103z7204R | s2cid = 20752605 }}</ref>

<ref name=rollett>{{citation | last = Rollett | first = A. P. | date = September 1955 | department = Mathematical Notes | doi = 10.2307/3608750 | issue = 329 | journal = [[The Mathematical Gazette]] | jstor = 3608750 | page = 209 | title = 2530. A pentagonal tessellation | volume = 39| s2cid = 250439435 }}</ref>

<ref name=schattschneider>{{citation | last = Schattschneider | first = Doris | author-link = Doris Schattschneider | doi = 10.1080/0025570X.1978.11976672 | jstor = 2689644 | issue = 1 | journal = [[Mathematics Magazine]] | mr = 493766 | pages = 29–44 | title = Tiling the plane with congruent pentagons | volume = 51 | year = 1978 | url = https://www.maa.org/programs/maa-awards/writing-awards/tiling-the-plane-with-congruent-pentagons}}</ref>

<ref name=steurer>{{citation|title=Intermetallics: Structures, Properties, and Statistics|volume=26|series=International Union of Crystallography Monographs on Crystallography|first1=Walter|last1=Steurer|first2=Julia|last2=Dshemuchadse|publisher=Oxford University Press|year=2016|isbn=9780191023927|page=42|url=https://books.google.com/books?id=Wg4BDQAAQBAJ&pg=PA42}}</ref>

<ref name=thomas>{{citation | last1 = Thomas | first1 = B.G. | last2 = Hann | first2 = M.A. | editor1-last = Sarhangi | editor1-first = Reza | editor2-last = Séquin | editor2-first = Carlo H. | editor2-link = Carlo H. Séquin | contribution = Patterning by projection: Tiling the dodecahedron and other solids | contribution-url = https://archive.bridgesmathart.org/2008/bridges2008-101.html | isbn = 9780966520194 | location = London | pages = 101–108 | publisher = Tarquin Publications | title = Bridges Leeuwarden: Mathematics, Music, Art, Architecture, Culture | year = 2008}}</ref>

<ref name=zhang>{{citation | last1 = Zhang | first1 = Shunhong | last2 = Zhou | first2 = Jian | last3 = Wang | first3 = Qian | last4 = Chen | first4 = Xiaoshuang | last5 = Kawazoe | first5 = Yoshiyuki | last6 = Jena | first6 = Puru | bibcode = 2015PNAS..112.2372Z | date = February 2015 | doi = 10.1073/pnas.1416591112 | issue = 8 | journal = [[Proceedings of the National Academy of Sciences of the United States of America]] | pages = 2372–2377 | pmc = 4345574 | pmid = 25646451 | title = Penta-graphene: A new carbon allotrope | volume = 112| doi-access = free }}</ref>

}}

== External links ==
{{Commons category|Cairo pentagonal tiling}}
* {{MathWorld | urlname=CairoTessellation | title=Cairo Tessellation|mode=cs2}}

{{Tessellation}}

[[Category:Isohedral tilings]]
[[Category:Pentagonal tilings]]
[[Category:Semiregular tilings]]
[[Category:Culture in Cairo]]