Wythoff construction

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.

Construction process

It is based on the idea of tiling a sphere, with spherical triangles – see Schwarz triangles. If three mirrors were to be arranged so that their planes intersected at a single point, then the mirrors would enclose a spherical triangle on the surface of any sphere centered on that point and repeated reflections would 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 incentre 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 polychora.

Examples

The hexagonal prism is constructed from both the (6 2 2) and (3 2 2) families.

The truncated square tiling is constructed by two different symmetry positions in the (4 4 2) family.

Non-Wythoffian constructions

Uniform polytopes that can't 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 alernating 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

The hexagonal antiprism is constructed by an alternation of a dodecagonal prism.

The elongated triangular tiling is constructed by a layering of square tiling and triangular tiling rows.

The great dirhombicosidodecahedron is the only non-Wythoffian uniform polyhedron.

See also

• Wythoff symbol - a symbol for the Wythoff construction of uniform polyhedra and uniform tilings.
• Coxeter-Dynkin diagram - a generalized symbol for the Wythoff construction of uniform polytopes and honeycombs.

References

• Coxeter Regular Polytopes, Third edition, (1973), Dover edition, ISBN 0-486-61480-8 (Chapter V: The Kaleidoscope, Section: 5.7 Wythoff's construction)
• Coxeter The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, ISBN 0-486-40919-8 (Chapter 3: Wythoff's Construction for Uniform Polytopes)
• Har'El, Z. Uniform Solution for Uniform Polyhedra., Geometriae Dedicata 47, 57-110, 1993. [1] (Section 4: The Kaleidoscope)
• W.A. Wythoff, A relation between the polytopes of the C600-family, Koninklijke Akademie van Wetenschappen te Amsterdam, Proceedings of the Section of Sciences, 20 (1918) 966–970.

External links

• Weisstein, Eric W., "Wythoff construction" from MathWorld.
• Olshevsky, George, Wythoff construction at Glossary for Hyperspace.
• Displays Uniform Polyhedra using Wythoff's construction method
• Description of Wythoff Constructions
• "Jenn", software that generates views of (spherical) polyhedra and polychora from symmetry groups