HOME

TheInfoList



OR:

In geometry, 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 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, 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 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 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, ...
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 polyhedra, and faces are regular polygons. There are 47 non-prismatic convex uniform 4-polytopes. Ther ...
s.


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 A snub, cut or slight is a refusal to recognise an acquaintance by ignoring them, avoiding them or pretending not to know them. For example, a failure to greet someone may be considered a snub. In Awards and Lists For awards, the term "snub" ...
forms are considered Wythoffian, even though they can only be constructed by the alternation of omnitruncated forms.


See also

*
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 pol ...
- 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 f ...
and uniform tilings. * Coxeter–Dynkin diagram - a generalized symbol for the Wythoff construction of uniform polytopes and honeycombs.


References

* Coxeter ''
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, f ...
'', 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

(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