We know that square tiles can be put together to cover a floor without gaps in between. This coverability holds for triangular and hexagonal tiles as well.
Are there any other symmetric tiles that can cover a floor?. Let us approach this question mathematically.
Triangles, squares and hexagons have 3, 4 and 6 sides respectively. Consider the figure below:
Some observations, we can make:
- Triangle: Has 3 sides. All internal angles are 60 degrees. Six triangles meet at a corner-point
- Square: Has 4 sides. All internal angles are 90 degrees. Four squares meet at a corner-point
- Hexagon: Has 6 sides. All internal angles are 120 degrees. Three hexagons meet a corner-point
Note that, for a tile of k sides, the sum of internal angles is (k–2)*180. (This can be proved easily and is left as an exercise to the reader.)
In the general case, let k be the number of sides of a symmetric shape that can be tiled to cover a floor. The following must hold true:
- The sum of internal angles in the tile is (k–2)*180. Since the tiles are symmetric, every internal angle is the same. Hence the internal angle is (k–2)*180/k
- Adjacent tiles that share a corner point, must subtend a total angle of 360 degrees at the corner point. This holds for all corner points.
If m tiles share a corner point, then the conditions above imply: m*(k–2)*180/k = 360, which simplifies to: k = 2m/(m–2) and m = 2k/(k–2)
Let us try various values of k and see which result in m being in integer. Obviously k > 2, and m > 2
- k=3 implies that m=6 (Six triangular tiles meet at a corner-point)
- k=4 implies that m=4 (Four square tiles meet at corner-point)
- k=5 implies that m=10/3, which is not possible, since 10/3 is not an integer
- k=6 implies that m=3 (Three hexagonal tiles meet at a corner-point)
We can keep trying for further values of k=7, 8 ,9 and so on. But let us simplify the analysis. Since we want to try for k=7, 8, 9, etc., let k = 6 + k’, where k’ >= 1. Then we get:
We observe the following:
(a) Since k’>1, the second term in the above equation: (4/(4+k’)) < 1. This implies that, m < 3
(b) Since k = 2m/(m-2), we have m > 2
No integer value of m can simultaneously satisfy the above two conditions. So, there is no valid value of m, for k=7, 8, 9 and so on. The only valid values of m are 3, 4 and 6, which correspond to k=6, 4 and 3 respectively.
Thus there are only three symmetric shapes that can cover a floor: triangles, squares and hexagons.