Wythoff construction

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.

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.

References

• Coxeter Regular Polytopes, Third edition, (1973), Dover edition, (Chapter V: The Kaleidoscope, Section: 5.7 Wythoff's construction)
• Coxeter The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, (Chapter 3: Wythoff's Construction for Uniform Polytopes)
• Har'El, Z. Uniform Solution for Uniform Polyhedra., Geometriae Dedicata 47, 57-110, 1993. https://www.math.technion.ac.il/~rl/docs/uniform.pdf (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.