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

Convex uniform honeycomb

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

Cuboctahedron

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 the only radially equilateral convex polyhedron.

Icosidodecahedron Archimedean solid

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.

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

Schläfli symbol Notation that defines regular polytopes and tessellations

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

Vertex figure

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

Uniform 4-polytope

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.

In geometry, a Schwarz triangle, named after Hermann Schwarz, is a spherical triangle that can be used to tile a sphere, possibly overlapping, through reflections in its edges. They were classified in.

Uniform polyhedron Polyhedron which has regular polygons as faces and is vertex-transitive

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

Wythoff symbol

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.

Cubic honeycomb

The cubic honeycomb or cubic cellulation is the only proper regular space-filling tessellation in Euclidean 3-space, made up of cubic cells. It has 4 cubes around every edge, and 8 cubes around each vertex. Its vertex figure is a regular octahedron. It is a self-dual tessellation with Schläfli symbol {4,3,4}. John Horton Conway calls this honeycomb a cubille.

Alternation (geometry) Operation on a polyhedron or tiling that removes alternate vertices

In geometry, an alternation or partial truncation, is an operation on a polygon, polyhedron, tiling, or higher dimensional polytope that removes alternate vertices.

Coxeter–Dynkin diagram Pictoral 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 by to get 180 degrees. An unlabeled branch implicitly represents order-3.

Uniform polytope

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.

Spherical polyhedron

In mathematics, 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.

Uniform 5-polytope

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.

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