Wythoff construction

Last updated
Wythoffian constructions from 3 mirrors forming a right triangle. Wythoffian construction diagram.svg
Wythoffian constructions from 3 mirrors forming a right triangle.

In geometry, a Wythoff construction, named after mathematician Willem Abraham Wythoff, is a method for constructing a uniform polyhedron or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction.

Contents

Construction process

The method is based on the idea of tiling a sphere, with spherical triangles – see Schwarz triangles. This construction arranges three mirrors at the sides of a triangle, like in a kaleidoscope. However, different from a kaleidoscope, the mirrors are not parallel, but intersect at a single point. They therefore enclose a spherical triangle on the surface of any sphere centered on that point and repeated reflections produce a multitude of copies of the triangle. If the angles of the spherical triangle are chosen appropriately, the triangles will tile the sphere, one or more times.

If one places a vertex at a suitable point inside the spherical triangle enclosed by the mirrors, it is possible to ensure that the reflections of that point produce a uniform polyhedron. For a spherical triangle ABC we have four possibilities which will produce a uniform polyhedron:

  1. A vertex is placed at the point A. This produces a polyhedron with Wythoff symbol a|b c, where a equals π divided by the angle of the triangle at A, and similarly for b and c.
  2. A vertex is placed at a point on line AB so that it bisects the angle at C. This produces a polyhedron with Wythoff symbol a b|c.
  3. A vertex is placed so that it is on the incenter of ABC. This produces a polyhedron with Wythoff symbol a b c|.
  4. The vertex is at a point such that, when it is rotated around any of the triangle's corners by twice the angle at that point, it is displaced by the same distance for every angle. Only even-numbered reflections of the original vertex are used. The polyhedron has the Wythoff symbol |a b c.

The process in general also applies for higher-dimensional regular polytopes, including the 4-dimensional uniform 4-polytopes.

Examples
Hexagonal prism.png
Uniform polyhedron-23-t012.png
The hexagonal prism is constructed from both the (6 2 2) and (3 2 2) families.
Uniform tiling 44-t12.svg Uniform tiling 44-t012.svg
The truncated square tiling is constructed by two different symmetry positions in the (4 4 2) family.
Wythoff-tile.png
Wythoff pattern pq2| = 432|.
Orbit-of-Wythoff-tile.png
Orbit of the Wythoff pattern above under the action of the full octahedral group.

Non-Wythoffian constructions

Uniform polytopes that cannot be created through a Wythoff mirror construction are called non-Wythoffian. They generally can be derived from Wythoffian forms either by alternation (deletion of alternate vertices) or by insertion of alternating layers of partial figures. Both of these types of figures will contain rotational symmetry. Sometimes snub forms are considered Wythoffian, even though they can only be constructed by the alternation of omnitruncated forms.

Examples
Hexagonal antiprism.png
The hexagonal antiprism is constructed by an alternation of a dodecagonal prism.
Tiling Semiregular 3-3-3-4-4 Elongated Triangular.svg
The elongated triangular tiling is constructed by a layering of square tiling and triangular tiling rows.
Great dirhombicosidodecahedron.png
The great dirhombicosidodecahedron is the only non-Wythoffian uniform polyhedron.

See also

Related Research Articles

<span class="mw-page-title-main">Convex uniform honeycomb</span> Spatial tiling of convex uniform polyhedra

In geometry, a convex uniform honeycomb is a uniform tessellation which fills three-dimensional Euclidean space with non-overlapping convex uniform polyhedral cells.

<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">Icosidodecahedron</span> Archimedean solid with 32 faces

In geometry, an icosidodecahedron is a polyhedron with twenty (icosi) triangular faces and twelve (dodeca) pentagonal faces. An icosidodecahedron has 30 identical vertices, with two triangles and two pentagons meeting at each, and 60 identical edges, each separating a triangle from a pentagon. As such it is one of the Archimedean solids and more particularly, a quasiregular polyhedron.

<span class="mw-page-title-main">Octahedron</span> Polyhedron with eight triangular faces

In geometry, an octahedron is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex.

<span class="mw-page-title-main">Schläfli symbol</span> Notation that defines regular polytopes and tessellations

In geometry, the Schläfli symbol is a notation of the form that defines regular polytopes and tessellations.

<span class="mw-page-title-main">Vertex figure</span> Shape made by slicing off a corner of a polytope

In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.

<span class="mw-page-title-main">Uniform 4-polytope</span> Class of 4-dimensional polytopes

In geometry, a uniform 4-polytope is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons.

<span class="mw-page-title-main">Hosohedron</span> Spherical polyhedron composed of lunes

In spherical geometry, an n-gonalhosohedron is a tessellation of lunes on a spherical surface, such that each lune shares the same two polar opposite vertices.

<span class="mw-page-title-main">Uniform polyhedron</span> Isogonal polyhedron with regular faces

In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive. It follows that all vertices are congruent.

<span class="mw-page-title-main">Wythoff symbol</span> Notation for tesselations

In geometry, the Wythoff symbol is a notation representing a Wythoff construction of a uniform polyhedron or plane tiling within a Schwarz triangle. It was first used by Coxeter, Longuet-Higgins and Miller in their enumeration of the uniform polyhedra. Later the Coxeter diagram was developed to mark uniform polytopes and honeycombs in n-dimensional space within a fundamental simplex.

<span class="mw-page-title-main">Coxeter–Dynkin diagram</span> Pictorial representation of symmetry

In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing the spatial relations between a collection of mirrors. It describes a kaleidoscopic construction: each graph "node" represents a mirror and the label attached to a branch encodes the dihedral angle order between two mirrors, that is, the amount by which the angle between the reflective planes can be multiplied to get 180 degrees. An unlabeled branch implicitly represents order-3, and each pair of nodes that is not connected by a branch at all represents a pair of mirrors at order-2.

<span class="mw-page-title-main">Uniform polytope</span> Isogonal polytope with uniform facets

In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons.

<span class="mw-page-title-main">Snub (geometry)</span> Geometric operation applied to a polyhedron

In geometry, a snub is an operation applied to a polyhedron. The term originates from Kepler's names of two Archimedean solids, for the snub cube and snub dodecahedron. In general, snubs have chiral symmetry with two forms: with clockwise or counterclockwise orientation. By Kepler's names, a snub can be seen as an expansion of a regular polyhedron: moving the faces apart, twisting them about their centers, adding new polygons centered on the original vertices, and adding pairs of triangles fitting between the original edges.

<span class="mw-page-title-main">Spherical polyhedron</span> Partition of a spheres surface into polygons

In geometry, a spherical polyhedron or spherical tiling is a tiling of the sphere in which the surface is divided or partitioned by great arcs into bounded regions called spherical polygons. Much of the theory of symmetrical polyhedra is most conveniently derived in this way.

In geometry, a uniform tiling is a tessellation of the plane by regular polygon faces with the restriction of being vertex-transitive.

<span class="mw-page-title-main">Uniform 5-polytope</span> Five-dimensional geometric shape

In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets.

<span class="mw-page-title-main">Uniform honeycombs in hyperbolic space</span> Tiling of hyperbolic 3-space by uniform polyhedra

In hyperbolic geometry, a uniform honeycomb in hyperbolic space is a uniform tessellation of uniform polyhedral cells. In 3-dimensional hyperbolic space there are nine Coxeter group families of compact convex uniform honeycombs, generated as Wythoff constructions, and represented by permutations of rings of the Coxeter diagrams for each family.

In geometry, many uniform tilings on sphere, euclidean plane, and hyperbolic plane can be made by Wythoff construction within a fundamental triangle,, defined by internal angles as π/p, π/q, and π/r. Special cases are right triangles. Uniform solutions are constructed by a single generator point with 7 positions within the fundamental triangle, the 3 corners, along the 3 edges, and the triangle interior. All vertices exist at the generator, or a reflected copy of it. Edges exist between a generator point and its image across a mirror. Up to 3 face types exist centered on the fundamental triangle corners. Right triangle domains can have as few as 1 face type, making regular forms, while general triangles have at least 2 triangle types, leading at best to a quasiregular tiling.

References