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

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

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

s) by computing the appropriate height. Having all regular cells, it is a Blind polytope. 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 ...

has ''octahedral pyramids'' around every vertex, with the

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 Euclidean geometry, the 16-cell honeycomb is one of the three regular space-filling tessellations (or honeycombs), represented by Schläfli symbol , and constructed by a 4-dimensional packing of 16-cell facets, three around ...

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

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. 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 of a polyhedron. Mark a point somewhere along each connected edge. Draw line ...

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

, . :

The graph of the octahedral pyramid is the only possible minimal counterexample to Negami's conjecture, that the connected graphs with

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

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

, seen as a cubic base and 6 square pyramids 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 base, and 4

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

and bitruncated tesseractic honeycomb. : Bitruncated pentacross verf

References

External links

* * ** * Richard Klitzing
Axial-Symmetrical Edge Facetings of Uniform Polyhedra
4-polytopes {{Polychora-stub