Hubbry Logo
search
logo
Pentagonal tiling avatar
Pentagonal tiling
Pentagonal tiling
current hub
1801098

Pentagonal tiling

logo
Community Hub0 Subscribers
Read side by side
Pentagonal tiling
View on Wikipedia
from Wikipedia
The 15th monohedral convex pentagonal type, discovered in 2015

In geometry, a pentagonal tiling is a tiling of the plane where each individual piece is in the shape of a pentagon.

A regular pentagonal tiling on the Euclidean plane is impossible because the internal angle of a regular pentagon, 108°, is not a divisor of 360°, the angle measure of a whole turn. However, regular pentagons can tile the hyperbolic plane with four pentagons around each vertex (or more) and sphere with three pentagons; the latter produces a tiling that is topologically equivalent to the dodecahedron.[1]

Monohedral convex pentagonal tilings

[edit]
An example pentagonal tile with angle labels A,B,C,D, and E, and edge length labels a,b,c,d, and e

Fifteen types of convex pentagons are known to tile the plane monohedrally (i.e., with one type of tile).[2] The most recent one was discovered in 2015. This list has been shown to be complete by Rao (2017), result subject to peer review.[3] Bagina (2011) showed that there are only eight edge-to-edge convex types, a result obtained independently by Sugimoto (2012).[4]

Michaël Rao of the École normale supérieure de Lyon claimed in May 2017 to have found the proof that there are, in fact, no convex pentagons that tile beyond these 15 types.[3] As of 11 July 2017, the first half of Rao's proof had been independently verified (computer code available[5]) by Thomas Hales, a professor of mathematics at the University of Pittsburgh.[6] As of December 2017, the proof was not yet fully peer reviewed.

Each enumerated tiling family contains pentagons that belong to no other type; however, some individual pentagons may belong to multiple types. In addition, some of the pentagons in the known tiling types also permit alternative tiling patterns beyond the standard tiling exhibited by all members of its type.

The sides of length a, b, c, d, e are directly clockwise from the angles at vertices A, B, C, D, E respectively. (Thus, A, B, C, D, E are opposite to d, e, a, b, c respectively.)

15 monohedral pentagonal tiles
1 2 3 4 5

B + C = 180°
A + D + E = 360°
c = e
B + D = 180°
a = b, d = c + e
A = C = D = 120°
b = c, d = e
B = D = 90°
a = b, d = e
A = 60°, D = 120°
6 7 8 9 10

a = d = e, b = c
B + D = 180°, 2B = E
b = c = d = e
B + 2E = 2C + D = 360°
b = c = d = e
2B + C = D + 2E = 360°
b = c = d = e
2A + C = D + 2E = 360°
a = b = c + e
A = 90°, B + E = 180°
B + 2C = 360°
11 12 13 14 15

2a + c = d = e
A = 90°, C + E = 180°
2B + C = 360°
2a = d = c + e
A = 90°, C + E = 180°
2B + C = 360°
d = 2a = 2e
B = E = 90°
2A + D = 360°
2a = 2c = d = e
A = 90°, B ≈ 145.34°, C ≈ 69.32°
D ≈ 124.66°, E ≈ 110.68°
(2B + C = 360°, C + E = 180°)

a = c = e, b = 2a
A = 150°, B = 60°, C = 135°
D = 105°, E = 90°

Many of these monohedral tile types have degrees of freedom. These freedoms include variations of internal angles and edge lengths. In the limit, edges may have lengths that approach zero or angles that approach 180°. Types 1, 2, 4, 5, 6, 7, 8, 9, and 13 allow parametric possibilities with nonconvex prototiles.

Periodic tilings are characterised by their wallpaper group symmetry, for example p2 (2222) is defined by four 2-fold gyration points. This nomenclature is used in the diagrams below, where the tiles are also colored by their k-isohedral positions within the symmetry.

A 'primitive unit' is a section of the tiling that generates the whole tiling using only translations, and is as small as possible.

Reinhardt (1918)

[edit]

Reinhardt (1918) found the first five types of pentagonal tile. All five can create isohedral tilings, meaning that the symmetries of the tiling can take any tile to any other tile (more formally, the automorphism group acts transitively on the tiles).

B. Grünbaum and G. C. Shephard have shown that there are exactly twenty-four distinct "types" of isohedral tilings of the plane by pentagons according to their classification scheme.[7] All use Reinhardt's tiles, usually with additional conditions necessary for the tiling. There are two tilings by all type 2 tiles, and one by all of each of the other four types. Fifteen of the other eighteen tilings are by special cases of type 1 tiles. Nine of the twenty-four tilings are edge-to-edge.[8]

There are also 2-isohedral tilings by special cases of type 1, type 2, and type 4 tiles, and 3-isohedral tilings, all edge-to-edge, by special cases of type 1 tiles. There is no upper bound on k for k-isohedral tilings by certain tiles that are both type 1 and type 2, and hence neither on the number of tiles in a primitive unit.

The wallpaper group symmetry for each tiling is given, with orbifold notation in parentheses. A second lower symmetry group is given if tile chirality exists, where mirror images are considered distinct. These are shown as yellow and green tiles in those cases.

Type 1

[edit]

There are many tiling topologies that contain type 1 pentagons. Five example topologies are given below.

Tilings of pentagon type 1
p2 (2222) cmm (2*22) cm (*×) pmg (22*) pgg (22×) p2 (2222) cmm (2*22)
p1 (°) p2 (2222) p2 (2222)
2-tile primitive unit 4-tile primitive unit

B + C = 180°
A + D + E = 360°
a = c, d = e
A + B = 180°
C + D + E = 360°
a = c
A + B = 180°
C + D + E = 360°
a = e
B + C = 180°
A + D + E = 360°
d = c + e
A = 90°, 2B + C = 360°
C + D = 180°, B + E = 270°

Type 2

[edit]

These type 2 examples are isohedral. The second is an edge-to-edge variation. They both have pgg (22×) symmetry. If mirror image tiles (yellow and green) are considered distinct, the symmetry is p2 (2222).

Type 2
pgg (22×)
p2 (2222)
4-tile primitive unit

c = e
B + D = 180°
c = e, d = b
B + D = 180°

Types 3, 4, and 5

[edit]
Type 3 Type 4 Type 5
p3 (333) p31m (3*3) p4 (442) p4g (4*2) p6 (632)
3-tile primitive unit 4-tile primitive unit 6-tile primitive unit 18-tile primitive unit

a = b, d = c + e
A = C = D = 120°
b = c, d = e
B = D = 90°
a = b, d = e
A = 60°, D = 120°
a = b = c, d = e
A = 60°, B = 120°, C = 90°
D = 120°, E = 150°

Kershner (1968) Types 6, 7, 8

[edit]

Kershner (1968) found three more types of pentagonal tile, bringing the total to eight. He claimed incorrectly that this was the complete list of pentagons that can tile the plane.

These examples are 2-isohedral and edge-to-edge. Types 7 and 8 have chiral pairs of tiles, which are colored as pairs in yellow-green and the other as two shades of blue. The pgg symmetry is reduced to p2 when chiral pairs are considered distinct.

Type 6 Type 6
(Also type 5)		 Type 7 Type 8
p2 (2222) pgg (22×) pgg (22×)
p2 (2222) p2 (2222)

a = d = e, b = c
B + D = 180°, 2B = E
a = d = e, b = c, B = 60°
A = C = D = E = 120°
b = c = d = e
B + 2E = 2C + D = 360°
b = c = d = e
2B + C = D + 2E = 360°

4-tile primitive unit
4-tile primitive unit
8-tile primitive unit
8-tile primitive unit

James (1975) Type 10

[edit]

In 1975 Richard E. James III found a ninth type, after reading about Kershner's results in Martin Gardner's "Mathematical Games" column in Scientific American magazine of July 1975 (reprinted in Gardner (1988)).[9] It is indexed as type 10. The tiling is 3-isohedral and non-edge-to-edge.

Type 10
p2 (2222) cmm (2*22)

a=b=c+e
A=90, B+E=180°
B+2C=360°
a=b=2c=2e
A=B=E=90°
C=D=135°

6-tile primitive unit

Rice (1977) Types 9,11,12,13

[edit]

Marjorie Rice, an amateur mathematician, discovered four new types of tessellating pentagons in 1976 and 1977.[8][10]

All four tilings are 2-isohedral. The chiral pairs of tiles are colored in yellow and green for one isohedral set, and two shades of blue for the other set. The pgg symmetry is reduced to p2 when the chiral pairs are considered distinct.

The tiling by type 9 tiles is edge-to-edge, but the others are not.

Each primitive unit contains eight tiles.

Type 9 Type 11 Type 12 Type 13
pgg (22×)
p2 (2222)

b=c=d=e
2A+C=D+2E=360°
2a+c=d=e
A=90°, 2B+C=360°
C+E=180°
2a=d=c+e
A=90°, 2B+C=360°
C+E=180°
d=2a=2e
B=E=90°, 2A+D=360°

8-tile primitive unit
8-tile primitive unit
8-tile primitive unit
8-tile primitive unit

Stein (1985) Type 14

[edit]

A 14th convex pentagon type was found by Rolf Stein in 1985.[11]

The tiling is 3-isohedral and non-edge-to-edge. It has completely determined tiles, with no degrees of freedom. The exact proportions are specified by and angle B obtuse with . Other relations can easily be deduced.

The primitive units contain six tiles respectively. It has p2 (2222) symmetry.

Type 14

2a=2c=d=e
A=90°, B≈145.34°, C≈69.32°,
D≈124.66°, E≈110.68°
(2B+C=360°, C+E=180°).
6-tile primitive unit

Mann/McLoud/Von Derau (2015) Type 15

[edit]

University of Washington Bothell mathematicians Casey Mann, Jennifer McLoud-Mann, and David Von Derau discovered a 15th monohedral tiling convex pentagon in 2015 using a computer algorithm.[12][13] It is 3-isohedral and non-edge-to-edge, drawn with 6 colors, 2 shades of 3 colors, representing chiral pairs of the three isohedral positions. The pgg symmetry is reduced to p2 when the chiral pairs are considered distinct. It has completely determined tiles, with no degrees of freedom. The primitive units contain twelve tiles. It has pgg (22×) symmetry, and p2 (2222) if chiral pairs are considered distinct.

Type 15

(Larger image)

a=c=e, b=2a, d=⁠a+√2/√3−1⁠
A=150°, B=60°, C=135°
D=105°, E=90°

12-tile primitive unit

No more periodic pentagonal tiling types

[edit]

In July 2017 Michaël Rao completed a computer-assisted proof showing that there are no other types of convex pentagons that can tile the plane. The complete list of convex polygons that can tile the plane includes the above 15 pentagons, three types of hexagons, and all quadrilaterals and triangles.[6] A consequence of this proof is that no convex polygon exists that tiles the plane only aperiodically, since all of the above types allow for a periodic tiling.

Nonperiodic monohedral pentagonal tilings

[edit]

Nonperiodic monohedral pentagonal tilings can also be constructed, like the example below with 6-fold rotational symmetry by Michael Hirschhorn. Angles are A = 140°, B = 60°, C = 160°, D = 80°, E = 100°.[14][15]

In 2016 Bernhard Klaassen showed that every discrete rotational symmetry type can be represented by a monohedral pentagonal tiling from the same class of pentagons.[16] Examples for 5-fold and 7-fold symmetry are shown below. Such tilings are possible for any type of n-fold rotational symmetry with n>2.


5-fold rotational symmetry in a monohedral pentagonal tiling
Hirschhorn's 6-fold rotational symmetry monohedral pentagonal tiling
7-fold rotational symmetry in a monohedral pentagonal tiling

Dual uniform tilings

[edit]

There are three isohedral pentagonal tilings generated as duals of the uniform tilings, those with 5-valence vertices. They represent special higher symmetry cases of the 15 monohedral tilings above. Uniform tilings and their duals are all edge-to-edge. These dual tilings are also called Laves tilings. The symmetry of the uniform dual tilings is the same as the uniform tilings. Because the uniform tilings are isogonal, the duals are isohedral.

cmm (2*22) p4g (4*2) p6 (632)
Prismatic pentagonal tiling
Instance of type 1[17] 		Cairo pentagonal tiling
Instance of type 4[17][18] 		Floret pentagonal tiling
Instance of types 1, 5 and 6[17]

120°, 120°, 120°, 90°, 90°
V3.3.3.4.4
120°, 120°, 90°, 120°, 90°
V3.3.4.3.4
120°, 120°, 120°, 120°, 60°
V3.3.3.3.6

Dual k-uniform tilings

[edit]

The k-uniform tilings with valence-5 vertices also have pentagonal dual tilings, containing the same three shaped pentagons as the semiregular duals above, but contain a mixture of pentagonal types. A k-uniform tiling has a k-isohedral dual tiling and are represented by different colors and shades of colors below.

For example these 2, 3, 4, and 5-uniform duals are all pentagonal:[19][20]

2-isohedral 3-isohedral
p4g (4*2) pgg (22×) p2 (2222) p6 (*632)
4-isohedral 5-isohedral
pgg (22×) p2 (2222) p6m (*632)
5-isohedral
pgg (22×) p2 (2222)

Pentagonal/hexagonal tessellation

[edit]
Pentagonal subdivisions of a hexagon

Pentagons have a peculiar relationship with hexagons. As demonstrated graphically below, some types of hexagons can be subdivided into pentagons. For example, a regular hexagon bisects into two type 1 pentagons. Subdivision of convex hexagons is also possible with three (type 3), four (type 4) and nine (type 3) pentagons.

By extension of this relation, a plane can be tessellated by a single pentagonal prototile shape in ways that generate hexagonal overlays. For example:


Planar tessellation by a single pentagonal prototile (type 1) with overlays of regular hexagons (each comprising 2 pentagons).
Planar tessellation by a single pentagonal prototile (type 3) with overlays of regular hexagons (each comprising 3 pentagons).
Planar tessellation by a single pentagonal prototile (type 4) with overlays of semiregular hexagons (each comprising 4 pentagons).
Planar tessellation by a single pentagonal prototile (type 3) with overlays of two sizes of regular hexagons (comprising 3 and 9 pentagons respectively).

Non-convex pentagons

[edit]
Periodic tiling by the sphinx

With pentagons that are not required to be convex, additional types of tiling are possible. An example is the sphinx tiling, an aperiodic tiling formed by a pentagonal rep-tile.[21] The sphinx may also tile the plane periodically, by fitting two sphinx tiles together to form a parallelogram and then tiling the plane by translation of this parallelogram,[21] a pattern that can be extended to any non-convex pentagon that has two consecutive angles adding to 2π.

It is possible to divide an equilateral triangle into three congruent non-convex pentagons, meeting at the center of the triangle, and to tile the plane with the resulting three-pentagon unit.[22] A similar method can be used to subdivide squares into four congruent non-convex pentagons, or regular hexagons into six congruent non-convex pentagons, and then tile the plane with the resulting unit.

In non-Euclidean geometry

[edit]

Spherical tiling

[edit]

A dodecahedron can be considered a regular tiling of 12 pentagons on the surface of a sphere, with Schläfli symbol {5,3}, having three pentagons around each vertex.

One may also consider a degenerate tiling by two hemispheres, with the great circle between them subdivided into five equal arcs, as a pentagonal tiling with Schläfli symbol {5,2}.

Regular hyperbolic tilings

[edit]

In the hyperbolic plane, one can construct regular pentagons that have any interior angle for . The resulting pentagons tile the plane regularly, with pentagons around each vertex. For instance, the order-4 pentagonal tiling, {5,4}, has four right-angled pentagons around each vertex. A limiting case is the infinite-order pentagonal tiling {5,∞} produced by ideal regular pentagons. These pentagons have ideal points as their vertices, with angle equal to zero.

Sphere Hyperbolic plane

{5,2}
{5,3}
{5,4}
{5,5}
{5,6} 		...
{5,∞}

Irregular hyperbolic tilings

[edit]

There are an infinite number of dual uniform tilings in hyperbolic plane with isogonal irregular pentagonal faces. They have face configurations as V3.3.p.3.q.

Order p-q floret pentagonal tiling
7-3 8-3 9-3 ... 5-4 6-4 7-4 ... 5-5

V3.3.3.3.7
V3.3.3.3.8 		V3.3.3.3.9 ...
V3.3.4.3.5 		V3.3.4.3.6 V3.3.4.3.7 ... V3.3.5.3.5
Polygonal hyperbolic binary tiling with 60-120-60-120-120-degree pentagons

A version of the binary tiling, with its tiles bounded by hyperbolic line segments rather than arcs of horocycles, forms pentagonal tilings that must be non-periodic, in the sense that their symmetry groups can be one-dimensional but not two-dimensional.[23]

References

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Pentagonal tiling

View on Grokipedia
from Grokipedia
Pentagonal tiling refers to the tessellation of the Euclidean plane using congruent five-sided polygons, known as pentagons, without gaps or overlaps. While any triangle or convex quadrilateral can tile the plane, only specific convex pentagons permit such monohedral tilings, with exactly 15 distinct classes identified that achieve periodic coverings.[1] These classes vary in their geometric constraints, such as specific angle sums totaling 540 degrees and side equalities that ensure vertices fit around points summing to 360 degrees.[2] The quest to classify these tilings dates to 1918, when Karl Reinhardt enumerated the first five types based on conditions like equal adjacent sides and complementary angles.[2] Further discoveries followed: Richard Kershner added three more in 1968, Richard James one in 1975, amateur mathematician Marjorie Rice four during the 1970s, and Rolf Stein one in 1985, bringing the total to 14.[3] The 15th type, a family with no fixed side lengths but precise angle relations, was uncovered in 2015 by Casey Mann, Jennifer McLoud-Mann, and David Von Derau through computational enumeration.[4] In 2017, mathematician Michaël Rao provided a rigorous proof of completeness using exhaustive computer-assisted verification of 371 potential pentagon configurations, confirming no additional convex types exist.[1] All 15 classes produce periodic tilings, meaning the pattern repeats translationally across the plane, and they represent the only monohedral convex pentagonal tessellations.[5] Non-convex pentagons can also tile the plane, but these fall outside the primary classification of convex cases.[3] This resolution of a century-old problem has implications for broader polygon tiling theory and applications in architecture, materials science, and computational geometry.[5]

Fundamentals

Definition and Terminology

A pentagonal tiling is a tessellation of the plane, or sometimes other surfaces such as the sphere or hyperbolic plane, composed entirely of polygons each having exactly five sides and five interior angles, covering the surface without gaps or overlaps.[6][2] These polygons, known as pentagons, must fit together such that their edges align properly to form the complete covering. Unlike tilings with triangles (average interior angle of 60°), quadrilaterals (90°), or hexagons (120°), pentagonal tilings present unique challenges due to the average interior angle of 108° for a pentagon, which complicates achieving sums of exactly 360° at vertices.[7][8] Key terminology in pentagonal tilings includes monohedral, referring to tilings that use congruent copies of a single prototile (the base pentagon shape); isohedral, where the tiling's symmetry group acts transitively on the tiles, allowing any tile to be mapped to any other via tiling symmetries; and distinctions between convex pentagons (all interior angles less than 180° and no indentations) versus non-convex ones (which may have reflex angles greater than 180°).[9] Additionally, tilings are classified as periodic if they exhibit translational symmetry repeating in a lattice pattern across the plane, or aperiodic if they lack such global periodicity but still cover the plane completely.[9] Pentagonal tilings are typically required to be edge-to-edge, meaning that the edges of adjacent tiles coincide fully without partial overlaps or interior vertices along edges, ensuring a clean matching of boundaries.[9] A vertex figure describes the local arrangement of tiles and their angles meeting at each vertex point in the tiling, which is crucial for verifying that the angles sum precisely to 360° around each vertex.[9] While regular pentagons cannot form an edge-to-edge tiling of the plane due to their fixed 108° angles, specific irregular convex pentagons enable such coverings.[2]

Geometric Constraints for Pentagonal Tilings

For a convex pentagon to tile the Euclidean plane monohedrally, its interior angles must sum to 540°, derived from the general formula for the sum of interior angles in an nn-gon: (n−2)×180∘(n-2) \times 180^\circ, yielding an average interior angle of 108° per vertex.[10] In such tilings, the sum of angles meeting at each vertex must equal exactly 360° to ensure flatness without gaps or overlaps, a fundamental condition for edge-to-edge tilings in the Euclidean plane.[10] Possible vertex configurations arise from combinations of these pentagonal angles that total 360°, though the specific angles vary across different pentagonal types to satisfy this constraint while maintaining convexity (each angle less than 180°). For regular pentagons, where all angles are precisely 108°, three meeting at a vertex sum to 3×108∘=324∘<360∘3 \times 108^\circ = 324^\circ < 360^\circ, leaving a gap, while four sum to 4×108∘=432∘>360∘4 \times 108^\circ = 432^\circ > 360^\circ, causing overlap; thus, no integer number of regular pentagons can meet at a vertex without distortion.[10] Extending this, five or more regular pentagons at a vertex would sum to at least 5×108∘=540∘>360∘5 \times 108^\circ = 540^\circ > 360^\circ, exacerbating overlaps and confirming the impossibility of regular pentagonal tilings in the plane.[10] In monohedral tilings, where all tiles are congruent, edge lengths must match adjacently to form continuous boundaries, typically requiring at least two pairs of equal consecutive sides per pentagon to enable periodic or aperiodic arrangements without mismatches.[11] These constraints collectively limit viable pentagonal shapes, ensuring that only specific non-regular forms can satisfy both angular and linear conditions for complete plane coverage.[12]

Convex Monohedral Pentagonal Tilings of the Euclidean Plane

Historical Development and Discoveries

In 1918, German mathematician Karl Reinhardt identified the first five types of convex pentagons capable of forming periodic monohedral tilings of the Euclidean plane in his doctoral dissertation.[13] These discoveries laid the foundational classification for such tilings, establishing key geometric conditions under which pentagons could cover the plane without gaps or overlaps.[2] Progress stalled for decades until 1968, when Richard B. Kershner announced three additional types (6 through 8), expanding the known repertoire to eight and claiming a proof of completeness, though this was later found incomplete.[13] In 1975, inspired by popular accounts of these findings, software engineer Richard James discovered type 10. Marjorie Rice, a self-taught amateur mathematician, then contributed four more types (9 and 11 through 13) by 1977 through systematic manual enumeration.[14] The tally reached 14 in 1985 with Rolf Stein's identification of type 14 during his graduate studies at the University of Dortmund. In 2015, mathematicians Casey Mann, Jennifer McLoud-Mann, and David Von Derau announced the 15th type using computational assistance, marking the last known addition before closure.[15] This culminated in 2017 with Michaël Rao's exhaustive computer-assisted proof, which verified that no further periodic convex monohedral pentagonal tilings exist beyond these 15, though full independent verification continued into the early 2020s and was widely accepted by 2025.[1] Recent consolidations, such as a 2025 survey of the geometric properties across all 15 types, have further synthesized these milestones.

Classification into 15 Periodic Types

The 15 known periodic convex monohedral pentagonal tilings are categorized into families based on the specific geometric constraints on their interior angles and side lengths, which ensure they can form edge-to-edge periodic tilings of the Euclidean plane with lattice symmetries. These constraints typically involve pairs or triples of angles summing to 180° or 360° to allow proper vertex matching, alongside equalities among adjacent or opposite sides to maintain congruence across the tiling. All types feature at least three pentagons meeting at each vertex, with minimal vertex figures consisting of combinations of three or four tiles, and they are referenced in standard literature by consecutive numbering from type 1 to type 15 for diagrammatic identification.[16][12] The initial five types were discovered by Karl Reinhardt in 1918 through systematic enumeration of convex pentagons satisfying the necessary angle and side conditions for tiling. These types emphasize supplementary angle pairs and side equalities that facilitate simple translational and rotational symmetries in the lattice. Type 1 requires angles D and E to sum to 180°, allowing flexibility in the other angles A, B, and C as long as their sum is 360°; for example, one realization features angles of 90°, 126°, and three 144° measures. Type 2 mandates angles C and E summing to 180° with sides a = d. Type 3 fixes angles A = C = D = 120° with sides a = b and d = c + e. Type 4 sets angles B = D = 90° with sides b = c and d = e. Type 5 specifies angle A = 60° and D = 120° with sides a = b and d = e.[16][17] In 1968, Richard Kershner extended the classification by identifying three additional types (6 through 8), which incorporate more complex angle triples summing to 360° and multiple equal sides, enabling denser vertex configurations. Type 6 has angles B + D = 180° and 2B = E, with sides a = d = e and b = c. Type 7 requires B + 2E = 360° and 2C + D = 360°, with sides b = c = d = e. Type 8 demands 2B + C = 360° and D + 2E = 360°, also with sides b = c = d = e.[16][17] Marjorie Rice discovered four types in 1977 (types 9 and 11 through 13), building on her exhaustive manual search and introducing right angles with chained equal sides for robust lattice formation. Type 9 sets 2A + C = 360° and D + 2E = 360°, with sides b = c = d = e. Type 11 fixes A = 90°, 2B + C = 360°, and C + E = 180°, with 2a + c = d = e. Type 12 has A = 90°, 2B + C = 360°, and C + E = 180°, with 2a = d = c + e. Type 13 requires B = E = 90° and 2A + D = 360°, with 2a = 2e = d.[16][17] Richard James found type 10 in 1975, featuring a right angle at A and balanced supplementary pairs. It has A = 90°, B + E = 180°, and B + 2C = 360°, with a = b = c + e. Rolf Stein identified type 14 in 1985, which includes multiple equal sides and right angles for compact edge matching: A = 90°, 2B + C = 360°, C + E = 180°, and 2a = 2c = d = e.[16][17][12] The final type, 15, was discovered in 2015 by Casey Mann, Jennifer McLoud-Mann, and David Von Derau via computational search, representing a fixed-shape pentagon with no adjustable parameters. It has precise angles A = 150°, B = 60°, C = 135°, D = 105°, and E = 90°, paired with sides a = c = e, b = 2a, and d = a \sqrt{2 + \sqrt{3}}.[] [18][16][19]
TypeDiscoverer (Year)Key Angle Conditions (in degrees)Key Side Conditions
1Reinhardt (1918)D + E = 180°None specified
2Reinhardt (1918)C + E = 180°a = d
3Reinhardt (1918)A = C = D = 120°a = b, d = c + e
4Reinhardt (1918)B = D = 90°b = c, d = e
5Reinhardt (1918)A = 60°, D = 120°a = b, d = e
6Kershner (1968)B + D = 180°, 2B = Ea = d = e, b = c
7Kershner (1968)B + 2E = 360°, 2C + D = 360°b = c = d = e
8Kershner (1968)2B + C = 360°, D + 2E = 360°b = c = d = e
9Rice (1977)2A + C = 360°, D + 2E = 360°b = c = d = e
10James (1975)A = 90°, B + E = 180°, B + 2C = 360°a = b = c + e
11Rice (1977)A = 90°, 2B + C = 360°, C + E = 180°2a + c = d = e
12Rice (1977)A = 90°, 2B + C = 360°, C + E = 180°2a = d = c + e
13Rice (1977)B = E = 90°, 2A + D = 360°2a = 2e = d
14Stein (1985)A = 90°, 2B + C = 360°, C + E = 180°2a = 2c = d = e
15Mann et al. (2015)A = 150°, B = 60°, C = 135°, D = 105°, E = 90°a = c = e, b = 2a, d = a \sqrt{2 + \sqrt{3}}
These relations ensure all types produce isohedral tilings where congruent pentagons cover the plane without gaps or overlaps, with periodicity arising from the repeatable vertex and edge patterns.[16][12][18]

Properties and Symmetries of the 15 Types

The 15 types of periodic convex monohedral pentagonal tilings exhibit a range of shared geometric properties arising from the requirements of edge-to-edge assembly in the Euclidean plane. Each pentagon has five sides and five interior angles summing to 540°, with all angles strictly less than 180° to maintain convexity. Side lengths vary, with most types featuring 1 to 3 distinct lengths, often with specific equalities (e.g., adjacent sides equal in types 2 and 11) to facilitate matching at edges. Angle distributions include acute, right, and obtuse measures tailored to form 360° at vertices, such as pairs of supplementary angles (e.g., 180° sums in types 1 and 2). These constraints ensure no gaps or overlaps, yielding a tiling density of 1 across all types.[11] A key shared topological property is the average coordination number at vertices, calculated as 10/3 ≈ 3.333 from Euler's formula for planar graphs: with N tiles, approximately 5N/2 edges, and 3N/2 vertices, the average number of pentagons meeting at a vertex is 10/3. Vertex figures thus predominantly involve 3- or 4-pentagon meetings, reflecting this average; higher-order vertices (e.g., 6-pentagon) appear sparingly in specific types to balance the topology. For instance, types 4, 6, 7, 8, and 9 feature two classes of 3-valent vertices and one class of 4-valent vertices in a 2:1 ratio, while type 5 includes eight 3-valent vertices and one 6-valent vertex per unit cell. Unit cell sizes differ by type, often containing an even number of pentagons for translational symmetry; representative examples include 4 pentagons for type 4 (parallelogram lattice) and 6 for type 5 (hexagonal arrangement).[11] Symmetries of these tilings are analyzed through isohedrality, which quantifies tile transitivity under the tiling's symmetry group (isometries mapping the tiling to itself). Five types (1–5) are 1-isohedral, meaning all tiles are equivalent under symmetries, enabling tile-transitive tilings. Types 6–9 and 11–13 are 2-isohedral, with tiles falling into two equivalence classes, while types 10, 14, and 15 are 3-isohedral, requiring three classes. These classes reflect rotational and reflectional orders: 1-isohedral types often support 180° rotations (order 2), while higher isohedrality involves glide reflections or mirrors. Some types permit edge-to-edge tilings without reflections (e.g., types 1, 4–6, 9), but most (types 2, 7–8, 10–15) incorporate chiral pairs related by reflection. The table below summarizes isohedral classes:
Type NumbersIsohedral ClassNotes on Transitivity
1–51-isohedralTile-transitive; single class under symmetry group.
6–9, 11–132-isohedralTwo tile classes; often involves 180° rotations and glides.
10, 14, 153-isohedralThree tile classes; includes reflections for congruence.
Distinct properties emerge across types, with overlaps in geometric conditions allowing some pentagons to belong to multiple families (e.g., type 1 intersecting type 7 via shared angle sums). A 2025 analysis employed Venn diagrams to visualize these overlaps, highlighting how 12 of the 15 types support tilings with at most three distinct side lengths, and five admit equilateral variants (types 1, 2, 4, 7, 8) where all sides are equal but angles vary (e.g., type 7 with angles ≈70.88° and ≈144.56°). Type 14 stands out with a fixed acute angle of ≈69.32° and no free parameters, making it a unique prototile, while type 15 features a primitive unit cell of 12 tiles in a pgg-like arrangement with 180° rotational symmetry. These variations underscore the diversity within the classification, balancing local vertex constraints with global periodicity.[16]

Proof of Exhaustiveness for Periodic Tilings

In 2017, Michaël Rao published a computer-assisted proof establishing that exactly 15 types of convex pentagons admit periodic monohedral tilings of the Euclidean plane, confirming the completeness of the known classification.[1] Rao's methodology began with an exhaustive computational enumeration of all possible convex pentagons whose interior angles α1,α2,α3,α4,α5\alpha_1, \alpha_2, \alpha_3, \alpha_4, \alpha_5 satisfy ∑i=15αi=3π\sum_{i=1}^5 \alpha_i = 3\pi and form "good subsets" at vertices, where the angles around each vertex sum to 2π2\pi.[1] Using a backtracking algorithm, he identified 371 distinct families of such angle conditions by generating maximal good sets and their permutations, ensuring all potential tiling configurations were considered.[20] For each family, compatibility of edge pairings was verified through linear programming to check if the pentagons could form periodic tilings without gaps or overlaps, implemented via custom software that explored recursive calls efficiently in approximately 40 seconds of computation time.[1] The key result was that only the 15 previously identified types satisfied the tiling conditions, with no additional convex pentagons yielding periodic monohedral tilings; proposed types 16 through 24 were either special cases of the known ones or degenerate.[1] This outcome underwent partial independent verification in 2017 by a team led by Casey Mann, who confirmed Rao's computational findings through separate analysis.[21] By 2025, the proof has achieved full acceptance within the mathematical community, solidifying its status as a definitive resolution for periodic cases.[5] The proof's implications underscore the finite nature of periodic convex monohedral pentagonal tilings, providing closure to a century-old conjecture and enabling a complete theoretical framework for these structures in the Euclidean plane.[3] Nonetheless, its scope is restricted to periodic tilings, leaving open the possibility of aperiodic convex monohedral pentagonal tilings.[1]

Aperiodic Convex Monohedral Examples

While the 15 known types of convex pentagons each admit periodic monohedral tilings of the Euclidean plane, no such pentagon is known to produce an aperiodic tiling using a single tile shape.[3][22] In fact, exhaustive computational classification demonstrates that any convex pentagon capable of monohedral tiling falls into one of these 15 types, all of which generate only periodic arrangements.[20] This result implies that no convex pentagonal einstein tile—an aperiodic monotile that forces non-repeating patterns—exists, in contrast to the non-convex 13-sided "hat" tile discovered in 2023, which tiles solely aperiodically.[3][22] The restriction arises from geometric constraints inherent to convex shapes: their interior angles and edge alignments in monohedral settings inevitably lead to translational symmetries that propagate periodically across the plane, preventing the hierarchical or substitution-based constructions typical of aperiodic systems like Penrose tilings.[3] For instance, modifications to type 15 pentagons, which feature specific angle sums equaling 360° at certain vertices, still yield only periodic extensions rather than non-repeating hierarchies.[12][20] These limitations highlight how convexity curtails the flexibility needed for aperiodicity in monohedral tilings, shifting research toward non-convex pentagons or multi-tile sets to explore non-periodic possibilities.[22]

Other Convex Pentagonal Tilings

Dual Uniform Pentagonal Tilings

Dual uniform pentagonal tilings are edge-to-edge tilings of the plane by convex pentagons that arise as the duals of uniform tilings in which five edges meet at each vertex. In the dual construction, each original vertex becomes a pentagonal face bounded by edges connecting the centers of the adjacent original faces, while the original faces become the vertices of the dual tiling. These tilings are isohedral, with all pentagons equivalent under the symmetry group of the tiling, which is identical to that of the original uniform tiling. They are monohedral, using a single type of pentagon, and correspond to specific types in the classification of convex pentagonal tilings.[23] In the Euclidean plane, there are exactly three dual uniform pentagonal tilings, corresponding to the three Archimedean uniform tilings with pentavalent vertices. The dual of the elongated triangular tiling, with vertex configuration (3.3.3.4.4) and p2mm symmetry, is the prismatic pentagonal tiling (type 1). This tiling uses an irregular pentagon with interior angles of 90°, 90°, 120°, 120°, 120°, where three or four pentagons meet at each vertex. The prismatic pentagonal tiling is one of the 11 Laves tilings and can be derived from projections related to cubic lattices.[24][25] The dual of the snub square tiling, with vertex configuration (3.3.4.3.4) and p4g symmetry, is the Cairo pentagonal tiling (type 4). It uses an irregular pentagon with interior angles of 90°, 90°, 120°, 120°, 120°, meeting three or four at each vertex. This tiling minimizes the perimeter among certain unit-area pentagonal tilings and is notable for its appearance in street pavings in Cairo, Egypt, and in Islamic architectural decorations.[26][27][28] The dual of the snub trihexagonal tiling, with vertex configuration (3^4.6) and p6mm symmetry, is the floret pentagonal tiling (also known as the 6-fold pentille tiling, type 5). It uses the floret pentagon with angles of 60°, 120°, 120°, 120°, 120°, where three or six pentagons meet at vertices. This tiling exhibits sixfold rotational symmetry and is characterized by floret-like arrangements of the pentagons.[29][30] In the hyperbolic plane, dual uniform pentagonal tilings also exist, featuring higher-order vertex figures and more varied symmetries. Representative examples include the order-4 pentagonal tiling (dual of the snub hexagonal tiling, with p4g symmetry), the order-5 pentagonal tiling (self-dual regular {5,5} tiling with p5 symmetry), and the infinite-order pentagonal tiling (dual of the great rhombihexagonal tiling). These hyperbolic cases extend the Euclidean patterns but require non-Euclidean geometry to close the angle sums at vertices.

Pentagonal-Hexagonal Tessellations

Pentagonal-hexagonal tessellations are periodic tilings of the Euclidean plane that combine convex pentagons and hexagons, typically derived through subdivisions of the regular hexagonal tiling to create mixed configurations. A primary example arises from subdividing each regular hexagon into three convex pentagons, yielding a structure where the pentagons form the tiles while the original hexagons can be overlaid as composite shapes. This approach produces a tiling with p6 symmetry, matching the six-fold rotational symmetry of the underlying hexagonal lattice, and is associated with type 3 in the classification of convex pentagonal tilings.[12][1] The properties of this tessellation include full convexity of the pentagonal tiles, periodicity across the plane, and a vertex configuration where three pentagons meet at each vertex, effectively embedding hexagonal motifs without gaps or overlaps. The resulting arrangement is semi-regular in its combinatorial structure, akin to Archimedean tilings in symmetry but adapted for the pentagonal components, with the overall density and edge-matching ensuring complete coverage.[1] Variations of these tessellations include other subdivision methods, such as those yielding semiregular hexagons overlaid on type 4 pentagonal tilings, preserving the pure pent-hex mix while allowing adjustments in angle and side lengths for compatibility. These constructions prioritize geometric harmony, with the hexagons serving as bounding elements for groups of pentagons.[12] Such tessellations provide foundational geometric models for analyzing motifs in quasicrystals, where pentagonal and hexagonal arrangements appear in aperiodic contexts, though their primary value lies in demonstrating Euclidean compatibility and symmetry in mixed polygonal systems.

Non-Convex Pentagonal Tilings

Isohedral Non-Convex Pentagonal Tilings

Non-convex pentagons, characterized by at least one interior angle exceeding 180 degrees (a reflex angle), permit greater flexibility in fitting tiles together at vertices compared to their convex counterparts, as the indentation allows for more complex interlocking without gaps or overlaps.[31] This property enables isohedral tilings—those where the symmetry group acts transitively on the congruent tiles—using shapes that would otherwise fail to cover the Euclidean plane periodically under convex constraints.[31] Classifications of such tilings, based on work by tiling enthusiast Jaap Scherphuis, reveal at least 17 distinct types of non-convex pentagons capable of forming isohedral monohedral tilings, far exceeding the 15 types known for convex pentagons.[31] These types arise from systematic enumeration of geometric constraints, such as specific angle sums equaling 360 degrees at vertices or edge-matching conditions that force reflex angles.[31] Unlike convex cases, where exhaustiveness is proven, non-convex classifications remain ongoing, with these 17 types representing known periodic examples derived from computational and manual searches.[31] Representative examples include pentagons with dart-like indentations, where a reflex angle accommodates three or more tiles meeting at a point, producing periodic isohedral patterns with p2 symmetry (180-degree rotational invariance).[31] Another variant resembles modified Cairo patterns, featuring elongated sides and a single reflex vertex that aligns tiles in a lattice with translational symmetries, allowing for higher coordination numbers at certain vertices—up to four tiles—impossible in convex pentagonal tilings.[31] These configurations highlight the advantage of non-convexity: enabling uniform tilings with enhanced local densities or alternative symmetry groups not achievable with strictly convex polygons.[31]

Anisohedral and Complex Non-Convex Examples

Anisohedral tilings by non-convex pentagons involve configurations where the symmetry group of the tiling does not act transitively on the set of tiles, distinguishing them from isohedral cases where all tiles are equivalent under the tiling's symmetries. These tilings often require multiple orbits of congruent tiles, leading to more intricate arrangements that leverage the flexibility of non-convex shapes to fill the plane without gaps or overlaps. While convex anisohedral pentagons were first demonstrated by Kershner in 1968, non-convex variants extend this complexity by allowing greater angular and edge variations that prevent full transitivity.[32] One notable class of such tilings arises in solutions related to Heesch's problem, which explores the maximum number of complete coronas (surrounding layers) that can be formed around a central non-tiling shape using congruent copies. Non-convex pentagons have been analyzed in this context, underscoring the ongoing research in this area.[33] Complex non-convex examples include multi-orbit (k-isohedral) tilings, where k > 1 represents the number of distinct symmetry classes of tiles within the pattern. These configurations often produce visually striking patterns such as pinwheel-like rotations or wavy undulations, achieved by modifying base forms like the Cairo pentagon through dissections or edge perturbations. Such examples illustrate the versatility of non-convex pentagons in creating dense, non-repetitive local arrangements. Regarding aperiodic potential, non-convex pentagons offer greater scope for einstein-like (aperiodic monotile) behavior compared to convex ones, where Rao's 2017 proof established no such monotile exists. As of November 2025, no confirmed aperiodic monohedral tiling by a single non-convex pentagon has been identified, though the openness of the einstein problem for pentagons suggests ongoing exploration into shapes with reflex angles that enforce non-periodicity through forced substitutions. This contrasts with known aperiodic tilings using higher-sided non-convex polygons, like the 13-sided "hat" monotile discovered in 2023.[34] Enumeration of non-convex pentagonal tiling types remains incomplete, with over 17 distinct families documented, encompassing isohedral, 2-isohedral, 3-isohedral, and higher k-isohedral variants; however, full classification is elusive due to the infinite variability in non-convex geometries. These types are characterized by specific angle sums (e.g., two non-adjacent angles totaling 360°) and edge equalities that enable tiling, but unlike the 15 exhaustive convex types, non-convex cases proliferate without a proven bound.[31]

Pentagonal Tilings in Non-Euclidean Geometry

Spherical Pentagonal Tilings

Spherical pentagonal tilings arise in positively curved spaces, where the geometry allows a finite number of pentagons to cover the surface without gaps or overlaps, in contrast to the infinite aperiodic or mixed tilings required in the Euclidean plane. The canonical example is the regular pentagonal tiling, realized by projecting the faces of a regular dodecahedron onto the sphere, consisting of exactly 12 regular pentagons meeting three at each vertex. Each regular pentagon has interior angles of 108∘108^\circ, so three such angles sum to 324∘324^\circ, creating an angular deficit of 36∘36^\circ at each vertex that contributes to the positive curvature of the sphere.[35][36] This tiling satisfies the Euler characteristic χ=2\chi = 2 for the spherical topology, where the 12 faces (F=12F = 12), 30 edges (E=30E = 30), and 20 vertices (V=20V = 20) yield V−E+F=2V - E + F = 2. For a monohedral tiling by pentagons with three meeting at each vertex, the relations 2E=5F2E = 5F (from pentagonal faces) and 2E=3V2E = 3V (from vertex degree) imply F=12F = 12 uniquely to satisfy the Euler formula, confirming that 12 pentagons are necessary and sufficient for such a covering. Polyhedral realizations of this structure appear in fullerenes, where the dodecahedral arrangement of 12 pentagons provides the defects needed for spherical closure, though chemical fullerenes typically incorporate hexagons for stability while preserving the 12 pentagons dictated by topology.[37][38] Variations include tilings by 12 congruent but irregular convex pentagons, classified into five combinatorial types, where only one type admits continuous deformations while maintaining congruence and edge-to-edge adjacency, with the regular dodecahedron as a special symmetric case. Additional spherical tilings by congruent equilateral (but not necessarily equiangular) pentagons exist with more than 12 faces, such as subdivisions yielding 24 or 60 pentagons, or earth-map projections with 16, 20, or 24 pentagons, all forming convex polyhedra when realized in three dimensions. As the radius of the sphere increases, the local geometry of these pentagonal tilings approaches that of the Euclidean plane, where small patches behave like flat arrangements despite the global curvature.[39][40][41]

Hyperbolic Pentagonal Tilings

In hyperbolic geometry, the negative curvature of the plane permits infinite tilings by congruent regular pentagons where four or more meet at each vertex, satisfying the condition $ \frac{1}{5} + \frac{1}{n} < \frac{1}{2} $ for $ n \geq 4 $. These are classified as regular pentagonal tilings with Schläfli symbol {5, n}, such as the order-4 pentagonal tiling {5,4} where four pentagons adjoin each vertex, and higher-order examples like {5,5} and beyond up to infinite order as $ n \to \infty $, approaching a horocyclic limit. Each regular pentagon in these tilings has an interior angle sum exceeding 540°, reflecting the positive area excess characteristic of hyperbolic polygons, with vertex figures ensuring the angles sum precisely to 360° for edge-to-edge fitting.[42] Such tilings are commonly visualized using the Poincaré disk model, where the hyperbolic plane is conformally mapped inside a unit disk, and geodesic edges appear as circular arcs orthogonal to the boundary circle, causing the pentagons to crowd toward the periphery and illustrate the infinite expanse. The symmetry groups of these tilings are generated by reflections in the sides of a fundamental hyperbolic pentagonal domain, as described in Coxeter's foundational work on regular polytopes and tessellations. For instance, the {5,4} tiling exhibits tetrahedral symmetry in its local structure, extensible infinitely across the plane.[42] Beyond regular cases, irregular hyperbolic pentagonal tilings encompass both convex and non-convex monohedral examples that cover the plane periodically or aperiodically, often derived from a single prototile through symmetry operations or subdivision rules. Margenstern demonstrated that numerous such tilings can be generated from one pentagonal tile in the hyperbolic plane, including non-uniform configurations with varying edge lengths and angles while maintaining congruence. Additionally, duals of hyperbolic uniform tilings—specifically those with five faces meeting at each vertex, such as alternated hexagonal or truncated tilings—produce isohedral tilings by irregular pentagons, where each pentagon corresponds to an original vertex and exhibits face-transitive symmetry. These irregular variants highlight the flexibility of hyperbolic geometry in accommodating pentagonal prototiles impossible in Euclidean settings.

References

  1. Exhaustive search of convex pentagons which tile the plane - arXiv
  2. Pentagon Tiling -- from Wolfram MathWorld
  3. Pentagon Tiling Proof Solves Century-Old Math Problem
  4. Convex pentagons that admit $i$-block transitive tilings - arXiv
  5. There are only 15 possible pentagonal tiles - CNRS
  6. Tiling -- from Wolfram MathWorld
  7. Regular Polygon -- from Wolfram MathWorld
  8. Polygon -- from Wolfram MathWorld
  9. [PDF] 3 TILINGS - CSUN
  10. [PDF] a \regular" pentagonal tiling of the plane - UTK Math
  11. [PDF] Properties of Tilings by Convex Pentagons - FORMA
  12. [PDF] Convex pentagons that admit i-block transitive tilings
  13. On Paving the Plane - jstor
  14. Marjorie Rice's Secret Pentagons | Quanta Magazine
  15. https://demonstrations.wolfram.com/PentagonTilings/
  16. [PDF] Tiling the plane with equilateral convex pentagons - Parabola
  17. [PDF] Pentagonal Tiles - Linda Green
  18. https://arxiv.org/pdf/1510.01186.pdf
  19. (PDF) Convex pentagonal monotiles in the 15 Type families
  20. [PDF] Exhaustive search of convex pentagons which tile the plane
  21. French mathematician completes proof of tessellation conjecture
  22. Searching For Einstein | - AMS Blogs
  23. A298024 - OEIS
  24. Cairo Tiling | Visual Insight - American Mathematical Society
  25. Distance on the Cairo pattern - ScienceDirect.com
  26. Complex tiling patterns in liquid crystals - PMC - NIH
  27. Non-convex tiles
  28. [PDF] Group K - Notes -. [ Tim Wylie ] .
  29. Heesch Numbers, Part 4: Edge-to-Edge Pentagons - Isohedral
  30. Modified cairo tile pentagons create various patterns - Facebook
  31. If a (possibly nonconvex) pentagon tiles the plane, can it do so ...
  32. Platonic Solids - Why Five? - Math is Fun
  33. Dodecahedron – Definition, Formulas, Examples & Diagrams
  34. The Topology and Combinatorics of Soccer Balls | American Scientist
  35. The topology of fullerenes - Wiley Interdisciplinary Reviews
  36. [PDF] On Deformed Dodecahedron Tiling arXiv:1403.6907v1 [math.MG ...
  37. https://doi.org/10.1016/j.aim.2021.107881
  38. 1.2 The Geometry of the Universe
  39. Hyperbolic Tessellations - Clark University
User Avatar
No comments yet.