In 4-dimensional
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, the octahedral pyramid is bounded by one
octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
on the base and 8
triangular pyramid
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
cells
Cell most often refers to:
* Cell (biology), the functional basic unit of life
Cell may also refer to:
Locations
* Monastic cell, a small room, hut, or cave in which a religious recluse lives, alternatively the small precursor of a monastery w ...
which meet at the apex. Since an octahedron has a circumradius divided by edge length less than one, the triangular pyramids can be made with regular faces (as regular
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
s) by computing the appropriate height.
Having all regular cells, it is a
Blind polytope In geometry, a Blind polytope is a convex polytope composed of regular polytope facets.
The category was named after the German couple Gerd and Roswitha Blind, who described them in a series of papers beginning in 1979.
It generalizes the set of sem ...
. Two copies can be augmented to make an
octahedral bipyramid which is also a Blind polytope.
Occurrences of the octahedral pyramid
The regular
16-cell
In geometry, the 16-cell is the regular convex 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mi ...
has ''octahedral pyramids'' around every vertex, with the
octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
passing through the center of the 16-cell. Therefore placing two regular octahedral pyramids base to base constructs a 16-cell. The 16-cell tessellates 4-dimensional space as the
16-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 16-cell honeycomb is one of the three regular space-filling tessellations (or honeycomb (geometry), honeycombs), represented by Schläfli symbol , and constructed by a 4-dimensiona ...
.
Exactly 24 regular octahedral pyramids will fit together around a vertex in four-dimensional space (the apex of each pyramid). This construction yields a
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
with octahedral bounding cells, surrounding a central vertex with 24 edge-length long radii. The 4-dimensional content of a unit-edge-length 24-cell is 2, so the content of the regular octahedral pyramid is 1/12. The 24-cell tessellates 4-dimensional space as the
24-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular polytope, regular space-filling tessellation (or honeycomb (geometry), honeycomb) of 4-dimensional Euclidean space by ...
.
The octahedral pyramid is the
vertex figure
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.
Definitions
Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...
for a
truncated 5-orthoplex
In five-dimensional geometry, a truncated 5-orthoplex is a convex uniform 5-polytope, being a truncation of the regular 5-orthoplex.
There are 4 unique truncations of the 5-orthoplex. Vertices of the truncation 5-orthoplex are located as pairs on ...
, .
:
![Truncated pentacross](https://upload.wikimedia.org/wikipedia/commons/4/49/Truncated_pentacross.png)
The graph of the octahedral pyramid is the only possible minimal counterexample to
Negami's conjecture
In graph theory, a planar cover of a finite graph ''G'' is a finite covering graph of ''G'' that is itself a planar graph. Every graph that can be embedded into the projective plane has a planar cover; an unsolved conjecture of Seiya Negami state ...
, that the connected graphs with
planar cover
In graph theory, a planar cover of a finite undirected graph, graph ''G'' is a finite covering graph of ''G'' that is itself a planar graph. Every graph that can be graph embedding, embedded into the projective plane has a planar cover; an unsolved ...
s are themselves projective-planar.
Other polytopes
Cubic pyramid
The dual to the octahedral pyramid is a
cubic pyramid
In 4-dimensional geometry, the cubic pyramid is bounded by one cube on the base and 6 square pyramid cells which meet at the apex. Since a cube has a circumradius divided by edge length less than one, the square pyramids can be made with regular f ...
, seen as a cubic base and 6
square pyramid
In geometry, a square pyramid is a pyramid having a square base. If the apex is perpendicularly above the center of the square, it is a right square pyramid, and has symmetry. If all edge lengths are equal, it is an equilateral square pyramid, ...
s meeting at an
apex
The apex is the highest point of something. The word may also refer to:
Arts and media Fictional entities
* Apex (comics), a teenaged super villainess in the Marvel Universe
* Ape-X, a super-intelligent ape in the Squadron Supreme universe
*Apex ...
.
:
Square-pyramidal pyramid
The square-pyramidal pyramid, ( ) ∨
) ∨ is a bisected octahedral pyramid. It has a
square pyramid
In geometry, a square pyramid is a pyramid having a square base. If the apex is perpendicularly above the center of the square, it is a right square pyramid, and has symmetry. If all edge lengths are equal, it is an equilateral square pyramid, ...
base, and 4
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
s along with another one more square pyramid meeting at the apex. It can also be seen in an edge-centered projection as a
square bipyramid
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
with four tetrahedra wrapped around the common edge. If the height of the two apexes are the same, it can be given a higher symmetry name
) ∨ ( )∨ = ∨ , joining an edge to a perpendicular square.
[ ]
The ''square-pyramidal pyramid'' can be distorted into a ''rectangular-pyramidal pyramid'', ∨
× or a ''rhombic-pyramidal pyramid'', ∨
+ or other lower symmetry forms.
The ''square-pyramidal pyramid'' exists as a vertex figure in uniform polytopes of the form , including the
bitruncated 5-orthoplex
In five-dimensional geometry, a truncated 5-orthoplex is a convex uniform 5-polytope, being a truncation of the regular 5-orthoplex.
There are 4 unique truncations of the 5-orthoplex. Vertices of the truncation 5-orthoplex are located as pairs on ...
and
bitruncated tesseractic honeycomb.
:
![Bitruncated pentacross verf](https://upload.wikimedia.org/wikipedia/commons/8/8f/Bitruncated_pentacross_verf.png)
References
External links
*
*
**
* Richard Klitzing
Axial-Symmetrical Edge Facetings of Uniform Polyhedra
4-polytopes
{{Polychora-stub