Jump to content

Octahedron

From Wikipedia, the free encyclopedia
(Redirected from Square bipyramid)

In geometry, an octahedron (pl.: octahedra or octahedrons) is a polyhedron with eight faces. An octahedron can be considered as a square bipyramid. When the edges of a square bipyramid are all equal in length, it produces a regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. It is also an example of a deltahedron. An octahedron is the three-dimensional case of the more general concept of a cross polytope.

As a square bipyramid

[edit]
Octahedron can be considered as the square bipyramid. If the square bipyramid's edges are equal in length, the resulting polyhedron is the regular octahedron. The regular octahedron is the dual of a cube.

The octahedron can be considered as a square bipyramid.[1] A square bipyramid is a bipyramid constructed by attaching two right square pyramids base-to-base. These pyramids cover their square bases, so the resulting polyhedron has eight triangular faces.[2]

Regular octahedron

[edit]

If the edges of a square bipyramid are all equal in length, then the square bipyramid is the regular octahedron. It is one of the eight convex deltahedra because all of the faces are equilateral triangles.[2] It can be constructed similarly, by attaching two equilateral square pyramids. Its dual polyhedron is the cube, and they have the same three-dimensional symmetry groups, the octahedral symmetry .[3]

Metric properties and Cartesian coordinates

[edit]
3D model of regular octahedron

The surface area of a regular octahedron can be ascertained by summing all of its eight equilateral triangles, whereas its volume is twice the volume of a square pyramid; if the edge length is ,[4] The radius of a circumscribed sphere (one that touches the octahedron at all vertices), the radius of an inscribed sphere (one that tangent to each of the octahedron's faces), and the radius of a midsphere (one that touches the middle of each edge), are:[5]

The dihedral angle of a regular octahedron between two adjacent triangular faces is 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.[6]

An octahedron with edge length can be placed with its center at the origin and its vertices on the coordinate axes; the Cartesian coordinates of the vertices are: In three dimensional space, the octahedron with center coordinates and radius is the set of all points such that .

As a Platonic solid

[edit]
Sketch of a regular octahedron by Johannes Kepler
Kepler's Platonic solid model of the Solar System

The regular octahedron is one of the Platonic solids, a set of polyhedrons whose faces are congruent regular polygons and the same number of faces meet at each vertex.[7] This ancient set of polyhedrons was named after Plato who, in his Timaeus dialogue, related these solids to nature. One of them, the regular octahedron, represented the classical element of wind.[8]

Following its attribution with nature by Plato, Johannes Kepler in his Harmonices Mundi sketched each of the Platonic solids.[8] 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.[9]

Graph

[edit]
The graph of a regular octahedron

The skeleton of a regular octahedron can be represented as a graph according to Steinitz's theorem, provided the graph is planar—its edges of a graph are connected to every vertex without crossing other edges—and 3-connected graph—its edges remain connected whenever two of more three vertices of a graph are removed.[10][11] Its graph called the octahedral graph, a Platonic graph.[7]

The octahedral graph can be considered as complete tripartite graph , a graph partitioned into three independent sets each consisting of two opposite vertices. More generally, it is a Turán graph .

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.[12]

[edit]
The octahedron represents the central intersection of two tetrahedra

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 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.

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.[13]

The regular octahedron can be considered as the antiprism, a prism like polyhedron in which lateral faces are replaced by alternating equilateral triangles. It is also called trigonal antiprism.[14] Therefore, it has the property of quasiregular, a polyhedron in which two different polygonal faces are alternating and meet at a vertex.[15]

Octahedra and tetrahedra can be alternated to form a vertex, edge, and face-uniform tessellation of space. This and the regular tessellation of cubes are the only such uniform honeycombs in 3-dimensional space.

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 3 central squares.

A regular octahedron is a 3-ball in the Manhattan (1) metric.

Characteristic orthoscheme

[edit]

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[16] 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.[17]

Characteristics of the regular octahedron[18]
edge arc dihedral
𝒍 90° 109°28′
𝟀 54°44′8″ 90°
𝝉[a] 45° 60°
𝟁 35°15′52″ 45°
35°15′52″

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

Uniform colorings and symmetry

[edit]

There are 3 uniform colorings of the octahedron, named by the triangular face colors going around each vertex: 1212, 1112, 1111.

The octahedron's symmetry group is Oh, of order 48, the three dimensional hyperoctahedral group. This group's subgroups include D3d (order 12), the symmetry group of a triangular antiprism; D4h (order 16), the symmetry group of a square bipyramid; and Td (order 24), the symmetry group of a rectified tetrahedron. These symmetries can be emphasized by different colorings of the faces.

Name Octahedron Rectified tetrahedron
(Tetratetrahedron)
Triangular antiprism Square bipyramid Rhombic fusil
Image
(Face coloring)

(1111)

(1212)

(1112)

(1111)

(1111)
Coxeter diagram =
Schläfli symbol {3,4} r{3,3} s{2,6}
sr{2,3}
ft{2,4}
{ } + {4}
ftr{2,2}
{ } + { } + { }
Wythoff symbol 4 | 3 2 2 | 4 3 2 | 6 2
| 2 3 2
Symmetry Oh, [4,3], (*432) Td, [3,3], (*332) D3d, [2+,6], (2*3)
D3, [2,3]+, (322)
D4h, [2,4], (*422) D2h, [2,2], (*222)
Order 48 24 12
6
16 8

Other types of octahedra

[edit]
A regular faced convex polyhedron, the gyrobifastigium.

An octahedron can be any polyhedron with eight faces. In a previous example, the regular octahedron has 6 vertices and 12 edges, the minimum for an octahedron; irregular octahedra may have as many as 12 vertices and 18 edges.[19] There are 257 topologically distinct convex octahedra, excluding mirror images. More specifically there are 2, 11, 42, 74, 76, 38, 14 for octahedra with 6 to 12 vertices respectively.[20][21] (Two polyhedra are "topologically distinct" if they have intrinsically different arrangements of faces and vertices, such that it is impossible to distort one into the other simply by changing the lengths of edges or the angles between edges or faces.) Some of the polyhedrons do have eight faces aside from being square bipyramids in the following:

  • Hexagonal prism: Two faces are parallel regular hexagons; six squares link corresponding pairs of hexagon edges.
  • Heptagonal pyramid: One face is a heptagon (usually regular), and the remaining seven faces are triangles (usually isosceles). All triangular faces can't be equilateral.
  • Truncated tetrahedron: The four faces from the tetrahedron are truncated to become regular hexagons, and there are four more equilateral triangle faces where each tetrahedron vertex was truncated.
  • Tetragonal trapezohedron: The eight faces are congruent kites.
  • Gyrobifastigium: Two uniform triangular prisms glued over one of their square sides so that no triangle shares an edge with another triangle (Johnson solid 26).
  • Octagonal hosohedron: degenerate in Euclidean space, but can be realized spherically.
Bricard octahedron with an antiparallelogram as its equator. The axis of symmetry passes through the plane of the antiparallelogram.

The following are the other polyhedrons are combinatorially equivalent to the regular octahedron. They all have six vertices, eight triangular faces, and twelve edges that correspond one-for-one with the features of it:

  • Triangular antiprisms: Two faces are equilateral, lie on parallel planes, and have a common axis of symmetry. The other six triangles are isosceles. The regular octahedron is a special case in which the six lateral triangles are also equilateral.
  • Tetragonal bipyramids, in which at least one of the equatorial quadrilaterals lies on a plane. The regular octahedron is a special case in which all three quadrilaterals are planar squares.
  • Schönhardt polyhedron, a non-convex polyhedron that cannot be partitioned into tetrahedra without introducing new vertices.
  • Bricard octahedron, a non-convex self-crossing flexible polyhedron

Octahedra in the physical world

[edit]

Octahedra in nature

[edit]
Fluorite octahedron.

Octahedra in art and culture

[edit]
Two identically formed Rubik's Snakes can approximate an octahedron.
  • Especially in roleplaying games, this solid is known as a "d8", one of the more common polyhedral dice.
  • If each edge of an octahedron is replaced by a one-ohm resistor, the resistance between opposite vertices is 1/2 ohm, and that between adjacent vertices 5/12 ohm.[22]
  • Six musical notes can be arranged on the vertices of an octahedron in such a way that each edge represents a consonant dyad and each face represents a consonant triad; see hexany.

Tetrahedral octet truss

[edit]

A space frame of alternating tetrahedra and half-octahedra derived from the Tetrahedral-octahedral honeycomb was invented by Buckminster Fuller in the 1950s. It is commonly regarded as the strongest building structure for resisting cantilever stresses.

[edit]

A regular octahedron can be augmented into a tetrahedron by adding 4 tetrahedra on alternated faces. Adding tetrahedra to all 8 faces creates the stellated octahedron.

tetrahedron stellated octahedron

The octahedron is one of a family of uniform polyhedra related to the cube.

Uniform octahedral polyhedra
Symmetry: [4,3], (*432) [4,3]+
(432)
[1+,4,3] = [3,3]
(*332)
[3+,4]
(3*2)
{4,3} t{4,3} r{4,3}
r{31,1}
t{3,4}
t{31,1}
{3,4}
{31,1}
rr{4,3}
s2{3,4}
tr{4,3} sr{4,3} h{4,3}
{3,3}
h2{4,3}
t{3,3}
s{3,4}
s{31,1}

=

=

=
=
or
=
or
=





Duals to uniform polyhedra
V43 V3.82 V(3.4)2 V4.62 V34 V3.43 V4.6.8 V34.4 V33 V3.62 V35

It is also one of the simplest examples of a hypersimplex, a polytope formed by certain intersections of a hypercube with a hyperplane.

The octahedron is topologically related as a part of sequence of regular polyhedra with Schläfli symbols {3,n}, continuing into the hyperbolic plane.

*n32 symmetry mutation of regular tilings: {3,n}
Spherical Euclid. Compact hyper. Paraco. Noncompact hyperbolic
3.3 33 34 35 36 37 38 3 312i 39i 36i 33i

Tetratetrahedron

[edit]

The regular octahedron can also be considered a rectified tetrahedron – and can be called a tetratetrahedron. This can be shown by a 2-color face model. With this coloring, the octahedron has tetrahedral symmetry.

Compare this truncation sequence between a tetrahedron and its dual:

Family of uniform tetrahedral polyhedra
Symmetry: [3,3], (*332) [3,3]+, (332)
{3,3} t{3,3} r{3,3} t{3,3} {3,3} rr{3,3} tr{3,3} sr{3,3}
Duals to uniform polyhedra
V3.3.3 V3.6.6 V3.3.3.3 V3.6.6 V3.3.3 V3.4.3.4 V4.6.6 V3.3.3.3.3

The above shapes may also be realized as slices orthogonal to the long diagonal of a tesseract. If this diagonal is oriented vertically with a height of 1, then the first five slices above occur at heights r, 3/8, 1/2, 5/8, and s, where r is any number in the range 0 < r1/4, and s is any number in the range 3/4s < 1.

The octahedron as a tetratetrahedron 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.[23][24]

*n32 orbifold symmetries of quasiregular tilings: (3.n)2

Construction
Spherical Euclidean Hyperbolic
*332 *432 *532 *632 *732 *832... *∞32
Quasiregular
figures
Vertex (3.3)2 (3.4)2 (3.5)2 (3.6)2 (3.7)2 (3.8)2 (3.∞)2

Trigonal antiprism

[edit]

As a trigonal antiprism, the octahedron is related to the hexagonal dihedral symmetry family.

Uniform hexagonal dihedral spherical polyhedra
Symmetry: [6,2], (*622) [6,2]+, (622) [6,2+], (2*3)
{6,2} t{6,2} r{6,2} t{2,6} {2,6} rr{6,2} tr{6,2} sr{6,2} s{2,6}
Duals to uniforms
V62 V122 V62 V4.4.6 V26 V4.4.6 V4.4.12 V3.3.3.6 V3.3.3.3
Family of uniform n-gonal antiprisms
Antiprism name Digonal antiprism (Trigonal)
Triangular antiprism
(Tetragonal)
Square antiprism
Pentagonal antiprism Hexagonal antiprism Heptagonal antiprism ... Apeirogonal antiprism
Polyhedron image ...
Spherical tiling image Plane tiling image
Vertex config. 2.3.3.3 3.3.3.3 4.3.3.3 5.3.3.3 6.3.3.3 7.3.3.3 ... ∞.3.3.3
[edit]

Truncation of two opposite vertices results in a square bifrustum.

The octahedron can be generated as the case of a 3D superellipsoid with all exponent values set to 1.

See also

[edit]

Notes

[edit]
  1. ^ Jump up to: a b (Coxeter 1973) uses the greek letter 𝝓 (phi) to represent one of the three characteristic angles 𝟀, 𝝓, 𝟁 of a regular polytope. Because 𝝓 is commonly used to represent the golden ratio constant ≈ 1.618, for which Coxeter uses 𝝉 (tau), we reverse Coxeter's conventions, and use 𝝉 to represent the characteristic angle.

References

[edit]
  1. ^ O'Keeffe, Michael; Hyde, Bruce G. (2020). Crystal Structures: Patterns and Symmetry. Dover Publications. p. 141. ISBN 978-0-486-83654-6.
  2. ^ Jump up to: a b Trigg, Charles W. (1978). "An Infinite Class of Deltahedra". Mathematics Magazine. 51 (1): 55–57. doi:10.1080/0025570X.1978.11976675. JSTOR 2689647.
  3. ^ Erickson, Martin (2011). Beautiful Mathematics. Mathematical Association of America. p. 62. ISBN 978-1-61444-509-8.
  4. ^ Berman, Martin (1971). "Regular-faced convex polyhedra". Journal of the Franklin Institute. 291 (5): 329–352. doi:10.1016/0016-0032(71)90071-8. MR 0290245.
  5. ^ Coxeter (1973) Table I(i), pp. 292–293. See the columns labeled , , and , Coxeter's notation for the circumradius, midradius, and inradius, respectively, also noting that Coxeter uses as the edge length (see p. 2).
  6. ^ Johnson, Norman W. (1966). "Convex polyhedra with regular faces". Canadian Journal of Mathematics. 18: 169–200. doi:10.4153/cjm-1966-021-8. MR 0185507. S2CID 122006114. Zbl 0132.14603.
  7. ^ Jump up to: a b Herrmann, Diane L.; Sally, Paul J. (2013). Number, Shape, & Symmetry: An Introduction to Number Theory, Geometry, and Group Theory. Taylor & Francis. p. 252. ISBN 978-1-4665-5464-1.
  8. ^ Jump up to: a b Cromwell, Peter R. (1997). Polyhedra. Cambridge University Press. p. 55.
  9. ^ Livio, Mario (2003) [2002]. The Golden Ratio: The Story of Phi, the World's Most Astonishing Number (First trade paperback ed.). New York City: Broadway Books. pp. 70–71. ISBN 0-7679-0816-3.
  10. ^ Grünbaum, Branko (2003), "13.1 Steinitz's theorem", Convex Polytopes, Graduate Texts in Mathematics, vol. 221 (2nd ed.), Springer-Verlag, pp. 235–244, ISBN 0-387-40409-0
  11. ^ Ziegler, Günter M. (1995). "Chapter 4: Steinitz' Theorem for 3-Polytopes". Lectures on Polytopes. Graduate Texts in Mathematics. Vol. 152. Springer-Verlag. pp. 103–126. ISBN 0-387-94365-X.
  12. ^ Finbow, Arthur S.; Hartnell, Bert L.; Nowakowski, Richard J.; Plummer, Michael D. (2010). "On well-covered triangulations. III". Discrete Applied Mathematics. 158 (8): 894–912. doi:10.1016/j.dam.2009.08.002. MR 2602814.
  13. ^ Kappraff, Jay (1991). Connections: The Geometric Bridge Between Art and Science (2nd ed.). World Scientific. p. 475.
  14. ^ O'Keeffe & Hyde (2020), p. 141.
  15. ^ Maekawa, Jun (2022). Art & Science of Geometric Origami: Create Spectacular Paper Polyhedra, Waves, Spirals, Fractals, and More!. Tuttle. p. 42.
  16. ^ Coxeter 1973, p. 130, §7.6 The symmetry group of the general regular polytope; "simplicial subdivision".
  17. ^ Coxeter 1973, pp. 70–71, Characteristic tetrahedra; Fig. 4.7A.
  18. ^ Coxeter 1973, pp. 292–293, Table I(i); "Octahedron, 𝛽3".
  19. ^ "Enumeration of Polyhedra". Archived from the original on 10 October 2011. Retrieved 2 May 2006.
  20. ^ "Counting polyhedra".
  21. ^ "Polyhedra with 8 Faces and 6-8 Vertices". Archived from the original on 17 November 2014. Retrieved 14 August 2016.
  22. ^ Klein, Douglas J. (2002). "Resistance-Distance Sum Rules" (PDF). Croatica Chemica Acta. 75 (2): 633–649. Archived from the original (PDF) on 10 June 2007. Retrieved 30 September 2006.
  23. ^ Coxeter, H.S.M. (1973). Regular Polytopes (Third ed.). Dover. Chapter V: The Kaleidoscope, Section: 5.7 Wythoff's construction. ISBN 0-486-61480-8.
  24. ^ Huson, Daniel H. (September 1998), Two Dimensional Symmetry Mutation
[edit]
Family An Bn I2(p) / Dn E6 / E7 / E8 / F4 / G2 Hn
Regular polygon Triangle Square p-gon Hexagon Pentagon
Uniform polyhedron Tetrahedron OctahedronCube Demicube DodecahedronIcosahedron
Uniform polychoron Pentachoron 16-cellTesseract Demitesseract 24-cell 120-cell600-cell
Uniform 5-polytope 5-simplex 5-orthoplex5-cube 5-demicube
Uniform 6-polytope 6-simplex 6-orthoplex6-cube 6-demicube 122221
Uniform 7-polytope 7-simplex 7-orthoplex7-cube 7-demicube 132231321
Uniform 8-polytope 8-simplex 8-orthoplex8-cube 8-demicube 142241421
Uniform 9-polytope 9-simplex 9-orthoplex9-cube 9-demicube
Uniform 10-polytope 10-simplex 10-orthoplex10-cube 10-demicube
Uniform n-polytope n-simplex n-orthoplexn-cube n-demicube 1k22k1k21 n-pentagonal polytope
Topics: Polytope familiesRegular polytopeList of regular polytopes and compounds