Jessen's Icosahedron
   HOME

TheInfoList



OR:

Jessen's icosahedron, sometimes called Jessen's orthogonal icosahedron, is a non-convex
polyhedron In geometry, a polyhedron (: polyhedra or polyhedrons; ) is a three-dimensional figure with flat polygonal Face (geometry), faces, straight Edge (geometry), edges and sharp corners or Vertex (geometry), vertices. The term "polyhedron" may refer ...
with the same numbers of vertices, edges, and faces as the regular
icosahedron In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes . The plural can be either "icosahedra" () or "icosahedrons". There are infinitely many non- similar shapes of icosahedra, some of them being more symmetrical tha ...
. It is named for
Børge Jessen Børge Christian Jessen (19 June 1907 – 20 March 1993) was a Danish mathematician best known for his work in analysis, specifically on the Riemann zeta function, and in geometry, specifically on Hilbert's third problem. Early years Jessen was ...
, who studied it in 1967. In 1971, a family of nonconvex polyhedra including this shape was independently discovered and studied by
Adrien Douady Adrien Douady (; 25 September 1935 – 2 November 2006) was a French mathematician born in La Tronche, Isère. He was the son of Daniel Douady and Guilhen Douady. Douady was a student of Henri Cartan at the École normale supérieure, and initi ...
under the name six-beaked later authors have applied variants of this name more specifically to Jessen's icosahedron. The faces of Jessen's icosahedron meet only in
right angle In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
s, even though it has no orientation where they are all parallel to the coordinate planes. It is a "shaky polyhedron", meaning that (like a
flexible polyhedron In geometry, a flexible polyhedron is a polyhedral surface without any boundary edges, whose shape can be continuously changed while keeping the shapes of all of its faces unchanged. The Cauchy's theorem (geometry), Cauchy rigidity theorem shows th ...
) it is not infinitesimally rigid. Outlining the edges of this polyhedron with struts and cables produces a widely-used
tensegrity Tensegrity, tensional integrity or floating compression is a structural principle based on a system of isolated components under compression (physical), compression inside a network of continuous tension (mechanics), tension, and arranged in s ...
structure, also called the six-bar tensegrity, tensegrity icosahedron, or expanded octahedron.


Construction and geometric properties

The vertices of Jessen's icosahedron may be chosen to have as their
coordinates In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine and standardize the Position (geometry), position of the Point (geometry), points or other geometric elements on a manifold such as ...
the twelve triplets given by the
cyclic permutation In mathematics, and in particular in group theory, a cyclic permutation is a permutation consisting of a single cycle. In some cases, cyclic permutations are referred to as cycles; if a cyclic permutation has ''k'' elements, it may be called a ''k ...
s of the coordinates With this coordinate representation, the short edges of the icosahedron (the ones with convex angles) have and the long (reflex) edges have The faces of the icosahedron are eight congruent
equilateral triangle An equilateral triangle is a triangle in which all three sides have the same length, and all three angles are equal. Because of these properties, the equilateral triangle is a regular polygon, occasionally known as the regular triangle. It is the ...
s with the short side length, and twelve congruent obtuse
isosceles triangle In geometry, an isosceles triangle () is a triangle that has two Edge (geometry), sides of equal length and two angles of equal measure. Sometimes it is specified as having ''exactly'' two sides of equal length, and sometimes as having ''at le ...
s with one long edge and two short edges. Jessen's icosahedron is
vertex-transitive In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face i ...
(or ), meaning that it has symmetries taking any vertex to any other vertex. Its dihedral angles are all
right angle In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
s. One can use it as the basis for the construction of an infinite family of combinatorially distinct polyhedra with right dihedral angles, formed by gluing copies of Jessen's icosahedron together on their equilateral-triangle faces. As with the simpler
Schönhardt polyhedron In geometry, a Schönhardt polyhedron is a polyhedron with the same combinatorial structure as a regular octahedron, but with dihedral angles that are non-convex along three disjoint edges. Because it has no interior diagonals, it cannot be ...
, the interior of Jessen's icosahedron cannot be
triangulated In trigonometry and geometry, triangulation is the process of determining the location of a point by forming triangles to the point from known points. Applications In surveying Specifically in surveying, triangulation involves only angle m ...
into
tetrahedra In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
without adding new vertices. However, because its dihedral angles are rational multiples it has
Dehn invariant In geometry, the Dehn invariant is a value used to determine whether one polyhedron can be cut into pieces and reassembled (" dissected") into another, and whether a polyhedron or its dissections can tile space. It is named after Max Dehn, who ...
equal to zero. Therefore, it is
scissors-congruent The third of Hilbert's problems, Hilbert's list of mathematical problems, presented in 1900, was the first to be solved. The problem is related to the following question: given any two polyhedron, polyhedra of equal volume, is it always possible t ...
to a cube, meaning that it can be sliced into smaller polyhedral pieces that can be rearranged to form a solid cube. It is
star-shaped In geometry, a set S in the Euclidean space \R^n is called a star domain (or star-convex set, star-shaped set or radially convex set) if there exists an s_0 \in S such that for all s \in S, the line segment from s_0 to s lies in S. This defini ...
, meaning that there is a point in its interior (for instance its center of symmetry) from which all other points are visible. It provides a
counterexample A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "student John Smith is not lazy" is a c ...
to a question of
Michel Demazure Michel Demazure (; born 2 March 1937) is a French mathematician. He made contributions in the fields of abstract algebra, algebraic geometry, and computer vision, and participated in the Nicolas Bourbaki collective. He has also been president of ...
asking whether star-shaped polyhedra with triangular faces can be made convex by sliding their vertices along rays from this central point. Demazure had connected this question to a point in
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
by proving that, for star-shaped polyhedra with triangular faces, a certain
algebraic variety Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the solution set, set of solutions of a system of polynomial equations over the real number, ...
associated with the polyhedron would be a
projective variety In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, th ...
if the polyhedron could be made convex in this way. However,
Adrien Douady Adrien Douady (; 25 September 1935 – 2 November 2006) was a French mathematician born in La Tronche, Isère. He was the son of Daniel Douady and Guilhen Douady. Douady was a student of Henri Cartan at the École normale supérieure, and initi ...
proved that, for a family of shapes that includes Jessen's icosahedron, this sliding motion cannot result in a convex polyhedron. Demazure used this result to construct a non-projective
smooth Smooth may refer to: Mathematics * Smooth function, a function that is infinitely differentiable; used in calculus and topology * Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions * Smooth algebrai ...
rational Rationality is the quality of being guided by or based on reason. In this regard, a person acts rationally if they have a good reason for what they do, or a belief is rational if it is based on strong evidence. This quality can apply to an ...
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
three-dimensional variety.


Structural rigidity

Jessen's icosahedron is not a
flexible polyhedron In geometry, a flexible polyhedron is a polyhedral surface without any boundary edges, whose shape can be continuously changed while keeping the shapes of all of its faces unchanged. The Cauchy's theorem (geometry), Cauchy rigidity theorem shows th ...
: if it is constructed with rigid panels for its faces, connected by hinges, it cannot change shape. However, it is also not infinitesimally rigid. This means that there exists a continuous motion of its vertices that, while not actually preserving the edge lengths and face shapes of the polyhedron, does so to a
first-order approximation In science, engineering, and other quantitative disciplines, order of approximation refers to formal or informal expressions for how accurate an approximation is. Usage in science and engineering In formal expressions, the ordinal number used ...
. As a rigid but not infinitesimally rigid polyhedron, it forms an example of a "shaky polyhedron". Because very small changes in its edge lengths can cause much bigger changes in its angles, physical models of the polyhedron seem to be flexible. Replacing the long concave-dihedral edges of Jessen's icosahedron by rigid struts, and the shorter convex-dihedral edges by cables or wires, produces the tensegrity icosahedron, the structure which has also been called the "six-bar tensegrity" and the "expanded octahedron". As well as in tensegrity sculptures, this structure is "the most ubiquitous form of tensegrity robots", and the "Skwish" children's toy based on this structure was "pervasive in the 1980's". The "super ball bot" concept based on this design has been proposed by the
NASA Institute for Advanced Concepts The NASA Innovative Advanced Concepts (NIAC), formerly NASA Institute for Advanced Concepts (NIAC), is a NASA program for development of far reaching, long term advanced concepts by "creating breakthroughs, radically better or entirely new aerospa ...
as a way to enclose space exploration devices for safe landings on other planets. Anthony Pugh calls this structure "perhaps the best known, and certainly one of the most impressive tensegrity figures". Jessen's icosahedron is , meaning that its vertices are in
convex position In discrete and computational geometry, a set of points in the Euclidean plane or a higher-dimensional Euclidean space is said to be in convex position or convex independent if none of the points can be represented as a convex combination of the ot ...
, and its existence demonstrates that weakly convex polyhedra need not be infinitesimally rigid. However, it has been conjectured that weakly convex polyhedra that can be triangulated must be infinitesimally rigid, and this conjecture has been proven under the additional assumption that the exterior part of the
convex hull In geometry, the convex hull, convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space, ...
of the polyhedron can also be triangulated.


Related shapes

A similar shape can be formed by keeping the vertices of a regular icosahedron in their original positions and replacing certain pairs of equilateral triangles by pairs of isosceles triangles. This shape has also sometimes incorrectly been called Jessen's icosahedron. However, although the resulting polyhedron has the same combinatorial structure and symmetry as Jessen's icosahedron, and looks similar, it does not form a tensegrity structure, and does not have right-angled dihedrals. Jessen's icosahedron is one of a continuous family of icosahedra with 20 faces, 8 of which are equilateral triangles and 12 of which are isosceles triangles. Each shape in this family is obtained from a
regular octahedron In geometry, a regular octahedron is a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Regular octahedra occur in nature as crystal structures. An octahedron, more generally, can be any eight-sided polyh ...
by dividing each of its edges in the same proportion and connecting the division points in the pattern of a regular icosahedron. These shapes can be parameterized by the proportion into which the octahedron edges are divided. The convex shapes in this family were described by H. S. M. Coxeter in 1940, crediting their construction from octahedra to
Alicia Boole Stott Alicia Boole Stott (8 June 1860 – 17 December 1940) was a British mathematician. She made a number of contributions to the field and was awarded an honorary doctorate from the University of Groningen. She grasped four-dimensional geometry from ...
. These convex shapes range from the octahedron itself through the regular icosahedron to the
cuboctahedron A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertex (geometry), vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edge (geometry), edges, each separating a tr ...
, with its square faces subdivided into two right triangles in a flat plane. Extending the range of the parameter past the proportion that gives the cuboctahedron produces non-convex shapes, including Jessen's icosahedron. The twisting, expansive-contractive transformations between members of this family, parameterized differently in order to maintain a constant value for one of the two edge lengths, were named
jitterbug transformation The skeleton (topology), skeleton of a cuboctahedron, considering its edges as rigid beams connected at flexible joints at its vertices but omitting its faces, does not have structural rigidity. Consequently, its vertices can be repositioned by f ...
s by
Buckminster Fuller Richard Buckminster Fuller (; July 12, 1895 – July 1, 1983) was an American architect, systems theorist, writer, designer, inventor, philosopher, and futurist. He styled his name as R. Buckminster Fuller in his writings, publishing more t ...
. In 2018, Jessen's icosahedron was generalized by V. A. Gor’kavyi and to an infinite family of rigid but not infinitesimally rigid polyhedra. These polyhedra are combinatorially distinct, and have chiral dihedral symmetry groups of arbitrarily large order. However, unlike Jessen's icosahedron, not all of their faces are triangles.


References


External links


Jessen's orthogonal icosahedron
{{Webarchive, url=https://web.archive.org/web/20220109202809/http://www.polyhedra-world.nc/Jessen_.htm , date=2022-01-09 , The Polyhedra World, Maurice Stark; includes 3d model viewable from arbitrary orientations Nonconvex polyhedra