Wythoff construction
   HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, a Wythoff construction, named after mathematician
Willem Abraham Wythoff Willem Abraham Wythoff, born Wijthoff (), (6 October 1865 – 21 May 1939) was a Dutch mathematician. Biography Wythoff was born in Amsterdam to Anna C. F. Kerkhoven and Abraham Willem Wijthoff, who worked in a sugar refinery.. He studied at the ...
, is a method for constructing a
uniform polyhedron In geometry, a uniform polyhedron has regular polygons as Face (geometry), faces and is vertex-transitive (i.e., there is an isometry mapping any vertex onto any other). It follows that all vertices are congruence (geometry), congruent. Unifor ...
or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction.


Construction process

The method is based on the idea of
tiling Tiling may refer to: *The physical act of laying tiles * Tessellations Computing *The compiler optimization of loop tiling *Tiled rendering, the process of subdividing an image by regular grid *Tiling window manager People *Heinrich Sylvester T ...
a
sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the c ...
, 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 triangle In geometry, a Schwarz triangle, named after Hermann Schwarz, is a spherical triangle that can be used to tile a sphere ( spherical tiling), possibly overlapping, through reflections in its edges. They were classified in . These can be define ...
s. 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: # 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 polytopes, 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 polyhedra, and faces are regular polygons. There are 47 non-prismatic convex uniform 4-polytopes. Th ...
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. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimen ...
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 (i.e., there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent. Uniform polyhedra may be regular (if also ...
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 space, hyperbolic plane. Uniform tilings ar ...
s. *
Coxeter–Dynkin diagram In geometry, a Coxeter–Dynkin diagram (or Coxeter diagram, Coxeter graph) is a graph with numerically labeled edges (called branches) representing the spatial relations between a collection of mirrors (or reflecting hyperplanes). It describe ...
- 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. The uniform polytopes in two dimensions are the regular polygons (the definition is different in 2 dimen ...
s and honeycombs.


References

*
Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...
''
Regular Polytopes In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, ...
'', 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 and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...
''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 method

A Shadertoy renderization of Wythoff's construction method

Jenn
software that generates views of (spherical) polyhedra and polychora from symmetry groups {{Tessellation Polyhedra Polytopes