
In
geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
, a Wythoff construction, named after mathematician
Willem Abraham Wythoff, is a method for constructing a
uniform polyhedron
In geometry, a uniform polyhedron has regular polygons as Face (geometry), faces and is vertex-transitive—there is an isometry mapping any vertex onto any other. It follows that all vertices are congruence (geometry), congruent. Uniform po ...
or
plane tiling. It is often referred to as Wythoff's
kaleidoscopic construction.
Construction process
The method is based on the idea of
tiling a
sphere
A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
, with
spherical triangle
Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are gre ...
s – see
Schwarz triangles. This construction arranges three mirrors at the sides of a triangle, like in a
kaleidoscope
A kaleidoscope () is an optical instrument with two or more reflecting surfaces (or mirrors) tilted to each other at an angle, so that one or more (parts of) objects on one end of these mirrors are shown as a symmetrical pattern when viewed fro ...
. 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:
# 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''.
# 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''.
# A vertex is placed so that it is on the
incenter
In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bis ...
of ''ABC''. This produces a polyhedron with Wythoff symbol ''a'' ''b'' ''c'', .
# 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 polytope
In mathematics, a regular polytope is a polytope whose symmetry group acts transitive group action, transitively on its flag (geometry), flags, thus giving it the highest degree of symmetry. In particular, all its elements or -faces (for all , w ...
s, including the 4-dimensional
uniform 4-polytope
In geometry, a uniform 4-polytope (or uniform polychoron) is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedron, uniform polyhedra, and faces are regular polygons.
There are 47 non-Prism (geometry), prism ...
s.
Non-Wythoffian constructions
Uniform polytope
In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform Facet (mathematics), facets. Here, "vertex-transitive" means that it has symmetries taking every vertex to every other vertex; the sam ...
s 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.
See also
*
Wythoff symbol - a symbol for the Wythoff construction of
uniform polyhedra
In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive—there is an isometry mapping any vertex onto any other. It follows that all vertices are congruent. Uniform polyhedra may be regular (if also fac ...
and
uniform tiling
In geometry, a uniform tiling is a tessellation of the plane by regular polygon faces with the restriction of being vertex-transitive.
Uniform tilings can exist in both the Euclidean plane and hyperbolic plane. Uniform tilings are related to t ...
s.
*
Coxeter–Dynkin diagram
In geometry, a Harold Scott MacDonald Coxeter, Coxeter–Eugene Dynkin, Dynkin diagram (or Coxeter diagram, Coxeter graph) is a Graph (discrete mathematics), graph with numerically labeled edges (called branches) representing a Coxeter group or ...
- a generalized symbol for the Wythoff construction of
uniform polytope
In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform Facet (mathematics), facets. Here, "vertex-transitive" means that it has symmetries taking every vertex to every other vertex; the sam ...
s and honeycombs.
References
*
Coxeter
Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century.
Coxeter was born in England and educated ...
''
Regular Polytopes
''Regular Polytopes'' is a geometry book on regular polytopes written by Harold Scott MacDonald Coxeter. It was originally published by Methuen in 1947 and by Pitman Publishing in 1948, with a second edition published by Macmillan in 1963 and a th ...
'', Third edition, (1973), Dover edition, (Chapter V: The Kaleidoscope, Section: 5.7 Wythoff's construction)
*
Coxeter
Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century.
Coxeter was born in England and educated ...
''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
(Section 4: The Kaleidoscope)
*
Willem Abraham Wythoff, 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
Greg Egan's applet to display uniform polyhedra using Wythoff's construction methodA Shadertoy renderization of Wythoff's construction methodJenn software that generates views of (spherical) polyhedra and polychora from different symmetry groups
{{Tessellation
Polyhedra
Polytopes