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 net of a
polyhedron
In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.
A convex polyhedron is the convex hull of finitely many points, not all on th ...
is an arrangement of non-overlapping
edge
Edge or EDGE may refer to:
Technology Computing
* Edge computing, a network load-balancing system
* Edge device, an entry point to a computer network
* Adobe Edge, a graphical development application
* Microsoft Edge, a web browser developed by ...
-joined
polygon
In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two toge ...
s in the
plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
which can be folded (along edges) to become the
face
The face is the front of an animal's head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may aff ...
s of the polyhedron. Polyhedral nets are a useful aid to the study of polyhedra and
solid geometry
In mathematics, solid geometry or stereometry is the traditional name for the geometry of Three-dimensional space, three-dimensional, Euclidean spaces (i.e., 3D geometry).
Stereometry deals with the measurements of volumes of various solid fig ...
in general, as they allow for physical models of polyhedra to be constructed from material such as thin cardboard.
An early instance of polyhedral nets appears in the works of
Albrecht Dürer
Albrecht Dürer (; ; hu, Ajtósi Adalbert; 21 May 1471 – 6 April 1528),Müller, Peter O. (1993) ''Substantiv-Derivation in Den Schriften Albrecht Dürers'', Walter de Gruyter. . sometimes spelled in English as Durer (without an umlaut) or Due ...
, whose 1525 book ''A Course in the Art of Measurement with Compass and Ruler'' (''Unterweysung der Messung mit dem Zyrkel und Rychtscheyd '') included nets for the
Platonic solid
In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edges c ...
s and several of the
Archimedean solid
In geometry, an Archimedean solid is one of the 13 solids first enumerated by Archimedes. They are the convex uniform polyhedra composed of regular polygons meeting in identical vertices, excluding the five Platonic solids (which are composed ...
s. These constructions were first called nets in 1543 by
Augustin Hirschvogel.
Existence and uniqueness
Many different nets can exist for a given polyhedron, depending on the choices of which edges are joined and which are separated. The edges that are cut from a convex polyhedron to form a net must form a
spanning tree
In the mathematical field of graph theory, a spanning tree ''T'' of an undirected graph ''G'' is a subgraph that is a tree which includes all of the vertices of ''G''. In general, a graph may have several spanning trees, but a graph that is not ...
of the polyhedron, but cutting some spanning trees may cause the polyhedron to self-overlap when unfolded, rather than forming a net.
[ Conversely, a given net may fold into more than one different convex polyhedron, depending on the angles at which its edges are folded and the choice of which edges to glue together. If a net is given together with a pattern for gluing its edges together, such that each vertex of the resulting shape has positive ]angular defect In geometry, the (angular) defect (or deficit or deficiency) means the failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the Euclidean plane would. The opposite notion is the excess.
Classically the defe ...
and such that the sum of these defects is exactly 4, then there necessarily exists exactly one polyhedron that can be folded from it; this is Alexandrov's uniqueness theorem
The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each othe ...
. However, the polyhedron formed in this way may have different faces than the ones specified as part of the net: some of the net polygons may have folds across them, and some of the edges between net polygons may remain unfolded. Additionally, the same net may have multiple valid gluing patterns, leading to different folded polyhedra.
In 1975, G. C. Shephard asked whether every convex polyhedron has at least one net, or simple edge-unfolding. This question, which is also known as Dürer's conjecture, or Dürer's unfolding problem, remains unanswered. There exist non-convex polyhedra that do not have nets, and it is possible to subdivide the faces of every convex polyhedron (for instance along a cut locus
The cut locus is a mathematical structure defined for a closed set S in a space X as the closure of the set of all points p\in X that have two or more distinct shortest paths in X from S to p.
Definition in a special case
Let X be a metric s ...
) so that the set of subdivided faces has a net. In 2014 Mohammad Ghomi
Muhammad ( ar, مُحَمَّد; 570 – 8 June 632 CE) was an Arab religious, social, and political leader and the founder of Islam. According to Islamic doctrine, he was a prophet divinely inspired to preach and confirm the monoth ...
showed that every convex polyhedron admits a net after an affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generally, ...
. Furthermore, in 2019 Barvinok and Ghomi showed that a generalization of Dürer's conjecture fails for ''pseudo edges'', i.e., a network of geodesics which connect vertices of the polyhedron and form a graph with convex faces.
A related open question asks whether every net of a convex polyhedron has a blooming
Bloom or blooming may refer to:
Science and technology Biology
* Bloom, one or more flowers on a flowering plant
* Algal bloom, a rapid increase or accumulation in the population of algae in an aquatic system
* Jellyfish bloom, a collective n ...
, a continuous non-self-intersecting motion from its flat to its folded state that keeps each face flat throughout the motion.
Shortest path
The shortest path
In graph theory, the shortest path problem is the problem of finding a path between two vertices (or nodes) in a graph such that the sum of the weights of its constituent edges is minimized.
The problem of finding the shortest path between tw ...
over the surface between two points on the surface of a polyhedron corresponds to a straight line on a suitable net for the subset of faces touched by the path. The net has to be such that the straight line is fully within it, and one may have to consider several nets to see which gives the shortest path. For example, in the case of a cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the only r ...
, if the points are on adjacent faces one candidate for the shortest path is the path crossing the common edge; the shortest path of this kind is found using a net where the two faces are also adjacent. Other candidates for the shortest path are through the surface of a third face adjacent to both (of which there are two), and corresponding nets can be used to find the shortest path in each category.
The spider and the fly problem
400px, Isometric projection and net of naive (1) and optimal (2) solutions of the spider and the fly problem
The spider and the fly problem is a recreational geodesics problem with an unintuitive solution.
Problem
In the typical version of the pu ...
is a recreational mathematics
Recreational mathematics is mathematics carried out for recreation (entertainment) rather than as a strictly research and application-based professional activity or as a part of a student's formal education. Although it is not necessarily limited ...
puzzle which involves finding the shortest path between two points on a cuboid.
Higher-dimensional polytope nets
A net of a 4-polytope
In geometry, a 4-polytope (sometimes also called a polychoron, polycell, or polyhedroid) is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements: vertices, edges, faces (polygons), an ...
, a four-dimensional polytope
In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -d ...
, is composed of polyhedral cells that are connected by their faces and all occupy the same three-dimensional space, just as the polygon faces of a net of a polyhedron are connected by their edges and all occupy the same plane. The net of the tesseract, the four-dimensional hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
, is used prominently in a painting by Salvador Dalí
Salvador Domingo Felipe Jacinto Dalí i Domènech, Marquess of Dalí of Púbol (; ; ; 11 May 190423 January 1989) was a Spanish Surrealism, surrealist artist renowned for his technical skill, precise draftsmanship, and the striking and bizarr ...
, ''Crucifixion (Corpus Hypercubus)
''Crucifixion (Corpus Hypercubus)'' is a 1954 oil-on-canvas painting by Salvador Dalí. A nontraditional, surrealist portrayal of the Crucifixion, it depicts Christ on a polyhedron net of a tesseract (hypercube). It is one of his best-known p ...
'' (1954). The same tesseract net is central to the plot of the short story "—And He Built a Crooked House—"
'—And He Built a Crooked House—' is a science fiction short story by American writer Robert A. Heinlein, first published in ''Astounding Science Fiction'' in February 1941. It was reprinted in the anthology '' Fantasia Mathematica'' (Clifton ...
by Robert A. Heinlein
Robert Anson Heinlein (; July 7, 1907 – May 8, 1988) was an American science fiction author, aeronautical engineer, and naval officer. Sometimes called the "dean of science fiction writers", he was among the first to emphasize scientific accu ...
.
The number of combinatorially distinct nets of -dimensional hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
s can be found by representing these nets as a tree on nodes describing the pattern by which pairs of faces of the hypercube are glued together to form a net, together with a perfect matching
In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph , a perfect matching in is a subset of edge set , such that every vertex in the vertex set is adjacent to exactly ...
on the complement graph
In the mathematical field of graph theory, the complement or inverse of a graph is a graph on the same vertices such that two distinct vertices of are adjacent if and only if they are not adjacent in . That is, to generate the complement of a ...
of the tree describing the pairs of faces that are opposite each other on the folded hypercube. Using this representation, the number of different unfoldings for hypercubes of dimensions 2, 3, 4, ..., have been counted as
See also
*Paper model
Paper models, also called card models or papercraft, are models constructed mainly from sheets of heavy paper, paperboard, card stock, or foam.
Details
This may be considered a broad category that contains origami and card modeling. Origami ...
*Cardboard modeling
Cardboard modeling or cardboard engineering is a form of modelling with paper, card stock, paperboard, and corrugated fiberboard. The term ''cardboard engineering'' is sometimes used to differentiate from craft of making decorative cards. It is o ...
*UV mapping
UV mapping is the 3D modeling process of projecting a 3D model's surface to a 2D image for texture mapping. The letters "U" and "V" denote the axes of the 2D texture because "X", "Y", and "Z" are already used to denote the axes of the 3D object i ...
References
External links
*
*
Regular 4d Polytope Foldouts
* ttp://www.korthalsaltes.com/ Paper Models of Polyhedrabr>Unfolder
for Blender
A blender (sometimes called a mixer or liquidiser in British English) is a kitchen appliance, kitchen and laboratory appliance used to mix, crush, purée or emulsion, emulsify food and other substances. A stationary blender consists of a blender ...
Unfolding
package for Mathematica
Wolfram Mathematica is a software system with built-in libraries for several areas of technical computing that allow machine learning, statistics, symbolic computation, data manipulation, network analysis, time series analysis, NLP, optimizat ...
{{Mathematics of paper folding
Types of polygons
Polyhedra
4-polytopes
Spanning tree