Cube
Introduction and Fundamentals
Definition
A cube is defined as a regular hexahedron, a three-dimensional polyhedron consisting of six congruent square faces, twelve edges of equal length, and eight vertices where three faces meet at each.[8] This structure makes it the only regular convex hexahedron, with all faces meeting at right angles.[8] As one of the five Platonic solids, the cube exemplifies a convex polyhedron where all faces are identical regular polygons—specifically squares—and the same number of faces (three) converge at each vertex, ensuring uniformity in its geometric form.[9] These solids, including the cube, are characterized by being equilateral, with all edges of identical length, and equiangular within their faces, adhering to the strict regularity criteria established in Euclidean geometry.[9] The term "cube" originates from the Ancient Greek word kúbos (κύβος), meaning a six-sided die, which entered English through Latin cubus and Old French cube, historically linking the shape to cubic dice used in games.[10] In the context of Euclidean geometry, the cube functions as the foundational three-dimensional analog of the square, representing the extension of a two-dimensional regular polygon into a fully symmetric solid figure.[8]Basic Elements
The cube is composed of six square faces.[8] Each square face is bounded by four edges and contains four vertices. The cube has twelve edges in total.[8] Each edge connects two vertices and is shared by exactly two faces. There are eight vertices on the cube.[8] At each vertex, three edges meet, and three faces are incident.[11] These counts satisfy the Euler characteristic for convex polyhedra: $ V - E + F = 8 - 12 + 6 = 2 $.[12] Each face shares an edge with four other faces, while the remaining face is opposite and non-adjacent.[13] These connectivity relations underpin the cube's octahedral symmetry group.[8]Geometric Properties
Metric Characteristics
The cube is characterized metrically by its edge length , which defines all its primary dimensions as a regular hexahedron with equal edges.[8] Each of the six square faces has an area of , yielding a total surface area of .[8] The volume enclosed by the cube is , representing the space it occupies in three dimensions.[8] The face diagonal, spanning from one vertex to the non-adjacent vertex on the same square face, measures . This length arises from applying the Pythagorean theorem to the right triangle formed by two perpendicular edges of length on the face.[8] The space diagonal, connecting opposite vertices through the cube's interior, has length . To derive this, consider the cube positioned in 3D Cartesian coordinates with vertices at and ; the Euclidean distance is , extending the Pythagorean theorem to three dimensions.[8] The surface-to-volume ratio of highlights scaling effects, where larger cubes become relatively more voluminous compared to their surface, influencing applications in optimization and physics.Associated Spheres
The cube is associated with three principal spheres: the insphere, midsphere, and circumsphere, each defined by tangency or passage through specific elements of the polyhedron. These spheres are centered at the cube's centroid due to its high symmetry. For a cube with side length , the formulas for their radii can be derived using Cartesian coordinates, positioning the cube with its center at the origin and vertices at .[8] The insphere, also known as the inscribed sphere, is tangent to all six faces of the cube at their centroids. The inradius is given by , corresponding to the perpendicular distance from the center to any face, such as the plane . This sphere fits snugly inside the cube, touching each square face at its center point.[8] The midsphere, or intersphere, is tangent to all twelve edges of the cube at their midpoints. The midradius is , calculated as the distance from the center to an edge midpoint, for example, the point on the edge parallel to the z-axis. This configuration highlights the cube's uniform edge lengths and perpendicular face arrangements, enabling such tangency.[8] The circumsphere passes through all eight vertices of the cube. The circumradius is , derived from the Euclidean distance from the center to a vertex like , yielding . These spheres collectively illustrate the cube's geometric harmony, with their centers coinciding along the symmetry axes of the polyhedron.[8]Symmetry Group
The symmetry group of the cube encompasses all isometries that map the cube onto itself, preserving its geometric structure. The rotational symmetry group, consisting of orientation-preserving transformations, has order 24 and is isomorphic to the symmetric group , which permutes the four main space diagonals of the cube.[14] This isomorphism arises because each rotation corresponds to a unique permutation of these diagonals, providing a concrete realization of in three-dimensional space.[15] The full symmetry group, including reflections and other orientation-reversing isometries, has order 48 and is isomorphic to the direct product , where the factor accounts for the inclusion of improper rotations or reflections. The rotational subgroup forms an index-2 normal subgroup within this full group, highlighting the chiral nature of the pure rotations: the cube and its mirror image are enantiomers under rotations alone but become superimposable when reflections are allowed.[16] Orientation-reversing isometries, such as reflections and improper rotations (rotoreflections), reverse the handedness of the object, enabling the full set of 48 symmetries. The rotational symmetries can be classified by their axes and angles. There are three 4-fold rotation axes passing through the centers of opposite faces, supporting rotations of 90°, 180°, and 270° (9 non-identity rotations total). Four 3-fold axes pass through opposite vertices, allowing 120° and 240° rotations (8 rotations). Six 2-fold axes go through the midpoints of opposite edges, each permitting a 180° rotation (6 rotations). Including the identity, these account for the full order of 24.[17] The orientation-reversing symmetries include reflections across nine distinct planes. Three of these planes are parallel to pairs of opposite faces and pass through the cube's center, reflecting the structure across the principal coordinate directions. The remaining six are diagonal planes, each passing through a pair of opposite edges and the center, bisecting the dihedral angles between adjacent faces. These reflections, combined with the rotations, generate the complete symmetry group, with the diagonal planes particularly illustrating the cube's ability to map edges to adjacent positions under mirroring.Constructions
Physical Models
One straightforward method for constructing a physical model of a cube involves folding a paper net, a two-dimensional pattern of six connected squares that unfolds the cube's surfaces. Common configurations include the cross-shaped net, where four squares form a vertical column flanked by one square on each side of the second and third squares from the top, allowing the paper to be cut, creased along edges, and taped or glued into a three-dimensional form. This approach is widely used in educational settings to demonstrate geometric assembly.[18] There are exactly 11 distinct nets for a cube, each valid for folding without overlap, providing varied options for hands-on creation from materials like cardstock.[19] For more robust models, woodworking techniques entail cutting square wooden pieces to an edge length and joining them at right angles using methods such as mitered corners, dowels, or glue to enclose the volume. Softwoods like pine are often selected for ease of cutting and finishing with sandpaper to achieve smooth faces.[20] Similarly, 3D printing enables precise fabrication by modeling a cube with edge length in software, then layering filament or resin additively to build the solid object, commonly used for calibration tests where a 20 mm edge verifies printer accuracy.[21][22] Cubes have long been produced as dice through specialized manufacturing, with ancient examples carved from bone or ivory for uniformity in early gaming and divination practices across Mesopotamian, Egyptian, and Greco-Roman cultures.[23] Modern dice are typically molded from plastic or filled resins to ensure balanced weight distribution and numbered faces, allowing mass production of precise 16 mm or larger edge lengths.[24] Dissection puzzles offer an interactive way to assemble a cube from component pieces, as in the Soma cube, where seven irregular polycubes consisting of one piece of three unit cubes and six pieces of four unit cubes each interlock to create a 3×3×3 structure of 27 unit volumes.[25][26] These puzzles emphasize spatial reasoning in physical construction, often using wooden or plastic blocks glued or fitted together. Such assemblies relate briefly to broader polycube models, where unit cubes connect face-to-face to form larger composite shapes.[27]Mathematical Formulations
The unit cube centered at the origin in three-dimensional Euclidean space is defined by its eight vertices, given by all possible combinations of coordinates .[8] This positioning ensures the cube has side length 1 and is symmetric about the coordinate axes, with faces parallel to the coordinate planes.[8] A general cube in Euclidean space can be obtained by applying affine transformations to this unit cube, including translations, rotations, and scalings. An affine transformation is represented as , where is a point on the unit cube, is a invertible matrix encoding linear transformations (such as rotation via orthogonal matrices or scaling via diagonal matrices), and is the translation vector.[28] For example, to position and orient the cube arbitrarily, one first applies a rotation matrix (with ) followed by scaling and translation , yielding the composite and the full map .[29] Edges of the cube can be parameterized using vectors between adjacent vertices. For an edge connecting vertices and , the parametric equation is , where .[29] Faces, being squares, require two parameters: for a face spanned by vectors and from a base vertex , the parameterization is , with .[29] Matrix representations facilitate generating the cube via affine transformations from a single point, such as the origin. Starting from the origin, successive applications of edge vectors along the axes (e.g., , , for a unit cube aligned with axes) produce vertices through combinations like for , then generalized by the affine map to arbitrary position.[28] In the Cartesian coordinate system, an axis-aligned cube serves as the axis-aligned bounding box (AABB) for a set of points, defined by the interval where and bound the extents along each axis, with the cube encompassing all points satisfying , , .[30]Representations
Graph Theory View
In graph theory, the cube's skeleton is represented by the cube graph $ Q_3 $, which has 8 vertices corresponding to the cube's corners and 12 edges corresponding to its edges; it is a 3-regular graph, with every vertex having degree 3.[31] This graph is bipartite, partitioned into two sets of 4 vertices each, where one set consists of vertices with an even number of adjacent edges in the cube's structure (or even parity in binary labeling), and the other with odd parity.[32] As the 3-dimensional hypercube graph, $ Q_3 $ is defined on the vertex set of all binary strings of length 3, with edges between strings that differ in exactly one position, establishing its isomorphism to the hypercube $ Q_3 $.[31] The graph $ Q_3 $ admits both Hamiltonian paths and cycles; a Hamiltonian cycle traverses all 8 vertices exactly once before returning to the starting vertex, and such cycles exist in all hypercube graphs including $ Q_3 $.[33] Shortest path distances in $ Q_3 $ are determined by the Hamming distance between binary labels of vertices, ranging from 1 (adjacent vertices) to 3 (antipodal vertices), with the graph's diameter being 3.[31] The automorphism group of $ Q_3 $, consisting of all graph isomorphisms from the graph to itself, has order 48; this matches the order of the cube's rotational and reflectional symmetry group.[34] Spectral properties of $ Q_3 $ are captured by its adjacency matrix, a symmetric 8×8 matrix with 0s on the diagonal and 1s for adjacent vertices. The eigenvalues are $ 3 $ (multiplicity 1), $ 1 $ (multiplicity 3), $ -1 $ (multiplicity 3), and $ -3 $ (multiplicity 1), reflecting the graph's regularity and bipartiteness.[31]Orthogonal Projections
Orthogonal projections of a cube onto a two-dimensional plane involve mapping the three-dimensional vertices along lines perpendicular to the projection plane, preserving parallelism among edges but potentially obscuring some features due to overlaps. These projections are fundamental in technical drawing and computer graphics for representing the cube without depth distortion from perspective. The appearance varies based on the orientation of the projection direction relative to the cube's axes, faces, edges, or diagonals.[35] In the face-on projection, the direction is aligned with one of the cube's principal axes, perpendicular to a pair of opposite faces, resulting in a square outline on the projection plane. The visible edges form the front square, while the back face and connecting edges are hidden behind it, often indicated by dashed lines in drawings to convey the full structure. For a unit cube centered at the origin with vertices at (\pm 1, \pm 1, \pm 1), projecting onto the xy-plane (direction along the z-axis) simply discards the z-coordinate, yielding the square with vertices at all combinations of (\pm 1, \pm 1)./06%3A_Orthogonality/6.03%3A_Orthogonal_Projection)[36] The edge-on projection occurs when the projection direction is parallel to a face diagonal, such as along the vector (1,1,0) for the xy-face. This yields a rectangular silhouette, with the longer side corresponding to the projected length of edges perpendicular to the direction, and visible diagonals appearing as lines connecting the corners of adjacent faces. Hidden edges include those parallel to the projection direction, which collapse to points. Using the general orthogonal projection matrix $ P = I - \mathbf{n} \mathbf{n}^T $ where $ \mathbf{n} $ is the unit normal to the plane (or equivalently, the projection direction), for this case with $ \mathbf{n} = \frac{1}{\sqrt{2}}(1,1,0)^T $, the matrix is
applied to the vertices before extracting 2D coordinates./06%3A_Orthogonality/6.03%3A_Orthogonal_Projection)[37]
The vertex-on projection aligns the direction with a space diagonal, such as (1,1,1), producing a regular hexagonal outline formed by the silhouette of three adjacent faces. Internal lines connect opposite vertices, revealing the cube's depth structure without overlaps obscuring the hexagon's regularity. For the unit cube, with $ \mathbf{n} = \frac{1}{\sqrt{3}}(1,1,1)^T $, the projection matrix is
and applying P to the vertices yields the hexagonal points after coordinate reduction. This projection highlights the cube's threefold rotational symmetry around the diagonal./06%3A_Orthogonality/6.03%3A_Orthogonal_Projection)[36]
Unlike perspective projections, where parallel lines converge to vanishing points, strict orthogonal projections maintain all parallel edges as parallel in the 2D image, eliminating depth cues from convergence but introducing no distortion in angles or lengths along the projection direction.[38]
Configuration Matrices
The cube realizes a fundamental point-line configuration in incidence geometry, denoted as the (8_3 12_2) configuration, comprising 8 points and 12 lines such that each point is incident with exactly 3 lines and each line contains exactly 2 points. Here, the points correspond to the vertices of the cube, and the lines to its edges, with incidence reflecting the adjacency structure. This incidence structure is formally encoded by the vertex-edge incidence matrix, an 8×12 binary matrix where the rows index the 8 points (vertices), the columns index the 12 lines (edges), and the entry if point lies on line , and 0 otherwise. The row sums of are all 3, reflecting the degree of each vertex, while the column sums are all 2, as each edge connects two vertices; the matrix thus satisfies and , where denotes the all-ones vector of length . The dual configuration interchanges the roles of points and lines, yielding a (12_2 8_3) configuration with 12 points (now the original edges) and 8 lines (the original vertices), where each point is incident with 2 lines and each line contains 3 points. This duality preserves the total number of incidences (24 in both cases) and highlights the symmetric combinatorial properties of the cube's skeleton. Combinatorially, the Levi graph of this configuration—a bipartite graph with 8 vertices on one part (points), 12 on the other (lines), and 24 edges corresponding to incidences—is a (3,2)-regular bipartite graph of girth 6, as the underlying structure admits no two points on multiple lines or two lines through multiple points. This Levi graph relates to the graph-theoretic view of the cube by capturing the full incidence beyond mere vertex adjacency.Related Figures
Dual and Truncations
The dual polyhedron of the cube is the regular octahedron, in which each vertex of the octahedron corresponds to the center of a face on the cube, and each face of the octahedron corresponds to a vertex of the cube.[39] This duality preserves the combinatorial structure, with the cube's 6 faces mapping to the octahedron's 6 vertices and its 8 vertices mapping to the octahedron's 8 triangular faces.[40] Rectification of the cube involves truncating its vertices until they meet at the midpoints of the original edges, yielding the cuboctahedron as the resulting quasiregular polyhedron.[41] The cuboctahedron features 8 equilateral triangular faces from the original vertices and 6 square faces from the original faces, with all edges of equal length and 12 vertices where two triangles and two squares meet alternately.[42] Further truncation of the cube, cutting off vertices to produce regular faces, results in the truncated cube, an Archimedean solid with 8 equilateral triangular faces and 6 regular octagonal faces, 24 vertices, and 36 edges.[43] Each vertex of the truncated cube is surrounded by one triangle and two octagons. In this construction from a cube of side length , the uniform edge length of the truncated cube satisfies .[44] The rhombic dodecahedron arises as the dual of the rectified cube (cuboctahedron) and represents the bitruncated form in the dual truncation sequence of the cube and octahedron.[45] It consists of 12 congruent rhombic faces, with 14 vertices (8 of degree 3 and 6 of degree 4) and 24 edges, and is notable for its role in space-filling tessellations.[46]Compound and Derived Polyhedra
The stella octangula, a regular polyhedral compound consisting of two dual regular tetrahedra interpenetrating each other, represents a key derivation from the cube, as its edges align with the face diagonals of a circumscribed cube.[47] This compound was first described and named by Johannes Kepler in his 1619 work Harmonices Mundi, where he recognized it as a stellation of the regular octahedron and noted its inscription within a cube, highlighting the cube's role in generating such star polyhedra through dual interpenetration.[47] Kepler's construction emphasized the geometric harmony between the cube and its dual octahedron, with the stella octangula emerging as their skeletal intersection in compound form.[48] Derived polyhedra from the cube include uniform polyhedra such as the cuboctahedron, which arises as the rectification of the cube (or equivalently, the convex hull of the cube-octahedron compound), featuring eight triangular and six square faces.[49] Stellating the cuboctahedron yields further compounds, with the first stellation being the cube-octahedron compound itself, where the cube and its dual octahedron share the same center, demonstrating how cube-based derivations extend to Archimedean solids and their star variants.[49] These uniform derivations maintain the cube's octahedral symmetry group while expanding its facial structure, as explored in enumerations of stellated cuboctahedra that preserve regularity.[48] Rhombohedra, particularly golden rhombohedra with edge lengths related by the golden ratio, can be dissected into cubes, illustrating the cube's foundational role in parallelohedral decompositions. For instance, half an obtuse golden rhombohedron combined with half an acute golden rhombohedron dissects into a single cube, a result achieved through planar cuts that align with cubic lattice points.[50] This dissection underscores the cube's utility as a unit in tiling rhombohedral volumes, with applications in quasicrystal modeling where such polyhedra approximate aperiodic structures built from cubic subunits.[50] The cube serves as the isotropic building block for cuboids, which generalize it by allowing unequal edge lengths while retaining right-angled parallelepiped form, thus extending cubic symmetry to rectangular prisms used in crystallographic and architectural contexts. This derivation preserves the cube's topological properties, such as six quadrilateral faces, but introduces anisotropy for practical modeling of volumes in three dimensions.Polycubes and Dissections
Polycubes are three-dimensional polyforms formed by connecting one or more unit cubes face to face along their faces, creating connected solid figures in the cubic lattice. They generalize polyominoes to three dimensions and are classified as fixed, one-sided, or free depending on whether rotations and reflections are considered distinct. Fixed polycubes treat different orientations and mirror images as unique, while one-sided polycubes identify rotations but distinguish reflections, and free polycubes identify both. Connectivity is defined by shared full faces, ensuring the structure is simply connected without holes unless specified otherwise.[51] The basic building blocks include the monomino (a single cube, n=1), the domino or dicube (two cubes, n=2), and the tromino or tricube (three cubes, n=3). For fixed polycubes, there is 1 monomino, 3 dicubes (one along each coordinate axis), and 15 tricubes (3 straight and 12 L-shaped in various orientations). Enumeration of fixed polycubes of size n, denoted A_3(n), is a classic problem in combinatorial geometry, with known values up to n=28 computed using transfer-matrix methods and computer enumeration. The sequence begins 1, 3, 15, 86, 534, 3481 for n=1 to 6, growing asymptotically as approximately 7.20^n. Seminal work on enumeration includes Lunnon's 1972 computations up to n=10 and later extensions by Redelmeier and others using recursive generation algorithms that build polycubes cell by cell while avoiding duplicates via canonical representations.[52] Cube dissections involve dividing a cube into smaller pieces, often polycubes, to form other shapes or solve puzzles, highlighting properties like volume preservation and rigidity. A landmark result is the resolution of Hilbert's third problem, posed in 1900, which asked whether a cube and a regular tetrahedron of equal volume can be dissected into finitely many congruent polyhedral pieces. Max Dehn proved in 1901 that no such dissection exists by introducing the Dehn invariant, a scissors congruence invariant based on edge lengths and dihedral angles in terms of π; the cube has Dehn invariant zero, while the tetrahedron's is nonzero, making them non-dissectible despite equal volumes. This invariant has since been generalized to higher dimensions and used in geometric topology. The Soma cube exemplifies polycube dissections in recreational mathematics. Invented by Piet Hein in 1933 and popularized by Martin Gardner in 1958, it consists of seven irregular polycubes: one tricube and six tetracubes, selected from the 8 free tetracubes to avoid chirality issues. These pieces can be assembled in 240 distinct ways (up to rotation) to form a 3×3×3 cube of volume 27, demonstrating how polycubes enable finite dissections for puzzle design. Physical models of these pieces, often made from wood or plastic, facilitate hands-on exploration of assembly configurations.Tesselations and Honeycombs
The cubic honeycomb is the regular tessellation of three-dimensional Euclidean space by cubes, where each cube shares faces with six adjacent cubes, four cubes meet at each vertex, and four cubes surround each edge.[53] This structure, denoted by the Schläfli symbol {4,3,4}, arises from the natural packing of cubes along orthogonal axes, filling space without gaps or overlaps and achieving a packing density of 1.[54] The dihedral angle of the cube, measuring 90°, facilitates this orthogonal arrangement, allowing cubes to align perfectly at right angles without angular mismatches that would prevent complete space filling.[8] In the context of lattice theory, the Voronoi cell associated with the face-centered cubic lattice—which relates to the dual structure of the cubic honeycomb—is the rhombic dodecahedron, a space-filling polyhedron that partitions space around lattice points.[55] Variations of the cubic honeycomb include the alternated cubic honeycomb, also known as the tetrahedral-octahedral honeycomb, which substitutes cubes with regular tetrahedra and octahedra while maintaining space-filling properties through alternation of the original cubic cells.[56] Another form is the bitruncated cubic honeycomb, composed of truncated octahedra, representing a uniform truncation that preserves the tessellation of space.[57] These variations highlight the cubic honeycomb's role as a foundational regular tessellation from which other uniform honeycombs can be derived via operations like alternation and truncation.Applications
In Mathematics
In number theory, the cube plays a prominent role in the study of sums of cubes, particularly through taxicab numbers, which are positive integers that can be expressed as the sum of two positive cubes in multiple distinct ways. The smallest such nontrivial number is 1729, known as the Hardy–Ramanujan number, satisfyingThis equality was noted by Srinivasa Ramanujan during a conversation with G. H. Hardy in 1919, highlighting the cube's utility in Diophantine equations involving higher powers.[58] More generally, the search for numbers expressible as sums of cubes connects to Waring's problem, where every natural number can be represented as a sum of at most nine positive cubes, though only finitely many require nine.[58] In group theory, the cube serves as a fundamental domain for certain crystallographic groups, which are discrete subgroups of isometries of Euclidean space preserving a lattice. For instance, specific Bieberbach groups, such as those classifying flat 3-manifolds, admit the cube as a normal fundamental polyhedron, meaning the group action tiles space by translates and rotations of the cube without overlaps or gaps in the interior. This property arises because the cube's symmetry aligns with the group's translational and rotational structure, facilitating the computation of orbifolds and cohomology in geometric group theory.[59] The full symmetry group of the cube, including reflections, is the octahedral group of order 48, isomorphic to , underscoring its role in finite group representations.[16] Topologically, the 3-cube (or unit cube ) provides a standard model for the closed 3-ball, being homeomorphic to the set of points in at distance at most 1 from the origin, with its boundary homeomorphic to the 2-sphere . This equivalence follows from the cube's contractibility and the fact that its boundary consists of six squares glued along edges, forming a spherical surface. In broader contexts, cubes feature in cubical complexes, which parallel simplicial complexes but use hypercubes as building blocks; these are essential in studying CAT(0) spaces and hyperbolic groups, where the cube's combinatorial structure aids in defining nonpositively curved metrics.[60][61] The cube also underlies fractal constructions, notably the Menger sponge, introduced by Karl Menger in 1926 as an example of a space with topological dimension 1 but Hausdorff dimension . Starting from a unit cube subdivided into 27 smaller cubes of side , the construction removes the central cube and the six face-centered cubes iteratively, yielding a porous object with zero volume but infinite surface area in the limit. This iteration demonstrates the cube's role in generating self-similar sets with pathological connectivity, such as being universally curve-like—any continuous curve in 3-space embeds in the sponge.[62] A classic problem involving cube dissections concerns whether a cube can be partitioned into finitely many smaller cubes of unequal sizes. This is impossible, as proved by combinatorial arguments showing that assuming such a dissection leads to a contradiction via infinite descent, where the placement of the smallest cube implies the existence of an even smaller one, highlighting the cube's rigidity in Euclidean dissections compared to 2D analogs like squared squares.[63]