Rep-tile

Last updated
The "sphinx" polyiamond rep-tile. Four copies of the sphinx can be put together as shown to make a larger sphinx. Self-replication of sphynx hexidiamonds.svg
The "sphinx" polyiamond rep-tile. Four copies of the sphinx can be put together as shown to make a larger sphinx.

In the geometry of tessellations, a rep-tile or reptile is a shape that can be dissected into smaller copies of the same shape. The term was coined as a pun on animal reptiles by recreational mathematician Solomon W. Golomb and popularized by Martin Gardner in his "Mathematical Games" column in the May 1963 issue of Scientific American . [1] In 2012 a generalization of rep-tiles called self-tiling tile sets was introduced by Lee Sallows in Mathematics Magazine . [2]

Contents

A selection of rep-tiles, including the sphinx, two fish and the 5-triangle A selection of rep-tiles.gif
A selection of rep-tiles, including the sphinx, two fish and the 5-triangle

Terminology

The chair substitution (left) and a portion of a chair tiling (right) L substitution tiling.svg
The chair substitution (left) and a portion of a chair tiling (right)

A rep-tile is labelled rep-n if the dissection uses n copies. Such a shape necessarily forms the prototile for a tiling of the plane, in many cases an aperiodic tiling. A rep-tile dissection using different sizes of the original shape is called an irregular rep-tile or irreptile. If the dissection uses n copies, the shape is said to be irrep-n. If all these sub-tiles are of different sizes then the tiling is additionally described as perfect. A shape that is rep-n or irrep-n is trivially also irrep-(kn  k + n) for any k > 1, by replacing the smallest tile in the rep-n dissection by n even smaller tiles. The order of a shape, whether using rep-tiles or irrep-tiles is the smallest possible number of tiles which will suffice. [3]

Examples

Defining an aperiodic tiling (the pinwheel tiling) by repeatedly dissecting and inflating a rep-tile. Pinwheel 2.gif
Defining an aperiodic tiling (the pinwheel tiling) by repeatedly dissecting and inflating a rep-tile.

Every square, rectangle, parallelogram, rhombus, or triangle is rep-4. The sphinx hexiamond (illustrated above) is rep-4 and rep-9, and is one of few known self-replicating pentagons. The Gosper island is rep-7. The Koch snowflake is irrep-7: six small snowflakes of the same size, together with another snowflake with three times the area of the smaller ones, can combine to form a single larger snowflake.

A right triangle with side lengths in the ratio 1:2 is rep-5, and its rep-5 dissection forms the basis of the aperiodic pinwheel tiling. By Pythagoras' theorem, the hypotenuse, or sloping side of the rep-5 triangle, has a length of 5.

The international standard ISO 216 defines sizes of paper sheets using the 2, in which the long side of a rectangular sheet of paper is the square root of two times the short side of the paper. Rectangles in this shape are rep-2. A rectangle (or parallelogram) is rep-n if its aspect ratio is n:1. An isosceles right triangle is also rep-2.

Rep-tiles and symmetry

Some rep-tiles, like the square and equilateral triangle, are symmetrical and remain identical when reflected in a mirror. Others, like the sphinx, are asymmetrical and exist in two distinct forms related by mirror-reflection. Dissection of the sphinx and some other asymmetric rep-tiles requires use of both the original shape and its mirror-image.

Rep-tiles and polyforms

Some rep-tiles are based on polyforms like polyiamonds and polyominoes, or shapes created by laying equilateral triangles and squares edge-to-edge.

Squares

If a polyomino is rectifiable, that is, able to tile a rectangle, then it will also be a rep-tile, because the rectangle will have an integer side length ratio and will thus tile a square. This can be seen in the octominoes, which are created from eight squares. Two copies of some octominoes will tile a square; therefore these octominoes are also rep-16 rep-tiles.

Rep-tiles based on rectifiable octominoes Rep-tiles constructed from rectifiable octominoes.gif
Rep-tiles based on rectifiable octominoes

Four copies of some nonominoes and nonakings will tile a square, therefore these polyforms are also rep-36 rep-tiles.

Rep-tiles created from rectifiable nonominoes and 9-polykings (nonakings) Nonominoes.gif
Rep-tiles created from rectifiable nonominoes and 9-polykings (nonakings)

Equilateral triangles

Similarly, if a polyiamond tiles an equilateral triangle, it will also be a rep-tile.

Rep-tiles created from equilateral triangles Equilateral triangle reptiles.gif
Rep-tiles created from equilateral triangles


A fish-like rep-tile based on three equilateral triangles Equilateral triangle fish rep-tile.gif
A fish-like rep-tile based on three equilateral triangles
A rocket-like rep-tile created from a dodeciamond, or twelve equilateral triangles laid edge-to-edge (and corner-to-corner) Equilateral triangle rocket.gif
A rocket-like rep-tile created from a dodeciamond, or twelve equilateral triangles laid edge-to-edge (and corner-to-corner)

Right triangles

A right triangle is a triangle containing one right angle of 90°. Two particular forms of right triangle have attracted the attention of rep-tile researchers, the 45°-90°-45° triangle and the 30°-60°-90° triangle.

45°-90°-45° triangles

Polyforms based on isosceles right triangles, with sides in the ratio 1 : 1 :  2, are known as polyabolos. An infinite number of them are rep-tiles. Indeed, the simplest of all rep-tiles is a single isosceles right triangle. It is rep-2 when divided by a single line bisecting the right angle to the hypotenuse. Rep-2 rep-tiles are also rep-2n and the rep-4,8,16+ triangles yield further rep-tiles. These are found by discarding half of the sub-copies and permutating the remainder until they are mirror-symmetrical within a right triangle. In other words, two copies will tile a right triangle. One of these new rep-tiles is reminiscent of the fish formed from three equilateral triangles.

Rep-tiles based on right triangles Rep-tiles based on right triangles.gif
Rep-tiles based on right triangles
A fish-like rep-tile based on four isosceles right triangles Right triangle fish rep-tile.gif
A fish-like rep-tile based on four isosceles right triangles

30°-60°-90° triangles

Polyforms based on 30°-60°-90° right triangles, with sides in the ratio 1 :  3  : 2, are known as polydrafters. Some are identical to polyiamonds. [4]

A tridrafter, or shape created by three triangles of 30deg-60deg-90deg Tridrafter as triangles.gif
A tridrafter, or shape created by three triangles of 30°-60°-90°
The same tridrafter as a reptile Tridrafter.gif
The same tridrafter as a reptile
A tetradrafter, or shape created from four 30deg-60deg-90deg triangles Tetradrafter as triangles.gif
A tetradrafter, or shape created from four 30°-60°-90° triangles
The same tetradrafter as a reptile Tetradrafter.gif
The same tetradrafter as a reptile
A hexadrafter, or shape created by six 30deg-60deg-90deg triangles Hexadrafter2 as triangles.gif
A hexadrafter, or shape created by six 30°-60°-90° triangles
The same hexadrafter as a reptile Hexadrafter2.gif
The same hexadrafter as a reptile

Multiple and variant rep-tilings

Many of the common rep-tiles are rep-n2 for all positive integer values of n. In particular this is true for three trapezoids including the one formed from three equilateral triangles, for three axis-parallel hexagons (the L-tromino, L-tetromino, and P-pentomino), and the sphinx hexiamond. [5] In addition, many rep-tiles, particularly those with higher rep-n, can be self-tiled in different ways. For example, the rep-9 L-tetramino has at least fourteen different rep-tilings. The rep-9 sphinx hexiamond can also be tiled in different ways.

Variant rep-tilings of the rep-9 L-tetromino L-tetrominoes rep9.gif
Variant rep-tilings of the rep-9 L-tetromino
Variant rep-tilings of the rep-9 sphinx hexiamond Sphinx rep9 various.gif
Variant rep-tilings of the rep-9 sphinx hexiamond

Rep-tiles with infinite sides

Horned triangle or teragonic triangle Horned triangle or teragonic triangle.gif
Horned triangle or teragonic triangle

The most familiar rep-tiles are polygons with a finite number of sides, but some shapes with an infinite number of sides can also be rep-tiles. For example, the teragonic triangle, or horned triangle, is rep-4. It is also an example of a fractal rep-tile.

Pentagonal rep-tiles

Triangular and quadrilateral (four-sided) rep-tiles are common, but pentagonal rep-tiles are rare. For a long time, the sphinx was widely believed to be the only example known, but the German/New-Zealand mathematician Karl Scherer and the American mathematician George Sicherman have found more examples, including a double-pyramid and an elongated version of the sphinx. These pentagonal rep-tiles are illustrated on the Math Magic pages overseen by the American mathematician Erich Friedman. [6] However, the sphinx and its extended versions are the only known pentagons that can be rep-tiled with equal copies. See Clarke's Reptile pages.

A pentagonal rep-tile discovered by Karl Scherer Scherer double-pyramid.gif
A pentagonal rep-tile discovered by Karl Scherer

Rep-tiles and fractals

Rep-tiles as fractals

Rep-tiles can be used to create fractals, or shapes that are self-similar at smaller and smaller scales. A rep-tile fractal is formed by subdividing the rep-tile, removing one or more copies of the subdivided shape, and then continuing recursively. For instance, the Sierpinski carpet is formed in this way from a rep-tiling of a square into 27 smaller squares, and the Sierpinski triangle is formed from a rep-tiling of an equilateral triangle into four smaller triangles. When one sub-copy is discarded, a rep-4 L-triomino can be used to create four fractals, two of which are identical except for orientation.

Geometrical dissection of an L-triomino (rep-4) Geometrical dissection of an L-triomino (rep-4).gif
Geometrical dissection of an L-triomino (rep-4)
A fractal based on an L-triomino (rep-4) A fractal based on an L-triomino (rep-4).gif
A fractal based on an L-triomino (rep-4)
Another fractal based on an L-triomino A fractal based on an L-triomino (rep-4)-2.gif
Another fractal based on an L-triomino
Another fractal based on an L-triomino A fractal based on an L-triomino (rep-4)-3.gif
Another fractal based on an L-triomino

Fractals as rep-tiles

Because fractals are often self-similar on smaller and smaller scales, many may be decomposed into copies of themselves like a rep-tile. However, if the fractal has an empty interior, this decomposition may not lead to a tiling of the entire plane. For example, the Sierpinski triangle is rep-3, tiled with three copies of itself, and the Sierpinski carpet is rep-8, tiled with eight copies of itself, but repetition of these decompositions does not form a tiling. On the other hand, the dragon curve is a space-filling curve with a non-empty interior; it is rep-4, and does form a tiling. Similarly, the Gosper island is rep-7, formed from the space-filling Gosper curve, and again forms a tiling.

By construction, any fractal defined by an iterated function system of n contracting maps of the same ratio is rep-n.

A Sierpinski triangle based on three smaller copies of a Sierpinski triangle Sierpinski triangle tiling.gif
A Sierpinski triangle based on three smaller copies of a Sierpinski triangle
A Sierpinski carpet based on eight smaller copies of a Sierpinski carpet Sierpinski carpet tiling.gif
A Sierpinski carpet based on eight smaller copies of a Sierpinski carpet
A dragon curve based on 4 smaller copies of a dragon curve Dragon tiling dragon.svg
A dragon curve based on 4 smaller copies of a dragon curve

Infinite tiling

Among regular polygons, only the triangle and square can be dissected into smaller equally sized copies of themselves. However, a regular hexagon can be dissected into six equilateral triangles, each of which can be dissected into a regular hexagon and three more equilateral triangles. This is the basis for an infinite tiling of the hexagon with hexagons. The hexagon is therefore an irrep-∞ or irrep-infinity irreptile.


See also

Notes

  1. A Gardner's Dozen—Martin's Scientific American Cover Stories
  2. Sallows (2012).
  3. Gardner (2001).
  4. Polydrafter Irreptiling
  5. Niţică (2003).
  6. Math Magic, Problem of the Month (October 2002)
  7. Pietrocola, Giorgio (2005). "Tartapelago. Arte tassellazione". Maecla.

Related Research Articles

<span class="mw-page-title-main">Area</span> Size of a two-dimensional surface

Area is the measure of a region's size on a surface. The area of a plane region or plane area refers to the area of a shape or planar lamina, while surface area refers to the area of an open surface or the boundary of a three-dimensional object. Area can be understood as the amount of material with a given thickness that would be necessary to fashion a model of the shape, or the amount of paint necessary to cover the surface with a single coat. It is the two-dimensional analogue of the length of a curve or the volume of a solid . Two different regions may have the same area ; by synecdoche, "area" sometimes is used to refer to the region, as in a "polygonal area".

<span class="mw-page-title-main">Cuboctahedron</span> Polyhedron with 8 triangular faces and 6 square faces

A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edges, each separating a triangle from a square. As such, it is a quasiregular polyhedron, i.e. an Archimedean solid that is not only vertex-transitive but also edge-transitive. It is radially equilateral.

<span class="mw-page-title-main">Sierpiński triangle</span> Fractal composed of triangles

The Sierpiński triangle, also called the Sierpiński gasket or Sierpiński sieve, is a fractal attractive fixed set with the overall shape of an equilateral triangle, subdivided recursively into smaller equilateral triangles. Originally constructed as a curve, this is one of the basic examples of self-similar sets—that is, it is a mathematically generated pattern that is reproducible at any magnification or reduction. It is named after the Polish mathematician Wacław Sierpiński, but appeared as a decorative pattern many centuries before the work of Sierpiński.

<span class="mw-page-title-main">Koch snowflake</span> Fractal curve

The Koch snowflake is a fractal curve and one of the earliest fractals to have been described. It is based on the Koch curve, which appeared in a 1904 paper titled "On a Continuous Curve Without Tangents, Constructible from Elementary Geometry" by the Swedish mathematician Helge von Koch.

<span class="mw-page-title-main">Hexagon</span> Shape with six sides

In geometry, a hexagon is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°.

<span class="mw-page-title-main">Polyomino</span> Geometric shapes formed from squares

A polyomino is a plane geometric figure formed by joining one or more equal squares edge to edge. It is a polyform whose cells are squares. It may be regarded as a finite subset of the regular square tiling.

A polyiamond is a polyform whose base form is an equilateral triangle. The word polyiamond is a back-formation from diamond, because this word is often used to describe the shape of a pair of equilateral triangles placed base to base, and the initial 'di-' looks like a Greek prefix meaning 'two-'. The name was suggested by recreational mathematics writer Thomas H. O'Beirne in New Scientist 1961 number 1, page 164.

<span class="mw-page-title-main">Tessellation</span> Tiling of a plane in mathematics

A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety of geometries.

<span class="mw-page-title-main">Deltahedron</span> Polyhedron made of equilateral triangles

In geometry, a deltahedron is a polyhedron whose faces are all equilateral triangles. The name is taken from the Greek upper case delta (Δ), which has the shape of an equilateral triangle. There are infinitely many deltahedra, all having an even number of faces by the handshaking lemma. Of these only eight are convex, having 4, 6, 8, 10, 12, 14, 16 and 20 faces. The number of faces, edges, and vertices is listed below for each of the eight convex deltahedra.

<span class="mw-page-title-main">Polyhex (mathematics)</span> Polyform with a regular hexagon as the base form

In recreational mathematics, a polyhex is a polyform with a regular hexagon as the base form, constructed by joining together 1 or more hexagons. Specific forms are named by their number of hexagons: monohex, dihex, trihex, tetrahex, etc. They were named by David Klarner who investigated them.

In mathematics, the T-square is a two-dimensional fractal. It has a boundary of infinite length bounding a finite area. Its name comes from the drawing instrument known as a T-square.

A dissection puzzle, also called a transformation puzzle or Richter puzzle, is a tiling puzzle where a set of pieces can be assembled in different ways to produce two or more distinct geometric shapes. The creation of new dissection puzzles is also considered to be a type of dissection puzzle. Puzzles may include various restraints, such as hinged pieces, pieces that can fold, or pieces that can twist. Creators of new dissection puzzles emphasize using a minimum number of pieces, or creating novel situations, such as ensuring that every piece connects to another with a hinge.

<span class="mw-page-title-main">Gosper curve</span> Space-filling curve

The Gosper curve, named after Bill Gosper, also known as the Peano-Gosper Curve and the flowsnake, is a space-filling curve whose limit set is rep-7. It is a fractal curve similar in its construction to the dragon curve and the Hilbert curve.

An n-flake, polyflake, or Sierpinski n-gon, is a fractal constructed starting from an n-gon. This n-gon is replaced by a flake of smaller n-gons, such that the scaled polygons are placed at the vertices, and sometimes in the center. This process is repeated recursively to result in the fractal. Typically, there is also the restriction that the n-gons must touch yet not overlap.

<span class="mw-page-title-main">Pythagorean tiling</span> Tiling by squares of two sizes

A Pythagorean tiling or two squares tessellation is a tiling of a Euclidean plane by squares of two different sizes, in which each square touches four squares of the other size on its four sides. Many proofs of the Pythagorean theorem are based on it, explaining its name. It is commonly used as a pattern for floor tiles. When used for this, it is also known as a hopscotch pattern or pinwheel pattern, but it should not be confused with the mathematical pinwheel tiling, an unrelated pattern.

<span class="mw-page-title-main">Sphinx tiling</span> Type of tessallation

In geometry, the sphinx tiling is a tessellation of the plane using the "sphinx", a pentagonal hexiamond formed by gluing six equilateral triangles together. The resultant shape is named for its reminiscence to the Great Sphinx at Giza. A sphinx can be dissected into any square number of copies of itself, some of them mirror images, and repeating this process leads to a non-periodic tiling of the plane. The sphinx is therefore a rep-tile. It is one of few known pentagonal rep-tiles and is the only known pentagonal rep-tile whose sub-copies are equal in size.

<span class="mw-page-title-main">Self-tiling tile set</span>

A self-tiling tile set, or setiset, of order n is a set of n shapes or pieces, usually planar, each of which can be tiled with smaller replicas of the complete set of n shapes. That is, the n shapes can be assembled in n different ways so as to create larger copies of themselves, where the increase in scale is the same in each case. Figure 1 shows an example for n = 4 using distinctly shaped decominoes. The concept can be extended to include pieces of higher dimension. The name setisets was coined by Lee Sallows in 2012, but the problem of finding such sets for n = 4 was asked decades previously by C. Dudley Langford, and examples for polyaboloes and polyominoes were previously published by Gardner.

<span class="mw-page-title-main">Conway criterion</span> Rule from the theory of the tiling of the plane

In the mathematical theory of tessellations, the Conway criterion, named for the English mathematician John Horton Conway, is a sufficient rule for when a prototile will tile the plane. It consists of the following requirements: The tile must be a closed topological disk with six consecutive points A, B, C, D, E, and F on the boundary such that:

References

Rep-tiles

Irrep-tiles