Regular octahedron

A regular octahedron is a polyhedron with eight equilateral triangles. Each vertex is the meet of four edges and four faces. Hence, the regular octahedron has eight faces, twelve edges and six vertices. It is a convex polyhedron, and like any convex polyhedron, it has Euler's characteristic of 2, according to the formula V - E + F = 2 ; the three letters denote respectively the number of vertices, edges, and faces. A regular octahedron is one of the Platonic solids, a set of convex polyhedra whose faces are congruent regular polygons. Platonic solids are the ancient set of five polyhedra named after Plato, relating them to classical elements in his Timaeus dialogue. The regular octahedron represents wind. Following his attribution with nature, Johannes Kepler in his Harmonices Mundi sketched each of the Platonic solids. In his Mysterium Cosmographicum, Kepler also proposed the Solar System by using the Platonic solids, setting into another one and separating them with six spheres resembling the six planets. The ordered solids started from the innermost to the outermost: regular octahedron, regular icosahedron, regular dodecahedron, regular tetrahedron, and cube. Measurements The surface area of a regular octahedron A can be ascertained by summing the area of all its eight equilateral triangles. For its volume V , one can cut the regular octahedron into two equilateral square pyramids (see ), hence the volume is twice as the pyramids' volume by adding together. Let a be the edge length of a regular octahedron, then its surface area and volume can be formulated as: A = 2\sqrt{3}a^2 \approx 3.464a^2, \qquad V = \frac{1}{3} \sqrt{2}a^3 \approx 0.471a^3. The radius of a circumscribed sphere r_u (one that touches the octahedron at all vertices), the radius of an inscribed sphere r_i (one that tangent to each of the octahedron's faces), and the radius of a midsphere r_m (one that touches the middle of each edge), are: r_u = \frac{\sqrt{2}}{2}a \approx 0.707a, \qquad r_i = \frac{\sqrt{6}}{6}a \approx 0.408a, \qquad r_m = \frac{1}{2}a = 0.5a. The dihedral angle of a regular octahedron is the angle between its two adjacent triangular faces. The angle can be obtained from the dihedral angle of an equilateral square pyramid. One can construct a regular octahedron by attaching two equilateral square pyramids base-to-base (see ). For the pyramid, the dihedral angle between a triangle and a square is \arctan(\sqrt{2}) \approx 54.7^\circ. Therefore, for the regular octahedron, the dihedral angle between two adjacent triangles that can be made up by such an attachment is twice the square pyramid's square-to-triangle angle. The angle measurement is also equal to the square pyramid's two adjacent triangles' angle. That is: \arctan(\sqrt{2}) + \arctan(\sqrt{2}) = 2\arctan(\sqrt{2}) = \arccos\left(-\frac{1}{3}\right) \approx 109.5^\circ. The regular octahedron has two types of closed geodesics. The closed geodesics are the paths on a regular octahedron'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. These geodesics have the length of 3 and 2\sqrt{3} \approx 3.464. The regular octahedron has a Rupert property, meaning another regular octahedron with the same or larger size can pass through a hole in it. The original name of this property is from Prince Rupert of the Rhine, who wagered whether a cube can pass through a hole in it. English mathematician John Wallis, who recounted the story, answered that it is possible, and the solution was improved by Dutch mathematician Pieter Nieuwland. His solution led to the geometric measurement of the largest polyhedron's hole, known as the "Nieuwland constant". discovered that both a regular octahedron and a regular tetrahedron have the Rupert property. The Nieuwland constant for the regular octahedron with a unit edge length is equal to the cube's, approximately 1.06 . Symmetry and duality The regular octahedron has three-dimensional symmetry groups, namely the octahedral symmetry. The regular octahedron has thirteen axes rotatonal symmetry: three axes of four-fold rotational symmetry (0°, 90°, 180°, and 270°) passing through a pair of vertices oppositing each other, four axes of three-fold rotational symmetry (0°, 120°, and 240°) passing through the center of opposite triangular faces, and six axes of two-fold rotational symmetry (0° and 180°) passing through the pair of opposite edges at their midpoints. Additionally, the regular octahedron has nine reflectional planes. Each of the three planes passes through four vertices on each equator, and each of the six planes passes through the pair of opposite vertices and the center of the pair of opposite edges. The dual polyhedron can be obtained from each of the polyhedra's vertices tangent to a plane by a process known as polar reciprocation. One property of dual polyhedra is that the polyhedron and its dual share their three-dimensional symmetry point group. In the case of a regular octahedron, its dual polyhedron is the cube, and they have the same three-dimensional symmetry groups. Like its dual, the regular octahedron has three properties: any two faces, two vertices, or two edges are transformed by rotation and reflection under the symmetry orbit, such that the appearance remains unchanged; these are isohedral, isogonal, and isotoxal respectively. Hence, it is considered a regular polyhedron. Four triangles surround each vertex, so the regular octahedron is 3.3.3.3 by vertex configuration or \{3,4\} by Schläfli symbol. Combinatorial structure T_{6,3} , as shown in the illustration. The regular octahedron can be drawn into a graph, a structure in graph theory consisting of a set of vertices that are connected with an edge. This is possible because of Steinitz's theorem, which states that a graph can be represented as the vertex-edge graph of a polyhedron, provided it satisfies the following properties. It must be planar (where no edges are crossing each other) and 3-connected (being k -connected means a graph remains connected whenever k - 1 vertices are removed). Its graph called the octahedral graph, a Platonic graph. It has the same number of vertices and edges as the regular octahedron, six vertices and twelve edges. Six vertices of the octahedral graph can be partitioned into three independent sets, which contain different pairs of two opposite vertices. Hence, it is a complete tripartite graph, designated as {{nowrap|1= K_{2,2,2} .}} It is an example of a Turán graph T_{6,3} . It has three boxicities that represent abstract structures' graph by the intersection of axis-parallel boxes in the minimum dimensional Euclidean space. As a 4-connected simplicial, the octahedral graph is one of only four well-covered polyhedra, meaning that all of the maximal independent sets of its vertices have the same size (i.e., the same number of edges). The other three polyhedra with this property are the pentagonal dipyramid, the snub disphenoid, and an irregular polyhedron with 12 vertices and 20 triangular faces. The octahedral graph is one of only six connected graphs in which the neighborhood of every vertex is a cycle of length four or five, the others being the Fritsch graph, the icosahedral graph, and the edge graphs of the pentagonal bipyramid, snub disphenoid and gyroelongated square bipyramid. More generally, when every vertex in a graph has a cycle of length at least four as its neighborhood, the triangles of the graph automatically link up to form a topological surface called a Whitney triangulation. These six graphs come from the six Whitney triangulations that, when their triangles are equilateral, have positive angular defect at every vertex. This makes them a combinatorial analogue of the positively curved smooth surfaces. They come from six of the eight deltahedra—excluding the two that have a vertex with a triangular neighborhood. == Appearances ==

Beyond its existence as a Platonic solid, the regular octahedron appears in many fields, such as nature and science, popular culture, and music theory. In nature and science with octahedral structure The natural crystals with octahedral structures are commonly discovered in diamond, alum, pyrite (although there are more polyhedral structures), and fluorite. The plates of kamacite alloy in octahedrite-structural meteorites are arranged parallel to the eight faces of an octahedron. Many metal ions coordinate six ligands in an octahedral or distorted octahedral configuration. Widmanstätten patterns in nickel-iron crystals. Octahedral molecular geometry is a chemical molecule resembling a regular octahedron in stereochemistry. This structure has a main-group element without an active lone pair, which can be described by a model that predicts the geometry of molecules known as VSEPR theory. The radiolarian Circoporus octahedrus has an octahedral shape. The regular octahedron is the known solution of a six-electron case in Thomson problem, concerning the minimum-energy configuration of charged particles on a sphere. The solution is done by placing the vertices of a regular octahedron inscribed in a sphere. If each edge of an octahedron is replaced by a one-ohm resistor, the resistance between opposite vertices is \frac{1}{2} ohm, and that between adjacent vertices \frac{5}{12} ohm. In popular culture s can approximate an octahedron. An 8-sided die is usually a regular octahedron. In roleplaying games, this is one of the common polyhedral dice, known as a "d8". In music theory The regular octahedron is used in musical tuning systems known as the hexany. Invented by Mexican–American music theorist Erv Wilson, the hexany uses the octahedron's orthogonal projection. Six musical notes can be arranged on the vertices of an octahedron in such a way that each edge represents a consonant dyad (a set of two notes or pitch) and each face represents a consonant triad (a set of three dittos). == As other special cases ==

A regular octahedron is one of the eight convex deltahedra, polyhedra whose faces are all equilateral triangles. It is a composite polyhedron constructed by attaching two equilateral square pyramids base-to-base. When the square pyramids are a right pyramid, the regular octahedron becomes a square bipyramid, wherein its faces are all isosceles triangles. In the case of a square bipyramid, its dual is a square prism. Regardless of the different types of triangles, both a regular octahedron and a square bipyramid are examples of a simplicial polyhedron. The regular octahedron is a type of trigonal antiprism, formed by taking a trigonal prism with equilateral triangle bases and rectangular lateral faces, and replacing the rectangles by alternating isosceles triangles. In the case of the regular octahedron, all of the resulting faces are congruent equilateral triangles. The regular octahedron can also be considered a rectified tetrahedron, sometimes called a tetratetrahedron (by analogy to the cuboctahedron and icosidodecahedron); if alternate faces are considered to have different types (e.g. different colors or orientations), the octahedron can be considered a type of quasiregular polyhedron, a polyhedron in which two different types of polygonal faces alternate around each vertex. It exists in a sequence of symmetries of quasiregular polyhedra and tilings with vertex configurations (3. n)^2 , progressing from tilings of the sphere to the Euclidean plane and into the hyperbolic plane. With orbifold notation symmetry of ^*n32 all of these tilings are Wythoff constructions within a fundamental domain of symmetry, with generator points at the right angle corner of the domain. A regular octahedron is the three-dimensional case of the more general concept of a cross-polytope. == Related figures ==

In construction of polyhedra Several constructions of polyhedra commence from the regular octahedron. • The interior of the compound of two dual tetrahedra is an octahedron, and this compound—called the stella octangula—is its first and only stellation. Correspondingly, a regular octahedron is the result of cutting off from a regular tetrahedron, four regular tetrahedra of half the linear size (i.e. rectifying the tetrahedron). The regular octahedron's vertices lie at the midpoints of the edges of the tetrahedron, and in this sense, it relates to the tetrahedron in the same way that the cuboctahedron and icosidodecahedron relate to the other Platonic solids. • The truncated octahedron is an Archimedean solid, constructed by removing all of the regular octahedron's vertices, resulting in six squares and eight hexagons, leaving out six square pyramids. • The triakis octahedron is a Catalan solid, the Kleetope of a regular octahedron, by attaching triangular pyramids onto its faces, topologically similar to the stellated octahedron. • The uniform tetrahemihexahedron is a tetrahedral symmetry faceting of the regular octahedron, sharing edge and vertex arrangement. It has four of the triangular faces and three central squares. • One can also divide the edges of an octahedron in the ratio of the golden mean to define the vertices of a regular icosahedron. This is done by first placing vectors along the octahedron's edges such that each face is bounded by a cycle, then similarly partitioning each edge into the golden mean along the direction of its vector. Five octahedra define any given icosahedron in this fashion, and together they define a regular compound. A regular icosahedron produced this way is called a "snub octahedron". Honeycomb The Dehn invariant of a regular octahedron can be defined as a tensor product of the edge length and the dihedral angle of a regular octahedron, 12a \otimes \arccos\left(-\frac{1}{3}\right), which is non-zero. Every polyhedron with a Dehn invariant of zero can tile a space with its copy by attaching its faces to another, forming a honeycomb. The regular octahedron, nevertheless, cannot tile a space. Instead, two different polyhedra that join to tile the space can have the Dehn invariant of zero. In the case of a regular octahedron, it can tile alternately to regular tetrahedra to form a vertex, edge, and face-uniform tessellation of space, which is named tetrahedral-octahedral honeycomb. R. Buckminster Fuller, in the 1950s, applied these alternating polyhedra as a space frame, which developed the strongest building structure for resisting cantilever stresses. Another honeycomb is tesselating the regular octahedra alternately with cuboctahedra, named the rectified cubic honeycomb. Miscellanea s of a regular octahedron. The regular octahedron has eleven different nets. A net is the arrangement of eight equilateral triangles that can be folded by edge-joining to become the faces of a regular octahedron. A regular octahedron is the cross-polytope in three-dimensional space. It can be oriented and scaled so that its axes align with Cartesian coordinate axes and its vertices have coordinates (\pm 1, 0, 0) , (0, \pm 1, 0) , and (0, 0, \pm 1) . Such an octahedron has edge length . The regular octahedron is a Hanner polytope, because it can be constructed by using the direct sum of three line segments. Its dual polyhedron, the cube, is constructed by the Cartesian product of three line segments. More generally, every cross-polytope and its dual, hypercube, in any higher-dimensional space are Hanner polytope. The polyhedral compounds, in which the regular octahedra 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. The list of compounds enumerated by for the compound of four octahedra (with its rotational freedom), eight octahedra, twenty octahedra (with its rotational freedom), two different compound of five octahedra, and compound of five octahedra. The compound of three octahedra appeared in the 15th-century manuscript De quinque corporibus regularibus by Piero della Francesca in which the compound is drawn circumscribed around a cube (although it does not depict the compound), in the model photograph of 1900 Max Brückner's mathematical literature alongside the explanation of the compound, and 1948 M. C. Escher's wood engraving Stars in which used as the central figure of the woodcut a cage in this shape that containing two chameleons and floating through space. The spherical octahedron represents a regular octahedron projected to a sphere, a part of spherical polyhedron. There are eight spherical triangles, formed by the arc of great circles. Fuller identified that there are 25 great circles. A regular octahedron is a 3-ball in the Manhattan () metric. == Characteristic orthoscheme ==

Like all regular convex polytopes, the octahedron can be dissected into an integral number of disjoint orthoschemes, all of the same shape characteristic of the polytope. A polytope's characteristic orthoscheme is a fundamental property because the polytope is generated by reflections in the facets of its orthoscheme. The orthoscheme occurs in two chiral forms, which are mirror images of each other. The characteristic orthoscheme of a regular polyhedron is a quadrirectangular irregular tetrahedron. The faces of the octahedron's characteristic tetrahedron lie in the octahedron's mirror planes of symmetry. The octahedron is unique among the Platonic solids in having an even number of faces meeting at each vertex. Consequently, it is the only member of that group to possess, among its mirror planes, some that do not pass through any of its faces. The octahedron's symmetry group is denoted B3. The octahedron and its dual polytope, the cube, have the same symmetry group but different characteristic tetrahedra. The characteristic tetrahedron of the regular octahedron can be found by a canonical dissection of the regular octahedron which subdivides it into 48 of these characteristic orthoschemes surrounding the octahedron's center. Three left-handed orthoschemes and three right-handed orthoschemes meet in each of the octahedron's eight faces, the six orthoschemes collectively forming a trirectangular tetrahedron: a triangular pyramid with the octahedron face as its equilateral base, and its cube-cornered apex at the center of the octahedron. If the octahedron has edge length 𝒍 = 2, its characteristic tetrahedron's six edges have lengths \sqrt{\tfrac{4}{3}}, 1, \sqrt{\tfrac{1}{3}} around its exterior right-triangle face (the edges opposite the characteristic angles 𝟀, 𝝉, 𝟁), plus \sqrt{2}, 1, \sqrt{\tfrac{2}{3}} (edges that are the characteristic radii of the octahedron). The 3-edge path along orthogonal edges of the orthoscheme is 1, \sqrt{\tfrac{1}{3}}, \sqrt{\tfrac{2}{3}}, first from an octahedron vertex to an octahedron edge center, then turning 90° to an octahedron face center, then turning 90° to the octahedron center. The orthoscheme has four dissimilar right triangle faces. The exterior face is a 90-60-30 triangle, which is one-sixth of an octahedron face. The three faces interior to the octahedron are: a 45-90-45 triangle with edges 1, \sqrt{2}, 1, a right triangle with edges \sqrt{\tfrac{1}{3}}, 1, \sqrt{\tfrac{2}{3}}, and a right triangle with edges \sqrt{\tfrac{4}{3}}, \sqrt{2}, \sqrt{\tfrac{2}{3}}. Notes == See also ==