# Reply to comment

## Secrets from a bathroom floor

Tilings have adorned buildings from ancient Rome to the Islamic world, from Victorian England to colonial Mexico. In general, the word *tiling* refers to any pattern that covers a flat surface, like a painting on a canvas, using non-overlapping repetitions of one or more shapes, so that the design does not leave any empty spaces. Contemporary tilings can be found in African-American
quilts, Indonesian batiks, molas from the San Blas de Cuna Islands, and Aboriginal paintings.

A symmetry drawing by MC Escher. Image © 2009 The M.C. Escher Company - the Netherlands. All rights reserved. Used by permission.

Tiling was a favorite means of expression for the Dutch artist M. C. Escher (1898-1972), who repeatedly expressed his love for this art form, acknowledging at the same time the influence on his work of the mosaics he admired and sketched from Moorish buildings in Southern Spain. In spite of this influence, Escher's art went far beyond anything seen before. He produced enigmatic tilings, with strange creatures and mutating landscapes that suggest a craft free from any worldly limitation. This perception however, owned to Escher's mastery, is far from true. Tiling is a very precise art, where not much can be left to chance. Even the simplest tilings fall to the spell of mathematical principles. We can push and turn and wriggle, but if the maths is not right, it isn't going to tile.

### Not all tiles are created equal

To see how mathematics can limit the fancy of the best tile installer, we first try our hand at tiling with copies of just one regular polygon, that is to say a shape having sides of the same length and equal angles. One of these regular polygons, a square, is shown in figure 1(a), while figures 1(b) and 1(c) show polygons that are not regular. In figure 1(b) not all the angles are equal, and in figure 1(c) not all the sides have the same length.

Figure 1: Regular and non-regular polygons.

Not only do we want to use copies of just one regular polygon, but we also want to place them vertex to vertex, that is to say, with the vertices of one copy touching only the vertices of other copies. These tilings are called *regular*. For instance, in figure 2, tilings (a), (b) and (c) are regular, while tilings (d), (e) and (f) are not: the squares in tiling (d) lie in a sliding mood,
while tilings (e) and (f) use more than one kind of regular polygon each, regular octagons and squares for (e), regular hexagons and equilateral triangles for (f).

Figure 2: Regular and non-regular tilings.

As the tilings (a), (b) and (c) in figure 2 show, squares, equilateral triangles and regular hexagons do make up regular tilings, a fact that was known to Pythagoras' followers in the fifth century BC. But Mother Mathematics says that no other regular polygon can claim the same. Why? If we look at the regular tilings in figure 2, we see that the angles meeting at each vertex add up exactly to a complete revolution, or 360°. What happens with, say, regular octagons?

Figure 3: Not all tiles are created equal.

As figure 3 illustrates, two regular octagons fall short of a complete revolution, while three regular octagons produce some overlapping. Tiling (e) in figure 2 shows that the perfect tiling companion of two regular octagons is a smaller square wedged between them.

So, our claim about which regular polygons can tile a plane regularly is really a claim about the size of their angles. To say that a regular polygon will produce a regular tiling of a plane is the same as saying that the size of its angle divides exactly into 360°. It is easy to check that this is true for the regular tilings in figure 2: the square, triangle and hexagon have internal angles of 90°, 60° and 120° and each of these numbers divides 360°.

Now, if we want to show that only equilateral triangles, squares and regular hexagons make up regular tilings, we need to show that the angle of any other regular polygon will not divide exactly into 360°. We can do this using a mix of geometry and algebra. Figure 4(a) shows a regular polygon with sides and angle . The generic number of sides can be 3, 4, 5, and so on. We haven't completed the picture of our polygon because we do not want to fall into thinking about a particular polygon. In figure 4(b) we have highlighted one of the isosceles triangles that compose our polygon.

Figure 4: Size of an inner angle.

A little thought shows that the angles of the triangle must be equal to , , and , as the figure suggests. We also know that the sum of these three angles has to be . Or, in symbols,

At this point, our geometric problem of tiling has become the following algebra problem: To show that is divisible by only when By division, we can write

### Sliding the tile

It has been said that mathematicians do not know where to stop, meaning that we always find yet another wrinkle to explore. Here is our new wrinkle: Tiling (d) in figure 2 shows that we can build a sliding tiling using copies of a square. Is this true for an equilateral triangle? How about a regular hexagon? How about other regular polygons?

Let us consider first the case of equilateral triangles. We can start with two equilateral triangles sitting as in figure 5(a).

Figure 5: Sliding the tile.

Since 3 × 60° = 180°, we should be able to exactly fit another four copies of the triangle, two above and two below, as shown in figure 5(b). The result is a regular hexagon broken into two halves, with one half slid along the other. Now we can see what is going on: if we break the regular tiling (b) in figure 2 along all or some of the horizontal lines, or along all or some of the slanted lines, and if we slide the strips along the fracture lines, we obtain a tiling, like the one shown in figure 5(c).

We could try to reason in the same way with regular hexagons, but as it happens, doing the same thing does not always guarantee the same outcome. As figure 6 suggests, the angles refuse to cooperate, leaving annoying empty spots.

Figure 6: Sliding does not always work.

So, the answer for the triangular wrinkle is yes, while the answer for the hexagonal wrinkle is no. What happens with other regular polygons? A moment's reflection will show that a regular polygon will produce one of these sliding tilings only when its angle divides exactly into 180. Or,

### Anything wrong with the pentagon?

You can see how the rules and regulations of mathematics appear very quickly even in the simplest tiling designs. No pentagons in the bathroom floor! No pentagons?

Figure 7: The bathroom floor in Bob Jenkins' house.

Well, let us unveil the secret. We only know that *regular* pentagons do not work. But, what if we drop the word *regular* from the specifications? What if we just want to tile with copies of one convex pentagon, which means a five sided shape with all its inner angles less that 180°? If we do, a very different and interesting story will unfold, because there are quite a few convex
pentagons that will tile a plane. For instance, how would you like to have one of these patterns on your bathroom floor?

Figure 8: Choosing a pentagonal design.

As you can see, each of them consists of copies of just one convex pentagon. Observe that the third tiling is not vertex to vertex, which is fine. For each of these tilings, we highlight in figure 9 the shape of the convex pentagon tiler and the conditions on its sides and angles.

Figure 9: Some good pentagon tiles.

How many kinds of convex pentagons can tile the plane? Before 1968, it was thought that there were five types, which had been discovered by K. Reinhardt in 1918. But between 1968 and 1985 nine new types were discovered. As of today, no new types are known and no one has shown either that the list is complete at fourteen (see here for an illustration of the fourteen known pentagonal tilings of the plane). In other words, the problem of tiling with copies of one convex pentagon remains open. How about trying to come up with other examples of convex pentagon tilers within the known fourteen types? Of course the really serious challenge would be to come up, if possible, with a new type.

### Mixed tilings

Summing up, we know now that one regular polygon makes a regular tiling only when it is an equilateral triangle, a square or a regular hexagon. We also know that non-regular pentagons give a lot of choices and seem quite difficult to handle. How about if we get back to regular polygons, but this time we allow more than one shape and size to be used? We have already seen examples of this kind of tilings: tiling (e) in figure 2 uses at each vertex one copy of a square and two copies of a regular octagon, while tiling (f) in figure 2 uses at each vertex one copy of a regular hexagon and four copies of an equilateral triangle.

Figure 2 again: tilings (e) and (f) are mixed tilings.

Inspired by these tilings, we demand of our tilings that polygons with the same number of sides have the same size, that vertices meet at vertices and that the same number of polygons of each shape is used at all the vertices. We will call these patterns *mixed tilings*. Actually, the three regular tilings (a), (b), and (c) of figure 2 could be considered particular cases of mixed
tilings, that use at each vertex four copies of a square, or six copies of an equilateral triangle or three copies of a regular hexagon.

So let's find all possible mixed tilings. As before, we can do it by combining geometry and algebra and, in this case, with some help from a computer. Indeed, let us say that at each vertex a total of regular polygons meet, with number of sides respectively (note that the numbers may be repeated). The basic principle is again that the sum of all the angles meeting at a vertex has to be . Using the formula we found earlier for the angle of any regular polygon, we can write the basic principle as

(1) |

We could, of course, check by hand all other cases, but it's easier to use a computer. See here for a computer algorithm that will do the trick. The algorithm provides the 17 possible solutions listed in the following table:

For example, this table tells us that solution 1 uses one equilateral triangle, one regular heptagon and one regular polygon with 42 sides. This makes sense because if we substitute in (1) and we get the correct identity

Figure 10: We cannot tile with just the three polygons from Solution 3.

In solution 3, for instance, we can see that once we place the equilateral triangle, the nonagon and the 18-side regular polygon vertex to vertex, as in figure 10, we cannot place a new copy of any of the three polygons that yields a good tiling of the plane. However, we can get a good tiling by combining solutions. For instance, solution 11 cannot work by itself, but when combined with other solutions, like 5, 15, and 17 one gets a good tiling of the plane.

Each one of the other solutions, 5, 7, 12, 13, 15, and 16, produces a mixed tiling of the plane. The catch is that the regular polygons can be rearranged in more than one way! For instance, figure 11 shows two mixed tilings that use solution 12 and figure 12 shows two mixed tilings that use solution 15.

Figure 11: Two arrangements of solution 12.

Figure 12: Two arrangements of solution 15.

Observe that in searching for mixed tilings, it is not enough that the shapes work well one vertex at the time, but rather, they have to click at all the vertices simultaneously. Recall that we did not encounter this situation when searching for regular tilings.

### Semi-regular tilings

If we now want to eliminate all but a few special mixed tilings, we can make the following additional requirement: at each vertex, the regular polygons should always appear in the same order. For instance, this is the case in figure 12(a), because if we go around any vertex, say, counterclockwise, the regular polygons always appear as a chunk of length five of the sequence ...STSTTSTSTTS..., where S and T mean square and triangle, respectively. Similar chunks can be found in sequences corresponding to figure 12(b) and figure 11(b). However, in figure 11(a), we can see that at some vertices the arrangement is ...THTHTHTHT..., where H stands for hexagon, while at others the arrangement is ...TTHHTTHHTT... .

Here is the final scoop: there are eight mixed tilings that keep the same arrangement at every vertex and are not regular tilings. They are called *semi-regular tilings*, and they correspond to solutions 5, 7, 8, 12, 13, 15 (two of them) and 16. Solutions 8 and 16 are illustrated in figures 2(e) and 2(f) respectively, while solutions 12 and 15 are shown in figures 11(b) and 12(a)
respectively. The remaining three semi-regular tilings are illustrated in figure 13.

Figure 13: Some more semi-regular tilings.

### Useful tilings

A symmetry drawing by MC Escher. Image © 2009 The M.C. Escher Company - the Netherlands. All rights reserved. Used by permission.

You can see that we could go on forever with this tiling business. What if we allow the polygons to get smaller and smaller? What if we use copies of any triangle or copies of any figure with four sides? What if we want to emulate Escher and try to draw some figurative meaning into the tiles? What if we look for patterns that, in some sense, never repeat? Each of these "what ifs", and pretty much any other you may imagine, will open up new fascinating possibilities.

The British mathematician and cosmologist Roger Penrose, for example, has designed non-repeating tilings that now seem to agree with the internal structure of real materials, such as some combinations using aluminum. In a lighter note, Penrose's designs have also caught the attention of a toilet paper manufacturer, because paper embossed with a non-repeating pattern can be rolled without leaving bulging spots. But Penrose had copyrighted the pattern and the manufacturer got a legal spank.

Beyond the fun side of tiling and its more, or less, serious applications, Penrose's interest in tiling relates also to his interest in artificial intelligence and the works of computers. For instance, the tiling problem, that is, whether a given bunch of shapes will tile a plane, belongs to a class of mathematical problems called *non-recursive*. The tiling problem is answerable in each
particular case, but, Penrose says, "there is no systematic procedure that, once implemented on a machine, could give an answer in any case, without requiring any more thinking."

From looking at pretty pictures or making them, to doing mathematics, the choice is yours. For now, we draw the line here.

### Further reading

- The
*Plus*article*The trouble with five*explores whether it's possible to tile the plane with tiles that have a five-fold symmetry; - The
*Plus*article*From quasicrystals to kleenex*looks at aperiodic tilings; *The Magic Mirror of M.C. Escher*by B. Ernst and*Visions of Symmetry: Notebooks, Periodic Drawings and Related Work of M.C. Escher*by D. Schattschneider and D. R. Hofstadter explain many of Escher's tiling masterpieces;*Tilings and Patterns*by B. Grünbaum and G. C. Shephard explores, amongst other things, pentagonal tilings;- The website Intriguing Tesselations, has many of her Escher-like tilings based on convex pentagons;
- The following three articles explore new pentagonal tiles that were found after 1968:
*On paving the plane*by R. B. Kershner, issue 75 of*The American Mathematical Monthly*;*In Praise of Amateurs*by D. Schattschneider,*The Mathematical Gardner*, Wadsworth 1981;*A New Pentagon Tiler*by D. Schattschneider, issue 58 of*Mathematics Magazine*;

*Mathematical Recreations*by Maurice Kraitchik describes some of the mixed tilings we found above;- Penrose's controversial books
*Shadows of the Mind: A Search for the Missing Science of Consciousness*and*The Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics*describe some of Penrose's thoughts on tilings; - The
*World of Patterns*CD-ROM and booklet by B. Wichmann includes many tilings classified by their artistic and mathematical traits; *A History of Mathematics*, by F. Cajori, Fifth Edition, AMS Chelsea Publishing, AMS 2000;*For All Practical Purposes*, Sixth Edition, W.H. Freeman 2002.

The tilings in the this article were drawn with Inkscape, an open source vector graphics editor.

### About the authors

Josefina (Lolina) Alvarez was born in Spain. She earned a doctorate in
mathematics from the University of Buenos Aires in Argentina, and is
currently a professor of mathematics at New Mexico State University in
the United States. Her research interests lie in the areas of functional
and harmonic analysis. She is on the editorial board of
Matematicalia
and writes the column *What if...?*. She
likes to hike, and with husband Larry and dogs Brandywine and Sofia, she
has walked many kilometres along the beautiful trails of New Mexico and
elsewhere.
You can read more about her on her website.

Cesar L. Garcia was born in Mexico City. Under the supervision of W.B. Johnson he obtained his Ph.D. at Texas A&M University. Currently he is a full time professor at Instituto Tecnologico Autonomo de Mexico (ITAM) in Mexico City. In addition to research in functional analysis (geometry of Banach spaces in particular), he enjoys writing mathematical exposition and to participate in juries in national and international mathematical olympiads for kids.