Arxiv:1805.07217V4 [Math.CO] 28 Jun 2021 Tilings of the Sphere By

arXiv:1805.07217v4 [math.CO] 28 Jun 2021 qiaea pentagons: equilateral Theorem. iig for tilings for tilings classified We a aefiepsil decmiain 5 em 9]: Lemma [5, pentagons, combinations congruent edge by possible sphere five have the can of tiling edge-to-edge an In Introduction 1 rfsosi udN.YS304319159. No. Fund Professorship 16305920. iig fteShr yCnretPentagons Congruent by Sphere the of Tilings i Yan Min ∗ .Trepnaoa udvso iig with tilings subdivision pentagonal Three 1. † orsodn uhr eerhwsspotdb JUShuang ZJNU by supported was Research author. Corresponding eerhwsspotdb ogKn G eea eerhFun Research General RGC Kong Hong by supported was Research 2 4 0tls orerhmptlnswt 6 0 4 4til 24 tiles. 24, 20 20, with tiling 16, map with earth tilings the map of earth modification four flip one tiles; 60 24, subdivisi 12, pentagonal three pentagons: equilateral gruent Keywords hr r xcl ih det-detlnso h peeb sphere the of tilings edge-to-edge eight exactly are There a 5 hr r ih det-detlnso h peeb congru by sphere the of tilings edge-to-edge eight are There .. iig fteshr ycnreteultrlpentagons. equilateral congruent by sphere the of tilings i.e., , rioWang Erxiao ogKn nvriyo cec n Technology and Science of University Kong Hong , † I:Eg Combination Edge III: peia iig etgn Classification. Pentagon, tiling, Spherical : oj km,Thk University Tohoku Akama, Yohji a 2 b 2 hjagNra University Normal Zhejiang , ∗ ,a c, ue2,2021 29, June 3 c a bc, Abstract 3 1 b 2 n[,6.I hsppr eclassify we paper, this In 6]. [5, in 12 , 24 , 60 a a 2 b tiles. 2 5 ntlnswith tilings on ,a c, Ln Distinguished -Long 3 c a bc, 6055and 16303515 d h pentagon the s and es; con- y 3 b 2 a , 4 ,a b, ent 5 . 2. Four earth map tilings with 16, 20, 24, 24 tiles.

3. One ﬂip modiﬁcation of the earth map tiling with 20 tiles.

The pentagonal subdivision tiling is introduced in [5, Section 3.1]. We apply the operation to Platonic solids to get three two-parameter families of tilings of the sphere by congruent pentagons with the edge combination a2b2c. The tilings in the ﬁrst part of the main theorem are the equilateral reduction a = b = c of the pentagonal subdivision tiling. By [1, 2] or direct argument, the equilateral pentagonal subdivision tiling with f = 12 tiles is exactly the regular dodecahedron. The equilateral pentagonal subdivision tilings with f = 24, 60 tiles are derived in Section 5.2.

Figure 1: Pentagonal subdivision tilings, = ǫ4 or ǫ5. • Figure 1 gives the three equilateral pentagonal subdivision tilings. The 2 first is the regular dodecahedron, with all angles equal to 3 π. The second and third are the pentagonal subdivisions of the octahedron and icosahedron. The tiles are the first of Figure 2. All ǫ angles appear at the vertex (including • the “fractional” at the infinity in the second and third pictures). Then the ǫ angles determine• the locations of the other angles according to the first of 2 1 Figure 2. We have δ = 3 π and ǫ = 2 π for the pentagonal subdivision of the octahedron, and the edge length a is given by the biggest root of the quartic 2 2 equation (5.1). We have δ = 3 π and ǫ = 5 π for the pentagonal subdivision of the icosahedron, and the edge length a is given by a quadratic factor of (5.2). The angles in Figure 2 are arranged in a strange order (switching δ, γ recovers the normal order). This is the result of the sequence of argument

2 a γ a a γ a ǫ ǫ + δ δ a a a − a α β β α a a

Figure 2: Equilateral pentagon. adopted in this paper. We use this order in the introduction for the reader to easily match the values of angles and edges in the body of the paper. The second of Figure 2 is the flip of the first. We regard the arrangement of angles to be positively oriented in the first, and negatively oriented in the second. Instead of showing all the angles, it is much easier to present tilings by the locations of ǫ and the orientations of tiles. All tiles in Figure 1 are positively oriented. The earth map tiling is introduced in [8] as the edge-to-edge tilings of the sphere by pentagons, such that there are exactly two vertices of degree > 3. This is a combinatorial concept. There are five families of such tilings distinguished by the distance between the two vertices of degree > 3, and the four tilings in the theorem are the earth map tilings of distance 5. Figure 3 gives the earth map tiling with 20 tiles. All the edges pointing north converge at one vertex (north pole), and all the edges pointing south converge at another vertex (south pole). Then the left and right boundaries are glued together. The tiling consists of five countries (tiles) in the north, five countries in the south, and ten countries along the equator. The earth map tiling of 20 countries clearly has five timezones, between five meridians connecting the two poles. Each timezone consists of four countries (one northern, one southern, and two equatorial). If we add one more timezone, then we get the earth map tiling with 24 tiles. If we delete one timezone, then we get the earth map tiling with 16 tiles. For the earth map tilings in the second part of the main theorem, we need all the edges to be great arcs, and we need to provide all the angles in Figure 3. The angle arrangements are given by ǫ, and the orientations of tiles according to Figure 2. The pentagons are unique, and the angles have specific values. The two earth map tilings with 24 tiles are derived in Sections 5.3, 5.4, 4 1 5 5.7. The first has β = 3 π, δ = 3 π, ǫ = 6 π, and the edge length is given by 1 1 5 (5.3). The second has γ = 2 π, δ = 3 π, ǫ = 6 π, and the edge length is given

3 north

ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ equator ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ ǫ

south

Figure 3: Earth map tiling. by (5.5). The earth map tiling with 16 tiles is derived in Section 5.6. The pentagon 1 3 has δ = 2 π, ǫ = 4 π, and the edge length is given by the biggest root of (5.6). The earth map tiling with 20 tiles is derived in Section 5.5. The pentagon 2 4 has δ = 5 π, ǫ = 5 π, and the edge length is given by the biggest root of (5.7). Next, we explain the flip modification in the third part of the main theorem. In Figure 3, we may use the thick lines to divide the earth map tiling with 20 tiles into two halves (eastern and western hemispheres). The left of Figure 4 shows the boundary between these two halves. Due to 2δ = ǫ, we may flip the interior half with respect to the line L, and still keep the angle sums of all the vertices along the boundary to be 2π. Therefore the flip modification is still a tiling.

2 2 β δ γ β δ γ α 3 α α ǫ α γ δ β γ δ β ǫ ǫ α β ǫ 3 α β δ γ ﬂip δ γ γ β ǫ δ γ β δ2 δ α ǫ α ǫ α α α β γ β γ α β δ2 γ β ǫ γ δ3 L δ3

Figure 4: Flip modiﬁcation of earth map tiling.

The earth map tilings in the main theorem actually fit into a family of tilings of the sphere by congruent almost equilateral (i.e., edge combination a4b) pentagons [4]. The number f of tiles can be any multiple of 4, and for f each such f, the tiling allows one free parameter. Moreover, if 4 is odd, then we may apply the flip modification to get another tiling.

4 For exactly four cases, the almost equilateral earth map tiling becomes equilateral. Moreover, for the single case of f = 20, we may apply the flip modification. Next, we outline the technique for proving the main theorem. Due to lack of edge length variation, we cannot use much of the technique in the other two papers in the series [5, 6]. A completely new idea is needed: A general pentagon is determined by the free choices of 4 edge lengths and 3 angles, yielding 7 degrees of freedom. The requirement that all 5 edges are equal imposes 4 equations, leaving 7 4 = 3 degrees of freedom for equilateral pentagons. Therefore 3 more independent− equations are enough to completely determine equilateral pentagons. Once we know the pentagons, it is then easy to derive tilings. In Section 2, for general tilings of any surface with up to five distinct angles, we derive all the possible angle combinations at degree 3 vertices. The result is summarised in Lemma 1 and Table 1. In Section 3, we specialise Lemma 1 to tilings of the sphere by congruent equilateral pentagons and find that all except one case has three degree 3 vertices. The angle sums of the three vertices provide three independent equations that we can use to determine the equilateral pentagon. The remaining case has two degree 3 vertices, and we consider the possibility of adding another vertex of degree 4 or 5. With the additional vertex, we again get three equations that we can use to determine the equilateral pentagon. After all these cases, we have one remaining exceptional case of two specific degree 3 vertices, and no vertices of degree 4 or 5 (i.e., any vertex of degree > 3 has degree 6). In Section 4, we calculate equilateral pentagons for all the≥ cases in Section 3. If we take into account of various angle arrangements in the pentagon, altogether we have more than 400 cases to calculate. The calculation is based on symbolic manipulations of polynomials, and can be numerically arbitrarily accurate. Therefore all our calculations for equilateral pentagons suitable for tilings are absolutely rigorous. At the end, we get 24 cases (some sharing the same pentagon) yielding equilateral pentagons that might be suitable for tiling the sphere. In Section 5, we construct tilings for these cases, plus the exceptional case. Throughout the paper, we will assume f is an even number 16. As explained in [5, Section 2.1], the assumption follows from [1, 2, 8].≥ The values of angles and edge lengths are expressed as multiples of π. 2 When the multiple is a rational fraction, such as α = 3 π, we mean the precise value. When the multiple is a decimal expression, such as α =0.29539π, we

5 mean an approximate value. In other words, 0.29539π α< 0.29540π. Finally, we would like to thank Hoi Ping Luk for the≤ preliminary work [3] that leads to Lemma 1.

2 Angle Combination at Degree 3 Vertex

We study the collection AVC3 (for anglewise vertex combination) of angle combinations at degree 3 vertices in an edge-to-edge tiling of any surface, under the assumption of up to ﬁve distinct angles appearing at degree 3 vertices. We distinguish angles by their values. Each angle combination at a vertex gives an angle sum equality. If there are too many angle combinations, then the corresponding equalities will force some distinct angles to have the same value. Our goal is to list all the possible collections. Since only the angle sums of vertices are used, our list actually applies to any edge-to-edge tiling of any surface. We say an angle combination at a vertex is of 111-type if it is λµν for three distinct angles λ,µ,ν. Moreover, an 12-type vertex is λµ2,anda3-type vertex is λ3.

Case. One angle α at degree 3 vertices The only possible degree 3 vertex is α3. We denote this by AVC = α3 . 3 { } Case. Two distinct angles α, β at degree 3 vertices There are four possible degree 3 vertices α3,α2β,αβ2, β3. If any two appear in a tiling, then their angle sums imply α = β. For example, if both α2β and αβ2 are vertices, then we have 2α + β = 2π = α +2β, which implies α = β. Therefore only one of the four can appear. In order for both α and β to appear, the vertex is either α2β or αβ2. Up to the symmetry α β, we get ↔ AVC = αβ2 . 3 { } Case. Three distinct angles α,β,γ at degree 3 vertices If αβγ is a vertex, then all three angles already appear, and we get αβγ { } ⊂ AVC3. Then we ﬁnd whether the AVC3 can admit additional degree 3 ver-

6 tices. An additional vertex of 12-type always forces some angles to become equal. For example, the angle sums of αβγ and αγ2 imply β = γ. On the other hand, it is possible for one of α3, β3,γ3 to be a vertex while still keeping α,β,γ distinct. Moreover, if two of α3, β3,γ3 are vertices, then the corresponding angles become equal. Up to the symmetry of permuting α,β,γ, therefore, we get αβγ AVC αβγ,α3 . { } ⊂ 3 ⊂{ } We denote this by writing

AVC = αβγ α3 . 3 { | } Here αβγ is the necessary part to make sure all three angles appear at degree 3 vertices, and α3 is the optional part that can be added without forcing distinct angles to become equal. The necessary part is the lower bound for the AVC3 and the necessary plus optional part is the upper bound for the AVC3. Next we assume that there are no 111-type vertices, and there are 12- type vertices. Up to symmetry, we may assume αβ2 is a vertex. Then γ may appear as α2γ,βγ2,γ3, without forcing some angles to become equal. Since αβ2,α2γ can be transformed to αβ2,βγ2 via α β γ α, up to {symmetry,} we get two possible necessary{ parts} → → →

αβ2,α2γ , αβ2,γ3 . { } { } It can be easily veriﬁed that neither allow optional vertices. Finally we assume that there are no 111-type and 12-type vertices. This means that only α3, β3,γ3 can appear. Since we cannot have all three angles to appear in this way without forcing them to become equal, there is no more AVC3.

Case. Four distinct angles α,β,γ,δ at degree 3 vertices If αβγ is a vertex, then up to symmetry, the angle δ may appear as αδ2,α2δ, δ3. This gives three possible necessary parts

αβγ,αδ2 , αβγ,α2δ , αβγ,δ3 . { } { } { } By αβγ, the necessary parts do not allow optional 111-type vertices. The necessary part αβγ,αδ2 only allows any one of β2δ, γ2δ, β3,γ3 to be optional, { } 7 and does not allow any two (i.e., the appearance of two from the four will imply distinct angles becoming equal). The necessary part αβγ,α2δ only { } allows any one of βδ2, γδ2, β3,γ3 to be optional, and does not allow any two. The necessary part αβγ,δ3 does not allow optional vertices. Therefore up { } to symmetry, we get ﬁve possible AVC3s

αβγ,αδ2 β2δ , αβγ,αδ2 β3 , { | } { | } αβγ,α2δ βδ2 , αβγ,α2δ β3 , αβγ,δ3 . { | } { | } { } Next we assume that there are no 111-type vertices, and αβ2 is a vertex. Then γ may appear as α2γ,βγ2, γδ2,γ2δ, γ3. Up to symmetry, we may drop βγ2 and γ2δ. Moreover, for the combinations αβ2,α2γ and αβ2,γ3 , we need to further consider the way δ appears. Up{ to symmetry,} { this leads} to six possible necessary parts

αβ2,α2γ,βδ2 , αβ2,α2γ,γ2δ , αβ2,α2γ, δ3 , { } { } { } αβ2, γδ2 , αβ2,γ3,α2δ , αβ2,γ3, βδ2 . { } { } { } The ﬁrst is a special case of the fourth via α β γ α. The second is a special case of the fourth via γ δ. The ﬁfth→ becomes→ → the third via γ δ. The sixth becomes the third via↔α γ δ β α Therefore we↔ only → → → → need to consider the third and fourth necessary parts. The third does not allow optional vertices. Under the assumption of no 111-type vertices, the fourth only allows α2δ,βγ2 to be optional, and does not allow two. Up to symmetry, we get two possible AVC3s

αβ2,α2γ, δ3 , αβ2, γδ2 α2δ . { } { | } Finally, it is easy to see that we cannot have all vertices to be of 3-type.

Case. Five distinct angles α,β,γ,δ,ǫ at degree 3 vertices If all vertices are of 3-type, then all angles are equal. Therefore either there are 111-type vertices, or there are 12-type vertices. Moreover, given ﬁve distinct angles, there can be at most two 111-type vertices. This leads to three subcases.

8 Subcase. There are two 111-type vertices Up to symmetry, we may assume that αβγ and αδǫ are all the 111-type vertices. We get one necessary part αβγ,αδǫ , and the optional vertices are of either 12-type or 3-type. It is easy{ to see that} the only possible optional vertex involving α is α3. We look for optional 12-type vertices. Since such a vertex cannot involve α, up to symmetry that preserves the collection αβγ,αδǫ , such an optional vertex is βδ2. Then αβγ,αδǫ βδ2 further{ allows any} one of the 12-type vertices β2ǫ, γǫ2,γ2δ,{ γ2ǫ to be| optional,} but not two. Therefore we get αβγ,αδǫ βδ2, β2ǫ , αβγ,αδǫ βδ2, γǫ2 , αβγ,αδǫ βδ2,γ2δ , { 2 2| } { | } { | } αβγ,αδǫ βδ ,γ ǫ . Then we ask whether any of the four AVC3s allows {3-type optional| vertices.} The answer is that only the second one allows α3, and αβγ,αδǫ βδ2, γǫ2,α3 does not allow any more optional vertices. Since{ αβγ,αδǫ| βδ2,γ2δ} is changed to αβγ,αδǫ βδ2, β2ǫ via { | } { | } δ β ǫ γ δ, we get three possible AVC s → → → → 3 αβγ,αδǫ βδ2, β2ǫ , αβγ,αδǫ βδ2, γǫ2,α3 , αβγ,αδǫ βδ2,γ2ǫ . { | } { | } { | } After exhausting further optional 12-type vertices for αβγ,αδǫ βδ2 , we still need to look for further optional 3-type vertices, under{ the assumption| } of no further optional 12-type vertices. The answer is α3,γ3, ǫ3. Since α3 is already included in the second AVC3 above, we get two more possible AVC3s

αβγ,αδǫ βδ2,γ3 , αβγ,αδǫ βδ2, ǫ3 . { | } { | } It remains to consider the case there are no 12-type optional vertices. In other words, all optional vertices are of 3-type. Up to symmetry, we get αβγ,αδǫ α3 , αβγ,αδǫ β3 . The ﬁrst is included in one of the ﬁve AVC{ s above,| and} { the second| is also} included via β γ. 3 ↔ Subcase. There is only one 111-type vertex Up to symmetry, we may assume that αβγ is the only 111-type vertex. Since δ3 and ǫ3 cannot both be vertices, one of δ, ǫ must appear in an 12-type vertex. Up to symmetry, we may assume that one of αδ2,α2δ, δǫ2 is a vertex. If αβγ and αδ2 are vertices, then under the assumption of no more 111- type vertices, and up to the symmetry β γ, the angle ǫ may appear as ↔

9 α2ǫ, βǫ2, β2ǫ, δǫ2, ǫ3. Similarly, if αβγ and α2δ are vertices, then ǫ may appear as αǫ2, βǫ2, β2ǫ, δ2ǫ, ǫ3. We get total of ten combinations, such that all ﬁve angles appear. Up to symmetry, the ten combinations are reduced to eight possible necessary parts. We also list all the allowed optional vertices under the assumption of no more 111-type vertices:

αβγ,αδ2,α2ǫ : βǫ2, β2δ, γǫ2, γ2δ, β3, γ3 { } αβγ,αδ2, δǫ2 : β2ǫ, γ2ǫ, β3, γ3 { } αβγ,α2δ, δ2ǫ : βǫ2, γǫ2, β3, γ3 { } αβγ,αδ2, βǫ2 : α2ǫ, β2δ,γ2δ, γ2ǫ, γ3 { } αβγ,αδ2, β2ǫ : γǫ2,γ2δ, γ3, δǫ2 { } αβγ,α2δ, β2ǫ : αǫ2, βδ2, γδ2, γǫ2,γ3 { } αβγ,αδ2, ǫ3 : β2δ, γ2δ { } αβγ,α2δ, ǫ3 : βδ2, γδ2 { } The necessary part αβγ,αδ2,α2ǫ allows any one of the six optional vertices, { } but not two. Up to the symmetry β γ of the necessary part, the list may be reduced to βǫ2, β2δ, β3 (indicated↔ by γǫ2, γ2δ, γ3). Therefore we get three possible AVC3s αβγ,αδ2,α2ǫ βǫ2 , αβγ,αδ2,α2ǫ β2δ , αβγ,αδ2,α2ǫ β3 . { | } { | } { | } Similar discussion applies to all the other necessary parts. In particular, we cannot have two optional vertices. Up to symmetry, we get total of nineteen AVC3s, each with one vertex that is not stricken out as the optional vertex. It remains to consider the case δǫ2 is a vertex. After considering the vertices αδ2 or α2δ, we may additionally assume that α,β,γ is not combined with δ, ǫ to form a degree 3 vertex. Therefore δǫ2 is the only degree 3 vertex involving δ, ǫ, and the optional vertices allowed by the necessary 2 part αβγ,δǫ can only involve α,β,γ. By the discussion about the AVC3 of three{ distinct} angles with the necessary part αβγ , we get one possible { } AVC3 αβγ,δǫ2 α3 . { | } Subcase. There are no 111-type vertices Since there can be at most one 3-type vertex, we may assume α3, β3,γ3, δ3 are not vertices. This means α,β,γ,δ all appear at 12-type vertices. This

10 implies that, under the assumption of no 111-type vertices, and up to the symmetry of exchanging α,β,γ,δ, we may assume αβ2 and γδ2 are vertices. Moreover, up to the symmetry α γ and β δ, we may further assume ǫ appears as α2ǫ, βǫ2, ǫ3. This gives↔ three possible↔ necessary parts αβ2, γδ2,α2ǫ , αβ2, γδ2, βǫ2 , αβ2, γδ2, ǫ3 . { } { } { } Since the second becomes the first via α ǫ β α, we only need to consider the first and the third. → → → By no 111-type vertices, the necessary part αβ2, γδ2,α2ǫ only allows βγ2, δǫ2 to be optional, and does not allow two.{ Then we get} two possible AVC3s αβ2, γδ2,α2ǫ βγ2 , αβ2, γδ2,α2ǫ δǫ2 . { | } { | } The necessary part αβ2, γδ2, ǫ3 only allows α2δ, βγ2 to be optional, and { } does not allow two. Up to symmetry, we get one possible AVC3 αβ2, γδ2, ǫ3 α2δ . { | } The following is the summary of our discussion. Lemma 1. If an edge-to-edge tiling of a surface has at most five distinct angles at degree 3 vertices, then after suitable relabeling of the distinct angles, the anglewise vertex combinations at degree 3 vertices is in Table 1. We note that the argument leading to the table follows a specific sequence of cases, and the discussion of a case often assumes the exclusion of the earlier cases. Following a different sequence of cases may lead to a different table, and not excluding earlier cases may introduce many overlappings between various cases.

3 Angle in Pentagonal Tiling of the Sphere

Lemma 1 gives all the collections of angle combinations at degree 3 vertices in a general tiling. By taking the sphere and the pentagon into consideration, we get more information. We use the following basic facts about pentagonal tilings of the sphere, from Lemma 4 through Lemma 8 of [5]. Lemma 2. If all tiles in a tiling of the sphere by f pentagons have the same ﬁve angles α,β,γ,δ,ǫ, then

4 α + β + γ + δ + ǫ =(3+ f )π.

11 Necessary Optional βǫ2 α2ǫ β2δ Necessary Optional β3 3 α α2ǫ αβ2 βǫ2 γ2δ αβγ α3 γ3 αδ2 α2γ γǫ2 αβ2 γ3 γ2δ β2ǫ 2 γ3 2 β δ αδ 2 β3 αβγ δǫ 2 β2ǫ αβγ 2 βδ 2 α δ δǫ 3 β3 β δ3 ǫ3 β2δ 2 2 αǫ2 2 γδ α δ αβ 2 2 α2γ, δ3 β ǫ γδ 3 βδ2, β2ǫ 2 γ α δ 2 βδ2, γǫ2,α3 2 βǫ δ ǫ 3 αβγ αδǫ βδ2,γ2ǫ β 3 2 βδ2,γ3 ǫ βδ 2 3 βδ2, ǫ3 δǫ α βγ2 α2ǫ αβ2, γδ2 δǫ2 ǫ3 α2δ

Table 1: Anglewise vertex combinations at degree 3 vertices.

Lemma 3. If an angle appears at every degree 3 vertex in a tiling of the sphere by pentagons with the same angle combination, then the angle appears at least twice in the pentagon.

Lemma 4. If an angle appears at least twice at every degree 3 vertex in a tiling of the sphere by pentagons with the same angle combination, then the angle appears at least three times in the pentagon.

Lemma 5. If two angles together appear at least twice at every degree 3 vertex in a tiling of the sphere by pentagons with the same angle combination, then the two angles together appear at least three times in the pentagon.

12 Lemma 6. Suppose an angle θ does not appear at degree 3 vertices in a tiling of the sphere by pentagons with the same angle combination.

1. There can be at most one such angle θ.

2. The angle θ appears only once in the pentagon.

3. 2v + v 12. 4 5 ≥ 4. One of θ3ρ, θ4, θ5 is a vertex, where ρ = θ. 6 The lemmas so far do not use any edge information. In fact, they do not even require edges to be great arcs. If we require all tiles to be congruent, then by [2, Lemma 1], the boundary of any tile is a simple closed curve. For spherical pentagon (edges are great arcs) with simple boundary, we have the following constraint from [6, Lemma 1]. Lemma 7. If the spherical pentagon in Figure 5 is simple and has two pairs of edges of equal lengths a and b, then β>γ is equivalent to δ < ǫ.

α b b β γ a a δ ǫ

Figure 5: Pentagon with two pairs of equal edges.

An immediate consequence of Lemma 7 is that the number of distinct angles in an equilateral pentagon is 1, 3 or 5. If the number is 1, then all the angles are equal, and we get the regular dodecahedron tiling.

Case. Three distinct angles Suppose the number of distinct angles in the equilateral pentagon is 3. De- note the three distinct angles by α,β,γ. By Lemma 7, the pentagon has the angle combination α2β2γ,α2βγ2, αβ2γ2. By Lemma 6, at least two of α,β,γ should appear at degree 3 vertices. If only two appears, then up to the symmetry of exchanging the angles, by the two angle part of Table 1, we may assume that αβ2 is the only degree 3 vertex. However, by Lemmas 3 and 4, this implies that α appears at least twice in the pentagon, and β appears

13 at least three times. This implies γ cannot appear in the pentagon. The contradiction implies that all three angles must appear at degree 3 vertices. This leads to the three angle part of Table 1. 3 3 For AVC3 = αβγ α , if α is not a vertex, then each of α,β,γ appears at every degree{ 3 vertex.| } By Lemma 3, this implies each appears at least twice in the pentagon. Since this contradicts the pentagon, we conclude α3 must appear. Therefore AVC = αβγ,α3 , where α3 becomes necessary. 3 { } Now α appears at every degree 3 vertex. By Lemma 3, this implies α appears at least twice in the pentagon. Then up to the exchange β γ, we may denote the case by α2β2γ : αβγ,α3 . ↔ {2 2 } For AVC3 = αβ ,α γ , by Lemma 3, α again appears at least twice in the pentagon. Therefore{ the} pentagon has the angle combination α2β2γ or α2βγ2. If we exchange β and γ in the second case α2βγ2 : αβ2,α2γ , then we get two possible cases α2β2γ : αβ2,α2γ and α{2β2γ : α2β,αγ2 .} For AVC = αβ2,γ3 ,{ if the pentagon has} the{ angle combination} αβ2γ2, 3 { } then by the angle sums of αβ2,γ3 and the angle sum for pentagon (Lemma 2), we have

3π + 4 π = α +2β +2γ =(α +2β)+ 2 3γ =2π + 2 2π. f 3 · 3 · Since this implies f = 12, we may dismiss the case. Therefore the pentagon has the angle combination α2β2γ or α2βγ2. If we exchange β and γ in the second case, then we get two possible cases α2β2γ : αβ2,γ3 and α2β2γ : αγ2, β3 . { } { In summary,} we get the following complete list of three distinct angles in equilateral pentagon. 3.1 α2β2γ : αβγ,α3 . { } 3.2a α2β2γ : αβ2,α2γ . { } 3.2b α2β2γ : α2β,αγ2 . { } 3.3a α2β2γ : αβ2,γ3 . { } 3.3b α2β2γ : αγ2, β3 . { } In the labels, the ﬁrst digit 3 means only three distinct angles appear at degree 3 vertices. The second digit refers to the angle combinations at degree 3 vertices according to Table 1. The last alphabet refers to the possible variations by the consideration of angle combinations in the pentagon.

14 By Lemma 7, a pentagon with the angle combination α2β2γ has two possible angle arrangements, given in Figure 6. Combined with ﬁve combinations above, we get total of 10 cases.

γ γ β β α α

α α β β [α,α,β,γ,β] [α,γ,α,β,β]

Figure 6: Two angle arrangements for the pentagon α2β2γ.

Case. Five distinct angles Suppose the number of distinct angles in the equilateral pentagon is 5. We denote the distinct angles by α,β,γ,δ,ǫ, and denote the pentagon by αβγδǫ. By Lemma 3, there is no angle appearing at all degree 3 vertices. By Lemma 6, we may assume that α,β,γ,δ appear at degree 3 vertices. The discussion may be further divided by whether ǫ appears at degree 3 vertices.

Subcase. Four angles at degree 3 Suppose ǫ does not appear at degree 3 vertices. Then we may use the four angle part of Table 1 for what may appear at degree 3 vertices. 2 2 3 For AVC3 = αβγ,αδ β δ or β , by α not appearing at all degree 3 vertices, we know{ one of the| two optional} vertices necessarily appear, and we get two AVC3s αβγ,αδ2, β2δ , αβγ,αδ2, β3 . { } { } For AVC = αβγ,α2δ β2δ or β3 , the same reason gives two AVC s 3 { | } 3 αβγ,α2δ, βδ2 , αβγ,α2δ, β3 . { } { } Since α β exchanges αβγ,αδ2, β2δ and αβγ,α2δ, βδ2 , the four AVC s ↔ { } { } 3 may be reduced to three. For AVC = αβγ,δ3 , we use Lemma 6 to conclude that one of αǫ3, βǫ3, 3 { } γǫ3, δǫ3, ǫ4, ǫ5 must be a vertex. Up to the symmetry of exchanging α,β,γ, we may assume that one of αǫ3, δǫ3, ǫ4, ǫ5 is a vertex.

15 2 2 2 For AVC3 = αβ , γδ α δ , we may apply Lemma 5 to conclude that, if α2δ does not appear,{ then β| and}δ together appear at least three times in the pentagon, a contradiction to five distinct angles. Therefore α2δ necessarily 2 2 2 appears, and we get AVC3 = αβ , γδ ,α δ . Finally, AVC = αβ2,α2γ,{ δ3 already has} three vertices. 3 { } In summary, we get the following complete list of five distinct angles in the pentagon, and four distinct angles at degree 3 vertices. 4.1a αβγδǫ: αβγ,αδ2, β2δ , 12 arrangements. { } 4.1b αβγδǫ: αβγ,αδ2, β3 , 12 arrangements. { } 4.1c αβγδǫ: αβγ,α2δ, β3 , 12 arrangements. { } 4.2a αβγδǫ: αβγ,δ3, αǫ3 , 6 arrangements by β γ. { } ↔ 4.2b αβγδǫ: αβγ,δ3, δǫ3 , 2 arrangements by α,β,γ exchange. { } 4.2c αβγδǫ: αβγ,δ3, ǫ4 , 2 arrangements by α,β,γ exchange. { } 4.2d αβγδǫ: αβγ,δ3, ǫ5 , 2 arrangements by α,β,γ exchange. { } 4.3 αβγδǫ: αβ2, γδ2,α2δ , 12 arrangements. { } 4.4 αβγδǫ: αβ2,α2γ, δ3 , 12 arrangements. { } Similar to the three distinct angle case, the first digit 4 means only four angles appear at degree 3 vertices. The second digit refers to the angle combinations at degree 3 vertices according to Table 1. We also remark that, up to the symmetry of flip and rotation, the pentagon αβγδǫ has twelve possible angle arrangements in general

[α,β,γ,δ,ǫ], [α,β,γ,ǫ,δ], [α,β,δ,γ,ǫ], [α,β,δ,ǫ,γ], [α,β,ǫ,γ,δ], [α,β,ǫ,δ,γ], [α,γ,β,δ,ǫ], [α,γ,β,ǫ,δ], [α,γ,δ,β,ǫ], [α,γ,ǫ,β,δ], [α,δ,β,γ,ǫ], [α,δ,γ,β,ǫ].

We denote the arrangements by

A1 = [α,β,γ,δ,ǫ], ..., A12 = [α,δ,γ,β,ǫ].

Then A1 is the arrangement in Figure 7, and A3 is the arrangement in Figure 2.

16 Further symmetries in some AVC3s may reduce the number of arrangements we need to consider. For example, Case 4.2a is symmetric with respect to the exchange β γ. Since β γ takes A1 = [α,β,γ,δ,ǫ] to A7 = [α,γ,β,δ,ǫ], we only↔ need to consider↔A1 and do not need to consider A7. We also note that β γ takes A4 = [α,β,δ,ǫ,γ] to [α, γ, δ, ǫ, β] = ↔ [α,β,ǫ,δ,γ] = A6, where we get the ﬁrst equality by ﬂipping the pentagon. Taking into account of the various arrangements, we get total of 72 cases.

Subcase. Five angles at degree 3 Suppose all five distinct angles appear at degree 3 vertices. Then we may use the five angle part of Table 1. We know no angle can appear at all the degree 3 vertices. For the first AVC3 = αβγ,αδǫ in the five angle part of Table 1, therefore, some optional{ vertex| not ···} involving α must appear. Up to the symmetry of symbols, we may assume that either γǫ2 or γ3 appears. This gives AVC = αβγ,αδǫ,γǫ2 or AVC = αβγ,αδǫ,γ3 . 3 { | ···} 3 { | ···} For the other AVC3s in the five angle part of Table 1, we always get three 2 3 necessary vertices with the only exception of AVC3 = αβγ,δǫ α . If we 3 { | } include the case that α also appears for this particular AVC3, then we get the following complete list of five distinct angles at degree 3 vertices.

5.1a αβγδǫ: αβγ,αδǫ,γǫ2 , 12 arrangements. { } 5.1b αβγδǫ: αβγ,αδǫ,γ3 , 6 arrangements by δ ǫ. { } ↔ 5.2 αβγδǫ: αβγ,αδ2,α2ǫ , 6 arrangements by β γ. { } ↔ 5.3 αβγδǫ: αβγ,αδ2, βǫ2 , 8 arrangements by (α, δ) (β, ǫ). { } ↔ 5.4 αβγδǫ: αβγ,αδ2, β2ǫ , 12 arrangements. { } 5.5 αβγδǫ: αβγ,αδ2, δǫ2 , 6 arrangements by β,γ exchange. { } 5.6 αβγδǫ: αβγ,αδ2, ǫ3 , 6 arrangements by β,γ exchange. { } 5.7 αβγδǫ: αβγ,α2δ, β2ǫ , 8 arrangements by (α, δ), (β, ǫ) exchange. { } 5.8 αβγδǫ: αβγ,α2δ, δ2ǫ , 6 arrangements by β γ. { } ↔ 5.9 αβγδǫ: αβγ,α2δ, ǫ3 , 6 arrangements by β γ. { } ↔

17 5.10 αβγδǫ: αβγ,δǫ2,α3 , 6 arrangements by β γ. { } ↔ 5.11 αβγδǫ: αβ2, γδ2,α2ǫ , 12 arrangements. { } 5.12 αβγδǫ: αβ2, γδ2, ǫ3 , 8 arrangements by (α, β) (γ, δ). { } ↔ Taking into account of various arrangements, we get total of 102 cases.

Subcase. Extend AVC = αβγ,δǫ2 by degree 4 3 { } The cases listed so far have enough number of angle equations for completely determining the equilateral pentagon. The only remaining case we need to consider is AVC = αβγ,δǫ2 , which means that αβγ and δǫ2 are the 3 { } only degree 3 vertices. To get the third angle sum equation (necessary for determining the equilateral pentagon), we consider all the possible vertices of degree 4 or 5. After exhausting all these cases, we are left with the exceptional 2 case that AVC3 = αβγ,δǫ and v4 = v5 = 0. If AVC = αβγ,δǫ{ 2 , then} by the angle sum, αβγ and δǫ2 cannot 3 { } ··· ··· be vertices of degree > 3. Moreover, the angle sums of αβγ,δǫ2 and the angle sum for pentagon (Lemma 2) imply

α + β + γ =2π, δ = 8 π, ǫ = (1 4 )π. f − f 2 3 By f > 12, we get ǫ> 3 π. Therefore ǫ is not a vertex. 2 ··· Suppose AVC3 = αβγ,δǫ , and there is a degree 4 vertex. Then we add degree 4 angle combinations{ } that are not αβγ , δǫ2 , ǫ3 to get the following complete list, up to the symmetry of exchanging··· ··· α,β,γ··· .

1.1 αβγδǫ: αβγ,δǫ2,αβδǫ , 6 arrangements by α β. { } ↔ 1.2a αβγδǫ: αβγ,δǫ2, αβ2δ , 12 arrangements. { } 1.2b αβγδǫ: αβγ,δǫ2, αβ2ǫ , 12 arrangements. { } 1.2c αβγδǫ: αβγ,δǫ2,αβδ2 , 6 arrangements by α β. { } ↔ 1.2d αβγδǫ: αβγ,δǫ2,αβǫ2 , 6 arrangements by α β. { } ↔ 1.2e αβγδǫ: αβγ,δǫ2, αδ2ǫ , 6 arrangements by β γ. { } ↔ 1.2f αβγδǫ: αβγ,δǫ2,α2δǫ , 6 arrangements by β γ. { } ↔

18 1.3a αβγδǫ: αβγ,δǫ2,α2β2 , 6 arrangements by α β. { } ↔ 1.3b αβγδǫ: αβγ,δǫ2,α2δ2 , 6 arrangements by β γ. { } ↔ 1.3c αβγδǫ: αβγ,δǫ2,α2ǫ2 , 6 arrangements by β γ. { } ↔ 1.4a αβγδǫ: αβγ,δǫ2, αβ3 , 12 arrangements. { } 1.4b αβγδǫ: αβγ,δǫ2, αδ3 , 6 arrangements by β γ. { } ↔ 1.4c αβγδǫ: αβγ,δǫ2,α3δ , 6 arrangements by β γ. { } ↔ 1.4d αβγδǫ: αβγ,δǫ2,α3ǫ , 6 arrangements by β γ. { } ↔ 1.4e αβγδǫ: αβγ,δǫ2, δ3ǫ , 2 arrangements by α,β,γ exchange. { } 1.5a αβγδǫ: αβγ,δǫ2,α4 , 6 arrangements by β γ. { } ↔ 1.5b αβγδǫ: αβγ,δǫ2, δ4 , 2 arrangements by α,β,γ exchange. { } In the labels, the ﬁrst digit 1 (because only 3, 4, 5 have been used so far) means the inclusion of a degree 4 vertex. The second digit refers to the types 1111, 112, 22, 13, 4 of degree 4 vertices. The last alphabet refers to the possible variations. We combine the cases that are the same after exchanging the angles ( αβγδǫ: αβγ,δǫ2,αγδǫ is the same as αβγδǫ: αβγ,δǫ2,αβδǫ after β γ{). Taking into account} of various arrangements,{ we get total of} ↔ 112 cases.

Subcase. Extend AVC = αβγ,δǫ2 by degree 5 3 { } 2 Suppose AVC3 = αβγ,δǫ , and there is a degree 5 vertex. Then we add degree 5 angle combinations{ } that are not αβγ , δǫ2 , ǫ3 to get the ··· ··· ··· following complete list.

2.1a αβγδǫ: αβγ,δǫ2, αβ2δǫ , 12 arrangements. { } 2.1b αβγδǫ: αβγ,δǫ2,αβδ2ǫ , 6 arrangements by α β. { } ↔ 2.2a αβγδǫ: αβγ,δǫ2,α2β2δ , 6 arrangements by α β. { } ↔ 2.2b αβγδǫ: αβγ,δǫ2,α2β2ǫ , 6 arrangements by α β. { } ↔ 2.2c αβγδǫ: αβγ,δǫ2,α2δ2ǫ , 6 arrangements by β γ. { } ↔ 19 2.2d αβγδǫ: αβγ,δǫ2, αβ2δ2 , 12 arrangements. { } 2.2e αβγδǫ: αβγ,δǫ2, αβ2ǫ2 , 12 arrangements. { } 2.3a αβγδǫ: αβγ,δǫ2,α3δǫ , 6 arrangements by β γ. { } ↔ 2.3b αβγδǫ: αβγ,δǫ2, αβ3δ , 12 arrangements. { } 2.3c αβγδǫ: αβγ,δǫ2, αβ3ǫ , 12 arrangements. { } 2.3d αβγδǫ: αβγ,δǫ2, αδ3ǫ , 6 arrangements by β γ. { } ↔ 2.3e αβγδǫ: αβγ,δǫ2,αβδ3 , 6 arrangements by α β. { } ↔ 2.4a αβγδǫ: αβγ,δǫ2,α2β3 , 12 arrangements. { } 2.4b αβγδǫ: αβγ,δǫ2,α2δ3 , 6 arrangements by β γ. { } ↔ 2.4c αβγδǫ: αβγ,δǫ2,α3δ2 , 6 arrangements by β γ. { } ↔ 2.4d αβγδǫ: αβγ,δǫ2,α3ǫ2 , 6 arrangements by β γ. { } ↔ 2.5a αβγδǫ: αβγ,δǫ2, αβ4 , 12 arrangements. { } 2.5b αβγδǫ: αβγ,δǫ2, αδ4 , 6 arrangements by β γ. { } ↔ 2.5c αβγδǫ: αβγ,δǫ2,α4δ , 6 arrangements by β γ. { } ↔ 2.5d αβγδǫ: αβγ,δǫ2,α4ǫ , 6 arrangements by β γ. { } ↔ 2.5e αβγδǫ: αβγ,δǫ2, δ4ǫ , 2 arrangements by α,β,γ exchange. { } 2.6a αβγδǫ: αβγ,δǫ2,α5 , 6 arrangements by β γ. { } ↔ 2.6b αβγδǫ: αβγ,δǫ2, δ5 , 2 arrangements by α,β,γ exchange. { } The ﬁrst digit 2 means the inclusion of a degree 5 vertex. The second digit refers to the types 1112, 122, 113, 23, 14, 5 of degree 5 vertices. The last alphabet refers to the possible variations. Taking into account of various arrangements, we get total of 172 cases. The ﬁnal remaining exceptional case is that αβγ and δǫ2 are the only degree 3 vertices, and there are no vertices of degree 4 or 5. In Section 5.7, we will show that the only possibility is that δ6 is a vertex, and δ, ǫ are not adjacent in the pentagon.

20 4 Calculation of Equilateral Pentagon

Consider the spherical equilateral pentagon in Figure 7, with edge length a and ﬁve angles α,β,γ,δ,ǫ arranged as A1. We have a < π because otherwise any two adjacent edges would intersect at two points, contradicting the simple pentagon requirement. By [1, Lemma 3], we may calculate the great arc x connecting β and ǫ vertices in two ways. From the isosceles triangle above x, we get cos x = cos2 a + sin α sin2 a. From the quadrilateral below x, we get cos x = (1 cos γ)(1 cos δ) cos3 a sin γ sin δ cos2 a − − − + (cos γ + cos δ cos γ cos δ) cos a + sin γ sin δ. − Identifying the right side of the two equations, we get a cubic equation for cos a. Dividing 1 cos a, we get a quadratic equation for cos a − L cos2 a + M cos a + N =0, (4.1) where the coeﬃcients depend only on α,γ,δ L = (1 cos γ)(1 cos δ), − − M = cos α + cos(γ + δ) cos γ cos δ, − − N = cos α sin γ sin δ. − We call (4.1) the LMN-equation for BE (connecting β-vertex and ǫ-vertex). The validity of the LMN-equation means exactly the triangle and the quadrilateral can be glued together to form a pentagon. However, we do not yet know the pentagon is simple.

a α a β x ǫ a a γ δ a

Figure 7: Spherical equilateral pentagon.

The LMN-equation can be used for ﬁve pairs (β, ǫ), (α,γ), (β, δ), (γ, ǫ), (α, δ), and we get ﬁve quadratic equations 2 Li cos a + Mi cos a + Ni =0, i =1, 2, 3, 4, 5.

21 Let t = cos a, x1 = cos α, y1 = sin α, and similarly introduce xi,yi, i = 2, 3, 4, 5 for β,γ,δ,ǫ. Then the ﬁve quadratic equations are polynomial equa- 2 2 tions of the 11 variables t, xi,yi, i =1, 2, 3, 4, 5. Together with xi +yi 1 = 0, we have total of 10 polynomial equations. The ideal generated by− the 10 polynomials has Hilbert dimension 3. Conceptually this means that three more independent polynomial equations can determine isolated solutions. These are provided by the three angle sums in our cases. For example, the angle sum of αβγ is the same as

cos(α + β + γ)=1, sin(α + β + γ)=0, which are degree 3 polynomial equations of x1, x2, x3,y1,y2,y3. Of course we may also use simpler degree 2 polynomial equations such as cos(α+β) = cos γ and sin(α + β)= sin γ. − We can implement strict inequalities such as xi = 1 (i.e., angles are nonzero) by saturating the polynomial ideal with x 6 1. We also introduce i − saturations with xi xj to make sure angles are distinct, for the case of five distinct angles. − For each case, we then get finitely many solutions from a suitable Gröbner basis of the saturated ideal. All these can be calculated symbolically. For example, for the first arrangement A1 = [α,β,γ,δ,ǫ] of Case 1.1, we get the following Gröbner basis

16x4 +8x3 8x2 +1, x2 + y2 1, 8x3 +8x2 +2x 1, 5 5 − 5 5 5 − 5 5 2 − 8x3y 4x y + y , 16x3 +8x2 +2x 8x 1, 8x3y +4x2y + y , 5 5 − 5 5 2 5 5 1 − 5 − 5 5 5 5 1 2x y + y , 2x2 + x +1, x + x , y + y , 5 5 4 − 5 4 − 5 3 5 3 64x3 96x2 + 17t +4x + 21. − 5 − 5 5 Starting with 4 roots of x from 16x4 +8x3 8x2 + 1, we may successively 5 5 5 − 5 find the roots of all 11 variables. The total number of solutions is 8. So far, the calculation has been symbolic. Therefore we may get numerical values to arbitrary accuracy. Then we use the numerical values to exclude non-real solutions. This can be done by calculating the numerical values with sufficiently many digits, and require that the first enough number of digits of the imaginary part to be all zero. For Case 1.1(A1), 4 of 8 solutions are not real. For the real solutions, by 0

23 We find that the first and fifth solutions violate the criterion because the maximum angle and the minimum angle are not adjacent. Moreover, the angles in the third solution are already in monotonic order α, ǫ, δ, γ, β (this is A1). Therefore switching the maximum and minimum angles violates the criterion. The remaining second and fourth solutions satisfy the criterion, and are candidates for tiling the sphere. After all the calculations and applying tests and criteria to filter out pentagons not suitable for tiling, we get the following complete list of candidate pentagons for tiling the sphere. We provide the approximate value of cos a only for cases that will yield tilings in Section 5.

Case 4.2b: αβγ,δ3, δǫ3 . { } 2 4 A1: f = 36, α =0.29539π, β =1.62453π, γ =0.08007π, δ = 3 π, ǫ = 9 π; 2 4 A1: f = 36, α =0.87573π, β =0.42997π, γ =0.69428π, δ = 3 π, ǫ = 9 π; 2 4 A3: f = 36, α =0.85571π, β =0.45589π, γ =0.68839π, δ = 3 π, ǫ = 9 π.

Case 4.2c: αβγ,δ3, ǫ4 . { } 2 1 A1: f = 24, α =0.27849π, β =1.59984π, γ =0.12166π, δ = 3 π, ǫ = 2 π; 2 1 A1: f = 24, α =0.82020π, β =0.48453π, γ =0.69526π, δ = 3 π, ǫ = 2 π; 2 1 A3: f = 24, α =0.80106π, β =0.51139π, γ =0.68753π, δ = 3 π, ǫ = 2 π, cos a =0.85341.

Case 4.2d: αβγ,δ3, ǫ5 . { } 2 2 A1: f = 60, α =0.31031π, β =1.64260π, γ =0.04708π, δ = 3 π, ǫ = 5 π; 2 2 A1: f = 60, α =0.92294π, β =0.38907π, γ =0.68797π, δ = 3 π, ǫ = 5 π; 2 2 A3: f = 60, α =0.90594π, β =0.40930π, γ =0.68475π, δ = 3 π, ǫ = 5 π, cos a =0.93133.

Case 5.5: αβγ,αδ2, δǫ2 . { } 4 1 5 A5: f = 24, α = 3 π, β =0.14400π, γ =0.52265π, δ = 3 π, ǫ = 6 π, cos a =0.70688.

24 Cases 1.2e, 1.5a, 2.4b: αβγ,δǫ2, αδ2ǫ or α4 or α2δ3 . { } 1 1 5 A11: f = 24, α = 2 π, β =1.38071π, γ =0.11928π, δ = 3 π, ǫ = 6 π, cos a =0.68125.

Cases 1.4e, 2.6b: αβγ,δǫ2, δ3ǫ or δ5 . { } 2 4 A1: f = 20, α =0.60551π, β =0.50248π, γ =0.89199π, δ = 5 π, ǫ = 5 π; 2 4 A3: f = 20, α =0.30959π, β =1.06152π, γ =0.62888π, δ = 5 π, ǫ = 5 π, cos a =0.77680.

Case 1.5b: αβγ,δǫ2, δ4 . { } 1 3 A1: f = 16, α =0.10133π, β =1.56723π, γ =0.33142π, δ = 2 π, ǫ = 4 π; 1 3 A1: f = 16, α =0.63380π, β =0.56425π, γ =0.80193π, δ = 2 π, ǫ = 4 π; 1 3 A3: f = 16, α =0.45368π, β =0.88238π, γ =0.66392π, δ = 2 π, ǫ = 4 π; cos a =0.77943.

Case 2.5e: αβγ,δǫ2, δ4ǫ . { } 2 6 A1: f = 28, α =0.55888π, β =0.43715π, γ =1.00396π, δ = 7 π, ǫ = 7 π.

2 Exceptional Case AVC3 = αβγ,δǫ , v4 = v5 = 0. We calculate for αβγ,δǫ2, δ6 and get { } { } 1 5 A1: f = 24, α =0.58056π, β =0.46336π, γ =0.95606π, δ = 3 π, ǫ = 6 π; 4 1 5 A3: f = 24, α =0.14400π, β = 3 π, γ =0.52265π, δ = 3 π, ǫ = 6 π, cos a =0.70688; 1 1 5 A3: f = 24, α =0.11928π, β =1.38071π, γ = 2 π, δ = 3 π, ǫ = 6 π, cos a =0.68125.

We remark that we know the exact values of the length a and all ﬁve angles, in the sense of the polynomials satisﬁed by their cosine (and which real root of the polynomial). In fact, it turns out all the polynomials can be solved by radicals, and we have the explicit formula for the cosines in terms of radicals.

25 In the list above, we choose the accuracy up to five digits because this is sufficient for the subsequent argument in Section 5, that constructs tilings from the approximate values. We group 1.2e, 1.5a, 2.4b together because the numerical values are the same up to five digits. Therefore the argument for these cases are the same in Section 5. The same remark applies to 1.4e and 2.6b. In 4.2b, 4.2c, 4.2d, 1.4e, 2.6b, 1.5b, 2.5e, the precise values of δ, ǫ can be calculated from the angle sums of two existing vertices involving only δ, ǫ. Therefore the precise values can be used in the argument in Section 5. In 5.5, 1.2e, 1.5a, 2.4b, the precise values of α, δ, ǫ are inferred from numerical calculations, and should be treated here as accurate up to the fifth digit. Although we can rigorously justify these precise values by more symbolic calculation, we will only use five digit approximations of all five angles in constructing tilings in Section 5. After the construction, we further rigorously justify these precise values. In the exceptional case, we will argue that δ6 must be a vertex. The precise values of δ, ǫ can be calculated from the angle sums of δǫ2, δ6, and the precise value of β and γ are inferred from numerical calculations.

5 Tiling by Congruent Equilateral Pentagon

All pentagons that are potentially suitable for tilings are listed near the end of Section 4. Based on the data in the list, we try to construct the tiling. To compare tilings from diﬀerent cases, we change all the arrangements to A1 = [α,β,γ,δ,ǫ] or A3 = [α,β,δ,γ,ǫ]. This means exchanging α, β (A5 changed to A3) in Case 5.5, and exchanging α,γ (A11 changed to A3) in Cases 1.2e, 1.5a, 2.4b.

Case 5.5: αβγ,βδ2, δǫ2 . { } 4 1 5 A3: f = 24, α =0.14400π, β = 3 π, γ =0.52265π, δ = 3 π, ǫ = 6 π, cos a =0.70688.

Cases 1.2e, 1.5a, 2.4b: αβγ,δǫ2, γδ2ǫ or γ4 or γ2δ3 . { } 1 1 5 A3: f = 24, α =0.11928π, β =1.38071π, γ = 2 π, δ = 3 π, ǫ = 6 π, cos a =0.68125.

26 5.1 Case 4.2b To construct tilings for the solution

2 4 A1: f = 36, α =0.29539π, β =1.62453π, γ =0.08007π, δ = 3 π, ǫ = 9 π, we first find the AVC. Due to non-precise values for α,β,γ, we cannot find all the possible angle combinations αaβbγcδdǫe at vertices by precisely solving the angle sum equation

αa + βb + γc + δd + ǫe =2π.

Instead, since all angles and multiplicities are non-negative, the approximate values imply a 6, b 1, c 24, d 3, e 4. ≤ ≤ ≤ ≤ ≤ By the precise values of δ, ǫ, this implies that any solution of the exact angle sum equation must satisfy the estimation

0.29539a +1.62453b +0.08007c + 2 d + 4 e 2 0.00001(a + b + c). | 3 9 − | ≤ We substitute all combinations of non-negative integers a, b, c, d, e within the bounds to the inequality above and ﬁnd that only three combinations αβγ, δ3, δǫ3 satisfy the inequality. Therefore we conclude

AVC = αβγ,δ3, δǫ3 . { } Applying the same argument to the other two solutions, we get the same AVC. In fact, the bounds for the multiplicities are much smaller for these two solutions, and four or three digits are sufficient for deriving the AVC. Next we derive tilings from the AVC. We used the notation adopted in [5, 6]. We denote by Ti the i-th tile, and indicate the tile as circled i. We also denote by θi the angle θ in Ti. The notations are unambiguous because the five angles have distinct values. We will also use the AAD (adjacent angle deduction) introduced in [5, Section 2.5]. We note that, due to the change of adjacency between angles, for the same AVC, the AAD argument for A1 and A3 are different. The vertex δǫ3 has consecutive ǫǫǫ. For the A1 arrangement, this implies the AAD ǫ αǫδ ǫ at the vertex. By no αδ (due to the AVC), the AAD is ··· ǫ αǫδ δǫα . This implies a vertex γ δǫ ǫδγ = δ3 = ǫδγ δ γδǫ = ǫδγ γδǫ γ δǫ . Then γǫ is a vertex, contradicting to··· the AVC. ··· 27 For the A3 arrangement, by the AVC (we will henceforth omit men- tioning AVC), we know γ2 is not a vertex. This implies the unique AAD β γ α γ α γ α γ 3 ··· δ ǫ ǫ ǫ of δǫ . Therefore we determine four tiles T1, T2, T3, T4 around 3 a vertex δǫ in the first of Figure 8. By α1γ2 = α1β5γ2 and no α5δ2 , we determine T . By δ δ = δ δ δ and no···γ γ , we determine···T . 5 2 5 ··· 2 5 6 5 6 ··· 6 By β6γ5 = α7β6γ5 and no β7ǫ5 , we determine T7. By starting with α γ ···(in place of α γ ) and··· applying the same reason, we determine 2 3 ··· 1 2 ··· T , T , T . By the unique AAD of ǫ ǫ ǫ = δ ǫ ǫ ǫ , we determine 8 9 10 6 8 10 ··· 11 6 8 10 T11. By the unique AAD of δ7ǫ11 = δ7ǫ11ǫǫ12, we determine T12. By α γ = α β γ and no α ǫ ··· , we determine T . By the unique 12 7 ··· 12 13 7 13 7 ··· 13 AAD of δ13ǫ5ǫ7 = δ13ǫ5ǫ7ǫ14, we determine T14. Then β4γ1 = αβγ and δ δ = δ3 imply··· α, δ are adjacent, a contradiction. ··· 1 14 ··· We conclude that Case 4.2b has no tiling.

β α γ ǫ β α δδ 6 α 14 13 α δ δ α δ γ β δ γ β γ ǫ δ β α γ ǫ ǫ ǫ 4 1 β γ α δ 4 1 β γ α ǫ ǫ γ α ǫ ǫ δ ǫ α ǫ ǫ α β α ǫ ǫ γ β 5 7 α ǫ ǫ γ 5 δ γ 12 δ γ β 3 γ 2 δ α β 3 γ 2 δ ǫ γ α δ β α δ δ β β δ β 9 δ δ α γ 6 α β γ 8 ǫ ǫ α β δ ǫ β α ǫ δ γ ǫ ǫ δ 10 γ β 11 α

Figure 8: Tilings for αβγ,δ3, δǫ3 and αβγ,δ3, ǫ4 . { } { }

5.2 Cases 4.2c and 4.2d By the method in Section 5.1, we ﬁnd AVC = αβγ,δ3, ǫ4 for the three pentagons in Case 4.2c, and AVC = αβγ,δ3, ǫ5 {for the three} pentagons in { } Case 4.2d. Again we need to consider two arrangements A1 and A3. Again we have consecutive ǫǫǫ at ǫ4 or ǫ5. For the A1 arrangement, we may use the same argument for Case 2.4b to show there is no tiling. For the A3 arrangement and AVC = αβγ,δ3, ǫ4 , the AVC implies the α γ α γ α γ α γ 4 { } unique AAD ǫ ǫ ǫ ǫ of ǫ . This determines four tiles T1, T2, T3, T4 4 around a vertex ǫ in the second of Figure 8. By α1γ2 = α1β5γ2 and no β δ , we determine T . By α β = α β γ and···ǫ = ǫ4, we 1 5 ··· 5 5 1 ··· 5 1 6 5 ···

28 determine T6. Similarly, we may start with α2γ3 ,α3γ4 ,α4γ1 and 4··· ··· ··· get more tiles similar to T5, T6, and get more ǫ . We may also apply the argument starting from the original ǫ4 to these new ǫ4. More repetitions give the pentagonal subdivision of the octahedron, in the second of Figure 1. The argument for Case 4.2d is completely similar, starting from the unique AAD αǫγ αǫγ αǫγ αǫγ αǫγ of ǫ5. We get the pentagonal subdivision of the icosahedron, in the third of Figure 1. Although we get the tiling, we still need to verify that the solutions of Cases 4.2c(A3) and 4.2d(A3) can be realised by simple pentagons. The ﬁrst of Figure 9 is the pentagonal subdivision of a regular triangular face of the regular tetrahedron (n = 3), octahedron (n = 4, Cases 4.2c), icosahedron (n = 5, Cases 4.2d). The angles of the pentagon are arranged 2 2 as A3, and δ = 3 π, ǫ = n π match the angles for the two cases.

1 π 1 3 △ 2 a x P β △ y δ ′ α β γ γ δ △ θ 1 α a γ 1 π a 1 π β α ǫ 2 2 z n ǫ Q α △ triangle △ Figure 9: Equilateral pentagon for pentagonal subdivision.

The right triangle in the second of Figure 9 is one sixth of the regular triangular face, with respective△ angles 1 π, 1 π, 1 π at , , . We also recall n 3 2 • ◦ • the key values from the Platonic solids.

f n cos x cos y cos zx y z 24 4 1 √2 1 0.3040π 0.1959π 0.2500π √3 √3 √2 60 5 √5+1 √5+1 √2 0.2076π 0.1161π 0.1762π √6(5 √5) 2√3 √5 √5 − − 1 The distances from the vertex αβγ to , , are respectively a, a, 2 a. We draw the line starting from the middle point• ◦P•of x and orthogonal to x. By y < z, the line intersects z at Q. For any point X on P Q, we have X = X . ◦ •

29 Then we calculate to ﬁnd

f = 24: P =0.1718π> 1 x, Q =0.2011π> 2 z; • 4 • 3 f = 60: P =0.1088π> 1 x, Q =0.1260π> 2 z. • 4 • 3 By P = 1 x, this implies X > 1 X at X = P , and X < 1 X at X = Q. • 2 • 2 • • 2 • By the intermediate value theorem, this implies we have X = X = 2X for some X on P Q. This X is the vertex αβγ. ◦ • • We have the other right triangles ′, , that are one sixth of the △ △1 △2 regular triangular face. We have divided into three smaller triangles, with respective top angles α,β,γ and respective△ base edges z,y,x. Then the equilateral pentagon is obtained by glueing the smaller triangles to ′ along △ the base edges. Since ′, 1, 2 do not overlap, the pentagon is simple. The construction of the pentagon△ △ △ shows that it tiles the pentagonal subdivision. 1 Next, we calculate the pentagon. Let θ be the angle between y and 2 a. Then we have 1 1 cos a = cos 2 a cos y + sin 2 a sin y cos θ. The angle between z and 1 a is 1 π θ. Therefore we have 2 2 − 1 1 cos a = cos 2 a cos z + sin 2 a sin z sin θ.

1 We eliminate θ from the two equations and get an equation for cos 2 a, cos a, sin a. This can be further converted to a precise polynomial equation for cos a

f = 24: 25cos4 a + 4(1 2√3) cos3 a − 2(1+4√3) cos2 a + 4 cos a +1=0, (5.1) − f = 60: (63 11√5) cos4 a − +( 4√6 5+ √5+16 8√5) cos3 a − p − +( 4√6 5+ √5 14+6√5) cos2 a − p − +(4+4√5) cos a +3+ √5=0. (5.2)

The polynomial (5.1) has four real roots, and the one compatible with the approximate value cos a = 0.85341 is the biggest one. By 0

30 quadratic polynomials, and the solution compatible with the approximate value cos a =0.93133 is 1 cos a = ((193 + 7√5)√6 5+ √5 372 + 736√5) 6728 p − 1+ √5 + q(57122 + 25659√5)√6 5+ √5 135949√5 + 247403. 3364 p − We further determine the precise values of α,β,γ by

cos x = cos2 a + sin2 a cos γ, 1 1 cos y = cos 2 a cos a + sin 2 a sin a cos β, 1 1 cos z = cos 2 a cos a + sin 2 a sin a cos α. The approximate values are

f = 24: α =0.80106π, β =0.51139π, γ =0.68753π; f = 60: α =0.90594π, β =0.40930π, γ =0.68475π.

5.3 Case 5.5 We start with the version of the solution of Case 5.5 given at the beginning of Section 5. This means we apply the exchange α β to the original solution for A5, and get the new version for A3. By the↔ method in Section 5.1, we get AVC = αβγ,βδ2, δǫ2,α3γ3,α2γ2δ2,αγδ4, δ6 . { } We have v = 0 for i = 3, 6. Then by f = 24, and the vertex counting i 6 equation [5, 8]

f 2 6= k 4(k 3)vk = v4 +2v5 +3v6 + , − P ≥ − ··· we get v6 = 2. By [8, Theorem 6], the tiling is the earth map tiling with exactly two degree 6 vertices as the poles. In particular, there is a 35-tile. Figure 10 is the neighbourhood of a 35-tile, in which all tiles have the A3 arrangement. We assume the angles of the center tile T1 are given as indicated. By the AVC, the ﬁve degree 3 vertices of T1 belong to AVC3 = αβγ,βδ2, δǫ2 . We also know αǫ is not a vertex. { } ··· We have γ1 = αβγ = α2β6γ1 or α6β2γ1, given by the two pictures. In the ﬁrst picture,··· by β and no α ǫ , we determine T . Then by α and 6 6 1 ··· 6 2 31 ǫ α β δ δ β α ǫ 6 β α 2 6 α β 2 γ δ γ ǫ γ γ ǫ γ δ γ α ǫ α ǫ α ǫ 1 δ ǫ δ 1 δ β 5 α β 3 5 α β 3 β γ γ β δ ǫ β α δ γ δ δ 4 ǫ δ 4 γ

Figure 10: Case 5.5: Neighbourhood tiling of a 35-tile. no α ǫ , we determine T . Then δ ǫ = δ ǫ ǫ , and δ ǫ = δ ǫ ǫ . 6 2 ··· 2 1 2 ··· 1 2 3 6 1 ··· 6 1 5 By ǫ5, we get α1 = α1β4γ5. Then γ5, ǫ5 determine T5. By β4, ǫ3, we get β = α β γ . Then··· γ , ǫ determine T , and α , β determine T . 1 ··· 4 1 3 3 3 3 4 4 4 In the second picture, by β and α , we get δ = δ δ β and ǫ = 2 6 1 ··· 1 2 3 1 ··· δ5ǫ1ǫ6. Then β2, δ2 determine T2, and α6, ǫ6 determine T6. By β3, we have β = α β γ or β δ δ . We also know α = αβγ. We find β = 1 ··· 3 1 4 1 3 4 1 ··· 1 ··· α β γ and α = αβγ imply either two γ in T , or β,γ adjacent in T , a 3 1 4 1 ··· 4 4 contradiction. Therefore we have β1 = β1δ3δ4, as in the second picture. Then α = αβγ = α δβα ǫγδ implies··· αǫ is a vertex, a contradiction. 1 ··· ··· We conclude that the first of Figure 10 is the only 35-neighbourhood tiling fitting the AVC. By [8, Theorem 6], there are five families of earth map tilings, corresponding to distances 5, 4, 3, 2, 1 between the two poles. They are obtained by glueing copies of the “timezones” in Figure 11 (three timezones are shown for distance 5) along the “meridians”. The vertical edges at the top meet at the north pole, and the vertical edges at the bottom meet at the south pole. For f = 24, the tiling consists of two timezones for distances 4, 3, 2, 1 and six timezones for distance 5.

∗ ∗ ∗ ∗ ∗

distance 5 distance 4 distance 3 distance 2 distance 1

Figure 11: Timezones for earth map tilings.

Next we carry out a “propagation” argument. The idea is to ask which 5 of the ﬁve tiles around T1 in the ﬁrst of Figure 10 can be 3 -tiles. If one such

32 “neighbouring” tile is still a 35-tile, then its neighbourhood is again given by the first of Figure 10. To see whether this is possible, we simplify the presentation of the neighbourhood tiling in the first of Figure 10 by keeping only γ and indicating the orientations of tiles according to Figure 2. This is the first of Figure 12, in which the other angles can be recovered by γ and the orientation. The second of Figure 12 is the horizontal flip of the first picture.

6 2 35 >3 γγ γ γγ γ 1 35 5 γ γ 3 γ γ >3 35 4 >3 γ γ

Figure 12: Propagation of neighbourhood tiling.

The positively oriented tile T4 in the first of Figure 12 has neighboring tiles T3, T1, T5. We ask whether it is possible to embed T4, T3, T1, T5 into the first (because T4 is positively oriented) of Figure 12, such that T4 is the center tile T1. We find the identification of T4 with T1 that keeps γ and the orientation exchanges T3, T5. Since T3, T5 have different orientations, we get 5 a contradiction. This means T4 in the first picture cannot be a 3 -tile. We indicate this by labelling T4 as > 3 in the third picture. The negatively oriented tile T3 in the first of Figure 12 has neighboring tiles T2, T1, T4. We ask whether it is possible to embed T3, T2, T1, T4 into the second (because T3 is negatively oriented) of Figure 12, such that T3 is the center tile. Indeed, this can be done by taking T3, T2, T1, T4 in the first picture to T1, T3, T2, T6 in the second picture, with matching γ and orientation. This 5 means T3 in the first picture can be a 3 -tile. We indicate this by labelling 5 T3 as 3 in the third picture. Similar argument determines the nature of all the tiles. We get the corresponding labels in the third of Figure 12. We apply the propagation to the -labeled 35-tiles in Figure 11. For ∗ distances 4, 3, 2, 1, the -labeled tiles have at least three neighbouring 35- tiles. Since the third of∗ Figure 12 has at most two neighbouring 35-tiles, it cannot be the neighbourhoods of these -labeled tiles. For distance 5, we ∗ note that only the two tiles on the left and right of the -labeled tile are 35- tiles. These two must be the two neighbouring 35-tiles in∗ the third of Figure

33 12. Guided by this observation, it is easy to derive the unique earth map tiling of distance 5 in Figure 3 (one more timezone needed). In particular, we ﬁnd that the full AVC is actually αβγ,δǫ2, δ6 . Note that βδ2 is not a vertex in{ the tiling,} contradicting the original assumption about Case 5.5. In fact, the tiling belongs to the exceptional 2 case of AVC3 = αβγ,δǫ and v4 = v5 = 0. Since we will rediscover the tiling anyway (although{ starting} from diﬀerent premise), we still justify the existence of the equilateral pentagon here. Moreover, we also need to justify the precise values of β, δ, ǫ. We know the approximate value cos a = 0.70688. In fact, we obtain the approximate value from the precise value cos a = 1 ( 1+ √3+ 5+4√3). (5.3) 3 − p− We may also recover the precise value from the LMN-equation (4.1) for AC 0=(1 cos 4 π)(1 cos 1 π) cos2 a − 3 − 3 + (cos 5 π + cos( 4 + 1 )π cos 4 π cos 1 π) cos a 6 3 3 − 3 − 3 + (cos 5 π sin 4 π sin 1 π), 6 − 3 3 where the precise values of β, δ, ǫ are used. The root of the quadratic equation compatible with cos a =0.70688 is (5.3). 5 We construct ACE using a from (5.3) and ǫ = 6 π. We also construct △ 4 1 ABDC using this a and β = 3 π, δ = 3 π. The validity of the LMN- equation for AC means that the triangle and the quadrilateral have matching AC edge. Therefore they can be glued together to form a pentagon. Substituting the value of cos a into the LMN-equation for BC 0=(1 cos 5 π)(1 cos α) cos2 a − 6 − + (cos 1 π + cos( 5 π + α) cos 5 π cos α) cos a 3 6 − 6 − + (cos 1 π sin 5 π sin α), 3 − 6 we get a linear equation relating cos α and sin α (7+6√3+(8+5√3) 5+4√3) cos α +3(2+ √3+ 5+4√3) sin α p− p− =19+3√3+5(1+ √3) 5+4√3. p− The equation has two solutions, and the one compatible with the approximate value α =0.14400π is α = arctan 1 (4+3√3+( 2+4√3) 5+4√3). 33 − p− 34 Similarly, the LMN-equation for AD is a linear equation relating cos γ and sin γ

(7+6√3+(8+5√3) 5+4√3) cos γ +3(2+ √3+ 5+4√3) sin γ p− p− =7 3√3+( 1+5√3) 5+4√3. − − p− The solution compatible with γ =0.52265π is

γ = π arctan 1 (12+7√3+(6+4√3) 5+4√3). − 3 p− We may symbolically verify tan α + tan γ tan(α + γ)= = √3. 1+tan α tan γ − The only precise value of α + γ compatible with α = 0.14400π and γ = 2 0.52265π is 3 π. Therefore α + β + γ =2π. We justify the simple property of the pentagon in Section 5.6.

5.4 Cases 1.2e, 1.5a, 2.4b We start with the version of the solution of the cases given at the beginning of Section 5. This means we apply the exchange α γ to the original solution ↔ for A11, and get the new version for A3. By the method in Section 5.1, we get AVC = αβγ,δǫ2, γδ2ǫ, γ4,γ2δ3, δ6 . { } By β = αβγ, and the total number of times β appears in the tiling is f, we ﬁnd··· that αβγ appears f times. This implies that γ already appears f times at αβγ. Since the total number of times γ appears in the tiling is also f, we conclude γ = αβγ. Therefore γδ2ǫ, γ4,γ2δ3 are not vertices, and we get the updated AVC··· AVC = αβγ,δǫ2, δ6 . { } The AVC shows that we are in none of Cases 1.2e, 1.5a, 2.4b. Still, we may ask whether the reduced AVC admits tiling. Since this AVC is contained in the AVC studied in Section 5.3, the tiling is the earth map tiling obtained in Section 5.3, i.e., given by Figure 3. The diﬀerence is the pentagon used for tiling.

35 We need to justify the existence of the pentagon, including the precise 1 values of γ, δ, ǫ. We note that, by α + β + γ = 2π and γ = 2 π, we have γ α = β π. This means the pentagon is obtained by directly glueing −ACE and− BCD together. In other words, the triangle ABC is reduced to△ an arc. See△ Figure 13. △ 1 For 0 a 2 π, therefore, we construct isosceles triangles ACE, BCD ≤ ≤ 1 △ 5 △ with the same side length a and the given top angles δ = 3 π, ǫ = 6 π. Then the two base angles α and θ are strictly increasing and continuous functions 1 1 5 1 1 of a, with α + θ = 12 π + 3 π = 12 π at a = 0, and α + θ = 2 π + 2 π = π at 1 1 a = 2 π. By the intermediate value theorem, we have α +θ = 2 π for a unique 1 a satisfying 0

C θ + α = 1 π 1 π 2 α θ 2 1 3 π D θ 5 B E 6 π E′

α A

Figure 13: Pentagon for αβγ,δǫ2, γδ2ǫ or γ4 or γ2δ3 , A3 arrangement. { } We have 1 1 tan θ = sec a cot 2 δ, tan α = sec a cot 2 ǫ. (5.4) 1 By α + θ = γ = 2 π, this implies sec a cot 1 δ sec a cot 1 ǫ =1. 2 · 2 Substituting the precise values of δ and ǫ, we get

cos a = 3+2√3, sin a = 1 ( 3+2√3) = 1+ √3. (5.5) p− q − − −

36 Then

2 2 5 cos AC = cos a + sin a cos 6 π √ √ √3 =( 3+2 3) (4 2 3) 2 =0, − 2 2 − −1 cos BC = cos a + sin a cos 3 π =( 3+2√3)+(4 2√3) 1 = 1+ √3 = sin a. − − 2 − 1 The ﬁrst equality implies AC = 2 π. The second equality implies cos BC > 0, 1 1 so that 0

α = 1 π θ = 1 π arctan 3+2√3, 2 − 2 − p β = π + θ = π + arctan 3+2√3. p 5.5 Cases 1.4e, 2.6b By the method in Section 5.1, for both solutions, we get

AVC = αβγ,δǫ2, δ3ǫ, δ5 . { } We need to consider both arrangements A1 and A3. For the A1 arrangement, we have consecutive δδδ at δ3ǫ, δ5. The AAD of δδδ = δ γ δǫ δ implies a vertex γ2 or γǫ , a contradiction. ··· ··· For the A3 arrangement, we consider tiles T1, T2, T3 containing consecutive δδδ, in Figure 14. We may assume T2 is arranged as indicated. By δ1, we get γ = α β γ . Then β , δ determine T . By α , we get ǫ = δ ǫ ǫ . 2 ··· 4 1 2 1 1 1 4 2 ··· 5 2 4 Then α4, ǫ4 determine T4. By δ5, we get γ4 = α6β5γ4. Then β5, δ5 determine T . By α and no α ǫ , we determine···T . 5 6 5 ··· 6

γ δ β γ δ β δ ǫ 1 α α ǫ 2 α 3 β ǫ 4 δ γ δ γ β 5 ǫ ǫ α α γ 6 δ β

Figure 14: Tiling for αβγ,δǫ2, δ3ǫ, δ5 . { }

37 We ﬁnd that T2, T4, T5, T6 form a timezone in the earth map tiling in Figure 3. We derive the timezone from T1, T2. Similarly, for δ3 on the right of δ , by δ , we get β = αβ γ . This determines T , and T , T is the same 2 3 2 ··· 2 3 3 2 3 as T1, T2. Therefore we get another timezone containing T3. If there are more δ to the right of δ3, then the argument continues to give more timezones. If 5 δ1δ2 = δ , then the repetition of the argument gives the earth map tiling in Figure··· 3. We note that the full AVC for the earth map tiling is αβγ,δǫ2, δ5 . Therefore the tiling is actually for Case 2.6b, and not for Case{ 1.4e. } It remains to consider the A3 arrangement, and δ5 is not a vertex. This means AVC = αβγ,δǫ2, δ3ǫ . { } In other words, we study the tiling for Case 1.4e and not for Case 2.6b. We will show that the tiling is given by Figure 15. The tiling has two tiles with two degree 4 vertices and three degree 3 vertices, which we call 3342-tiles. We draw the two tiles as the north and south “regions” (as opposed to the two poles in the earth map tiling) T1, T10. The tiling is obtained by glueing the left and right together.

north tile (region) δ γ ǫ 1 α β δ δ ǫ α β δ δ γ β α γ δ ǫ δ 17 2 δ 4 11 ǫ 16 δ 17 γ β α γ ǫ β γ ǫ δ δ γ δ ǫ β γ β γ α β α δ α ǫ γ α 18 ǫǫ 5 ǫ 3 α α β 14 β 18 20 β α ǫ 20 γ 6 β α 12 δ 15 ǫ ǫ α α α γ ǫ β γ α ǫ β γ δ ǫ β γ δ β δ γ γ 7 ǫ ǫ 8 9 13 α β 19 ǫ δ δ γ α β γ δδ δ β α ǫ δ δ γ δ β α 10 ǫ δ south tile (region)

Figure 15: Tiling for αβγ,δǫ2, δ3ǫ . { } 3 We start with four tiles T1, T2, T3, T4 around a vertex δ ǫ = δ2δ3δ4ǫ1. By no γ2 , we get the unique AAD βδγ βδγ βδγ αǫγ of the vertex. This determines···T , T , T , T . We note that the current AVC αβγ,δǫ2, δ3ǫ is a 1 2 3 4 { } subset of the AVC αβγ,δǫ2, δ3ǫ, δ5 used for deriving Figure 14. Therefore { } 38 we take the pairs T3, T2 and T4, T3 as the pair T1, T2 in Figure 14, and get two timezones originating from T2 and T3. The timezone originating from T2 consists of T2, T5, T6, T7. The timezone originating from T3 consists of T3, T8, T9, T10. 2 3 We have ǫ4 = δǫ or δ ǫ. We continue the construction of the tiling by ··· 2 assuming ǫ4 = δǫ . By α1γ4 = α1β11γ4 and α4β9 = α4β9γ12, we get ǫ = δ ǫ ···ǫ . Then β , δ ,γ···, ǫ determine T , T ···. Then δ δ ǫ = 4 ··· 11 4 12 11 11 12 12 11 12 9 12 10 ··· δ3ǫ. We may apply the argument starting with the original δ3ǫ to this new 3 δ ǫ, and get T13, T14, T15, T16. By β γ = α β γ and no β δ , we determine T . Then the 2 1 ··· 17 2 1 17 1 ··· 17 unique AAD of δ δ ǫ = δ δ δ ǫ determines T . By the same argu- 1 16 17 ··· 1 16 18 17 18 ment, we also determine T19, T20. 2 We obtain the tiling by assuming ǫ4 = δǫ . The alternative assumption 3 ··· 3 2 is that ǫ4 = δ ǫ. This means that T4 is a 3 4 -tile, with δ4 = ǫ4 = 3 ··· ··· ··· δ ǫ. Therefore by taking this T4 as T1, we may assume that the T1 we started with is already a 3342-tile, and δ = ǫ = δ3ǫ. Now we repeat 1 ··· 1 ··· the argument with this additional assumption. We still get T1,...,T10. We 3 may also repeat the same argument by starting at δ1 = δ ǫ. This means ··· 3 ǫ17, δ18, δ16, δ1 correspond to ǫ1, δ2, δ3, δ4. The unique AAD of δ ǫ determines T17. Moreover, we get two timezones originating from δ16, δ18. The timezone originating from δ16 consists of T11, T12, T14, T16, The timezone originating from δ consists of T , T , T , T . Then the unique AAD of δ δ ǫ = 18 13 15 18 19 7 10 19 ··· δ7δ10δ20ǫ19 determines T20. The dark and thickly shaded lines divide the tiling in Figure 15 into two equal halves. Each half has two timezones and two additional tiles, and can be identified with the halves in Figure 3 between the thick lines. By looking at the boundary vertices along the thickly shaded lines in Figure 15, we find the tiling is the flip modification described by Figure 4. We still need to justify the existence of the pentagon. We leave the discussion to the next section.

5.6 Cases 1.5b, 2.5e By the method in Section 5.1, we get AVC = αβγ,δǫ2, δ4 { } for (all three solutions of) Case 1.5b, and get AVC = αβγ,δǫ2, δ4ǫ, δ7 { } 39 for Case 2.5e. We need to consider A1 and A3 for Case 1.5b, and consider A1 for Case 2.5e. For the A1 arrangement, we have consecutive δδδ at δ4, δ4ǫ, δ7. Similar to the earlier Cases 1.4e and 2.6b, the AAD of δδδ = δ γδǫ δ implies a vertex γ2 or γǫ , a contradiction. ··· ··· For the A3 arrangement, we may also use Figure 14 to prove that the A3 arrangement of Case 1.5b gives the earth map tiling with four timezones. We obtained four earth map tilings, all with the A3 arrangement: 1. Case 1.5b: f = 16, AVC = αβγ,δǫ2, δ4 . { } 2. Case 2.6b (and 1.4e): f = 20, AVC = αβγ,δǫ2, δ5 . { } 3. Exceptional 1 (and 5.5): f = 24, AVC = αβγ,δǫ2, δ6 . { } 4. Exceptional 2 (and 1.2e, 1.5a, 2.4b): f = 24, AVC = αβγ,δǫ2, δ6 . { } Note that Case 1.4e has the same pentagon as 2.6b, but with the flip modification as the tiling. Moreover, Case 5.5 has the same pentagon as the first exceptional case, but with a vertex βδ2 that does not show up in the tiling. The same happens to Cases 1.2e, 1.5a, 2.4b, compared with the second exceptional case. Therefore, although we calculated the pentagons for the two exceptional cases in Sections 5.3 and 5.4, the calculations were based on the premise not immediately implied by the earth map tiling. The rest of the section is devoted to the calculation of the pentagons for the four cases, starting from the premise of earth map tiling. We also justify the existence of the pentagons. The first of Figure 16 describes part of the earth map tiling. We know αβγ,δǫ2, δn are vertices, and the poles N and S are δn. We know the precise values δ = 2 π, ǫ = 1 1 π, and all the normal lines have the same length n n a. Then both AB and−AC can be reached by combining three segments of length a at alternating angles β and ǫ. Therefore AB and AC have the same length. This implies NAS is a great arc connecting the two poles. Then we get NA = π a, and the second of Figure 16. We may calculate AB by three a at alternating− angles β, ǫ, or by the triangle ABN △ cos AB = (1 cos β)(1 cos ǫ) cos3 a + sin β sin ǫ cos2 a − − + (cos β + cos ǫ cos β cos ǫ) cos a sin β sin ǫ; − − cos AB = cos a cos(π a) + sin a sin(π a) cos 1 δ − − 2 = cos2 a + sin2 a cos 1 δ = (1 + cos 1 δ) cos2 a + cos 1 δ. − 2 − 2 2

40 Identifying the two gives one equation relating β, δ, ǫ, a. We may further divide a factor 1 + cos a to get a quadratic equation of cos a. On the other hand, we have the LMN-equation (4.1) for AC

(1 cos β)(1 cos δ) cos2 a − − + (cos ǫ + cos(β + δ) cos β cos δ) cos a − − + (cos ǫ sin β sin δ)=0. − This gives another equation relating β, δ, ǫ, a. Both equations are of the form λi cos β + µi sin β = νi, where λi,µi, νi are quadratic polynomials of cos a with coeﬃcients involving only δ, ǫ. Then we may solve cos β and sin β from the system, and get the equality cos2 β + sin2 β = 1, which is

(λ ν λ ν )2 +(µ ν µ ν )2 =(λ µ λ µ )2. 1 2 − 2 1 1 2 − 2 1 1 2 − 2 1 This is actually a polynomial of cos a of degree 6, with coeﬃcients determined by the precise values of δ, ǫ.

N N 1 2 δ a C γ β B ǫ α B ǫ δ γ β a a − β β ǫ π α a A ǫ a S A

Figure 16: Calculate the pentagon for earth map tiling.

For f = 16 (Case 1.5b), the degree 6 polynomial of cos a is

(49t4 +(16 18√2)t3 +(48 54√2)t2 +(52 34√2)t+43 30√2)(t2 +3 2√2). − − − − − The root compatible with cos a = 0.77943 is the biggest root of the quartic factor

49 cos4 a + (16 18√2) cos3 a + (48 54√2) cos2 a − − + (52 34√2) cos a + 43 30√2=0. (5.6) − −

41 For f = 20 (Case 2.6b), the degree 6 polynomial for cos a is

(5√5t3 + t2 (4 + √5)t 1)(√5t2 +2+ √5)(√5t 1). − − − The root compatible with cos a = 0.77680 is the biggest root of the cubic factor 5√5 cos3 a + cos2 a (4 + √5) cos a 1=0. (5.7) − − After getting the precise value of a from (5.6) and (5.7), we may use suitable LMN-equations to derive the precise values of α,β,γ similar to Section 5.3. Their approximate values are the same as the ones given near the end of Section 4. For f = 24 (two exceptional cases), the degree 6 polynomial for cos a is

(3t2 + (2 2√3)t +3 2√3)(t2 +3 2√3)(t2 +7 4√3). − − − − The roots compatible with cos a =0.70688 and 0.68125 are

cos a = 1 ( 1+ √3+ 5+4√3), cos a = 3+2√3. 3 − p− p− Then we recover the two pentagons in Sections 5.3 and 5.4. Next, we justify the existence of the pentagon for f = 16, f = 20, and the cos a = 0.70688 case of f = 24. The main concern is that the pentagon should be simple. The simple property is clear for the cos a = 0.68125 case of f = 24, by the construction of the pentagon in Section 5.4. 1 For a in certain interval [a0, a1] (0, 2 π), we construct isosceles triangles ⊂ 1 2 ACE, BCD with edges a and top angles ǫ = (1 n )π, δ = n π. By δ△ < ǫ, we△ have u = AC > v = BC. If we have u v− < a, then we may − enlarge ∠DCE until AB = a. Then we get an equilateral pentagon (in the A3 arrangement) with given δ, ǫ. See Figure 17. We need to argue that, for suitable a, we get α + β + γ =2π. This gives an equilateral pentagon, such that αβγ,δ2ǫ, δn can be vertices (or strictly speaking, the angle sums are 2π). We have

cos u = cos2 a(1 cos ǫ) + cos ǫ, − cos v = cos2 a(1 cos δ) + cos δ. − The equalities show that, for a (0, 1 π), u and v are strictly increasing ∈ 2

42 C C a D γ δ a a a a δ D v E ǫ a E ǫ u β B a a a B α A A

Figure 17: Construct the pentagon for earth map tiling. functions of a. Recall the following approximate values f =16: cos a =0.77943, a =0.21550π; f =20: cos a =0.77680, a =0.21683π; f =24: cos a =0.70688, a =0.25010π; f =24: cos a =0.68125, a =0.26143π.

Therefore we take [a0, a1] = [0.21π, 0.22π] for f = 16, 20, and take [a0, a1]= [0.2501π, 0.2502π] for the cos a =0.70688 case of f = 24. Then we calculate the approximate values of u(a0) and v(a1)

f = 16: u(a1)=0.4008π, v(a0)=0.2853π;

f = 20: u(a1)=0.4146π, v(a0)=0.2346π;

f = 24: u(a1)=0.4790π, v(a0)=0.2301π. (cos a =0.70688) We verify that u(a ) a + v(a ) holds in all three cases. Then we have 1 ≤ 0 0 u(a) u(a ) a + v(a ) a + v(a) for a [a , a ]. ≤ 1 ≤ 0 0 ≤ ∈ 0 1 Therefore we have u v a for a [a , a ], and we can construct the − ≤ ∈ 0 1 corresponding pentagons. Next, we calculate the pentagons for a = a0 and a = a1. This can be done by ﬁrst using ACE, BCD to calculate u, v, and then using a, u, v to calculate ABC.△ Then we△ calculate the approximate values of the corresponding σ =△α + β + γ.

f = 16: σ(a0)=1.9861π, σ(a1)=2.0116π;

f = 20: σ(a0)=1.9868π, σ(a1)=2.0062π;

f = 24: σ(a0)=1.9999993π, σ(a1)=2.0000805π. (cos a =0.70688)

43 We ﬁnd σ(a0) < 2π < σ1(a1). By the intermediate value theorem, we conclude that σ(a)=2π for some a [a , a ]. ∈ 0 1 Since the equilateral pentagons constructed above can have the vertices αβγ,δ2ǫ, δn, we may use the pentagons to construct earth map tilings. Then the earlier calculation for precise values is still valid, with “compatible with cos a = 0.77943” replaced by “compatible with a [a0, a1]”. In particular, we get the precise values of the three triangles constituting∈ the pentagon. Their approximate values are given in Figure 18. We conclude that the four angles of ABCE are < π. Therefore ABCE is convex, and ABCE, BCD are in the separate hemispheres divided by the great circle BC. △ This implies the pentagon is simple.

C C C π π π 21 16 03 . . . 0 0 0 E 0.75π 0.50π D E 0.80π 0.40π D E 0.83π 0.33π D

0 0 0 π . π . π . 28 33 37

15 12 11 . π . π . π 0 0 0 0.29π 0.59π 0.18π 0.72π 0.02π 0.95π A B A B A B f = 16 f = 20 f = 24 (cos a =0.70688)

Figure 18: Pentagon for the earth map tiling.

Finally, we examine the construction of the equilateral pentagon in more detail. Figure 19 is the graph of a+v u as a function of a. The graph shows that, for f = 16, 20, we have u v <− a for all a (0, 1 π). Therefore we may − ∈ 2 always construct the equilateral pentagon. For f = 24, we may construct the equilateral pentagon only for a in certain range (0, amax). Here we have u v = a at a =0.26143π, i.e., the middle triangle ABC is reduced to − max △ a line. This is the case discussed in Section 5.4, and the precise value of a is given by (5.5). If we draw the similar graph for f = 28, 32,... , then we ﬁnd the curve to be below the a-axis. This means we cannot construct the equilateral pentagon suitable for tiling.

44 a + v u −

f = 16 amax = 0.26143π

f = 20

f = 24 a π

Figure 19: When can we construct the equilateral pentagon?

5.7 Exceptional Case AVC = αβγ,δǫ2 , v = v =0 3 { } 4 5 5 By [5, Lemma 1] and v4 = v5 =0, there is a 3 -tile. The neighbourhood of a 35-tile is given in Figure 20. Up to the symmetry of AVC = αβγ,δǫ2 , we 3 { } only need to consider A1 and A3 arrangements, as in T1 of the two pictures. The ﬁrst of Figure 20 has the A1 arrangement. We have δ = δ ǫ ǫ . 1 ··· 1 3 4 By ǫ , we get ǫ = δ ǫ ǫ . Then ǫ contradicts α = αβγ. 3 1 ··· 3 1 2 2 1 ··· ǫ α β δ 6 2 6 β α 2 α ǫ γ δ γ ǫ γ ǫ α ǫ α β 1 δ ǫ 1 δ ǫ γ 5 δ ǫ 3 β 5 γ α β γ 3 β ǫ β α 4 δ δ 4 ǫ δ γ

Figure 20: AVC = αβγ,δǫ2 : Neighbourhood tiling of a 35-tile. 3 { } The second of Figure 20 has the A3 arrangement. We have δ = δ ǫ ǫ . 1 ··· 1 2 3 By ǫ2, we get γ1 = α2β6γ1. Then α2, ǫ2 determine T2. By β6, we get ǫ = δ ǫ ǫ . Then··· β , δ determine T . By ǫ , we get α = α β γ . 1 ··· 6 1 5 6 6 6 5 1 ··· 1 4 5 Then γ , ǫ determine T . By ǫ , β , we get β = α β γ . Then γ , ǫ ,α , β 5 5 5 3 4 1 ··· 4 1 3 3 3 4 4 determine T3, T4. The neighbourhood tiling is the same as the ﬁrst of Figure

45 10. Next we argue f 24. Since f is even, it is suﬃcient to show that f < 26. ≤ The angle sums of αβγ,δǫ2 imply

1 δ = α + β + γ + δ + ǫ 3π = 4 π, δ = 8 π, ǫ = π 1 δ. 2 − f f − 2 1 By f 16, we have δ 2 π. We will have two inequality restrictions on f. The≥ A3 arrangement≤ means the pentagon is ABDEC, given by the ﬁrst of Figure 17. We recall a < π by the simple pentagon requirement. Let u and v be the arcs of length < π connecting A, C and connecting B,C. We may determine the arcs u and v by the cosine laws

cos u = cos2 a + sin2 a cos ǫ = cos2 a sin2 a cos 1 δ, − 2 cos v = cos2 a + sin2 a cos δ.

The inequality u v a then deﬁnes a region on the rectangle (a, δ) (0, π) (0, 1 π]. As− shown≤ by Figure 22, for 0 < a 1 π, this already implies∈ × 2 ≤ 2 f < 26.

C P a B γ E ǫ u v δ D D δ v α β ξ A B X C

Figure 21: Pentagon in A3 arrangement, and BCD lies outside ABCE. △ 1 For 2 π 2 π. We also know the outside ∠ 1 1 angle BDP = π δ 2 π. This means that ξ > 2 π when X = C and 1 − ≥ 1 ξ 2 π when X = D. It is then a fact of the spherical geometry that ξ > 2 π for≥ any X on the interior of CD. (We can see this, for example, by using stereographic projection.) Then by ξ > 1 π δ, we conclude a>BX. Since 2 ≥ 46 the pentagon is simple, this implies that BX cannot be part of the edge BA. In other words, the edge BA must point outside the triangle BCD. By △ the same reason, the edge CE must point outside the triangle BCD. This proves that BCD lies outside ABCE. △ Since BCD△ lies outside ABCE, we have △ 4 π = Area( ABDCE) Area(ABCE). f ≥ The area of the quadrilateral can be further estimated

Area(ABCE) Area( ACE) Area( ABC). ≥ △ − △ 1 By the assumption 2 π

2(1 4 )π. P ≥ − f The sides of ABC are u,v,a, and its three angles can be calculated by the cosine law. Then△ may be explicitly expressed as a function of a and δ. P 22 22 If f 26, then 13 π. The region 13 π is indicated by dashed ≥ P ≥ P ≥ 22 boundary in Figure 22, and the picture shows that 13 π implies f 24. Therefore we conclude f 24 for the exceptional case.P ≥ ≤ ≤ Recall that we obtained the neighbourhood tiling in the second of Figure 20 for AVC = αβγ,δǫ2 . The neighbourhood tiling is the same as the ﬁrst 3 { } of Figure 10 for Case 5.5. Similar to Section 5.3, we may use the vertex counting equation and [8, Theorem 6] to show that v4 = v5 = 0 and 16 f 24 imply that the tiling is the earth map tiling with exactly two degree≤ 6 ≤ vertices. Then by the propagation argument in Section 5.3, we get the earth map tiling in Figure 3. The calculation in Section 5.6 shows that there are two possible pentagons suitable for the earth map tiling.

References

[1] Y. Akama, M. Yan. On deformed dodecahedron tiling. preprint, arXiv:1403.6907, 2014.

47 δ Σ 22 π ≥ 13

f 24 u v a ≤ − ≤ 22 Σ < 13 π

u v > a − f 26 ≥

a π

Figure 22: f 24 for the exceptional case. ≤

[2] H. H. Gao, N. Shi, M. Yan. Spherical tiling by 12 congruent pentagons. J. Combinatorial Theory Ser. A, 120(4):744–776, 2013.

[3] H. P. Luk. Angles in Spherical Pentagon Tilings. MPhil Thesis, Hong Kong University of Science and Technology, 2012.

[4] H. P. Luk, M. Yan. Tilings of the sphere by congruent almost equilateral pentagons I: ﬁve distinct angles. preprint, 2021.

[5] E. X. Wang, M. Yan. Tilings of the sphere by congruent pentagons I: edge combinations a2b2c and a3bc. preprint, arXiv:1804.03770, 2021.

[6] E. X. Wang, M. Yan. Tilings of the sphere by congruent pentagons II: edge combination a3b2. preprint, arXiv:1903.02712, 2021.

[7] E. X. Wang, M. Yan. Moduli of pentagonal subdivision tiling. preprint, arXiv: 1907.08776, 2019.

[8] M. Yan. Combinatorial tilings of the sphere by pentagons. Elec. J. of Combi., 20(1):#P54, 2013.