Regular octahedron

Template:Template other In geometry, a regular octahedron is a highly symmetrical type of octahedron (eight-sided polyhedron) with eight equilateral triangles as its faces, four of which meet at each vertex. It is a type of square bipyramid or triangular antiprism with equal-length edges. Regular octahedra occur in nature as crystal structures. Other types of octahedra also exist, with various amounts of symmetry.

A regular octahedron is the three-dimensional case of the more general concept of a cross-polytope.

Description

The regular octahedron is one of the Platonic solids, a set of convex polyhedra whose faces are congruent regular polygons and the same number of faces meet at each vertex.Template:R This ancient set of polyhedrons was named after Plato who, in his Timaeus dialogue, related these solids to classical elements, with the octahedron representing wind.Template:R Following its attribution with nature by Plato, Johannes Kepler in his Harmonices Mundi sketched each of the Platonic solids.Template:R 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.Template:R

Template:Multiple image A regular octahedron is the cross-polytope in 3-dimensional space. It can be oriented and scaled so that its axes align with Cartesian coordinate axes and its vertices have coordinatesTemplate:R $$(\pm 1,0,0),(0,\pm 1,0),(0,0,\pm 1).$$ Such an octahedron has edge length Template:Tmath.

The regular octahedron's dual polyhedron is the cube, and they have the same three-dimensional symmetry groups, the octahedral symmetry ${\mathrm{O}}_{\mathrm{h}}$.Template:R Like its dual, the regular octahedron has three properties: any two faces, two vertices, and 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.Template:R

Metrical properties

File:Octahedron.stl

3D model of regular octahedron

The surface area $A$ of a regular octahedron can be ascertained by summing all of its eight equilateral triangles, whereas its volume $V$ is twice the volume of a square pyramid; if the edge length is $a$,Template:R $$\begin{array}{rlr}A& =2\sqrt{3}{a}^2& \approx 3.464a^2,\\ V& =\frac{1}{3}\sqrt{2}{a}^3& \approx 0.471a^3.\end{array}$$ 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:Template:R $$r_u=\frac{\sqrt{2}}{2}a\approx 0.707a,r_i=\frac{\sqrt{6}}{6}a\approx 0.408a,r_m=\frac{1}{2}a=0.5a.$$

The dihedral angle of a regular octahedron between two adjacent triangular faces is $2\arctan \sqrt{2}$, which is about 109.47°. This can be obtained from the dihedral angle of an equilateral square pyramid: its dihedral angle between two adjacent triangular faces is the dihedral angle of an equilateral square pyramid between two adjacent triangular faces, and its dihedral angle between two adjacent triangular faces on the edge in which two equilateral square pyramids are attached is twice the dihedral angle of an equilateral square pyramid between its triangular face and its square base.Template:R

As other special cases

The regular octahedron is one of the eight convex deltahedra, polyhedra whose faces are all equilateral triangles.Template:R

Template:Multiple image A regular octahedron is a type of square bipyramid,Template:R a composite polyhedron constructed by attaching two equilateral square pyramids base-to-base.Template:R The dual polyhedron of a bipyramid in general is the prism, and vice versa; the regular octahedron's dual, the cube, is a type of square prism.Template:R

The regular octahedron is a type of trigonal antiprism,Template:Sfnp 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.Template:R It exists in a sequence of symmetries of quasiregular polyhedra and tilings with vertex configurations (3.n)², 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.Template:R Template:Quasiregular3 small table

Graph

File:Complex tripartite graph octahedron.svg

The graph of a regular octahedron

The skeleton of a regular octahedron is the (undirected) graph formed by its vertices and edges. Steinitz's theorem guarantees that the this graph can be drawn with no edge crossing another, and all remaining vertices remain connected when any two are removed.Template:R Its graph called the octahedral graph, a Platonic graph.Template:R

The octahedral graph can be considered as complete tripartite graph $K_{2,2,2}$, a graph partitioned into three independent sets, each consisting of two opposite vertices.Template:R Additionally, it is a Turán graph $T_{6,3}$.

The octahedral graph is 4-connected, meaning that it takes the removal of four vertices to disconnect the remaining vertices. It is one of only four 4-connected simplicial well-covered polyhedra, meaning that all of the maximal independent sets of its vertices have the same size. 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.Template:R

Other related figures

Template:Multiple image 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.Template:Sfnp 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 vertices of the octahedron 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.

Several constructions of polyhedra commence from the regular octahedron. 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.Template:R 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.Template:R 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.Template:R

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".Template:R

Template:Multiple image Regular octahedra and regular tetrahedra can be alternated to form a vertex, edge, and face-uniform tessellation of space, which is named tetrahedral-octahedral honeycomb.Template:Sfnp R. Buckminster Fuller in the 1950s applied these alternating polyhedra as a space frame, which developed the strongest building structure for resisting cantilever stresses.Template:R Another honeycomb is tesselating the regular octahedra alternately with cuboctahedra, named the rectified cubic honeycomb.Template:Sfnp

A regular octahedron is a 3-ball in the [[Taxicab geometry|Manhattan (Template:Math₁) 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 B₃. 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 dissectionTemplate:Sfn of the regular octahedron Template:Coxeter–Dynkin diagram which subdivides it into 48 of these characteristic orthoschemes Template:Coxeter–Dynkin diagram 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.Template:Sfn

Characteristics of the regular octahedronTemplate:Sfn
	edge	arc		dihedral
𝒍	$2$	90°	$\frac{\pi }{2}$	109°28Template:Prime	$\pi -2\psi$
𝟀	$\sqrt{\frac{4}{3}}\approx 1.155$	54°44Template:Prime8Template:Pprime	$\frac{\pi }{2}-\kappa$	90°	$\frac{\pi }{2}$
𝝉Template:Efn	$1$	45°	$\frac{\pi }{4}$	60°	$\frac{\pi }{3}$
𝟁	$\sqrt{\frac{1}{3}}\approx 0.577$	35°15Template:Prime52Template:Pprime	$\kappa$	45°	$\frac{\pi }{4}$
${}_{0}R/l$	$\sqrt{2}\approx 1.414$
${}_{1}R/l$	$1$
${}_{2}R/l$	$\sqrt{\frac{2}{3}}\approx 0.816$
$\kappa$		35°15Template:Prime52Template:Pprime	$\frac{\text{arc sec }3}{2}$

If the octahedron has edge length 𝒍 = 2, its characteristic tetrahedron's six edges have lengths $\sqrt{\frac{4}{3}}$, $1$, $\sqrt{\frac{1}{3}}$ around its exterior right-triangle face (the edges opposite the characteristic angles 𝟀, 𝝉, 𝟁),Template:Efn plus $\sqrt{2}$, $1$, $\sqrt{\frac{2}{3}}$ (edges that are the characteristic radii of the octahedron). The 3-edge path along orthogonal edges of the orthoscheme is $1$, $\sqrt{\frac{1}{3}}$, $\sqrt{\frac{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{\frac{1}{3}}$, $1$, $\sqrt{\frac{2}{3}}$, and a right triangle with edges $\sqrt{\frac{4}{3}}$, $\sqrt{2}$, $\sqrt{\frac{2}{3}}$.

See also

• 25 great circles of the spherical octahedron, arrangement of great circles within a spherical octahedron;
• Centered octahedral number, figurate number that counts the points of a three-dimensional integer lattice that lie inside a regular octahedron centered at the origin;
• Hexakis octahedron, another polyhedron's construction involving the regular octahedron's commencement;
• Octahedral number, figurate number that represents the number of spheres in a regular octahedron formed from close-packed spheres;
• Octahedral sphere, spherical shape of a cross-polytope;
• Skewb Diamond, an octahedral version of Rubik's cube
• Superellipsoid, a solid whose horizontal sections are of the same squareness.

External links

• Template:Cite EB1911
• Template:KlitzingPolytopes
• Editable printable net of an octahedron with interactive 3D view
• Paper model of the octahedron
• K.J.M. MacLean, A Geometric Analysis of the Five Platonic Solids and Other Semi-Regular Polyhedra
• The Uniform Polyhedra
• Virtual Reality Polyhedra – The Encyclopedia of Polyhedra
  • Conway Notation for Polyhedra – Try: dP4