Cube: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
imported>Dedhert.Jr
Properties: forget this. The fact I realized the MathWorld is not mentions what defines the "internal solid angle"?
imported>MathKeduor7
No edit summary
Line 8: Line 8:
  | edges = 12  
  | edges = 12  
  | vertices = 8
  | vertices = 8
| euler = 2
  | vertex_config = <math> 8 \times (4^3) </math>
  | vertex_config = <math> 8 \times (4^3) </math>
  | schläfli = <math> \{4,3\} </math>
  | schläfli = <math> \{4,3\} </math>
Line 25: Line 26:
== Properties ==
== Properties ==
[[File:Hexahedron.stl|thumb|3D model of a cube]]
[[File:Hexahedron.stl|thumb|3D model of a cube]]
A cube is a special case of [[rectangular cuboid]] in which the edges are equal in length.{{r|mk}} Like other cuboids, every face of a cube has four vertices, each of which connects with three congruent lines. These edges form [[square]] faces, making the [[dihedral angle]] of a cube between every two adjacent squares the [[interior angle]] of a square, 90°. Hence, the cube has six faces, twelve edges, and eight vertices. {{r|johnson}} Because of such properties, it is categorized as one of the five [[Platonic solid]]s, a [[polyhedron]] in which all the [[regular polygon]]s are [[Congruence (geometry)|congruent]] and the same number of faces meet at each vertex.{{r|hs}} Every three square faces surrounding a vertex is [[orthogonality|orthogonal]] each other, so the cube is classified as [[orthogonal polyhedron]].{{r|jessen}} The cube may also be considered as the [[parallelepiped]] in which all of its edges are equal{{r|calter}} (or more specifically a [[rhombohedron]] with congruent edges),{{sfnp|Hoffmann|2020|p=[http://books.google.com/books?id=16H0DwAAQBAJ&pg=PA83 83]}} and as the [[trigonal trapezohedron]] since its square faces are the [[rhombi]]' special case.{{r|cc}}
A cube is a special case of [[rectangular cuboid]] in which the edges are equal in length.{{r|mk}} Like other cuboids, every face of a cube has four vertices, each of which connects with three congruent lines. These edges form [[square]] faces, making the [[dihedral angle]] of a cube between every two adjacent squares the [[interior angle]] of a square, 90°. Hence, the cube has six faces, twelve edges, and eight vertices,{{r|johnson}} and its [[Euler characteristic]] is 2, as for any convex polyhedron.{{r|richeson}}
 
The cube is one of the five [[Platonic solid]]s—[[polyhedron]]s in which all the [[regular polygon]]s are [[Congruence (geometry)|congruent]] and the same number of faces meet at each vertex.{{r|hs}} Every three square faces surrounding a vertex is [[orthogonality|orthogonal]] to each other, so the cube is classified as an [[orthogonal polyhedron]].{{r|jessen}} The cube may also be considered a [[parallelepiped]] in which all of its edges are equal{{r|calter}} (or more specifically a [[rhombohedron]] with congruent edges),{{sfnp|Hoffmann|2020|p=[http://books.google.com/books?id=16H0DwAAQBAJ&pg=PA83 83]}} and a [[trigonal trapezohedron]] since its square faces are the special cases of [[rhombi]].{{r|cc}}


=== Measurement and other metric properties ===
=== Measurement and other metric properties ===
[[File:Cube diagonals.svg|thumb|upright=0.6|A face diagonal in red and space diagonal in blue]]
[[File:Cube diagonals.svg|thumb|upright=0.6|A face diagonal in red and space diagonal in blue]]
Given a cube with edge length <math> a </math>. The [[face diagonal]] of a cube is the [[diagonal]] of a square <math> a\sqrt{2} </math>, and the [[space diagonal]] of a cube is a line connecting two vertices that is not in the same face, formulated as <math> a \sqrt{3} </math>. Both formulas can be determined by using [[Pythagorean theorem]]. The surface area of a cube <math> A </math> is six times the area of a square:{{r|khattar}}
Given a cube with edge length <math> a </math>, the [[face diagonal]] of the cube is the [[diagonal]] of a square <math> a\sqrt{2} </math>, and the [[space diagonal]] of the cube is a line connecting two vertices that is not in the same face, formulated as <math> a \sqrt{3} </math>. Both formulas can be determined by using the [[Pythagorean theorem]]. The surface area of a cube <math> A </math> is six times the area of a square:{{r|khattar}}
<math display="block"> A = 6a^2. </math>
<math display="block"> A = 6a^2. </math>
The volume of a cuboid is the product of its length, width, and height. Because all the edges of a cube are equal in length, the formula for the volume of a cube as the third power of its side length, leading to the use of the term ''[[Cube (algebra)|cubic]]'' to mean raising any number to the third power:{{r|thomson|khattar}}
The volume of a cuboid is the product of its length, width, and height. Because all the edges of a cube are equal in length, the formula for the volume of a cube is the third power of its side length, leading to the use of the term ''[[Cube (algebra)|cubic]]'' to mean raising any number to the third power:{{r|thomson|khattar}}
<math display="block"> V = a^3. </math>
<math display="block"> V = a^3. </math>


[[File:Prince Ruperts cube.png|thumb|upright=0.6|[[Prince Rupert's cube]]]]
[[File:Prince Ruperts cube.png|thumb|upright=0.6|[[Prince Rupert's cube]]]]
One special case is the [[unit cube]], so named for measuring a single [[unit of length]] along each edge. It follows that each face is a [[unit square]] and that the entire figure has a volume of 1 cubic unit.{{r|ball|hr-w}} [[Prince Rupert's cube]], named after [[Prince Rupert of the Rhine]], is the largest cube that can pass through a hole cut into the unit cube, despite having sides approximately 6% longer.{{r|sriraman}} A polyhedron that can pass through a copy of itself of the same size or smaller is said to have the [[Rupert property]].{{r|jwy}} A geometric problem of [[doubling the cube]]&mdash;alternatively known as the ''Delian problem''&mdash;requires the construction of a cube with a volume twice the original by using a [[compass and straightedge]] solely. Ancient mathematicians could not solve this old problem until the French mathematician [[Pierre Wantzel]] in 1837 proved it was impossible.{{r|lutzen}}
One special case is the [[unit cube]], so named for measuring a single [[unit of length]] along each edge. It follows that each face is a [[unit square]] and that the entire figure has a volume of 1 cubic unit.{{r|ball|hr-w}} [[Prince Rupert's cube]], named after [[Prince Rupert of the Rhine]], is the largest cube that can pass through a hole cut into the unit cube, despite having sides approximately 6% longer.{{r|sriraman}} A polyhedron that can pass through a copy of itself of the same size or smaller is said to have the [[Rupert property]].{{r|jwy}} A geometric problem of [[doubling the cube]]&mdash;alternatively known as the ''Delian problem''&mdash;requires the construction of a cube with a volume twice the original by using only a [[compass and straightedge]]. Ancient mathematicians could not solve this problem until the French mathematician [[Pierre Wantzel]] proved it was impossible in 1837.{{r|lutzen}}


The cube has three types of [[closed geodesic]]s. The closed geodesics are paths on a cube's surface that are locally straight. In other words, they avoid the vertices of the polyhedron, follow line segments across the faces that they cross, and form [[complementary angle]]s on the two incident faces of each edge that they cross. Two of its types are planar. The first type lies in a plane parallel to any face of the cube, forming a square, with the length being equal to the perimeter of a face, four times the length of each edge. The second type lies in a plane perpendicular to the long diagonal, forming a regular hexagon; its length is <math> 3 \sqrt 2 </math> times that of an edge. The third type is a non-planar hexagon<!--, with the length being <math> 20 </math> (How is this derived? What is the unit of length? -->.{{r|fuchs}}
The cube has three types of [[closed geodesic]]s, or paths on a cube's surface that are locally straight. In other words, they avoid the vertices, follow line segments across the faces that they cross, and form [[complementary angle]]s on the two incident faces of each edge that they cross. One type lies in a plane parallel to any face of the cube, forming a square, with the length being equal to the perimeter of a face, four times the length of each edge. Another type lies in a plane perpendicular to the long diagonal, forming a regular hexagon; its length is <math> 3 \sqrt 2 </math> times that of an edge. The third type is a non-planar hexagon<!--, with the length being <math> 20 </math> (How is this derived? What is the unit of length? -->.{{r|fuchs}}


=== Relation to the spheres ===
=== Relation to the spheres ===
Line 46: Line 49:


=== Symmetry ===
=== Symmetry ===
The cube has [[octahedral symmetry]] <math> \mathrm{O}_\mathrm{h} </math>. It is composed of [[reflection symmetry]], a symmetry by cutting into two halves by a plane. There are nine reflection symmetries: the five are cut the cube from the midpoints of its edges, and the four are cut diagonally. It is also composed of [[rotational symmetry]], a symmetry by rotating it around the axis, from which the appearance is interchangeable. It has octahedral rotation symmetry <math> \mathrm{O} </math>: three axes pass through the cube's opposite faces centroid, six through the cube's opposite edges midpoints, and four through the cube's opposite vertices; each of these axes is respectively four-fold rotational symmetry (0°, 90°, 180°, and 270°), two-fold rotational symmetry (0° and 180°), and three-fold rotational symmetry (0°, 120°, and 240°).{{r|french|cromwell|cp}} Its [[automorphism group]] is the order of 48.{{r|kane}}
The cube has [[octahedral symmetry]] <math> \mathrm{O}_\mathrm{h} </math>. There are nine [[reflection symmetries]] (where two halves cut by a plane are identical): five cut the cube from the midpoints of its edges, and four are cut diagonally. It also has octahedral [[rotational symmetry]] (whereby rotation around the axis results in an identical appearance) <math> \mathrm{O} </math>: three axes pass through the centroids of the cube's opposite faces, six through the midpoints of the cube's opposite edges, and four through the cube's opposite vertices; these axes are respectively four-fold rotational symmetry (0°, 90°, 180°, and 270°), two-fold rotational symmetry (0° and 180°), and three-fold rotational symmetry (0°, 120°, and 240°).{{r|french|cromwell|cp}} Its [[automorphism group]] has order 48; that is, the cube has 48 [[Isometry|isometries]].{{r|kane}}


[[File:Dual Cube-Octahedron.svg|thumb|upright=0.8|The dual polyhedron of a cube is the regular octahedron]]
[[File:Dual Cube-Octahedron.svg|thumb|upright=0.8|The dual polyhedron of a cube is the regular octahedron]]
The [[dual polyhedron]] can be obtained from each of the polyhedra's vertices tangent to a plane by the process known as [[polar reciprocation]].{{r|cr}} One property of dual polyhedra is that the polyhedron and its dual share their [[Point groups in three dimensions|three-dimensional symmetry point group]]. In this case, the dual polyhedron of a cube is the [[regular octahedron]], and both of these polyhedron has the same symmetry, the octahedral symmetry.{{r|erickson}}
The [[dual polyhedron]] can be obtained from each of the polyhedra's vertices tangent to a plane by a process known as [[polar reciprocation]].{{r|cr}} One property of dual polyhedra is that the polyhedron and its dual share their [[Point groups in three dimensions|three-dimensional symmetry point group]]. In this case, the dual polyhedron of a cube is the [[regular octahedron]], and both of these polyhedra has the same octahedral symmetry.{{r|erickson}}


The cube is [[face-transitive]], meaning its two squares are alike and can be mapped by rotation and reflection.{{r|mclean}} It is [[vertex-transitive]], meaning all of its vertices are equivalent and can be mapped [[Isometry|isometrically]] under its symmetry.{{r|grunbaum-1997}} It is also [[edge-transitive]], meaning the same kind of faces surround each of its vertices in the same or reverse order, all two adjacent faces have the same [[dihedral angle]]. Therefore, the cube is [[regular polyhedron]] because it requires those properties.{{r|senechal}} Each vertex is surrounded by three squares, so the cube is <math> 4.4.4 </math> by [[vertex configuration]] or <math> \{4,3\} </math> in [[Schläfli symbol]].{{r|wd}}
The cube is [[face-transitive]], meaning its two squares are alike and can be mapped by rotation and reflection.{{r|mclean}} It is [[vertex-transitive]], meaning all of its vertices are equivalent and can be mapped [[Isometry|isometrically]] under its symmetry.{{r|grunbaum-1997}} It is also [[edge-transitive]], meaning the same kind of faces surround each of its vertices in the same or reverse order, all two adjacent faces have the same [[dihedral angle]]. Therefore, the cube is a [[regular polyhedron]].{{r|senechal}} Each vertex is surrounded by three squares, so the cube is <math> 4.4.4 </math> by [[vertex configuration]] or <math> \{4,3\} </math> in a [[Schläfli symbol]].{{r|wd}}
{{Clear}}
{{Clear}}


Line 60: Line 63:
  | image2 = Skewb.jpg
  | image2 = Skewb.jpg
  | caption2 = A completed [[Skewb]]
  | caption2 = A completed [[Skewb]]
  | image3 = St Marks Place, East Village, Downtown New York City, Recover Reputation.jpg
  | image3 = Just another Alamo afternoon.jpg
  | caption3 = A sculpture [[Alamo (sculpture)|''Alamo'']]
  | caption3 = The [[Alamo (sculpture)|''Alamo'' sculpture]]
  | total_width = 360
  | total_width = 360
}}
}}
Cubes have appeared in many roles in popular culture.  It is the most common form of [[dice]].{{r|mclean}}  Puzzle toys such as pieces of a [[Soma cube]],{{r|masalski}} [[Rubik's Cube]], and [[Skewb]] are built of cubes.{{r|joyner}} ''[[Minecraft]]'' is an example of a [[Sandbox game|sandbox video game]] of cubic blocks.{{r|moore}} The outdoor sculpture [[Alamo (sculpture)|''Alamo'']] (1967) is a cube standing on a vertex.{{r|rz}} [[Optical illusions]] such as the [[impossible cube]] and [[Necker cube]] have been explored by artists such as [[M. C. Escher]].{{r|barrow}}  [[Salvador Dalí]]'s painting ''[[Corpus Hypercubus]]'' (1954) contains an unfolding of a [[tesseract]] into a six-armed cross; a similar construction is central to [[Robert A. Heinlein]]'s short story "[[And He Built a Crooked House]]" (1940).{{r|kemp|fowler}} The cube was applied in [[Leon Battista Alberti|Alberti]]'s treatise on [[Renaissance architecture]], ''[[De re aedificatoria]]'' (1450).{{r|march}} ''[[Kubuswoningen]]'' is known for a set of cubical houses in which its [[hexagon]]al space diagonal becomes the main floor.{{r|an}}
Cubes have appeared in many roles in popular culture.  It is the most common form of [[dice]].{{r|mclean}}  Puzzle toys such as pieces of a [[Soma cube]],{{r|masalski}} [[Rubik's Cube]], and [[Skewb]] are built of cubes.{{r|joyner}} ''[[Minecraft]]'' is an example of a [[Sandbox game|sandbox video game]] of cubic blocks.{{r|moore}} The outdoor sculpture [[Alamo (sculpture)|''Alamo'']] (1967) is a cube standing on a vertex.{{r|rz}} [[Optical illusions]] such as the [[impossible cube]] and [[Necker cube]] have been explored by artists such as [[M. C. Escher]].{{r|barrow}}  [[Salvador Dalí]]'s painting ''[[Corpus Hypercubus]]'' (1954) contains a [[tesseract]] unfolding into a six-armed cross; a similar construction is central to [[Robert A. Heinlein]]'s short story "[[And He Built a Crooked House]]" (1940).{{r|kemp|fowler}} The cube was applied in [[Leon Battista Alberti|Alberti]]'s treatise on [[Renaissance architecture]], ''[[De re aedificatoria]]'' (1450).{{r|march}} [[Kubuswoningen|Cube houses]] in the Netherlands are a set of cubical houses whose [[hexagon]]al space diagonals becomes the main floor.{{r|an}}


{{multiple image
{{multiple image
Line 75: Line 78:
  | total_width = 360
  | total_width = 360
}}
}}
Cubes are also found in natural science and technology. It is applied to the [[unit cell]] of a crystal known as a [[cubic crystal system]].{{r|tisza}} [[Pyrite]] is an example of a [[mineral]] with a commonly cubic shape, although there are many varied shapes.{{r|hoffmann}} The [[radiolarian]] ''Lithocubus geometricus'', discovered by [[Ernst Haeckel]], has a cubic shape.{{r|haeckel}} A historical attempt to unify three physics ideas of [[Galilean relativity|relativity]], [[gravitation]], and [[quantum mechanics]] used the framework of a cube known as a [[cGh physics|''cGh'' cube]].{{r|padmanabhan}} [[Cubane]] is a synthetic [[hydrocarbon]] consisting of eight carbon [[atom]]s arranged at the corners of a cube, with one [[hydrogen]] atom attached to each carbon atom.{{r|biegasiewicz}}  
Cubes are also found in natural science and technology. It is applied to the [[unit cell]] of a crystal known as a [[cubic crystal system]].{{r|tisza}} [[Pyrite]] is an example of a [[mineral]] with a commonly cubic shape, although there are many varied shapes.{{r|hoffmann}} The [[radiolarian]] ''Lithocubus geometricus'', discovered by [[Ernst Haeckel]], has a cubic shape.{{r|haeckel}} A historical attempt to unify three physics ideas of [[Galilean relativity|relativity]], [[gravitation]], and [[quantum mechanics]] used the framework of a cube known as a [[cGh physics|''cGh'' cube]].{{r|padmanabhan}} [[Cubane]] is a synthetic [[hydrocarbon]] consisting of eight carbon [[atom]]s arranged at the corners of a cube, with one [[hydrogen]] atom attached to each carbon atom.{{r|biegasiewicz}}
 
Other technological cubes include the spacecraft device [[CubeSat]],{{r|helvajian}} and [[thermal radiation]] demonstration device [[Leslie cube]].{{r|vm}} Cubical grids are usual in three-dimensional [[Cartesian coordinate system]]s.{{r|knstv}} In [[computer graphics]], [[Marching cubes|an algorithm]] divides the input volume into a discrete set of cubes known as the unit on [[isosurface]],{{r|cmsi}} and the faces of a cube can be used for [[Cube mapping|mapping a shape]].{{r|greene}}
Other technological cubes include the spacecraft device [[CubeSat]],{{r|helvajian}} and [[thermal radiation]] demonstration device [[Leslie cube]].{{r|vm}} Cubical grids are usual in three-dimensional [[Cartesian coordinate system]]s.{{r|knstv}} In [[computer graphics]], [[Marching cubes|an algorithm]] divides the input volume into a discrete set of cubes known as the unit on [[isosurface]],{{r|cmsi}} and the faces of a cube can be used for [[Cube mapping|mapping a shape]].{{r|greene}}


Line 86: Line 90:
  | total_width = 300
  | total_width = 300
}}
}}
The [[Platonic solid]]s are five polyhedra known since antiquity. The set is named for [[Plato]] who, in his dialogue [[Timaeus (dialogue)|''Timaeus'']], attributed these solids to nature. One of them, the cube, represented the [[classical element]] of [[Earth (classical element)|earth]] because of its stability.{{sfnp|Cromwell|1997|p=[https://archive.org/details/polyhedra0000crom/page/55 55]}} [[Euclid]]'s [[Euclid's Elements|''Elements'']] defined the Platonic solids, including the cube, and showed how to find the ratio of the circumscribed sphere's diameter to the edge length.{{r|heath}} Following Plato's use of the regular polyhedra as symbols of nature, [[Johannes Kepler]] in his ''[[Harmonices Mundi]]'' sketched each of the Platonic solids; he decorated ane side of the cube with a tree.{{sfnp|Cromwell|1997|p=[https://archive.org/details/polyhedra0000crom/page/55 55]}} In his ''[[Mysterium Cosmographicum]]'', Kepler also proposed that the ratios between sizes of the orbits of the planets are the ratios between the sizes of the [[inscribed sphere|inscribed]] and [[circumscribed sphere]]s of the Platonic solids. That is, if the orbits are great circles on spheres, the sphere of Mercury is tangent to a [[regular octahedron]], whose vertices lie on the sphere of Venus, which is in turn tangent to a [[regular icosahedron]], within the sphere of Earth, within a [[regular dodecahedron]], within the sphere of Mars, within a [[regular tetrahedron]], within the sphere of Jupiter, within a cube, within the sphere of Saturn. In fact the orbits are not circles but ellipses (as Kepler himself later showed), and these relations are only approximate.{{r|livio}}
The [[Platonic solid]]s are five polyhedra known since antiquity. The set is named for [[Plato]] who, in his dialogue [[Timaeus (dialogue)|''Timaeus'']], attributed these solids to nature. One of them, the cube, represented the [[classical element]] of [[Earth (classical element)|earth]] because of its stability.{{sfnp|Cromwell|1997|p=[https://archive.org/details/polyhedra0000crom/page/55 55]}} [[Euclid]]'s [[Euclid's Elements|''Elements'']] defined the Platonic solids, including the cube, and showed how to find the ratio of the circumscribed sphere's diameter to the edge length.{{r|heath}} Following Plato's use of the regular polyhedra as symbols of nature, [[Johannes Kepler]] in his ''[[Harmonices Mundi]]'' sketched each of the Platonic solids; he decorated the cube's side with a tree.{{sfnp|Cromwell|1997|p=[https://archive.org/details/polyhedra0000crom/page/55 55]}} In his ''[[Mysterium Cosmographicum]]'', Kepler also proposed that the ratios between sizes of the orbits of the planets are the ratios between the sizes of the [[inscribed sphere|inscribed]] and [[circumscribed sphere]]s of the Platonic solids. That is, if the orbits are great circles on spheres, the sphere of Mercury is tangent to a [[regular octahedron]], whose vertices lie on the sphere of Venus, which is in turn tangent to a [[regular icosahedron]], within the sphere of Earth, within a [[regular dodecahedron]], within the sphere of Mars, within a [[regular tetrahedron]], within the sphere of Jupiter, within a cube, within the sphere of Saturn. In fact, the orbits are not circles but ellipses (as Kepler himself later showed), and these relations are only approximate.{{r|livio}}


== Construction ==
== Construction ==
[[File:The 11 cubic nets.svg|thumb|Nets of a cube]]
[[File:The 11 cubic nets.svg|thumb|The eleven nets of a cube]]
An elementary way to construct is using its [[Net (polyhedron)|net]], an arrangement of edge-joining polygons, constructing a polyhedron by connecting along the edges of those polygons. Eleven nets for the cube are shown here.{{r|jeon}}
An elementary way to construct a cube is using its [[Net (polyhedron)|net]], an arrangement of edge-joining polygons, by connecting the edges of those polygons. Eleven nets for the cube are possible (''see right'').{{r|jeon}}


In [[analytic geometry]], a cube may be constructed using the [[Cartesian coordinate systems]]. For a cube centered at the origin, with edges parallel to the axes and with an edge length of 2, the [[Cartesian coordinates]] of the vertices are <math> (\pm 1, \pm 1, \pm 1) </math>.{{r|smith}} Its interior consists of all points <math> (x_0, x_1, x_2) </math> with <math> -1 < x_i < 1 </math> for all <math> i </math>. A cube's surface with center <math> (x_0, y_0, z_0) </math> and edge length of <math> 2a </math> is the [[Locus (mathematics)|locus]] of all points <math> (x,y,z) </math> such that
In [[analytic geometry]], a cube may be constructed using the [[Cartesian coordinate systems]]. For a cube centered at the origin, with edges parallel to the axes and with an edge length of 2, the [[Cartesian coordinates]] of the vertices are <math> (\pm 1, \pm 1, \pm 1) </math>.{{r|smith}} Its interior consists of all points <math> (x_0, x_1, x_2) </math> with <math> -1 < x_i < 1 </math> for all <math> i </math>. A cube's surface with center <math> (x_0, y_0, z_0) </math> and edge length of <math> 2a </math> is the [[Locus (mathematics)|locus]] of all points <math> (x,y,z) </math> such that
<math display="block"> \max\{ |x-x_0|,|y-y_0|,|z-z_0| \} = a.</math>
<math display="block"> \max\{ |x-x_0|,|y-y_0|,|z-z_0| \} = a.</math>


The cube is [[Hanner polytope]], because it can be constructed by using [[Cartesian product]] of three line segments. Its dual polyhedron, the regular octahedron, is constructed by [[direct sum]] of three line segments.{{r|kozachok}}
The cube is a [[Hanner polytope]], because it can be constructed by using the [[Cartesian product]] of three line segments. Its dual polyhedron, the regular octahedron, is constructed by the [[direct sum]] of three line segments.{{r|kozachok}}


== Representation ==
== Representation ==
Line 102: Line 106:
[[File:Cube skeleton.svg|upright=0.8|thumb|The graph of a cube]]
[[File:Cube skeleton.svg|upright=0.8|thumb|The graph of a cube]]


According to [[Steinitz's theorem]], the [[Graph (discrete mathematics)|graph]] can be represented as the [[Skeleton (topology)|skeleton]] of a polyhedron; roughly speaking, a framework of a polyhedron. Such a graph has two properties: [[Planar graph|planar]] (the edges of a graph are connected to every vertex without crossing other edges), and [[k-vertex-connected graph|3-connected]] (whenever a graph with more than three vertices, and two of the vertices are removed, the edges remain connected).{{r|grunbaum-2003|ziegler}} The skeleton of a cube can be represented as the graph, and it is called the '''cubical graph''', a [[Platonic graph]]. It has the same number of vertices and edges as the cube, twelve vertices and eight edges.{{r|rudolph}} The cubical graph is also classified as a [[prism graph]], resembling the skeleton of a cuboid.{{r|ps}}
According to [[Steinitz's theorem]], a [[Graph (discrete mathematics)|graph]] can be represented as the [[Skeleton (topology)|skeleton]] of a polyhedron. Such a graph has two properties: [[Planar graph|planar]] (the edges of a graph are connected to every vertex without crossing other edges), and [[k-vertex-connected graph|3-connected]] (whenever a graph with more than three vertices, and two of the vertices are removed, the edges remain connected).{{r|grunbaum-2003|ziegler}} The skeleton of a cube, represented as the graph, is called the '''cubical graph''', a [[Platonic graph]]. It has the same number of vertices and edges as the cube, twelve vertices and eight edges.{{r|rudolph}} The cubical graph is also classified as a [[prism graph]], resembling the skeleton of a cuboid.{{r|ps}}


The cubical graph is a special case of [[hypercube graph]] or {{nowrap|1=<math>n</math>-}}cube&mdash;denoted as <math> Q_n </math>&mdash;because it can be constructed by using the operation known as the [[Cartesian product of graphs]]: it involves two graphs connecting the pair of vertices with an edge to form a new graph.{{r|hh}} In the case of the cubical graph, it is the product of two <math> Q_2 </math>; roughly speaking, it is a graph resembling a square. In other words, the cubical graph is constructed by connecting each vertex of two squares with an edge. Notationally, the cubical graph is <math> Q_3 </math>.{{r|cz}} Like any hypercube graph, it has a [[Cycle (graph theory)|cycle]] visits [[Hamiltonian path|every vertex exactly once]],{{r|ly}} and it is also an example of a [[unit distance graph]].{{r|hp}}
The cubical graph is a special case of [[hypercube graph]] or {{nowrap|1=<math>n</math>-}}cube&mdash;denoted as <math> Q_n </math>&mdash;because it can be constructed by using the [[Cartesian product of graphs]]: two graphs connecting the pair of vertices with an edge to form a new graph.{{r|hh}} In the case of the cubical graph, it is the product of two <math> Q_2 </math>; roughly speaking, it is a graph resembling a square. In other words, the cubical graph is constructed by connecting each vertex of two squares with an edge. Notationally, the cubical graph is <math> Q_3 </math>.{{r|cz}} Like any hypercube graph, it has a [[Cycle (graph theory)|cycle]] which visits [[Hamiltonian path|every vertex exactly once]],{{r|ly}} and it is also an example of a [[unit distance graph]].{{r|hp}}


The cubical graph is [[bipartite graph|bipartite]], meaning every [[Independent set (graph theory)|independent set]] of four vertices can be [[Disjoint set|disjoint]] and the edges connected in those sets.{{r|berman-graph}} However, every vertex in one set cannot connect all vertices in the second, so this bipartite graph is not [[complete bipartite graph|complete]].{{r|aw}} It is an example of both [[crown graph]] and [[bipartite Kneser graph]].{{r|kl|berman-graph}}
The cubical graph is [[bipartite graph|bipartite]], meaning every [[Independent set (graph theory)|independent set]] of four vertices can be [[Disjoint set|disjoint]] and the edges connected in those sets.{{r|berman-graph}} However, every vertex in one set cannot connect all vertices in the second, so this bipartite graph is not [[complete bipartite graph|complete]].{{r|aw}} It is an example of both a [[crown graph]] and a [[bipartite Kneser graph]].{{r|kl|berman-graph}}


=== In orthogonal projection ===
=== In orthogonal projection ===
Line 112: Line 116:


=== As a configuration matrix ===
=== As a configuration matrix ===
The cube can be represented as [[Platonic solid#As a configuration|configuration matrix]]. A configuration matrix is a [[Matrix (mathematics)|matrix]] in which the rows and columns correspond to the elements of a polyhedron as in the vertices, edges, and faces. The [[Main diagonal|diagonal]] of a matrix denotes the number of each element that appears in a polyhedron, whereas the non-diagonal of a matrix denotes the number of the column's elements that occur in or at the row's element. As mentioned above, the cube has eight vertices, twelve edges, and six faces; each element in a matrix's diagonal is denoted as 8, 12, and 6. The first column of the middle row indicates that there are two vertices in (i.e., at the extremes of) each edge, denoted as 2; the middle column of the first row indicates that three edges meet at each vertex, denoted as 3. The following matrix is:{{r|coxeter}}
The cube can be represented as a [[Platonic solid#As a configuration|configuration matrix]], a [[Matrix (mathematics)|matrix]] in which the rows and columns correspond to the elements of a polyhedron as the vertices, edges, and faces. The [[Main diagonal|diagonal]] of a matrix denotes the number of each element that appears in a polyhedron, whereas the non-diagonal of a matrix denotes the number of the column's elements that occur in or at the row's element. The cube's eight vertices, twelve edges, and six faces are denoted by each element in a matrix's diagonal (8, 12, and 6). The first column of the middle row indicates that there are two vertices on each edge, denoted as 2; the middle column of the first row indicates that three edges meet at each vertex, denoted as 3. The following matrix is:{{r|coxeter}}
<math display="block"> \begin{bmatrix}\begin{matrix}8 & 3 & 3 \\ 2 & 12 & 2 \\ 4 & 4 & 6 \end{matrix}\end{bmatrix}</math>
<math display="block"> \begin{bmatrix}\begin{matrix}8 & 3 & 3 \\ 2 & 12 & 2 \\ 4 & 4 & 6 \end{matrix}\end{bmatrix}</math>


Line 125: Line 129:
The cube can appear in the construction of a polyhedron, and some of its types can be derived differently in the following:
The cube can appear in the construction of a polyhedron, and some of its types can be derived differently in the following:
* When [[faceting]] a cube, meaning removing part of the polygonal faces without creating new vertices of a cube, the resulting polyhedron is the [[stellated octahedron]].{{r|inchbald}}
* When [[faceting]] a cube, meaning removing part of the polygonal faces without creating new vertices of a cube, the resulting polyhedron is the [[stellated octahedron]].{{r|inchbald}}
* The cube is [[non-composite polyhedron]], meaning it is a convex polyhedron that cannot be separated into two or more regular polyhedra. The cube can be applied to construct a new convex polyhedron by attaching another.{{r|timofeenko-2010}} Attaching a [[square pyramid]] to each square face of a cube produces its [[Kleetope]], a polyhedron known as the [[tetrakis hexahedron]].{{r|sod}} Suppose one and two equilateral square pyramids are attached to their square faces. In that case, they are the construction of an [[elongated square pyramid]] and [[elongated square bipyramid]] respectively, the [[Johnson solid]]'s examples.{{r|rajwade}}
* The cube is a [[non-composite polyhedron]], meaning it is a convex polyhedron that cannot be separated into two or more regular polyhedra. The cube can be applied to construct a new convex polyhedron by attaching another.{{r|timofeenko-2010}} Attaching a [[square pyramid]] to each square face of a cube produces its [[Kleetope]], a polyhedron known as the [[tetrakis hexahedron]].{{r|sod}} If one and two equilateral square pyramids are attached to the square faces, the [[elongated square pyramid]] and [[elongated square bipyramid]] respectively, the [[Johnson solid]]'s examples, are constructed.{{r|rajwade}}
* Each of the cube's vertices can be [[Truncation (geometry)|truncated]], and the resulting polyhedron is the [[Archimedean solid]], the [[truncated cube]].{{sfnp|Cromwell|1997|pp=[https://books.google.com/books?id=OJowej1QWpoC&pg=PA81 81–82]}} When its edges are truncated, it is a [[rhombicuboctahedron]].{{r|linti}} Relatedly, the rhombicuboctahedron can also be constructed by separating the cube's faces and then spreading away, after which adding other triangular and square faces between them; this is known as the "expanded cube". Similarly, it is constructed by the cube's dual, the regular octahedron.{{r|vxac}}
* Each of the cube's vertices can be [[Truncation (geometry)|truncated]], and the resulting polyhedron is the [[Archimedean solid]], the [[truncated cube]].{{sfnp|Cromwell|1997|pp=[https://books.google.com/books?id=OJowej1QWpoC&pg=PA81 81–82]}} When its edges are truncated, it is a [[rhombicuboctahedron]].{{r|linti}} Relatedly, the rhombicuboctahedron can also be constructed by separating the cube's faces and then spreading away, after which adding other triangular and square faces between them; this is known as the "expanded cube". Similarly, it is constructed by the cube's dual, the regular octahedron.{{r|vxac}}
* The [[barycentric subdivision]] of a cube (or its dual, the regular octahedron) is the [[disdyakis dodecahedron]], a [[Catalan solid]].{{r|ls}}
* The [[barycentric subdivision]] of a cube (or its dual, the regular octahedron) is the [[disdyakis dodecahedron]], a [[Catalan solid]].{{r|ls}}
* The corner region of a cube can also be truncated by a plane (e.g., spanned by the three neighboring vertices), resulting in a [[trirectangular tetrahedron]].{{sfnp|Coxeter|1973|p=[http://books.google.com/books?id=2ee7AQAAQBAJ&pg=PA71 71]}}
* The corner region of a cube can also be truncated by a plane (e.g., spanned by the three neighboring vertices), resulting in a [[trirectangular tetrahedron]].{{sfnp|Coxeter|1973|p=[http://books.google.com/books?id=2ee7AQAAQBAJ&pg=PA71 71]}}
* The [[snub cube]] is an Archimedean solid that can be constructed by separating away the cube square's face, and filling their gaps with twisted angle equilateral triangles, a process known as [[Snub (geometry)|snub]].{{r|holme}}
* The [[snub cube]] is an Archimedean solid that can be constructed by separating the cube's faces, and filling the gaps with twisted angle equilateral triangles, a process known as a [[Snub (geometry)|snub]].{{r|holme}}
The cube can be constructed with six [[square pyramid]]s, tiling space by attaching their apices. In some cases, this produces the [[rhombic dodecahedron]] circumscribing a cube.{{r|barnes|cundy}}
The cube can be constructed with six [[square pyramid]]s, tiling space by attaching their apices. In some cases, this produces the [[rhombic dodecahedron]] circumscribing a cube.{{r|barnes|cundy}}


Line 135: Line 139:
{{main|Polycubes}}
{{main|Polycubes}}
[[File:Net of tesseract.gif|thumb|upright=0.6|[[Dali cross]], the net of a [[tesseract]]]]
[[File:Net of tesseract.gif|thumb|upright=0.6|[[Dali cross]], the net of a [[tesseract]]]]
[[Polycube]] is a polyhedron in which the faces of many cubes are attached. Analogously, it can be interpreted as the [[polyominoes]] in three-dimensional space.{{r|lunnon}} When four cubes are stacked vertically, and the other four are attached to the second-from-top cube of the stack, the resulting polycube is [[Dali cross]], after [[Salvador Dali]]. In addition to popular cultures, the Dali cross is a tile space polyhedron,{{r|hut|pucc}} which can be represented as the net of a [[tesseract]]. A tesseract is a cube analogous' [[four-dimensional space]] bounded by twenty-four squares and eight cubes.{{r|hall}}
The [[Polycube]] is a polyhedron in which the faces of many cubes are attached. Analogously, it can be interpreted as the [[polyominoes]] in three-dimensional space.{{r|lunnon}} When four cubes are stacked vertically, and the other four are attached to the second-from-top cube of the stack, the resulting polycube is the [[Dali cross]], named after [[Salvador Dali]]. The Dali cross is a tile space polyhedron,{{r|hut|pucc}} which can be represented as the net of a [[tesseract]]. A tesseract is a cube's analogous [[four-dimensional space]] bounded by twenty-four squares and eight cubes.{{r|hall}}


=== Space-filling and honeycombs ===
=== Space-filling and honeycombs ===
[[Hilbert's third problem]] asked whether every two equal-volume polyhedra could always be dissected into polyhedral pieces and reassembled into each other. If it were, then the volume of any polyhedron could be defined axiomatically as the volume of an equivalent cube into which it could be reassembled. [[Max Dehn]] solved this problem in an invention [[Dehn invariant]], answering that not all polyhedra can be reassembled into a cube.{{r|gruber}} It showed that two equal volume polyhedra should have the same Dehn invariant, except for the two tetrahedra whose Dehn invariants were different.{{r|zeeman}}
[[Hilbert's third problem]] asks whether every two equal-volume polyhedra can always be dissected into polyhedral pieces and reassembled into each other. If yes, then the volume of any polyhedron could be defined axiomatically as the volume of an equivalent cube into which it could be reassembled. [[Max Dehn]] solved this problem by inventing the [[Dehn invariant]], answering that not all polyhedra can be reassembled into a cube.{{r|gruber}} It showed that two equal volume polyhedra should have the same Dehn invariant, except for the two tetrahedra whose Dehn invariants were different.{{r|zeeman}}


[[File:Partial cubic honeycomb.png|thumb|upright=0.6|[[Cubic honeycomb]]]]
[[File:Partial cubic honeycomb.png|thumb|upright=0.6|[[Cubic honeycomb]]]]
The cube has a Dehn invariant of zero. This indicates the cube is applied for [[Honeycomb (geometry)|honeycomb]]. More strongly, the cube is a [[Space-filling polyhedron|space-filling tile]] in three-dimensional space in which the construction begins by attaching a polyhedron onto its faces without leaving a gap.{{r|lm}} The cube is a [[plesiohedron]], a special kind of space-filling polyhedron that can be defined as the [[Voronoi cell]] of a symmetric [[Delone set]].{{r|erdahl}} The plesiohedra include the [[parallelohedra]], which can be [[Translation (geometry)|translated]] without rotating to fill a space in which each face of any of its copies is attached to a like face of another copy. There are five kinds of parallelohedra, one of which is the cuboid.{{r|alexandrov}} Every three-dimensional parallelohedron is [[zonohedron]], a [[centrally symmetric]] polyhedron whose faces are [[Zonogon|centrally symmetric polygons]].{{r|shephard}} In the case of cube, it can be represented as the [[Cell (geometry)|cell]]. Some honeycombs have cubes as the only cells; one example is [[cubic honeycomb]], the only regular honeycomb in Euclidean three-dimensional space, having four cubes around each edge.{{r|twelveessay|ns}}
The cube has a Dehn invariant of zero, meaning that cubes can achieve a [[Honeycomb (geometry)|honeycomb]]. It is also a [[Space-filling polyhedron|space-filling tile]] in three-dimensional space in which the construction begins by attaching a polyhedron onto its faces without leaving a gap.{{r|lm}} The cube is a [[plesiohedron]], a special kind of space-filling polyhedron that can be defined as the [[Voronoi cell]] of a symmetric [[Delone set]].{{r|erdahl}} The plesiohedra include the [[parallelohedra]], which can be [[Translation (geometry)|translated]] without rotating to fill a space in which each face of any of its copies is attached to a like face of another copy. There are five kinds of parallelohedra, one of which is the cuboid.{{r|alexandrov}} Every three-dimensional parallelohedron is a [[zonohedron]], a [[centrally symmetric]] polyhedron whose faces are [[Zonogon|centrally symmetric polygons]].{{r|shephard}} In the case of the cube, it can be represented as a [[Cell (geometry)|cell]]. Some honeycombs have cubes as the only cells; one example is the [[cubic honeycomb]], the only regular honeycomb in Euclidean three-dimensional space, which has four cubes around each edge.{{r|twelveessay|ns}}


=== Miscellaneous ===
=== Miscellaneous ===
Line 151: Line 155:
  | total_width = 360
  | total_width = 360
}}
}}
{{anchor|Compound of cubes}}Compound of cubes is the [[polyhedral compound]]s in which the cubes share the same centre. They belong to the [[uniform polyhedron compound]], meaning they are polyhedral compounds whose constituents are identical (although possibly [[enantiomorphous]]) [[uniform polyhedra]], in an arrangement that is also uniform. Respectively, the list of compounds enumerated by {{harvtxt|Skilling|1976}} in the seventh to ninth uniform compounds for the compound of six cubes with rotational freedom, [[Compound of three cubes|three cubes]], and five cubes.{{r|skilling}} Two compounds, consisting of [[compound of two cubes|two]] and three cubes were found in [[M. C. Escher|Escher]]'s [[wood engraving]] print [[Stars (M. C. Escher)|''Stars'']] and [[Max Brückner]]'s book ''Vielecke und Vielflache''.{{r|hart}}
{{anchor|Compound of cubes}}The [[polyhedral compound]]s, in which the cubes share the same centre, are [[uniform polyhedron compound]]s, meaning they are polyhedral compounds whose constituents are identical (although possibly [[enantiomorphous]]) [[uniform polyhedra]], in an arrangement that is also uniform. Respectively, the list of compounds enumerated by {{harvtxt|Skilling|1976}} in the seventh to ninth uniform compounds for the compound of six cubes with rotational freedom, [[Compound of three cubes|three cubes]], and [[Compound of five cubes|five cubes]].{{r|skilling}} Two compounds, consisting of [[compound of two cubes|two]] and three cubes were found in [[M. C. Escher|Escher]]'s [[wood engraving]] print [[Stars (M. C. Escher)|''Stars'']] and [[Max Brückner]]'s book ''Vielecke und Vielflache''.{{r|hart}}


{{multiple image
{{multiple image
Line 375: Line 379:
  | volume = 20
  | volume = 20
  | year = 1999| doi-access = free
  | year = 1999| doi-access = free
  }}. Voronoi conjectured that all tilings of higher dimensional spaces by translates of a single [[convex polytope]] are combinatorially equivalent to Voronoi tilings, and Erdahl proves this in the special case of [[zonotope]]s. But as he writes (p.&nbsp;429), Voronoi's conjecture for dimensions at most four was already proven by Delaunay. For the classification of three-dimensional parallelohedra into these five types, see {{cite journal
  }}. Voronoi conjectured that all tilings of higher-dimensional spaces by translates of a single [[convex polytope]] are combinatorially equivalent to Voronoi tilings, and Erdahl proves this in the special case of [[zonotope]]s. But as he writes (p.&nbsp;429), Voronoi's conjecture for dimensions at most four was already proven by Delaunay. For the classification of three-dimensional parallelohedra into these five types, see {{cite journal
  | last1 = Grünbaum | first1 = Branko | author1-link = Branko Grünbaum
  | last1 = Grünbaum | first1 = Branko | author1-link = Branko Grünbaum
  | last2 = Shephard | first2 = G. C. | author2-link = Geoffrey Colin Shephard
  | last2 = Shephard | first2 = G. C. | author2-link = Geoffrey Colin Shephard
Line 801: Line 805:
  | volume = 52 | issue = 1 | pages = 4–37
  | volume = 52 | issue = 1 | pages = 4–37
  | doi = 10.1111/j.1600-0498.2009.00160.x
  | doi = 10.1111/j.1600-0498.2009.00160.x
}}</ref>
| url-access = subscription
}}</ref>


<ref name=ly>{{cite book
<ref name=ly>{{cite book
Line 939: Line 944:
  | isbn = 978-93-86279-06-4
  | isbn = 978-93-86279-06-4
  | doi = 10.1007/978-93-86279-06-4
  | doi = 10.1007/978-93-86279-06-4
}}</ref>
<ref name="richeson">{{cite book
| last = Richeson | first = D. S. | author-link = David Richeson
| year = 2008
| title-link = Euler's Gem
| title = Euler's Gem: The polyhedron formula and the birth of topology
| publisher = Princeton University Press
| at = [https://books.google.com/books?id=kv2EDwAAQBAJ&pg=PA2 pp. 1&ndash;2]
}}</ref>
}}</ref>



Revision as of 08:54, 30 June 2025

Template:Short description Script error: No such module "other uses". Script error: No such module "Infobox".Template:Template other A cube or regular hexahedronTemplate:R is a three-dimensional solid object in geometry, which is bounded by six congruent square faces, a type of polyhedron. It has twelve congruent edges and eight vertices. It is a type of parallelepiped, with pairs of parallel opposite faces, and more specifically a rhombohedron, with congruent edges, and a rectangular cuboid, with right angles between pairs of intersecting faces and pairs of intersecting edges. It is an example of many classes of polyhedra: Platonic solid, regular polyhedron, parallelohedron, zonohedron, and plesiohedron. The dual polyhedron of a cube is the regular octahedron.

The cube can be represented in many ways, one of which is the graph known as the cubical graph. It can be constructed by using the Cartesian product of graphs. The cube is the three-dimensional hypercube, a family of polytopes also including the two-dimensional square and four-dimensional tesseract. A cube with unit side length is the canonical unit of volume in three-dimensional space, relative to which other solid objects are measured. Other related figures involve the construction of polyhedra, space-filling and honeycombs, polycubes, as well as cubes in compounds, spherical, and topological space.

The cube was discovered in antiquity, associated with the nature of earth by Plato, for whom the Platonic solids are named. It can be derived differently to create more polyhedra, and it has applications to construct a new polyhedron by attaching others. Other applications include popular culture of toys and games, arts, optical illusions, architectural buildings, as well as natural science and technology.

Properties

File:Hexahedron.stl
3D model of a cube

A cube is a special case of rectangular cuboid in which the edges are equal in length.Template:R Like other cuboids, every face of a cube has four vertices, each of which connects with three congruent lines. These edges form square faces, making the dihedral angle of a cube between every two adjacent squares the interior angle of a square, 90°. Hence, the cube has six faces, twelve edges, and eight vertices,Template:R and its Euler characteristic is 2, as for any convex polyhedron.Template:R

The cube is one of the five Platonic solidspolyhedrons in which all the regular polygons are congruent and the same number of faces meet at each vertex.Template:R Every three square faces surrounding a vertex is orthogonal to each other, so the cube is classified as an orthogonal polyhedron.Template:R The cube may also be considered a parallelepiped in which all of its edges are equalTemplate:R (or more specifically a rhombohedron with congruent edges),Template:Sfnp and a trigonal trapezohedron since its square faces are the special cases of rhombi.Template:R

Measurement and other metric properties

File:Cube diagonals.svg
A face diagonal in red and space diagonal in blue

Given a cube with edge length a, the face diagonal of the cube is the diagonal of a square a2, and the space diagonal of the cube is a line connecting two vertices that is not in the same face, formulated as a3. Both formulas can be determined by using the Pythagorean theorem. The surface area of a cube A is six times the area of a square:Template:R A=6a2. The volume of a cuboid is the product of its length, width, and height. Because all the edges of a cube are equal in length, the formula for the volume of a cube is the third power of its side length, leading to the use of the term cubic to mean raising any number to the third power:Template:R V=a3.

File:Prince Ruperts cube.png
Prince Rupert's cube

One special case is the unit cube, so named for measuring a single unit of length along each edge. It follows that each face is a unit square and that the entire figure has a volume of 1 cubic unit.Template:R Prince Rupert's cube, named after Prince Rupert of the Rhine, is the largest cube that can pass through a hole cut into the unit cube, despite having sides approximately 6% longer.Template:R A polyhedron that can pass through a copy of itself of the same size or smaller is said to have the Rupert property.Template:R A geometric problem of doubling the cube—alternatively known as the Delian problem—requires the construction of a cube with a volume twice the original by using only a compass and straightedge. Ancient mathematicians could not solve this problem until the French mathematician Pierre Wantzel proved it was impossible in 1837.Template:R

The cube has three types of closed geodesics, or paths on a cube's surface that are locally straight. In other words, they avoid the vertices, follow line segments across the faces that they cross, and form complementary angles on the two incident faces of each edge that they cross. One type lies in a plane parallel to any face of the cube, forming a square, with the length being equal to the perimeter of a face, four times the length of each edge. Another type lies in a plane perpendicular to the long diagonal, forming a regular hexagon; its length is 32 times that of an edge. The third type is a non-planar hexagon.Template:R

Relation to the spheres

With edge length a, the inscribed sphere of a cube is the sphere tangent to the faces of a cube at their centroids, with radius 12a. The midsphere of a cube is the sphere tangent to the edges of a cube, with radius 22a. The circumscribed sphere of a cube is the sphere tangent to the vertices of a cube, with radius 32a.Template:R

For a cube whose circumscribed sphere has radius R, and for a given point in its three-dimensional space with distances di from the cube's eight vertices, it is:Template:R 18i=18di4+16R49=(18i=18di2+2R23)2.

Symmetry

The cube has octahedral symmetry Oh. There are nine reflection symmetries (where two halves cut by a plane are identical): five cut the cube from the midpoints of its edges, and four are cut diagonally. It also has octahedral rotational symmetry (whereby rotation around the axis results in an identical appearance) O: three axes pass through the centroids of the cube's opposite faces, six through the midpoints of the cube's opposite edges, and four through the cube's opposite vertices; these axes are respectively four-fold rotational symmetry (0°, 90°, 180°, and 270°), two-fold rotational symmetry (0° and 180°), and three-fold rotational symmetry (0°, 120°, and 240°).Template:R Its automorphism group has order 48; that is, the cube has 48 isometries.Template:R

File:Dual Cube-Octahedron.svg
The dual polyhedron of a cube is the regular octahedron

The dual polyhedron can be obtained from each of the polyhedra's vertices tangent to a plane by a process known as polar reciprocation.Template:R One property of dual polyhedra is that the polyhedron and its dual share their three-dimensional symmetry point group. In this case, the dual polyhedron of a cube is the regular octahedron, and both of these polyhedra has the same octahedral symmetry.Template:R

The cube is face-transitive, meaning its two squares are alike and can be mapped by rotation and reflection.Template:R It is vertex-transitive, meaning all of its vertices are equivalent and can be mapped isometrically under its symmetry.Template:R It is also edge-transitive, meaning the same kind of faces surround each of its vertices in the same or reverse order, all two adjacent faces have the same dihedral angle. Therefore, the cube is a regular polyhedron.Template:R Each vertex is surrounded by three squares, so the cube is 4.4.4 by vertex configuration or {4,3} in a Schläfli symbol.Template:R

Applications

Template:Multiple image Cubes have appeared in many roles in popular culture. It is the most common form of dice.Template:R Puzzle toys such as pieces of a Soma cube,Template:R Rubik's Cube, and Skewb are built of cubes.Template:R Minecraft is an example of a sandbox video game of cubic blocks.Template:R The outdoor sculpture Alamo (1967) is a cube standing on a vertex.Template:R Optical illusions such as the impossible cube and Necker cube have been explored by artists such as M. C. Escher.Template:R Salvador Dalí's painting Corpus Hypercubus (1954) contains a tesseract unfolding into a six-armed cross; a similar construction is central to Robert A. Heinlein's short story "And He Built a Crooked House" (1940).Template:R The cube was applied in Alberti's treatise on Renaissance architecture, De re aedificatoria (1450).Template:R Cube houses in the Netherlands are a set of cubical houses whose hexagonal space diagonals becomes the main floor.Template:R

Template:Multiple image Cubes are also found in natural science and technology. It is applied to the unit cell of a crystal known as a cubic crystal system.Template:R Pyrite is an example of a mineral with a commonly cubic shape, although there are many varied shapes.Template:R The radiolarian Lithocubus geometricus, discovered by Ernst Haeckel, has a cubic shape.Template:R A historical attempt to unify three physics ideas of relativity, gravitation, and quantum mechanics used the framework of a cube known as a cGh cube.Template:R Cubane is a synthetic hydrocarbon consisting of eight carbon atoms arranged at the corners of a cube, with one hydrogen atom attached to each carbon atom.Template:R

Other technological cubes include the spacecraft device CubeSat,Template:R and thermal radiation demonstration device Leslie cube.Template:R Cubical grids are usual in three-dimensional Cartesian coordinate systems.Template:R In computer graphics, an algorithm divides the input volume into a discrete set of cubes known as the unit on isosurface,Template:R and the faces of a cube can be used for mapping a shape.Template:R

Template:Multiple image The Platonic solids are five polyhedra known since antiquity. The set is named for Plato who, in his dialogue Timaeus, attributed these solids to nature. One of them, the cube, represented the classical element of earth because of its stability.Template:Sfnp Euclid's Elements defined the Platonic solids, including the cube, and showed how to find the ratio of the circumscribed sphere's diameter to the edge length.Template:R Following Plato's use of the regular polyhedra as symbols of nature, Johannes Kepler in his Harmonices Mundi sketched each of the Platonic solids; he decorated the cube's side with a tree.Template:Sfnp In his Mysterium Cosmographicum, Kepler also proposed that the ratios between sizes of the orbits of the planets are the ratios between the sizes of the inscribed and circumscribed spheres of the Platonic solids. That is, if the orbits are great circles on spheres, the sphere of Mercury is tangent to a regular octahedron, whose vertices lie on the sphere of Venus, which is in turn tangent to a regular icosahedron, within the sphere of Earth, within a regular dodecahedron, within the sphere of Mars, within a regular tetrahedron, within the sphere of Jupiter, within a cube, within the sphere of Saturn. In fact, the orbits are not circles but ellipses (as Kepler himself later showed), and these relations are only approximate.Template:R

Construction

File:The 11 cubic nets.svg
The eleven nets of a cube

An elementary way to construct a cube is using its net, an arrangement of edge-joining polygons, by connecting the edges of those polygons. Eleven nets for the cube are possible (see right).Template:R

In analytic geometry, a cube may be constructed using the Cartesian coordinate systems. For a cube centered at the origin, with edges parallel to the axes and with an edge length of 2, the Cartesian coordinates of the vertices are (±1,±1,±1).Template:R Its interior consists of all points (x0,x1,x2) with 1<xi<1 for all i. A cube's surface with center (x0,y0,z0) and edge length of 2a is the locus of all points (x,y,z) such that max{|xx0|,|yy0|,|zz0|}=a.

The cube is a Hanner polytope, because it can be constructed by using the Cartesian product of three line segments. Its dual polyhedron, the regular octahedron, is constructed by the direct sum of three line segments.Template:R

Representation

As a graph

Script error: No such module "Labelled list hatnote".

File:Cube skeleton.svg
The graph of a cube

According to Steinitz's theorem, a graph can be represented as the skeleton of a polyhedron. Such a graph has two properties: planar (the edges of a graph are connected to every vertex without crossing other edges), and 3-connected (whenever a graph with more than three vertices, and two of the vertices are removed, the edges remain connected).Template:R The skeleton of a cube, represented as the graph, is called the cubical graph, a Platonic graph. It has the same number of vertices and edges as the cube, twelve vertices and eight edges.Template:R The cubical graph is also classified as a prism graph, resembling the skeleton of a cuboid.Template:R

The cubical graph is a special case of hypercube graph or n-cube—denoted as Qn—because it can be constructed by using the Cartesian product of graphs: two graphs connecting the pair of vertices with an edge to form a new graph.Template:R In the case of the cubical graph, it is the product of two Q2; roughly speaking, it is a graph resembling a square. In other words, the cubical graph is constructed by connecting each vertex of two squares with an edge. Notationally, the cubical graph is Q3.Template:R Like any hypercube graph, it has a cycle which visits every vertex exactly once,Template:R and it is also an example of a unit distance graph.Template:R

The cubical graph is bipartite, meaning every independent set of four vertices can be disjoint and the edges connected in those sets.Template:R However, every vertex in one set cannot connect all vertices in the second, so this bipartite graph is not complete.Template:R It is an example of both a crown graph and a bipartite Kneser graph.Template:R

In orthogonal projection

An object illuminated by parallel rays of light casts a shadow on a plane perpendicular to those rays, called an orthogonal projection. A polyhedron is considered equiprojective if, for some position of the light, its orthogonal projection is a regular polygon. The cube is equiprojective because, if the light is parallel to one of the four lines joining a vertex to the opposite vertex, its projection is a regular hexagon.Template:R

As a configuration matrix

The cube can be represented as a configuration matrix, a matrix in which the rows and columns correspond to the elements of a polyhedron as the vertices, edges, and faces. The diagonal of a matrix denotes the number of each element that appears in a polyhedron, whereas the non-diagonal of a matrix denotes the number of the column's elements that occur in or at the row's element. The cube's eight vertices, twelve edges, and six faces are denoted by each element in a matrix's diagonal (8, 12, and 6). The first column of the middle row indicates that there are two vertices on each edge, denoted as 2; the middle column of the first row indicates that three edges meet at each vertex, denoted as 3. The following matrix is:Template:R [8332122446]

Related figures

Construction of polyhedra

Template:Multiple image The cube can appear in the construction of a polyhedron, and some of its types can be derived differently in the following:

The cube can be constructed with six square pyramids, tiling space by attaching their apices. In some cases, this produces the rhombic dodecahedron circumscribing a cube.Template:R

Polycubes

Script error: No such module "Labelled list hatnote".

File:Net of tesseract.gif
Dali cross, the net of a tesseract

The Polycube is a polyhedron in which the faces of many cubes are attached. Analogously, it can be interpreted as the polyominoes in three-dimensional space.Template:R When four cubes are stacked vertically, and the other four are attached to the second-from-top cube of the stack, the resulting polycube is the Dali cross, named after Salvador Dali. The Dali cross is a tile space polyhedron,Template:R which can be represented as the net of a tesseract. A tesseract is a cube's analogous four-dimensional space bounded by twenty-four squares and eight cubes.Template:R

Space-filling and honeycombs

Hilbert's third problem asks whether every two equal-volume polyhedra can always be dissected into polyhedral pieces and reassembled into each other. If yes, then the volume of any polyhedron could be defined axiomatically as the volume of an equivalent cube into which it could be reassembled. Max Dehn solved this problem by inventing the Dehn invariant, answering that not all polyhedra can be reassembled into a cube.Template:R It showed that two equal volume polyhedra should have the same Dehn invariant, except for the two tetrahedra whose Dehn invariants were different.Template:R

File:Partial cubic honeycomb.png
Cubic honeycomb

The cube has a Dehn invariant of zero, meaning that cubes can achieve a honeycomb. It is also a space-filling tile in three-dimensional space in which the construction begins by attaching a polyhedron onto its faces without leaving a gap.Template:R The cube is a plesiohedron, a special kind of space-filling polyhedron that can be defined as the Voronoi cell of a symmetric Delone set.Template:R The plesiohedra include the parallelohedra, which can be translated without rotating to fill a space in which each face of any of its copies is attached to a like face of another copy. There are five kinds of parallelohedra, one of which is the cuboid.Template:R Every three-dimensional parallelohedron is a zonohedron, a centrally symmetric polyhedron whose faces are centrally symmetric polygons.Template:R In the case of the cube, it can be represented as a cell. Some honeycombs have cubes as the only cells; one example is the cubic honeycomb, the only regular honeycomb in Euclidean three-dimensional space, which has four cubes around each edge.Template:R

Miscellaneous

Template:Multiple image Script error: No such module "anchor".The polyhedral compounds, in which the cubes share the same centre, are uniform polyhedron compounds, meaning they are polyhedral compounds whose constituents are identical (although possibly enantiomorphous) uniform polyhedra, in an arrangement that is also uniform. Respectively, the list of compounds enumerated by Template:Harvtxt in the seventh to ninth uniform compounds for the compound of six cubes with rotational freedom, three cubes, and five cubes.Template:R Two compounds, consisting of two and three cubes were found in Escher's wood engraving print Stars and Max Brückner's book Vielecke und Vielflache.Template:R

Template:Multiple image Script error: No such module "anchor".The spherical cube represents the spherical polyhedron, which can be modeled by the arc of great circles, creating bounds as the edges of a spherical square.Template:R Hence, the spherical cube consists of six spherical squares with 120° interior angles on each vertex. It has vector equilibrium, meaning that the distance from the centroid and each vertex is the same as the distance from that and each edge.Template:R Its dual is the spherical octahedron.Template:R

The topological object three-dimensional torus is a topological space defined to be homeomorphic to the Cartesian product of three circles. It can be represented as a three-dimensional model of the cube shape.Template:R

See also

References

Template:Reflist

External links

Template:General geometry

Template:Convex polyhedron navigator Template:Authority control