In geometry, a bipyramid, dipyramid, or double pyramid is a polyhedron formed by fusing two pyramids together base-to-base. The base of each pyramid must therefore be the same, and unless otherwise specified the base vertices are usually coplanar and a bipyramid is usually symmetric, meaning the two pyramids are across their common base plane. When each apex (, the off-base vertices) of the bipyramid is on a line perpendicular to the base and passing through its center, it is a right bipyramid; otherwise it is oblique. When the base is a regular polygon, the bipyramid is also called regular.
When the two pyramids are mirror images, the bipyramid is called symmetric. It is called regular if its base is a regular polygon. When the base is a regular polygon and the apices are on the perpendicular line through its center (a regular right bipyramid) then all of its faces are isosceles triangles; sometimes the name bipyramid refers specifically to symmetric regular right bipyramids, Examples of such bipyramids are the triangular bipyramid, octahedron (square bipyramid) and pentagonal bipyramid. If all their edges are equal in length, these shapes consist of equilateral triangle faces, making them deltahedron; the triangular bipyramid and the pentagonal bipyramid are , and the regular octahedron is a Platonic solid.
The symmetric regular right bipyramids have prismatic symmetry, with dihedral group of order : they are unchanged when rotated of a turn around the axis of symmetry, reflected across any plane passing through both apices and a base vertex or both apices and the center of a base edge, or reflected across the mirror plane. Because their faces are transitive under these symmetry transformations, they are Isohedral figure. They are the dual polyhedron of prisms and the prisms are the dual of bipyramids as well; the bipyramids vertices correspond to the faces of the prism, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other, and vice versa. The prisms share the same symmetry as the bipyramids. The regular octahedron is more symmetric still, as its base vertices and apices are indistinguishable and can be exchanged by reflections or rotations; the regular octahedron and its dual, the cube, have octahedral symmetry.
The volume of a symmetric bipyramid is where is the area of the base and the perpendicular distance from the base plane to either apex. In the case of a regular sided polygon with side length and whose altitude is , the volume of such a bipyramid is:
The Dual polyhedron of an asymmetric right -gonal bipyramid is an -gonal frustum.
A regular asymmetric right -gonal bipyramid has symmetry group , of order .
All its faces are congruent , and it is Isohedral figure. It can be seen as another type of a right symmetric di--gonal scalenohedron, with an isotoxal flat polygon base.
An isotoxal right (symmetric) di--gonal bipyramid has two-fold rotation axes through opposite basal vertices, reflection planes through opposite apical edges, an -fold rotation axis through apices, a reflection plane through base, and an -fold rotation-reflection axis through apices, representing symmetry group of order . (The reflection about the base plane corresponds to the rotation-reflection. If is even, then there is an inversion symmetry about the center, corresponding to the rotation-reflection.)
Example with :
Example with :
Double example:
U &= (1,0,0), & \quad V &= (0,2,0), & \quad A &= (0,0,1), \\ U' &= (-1,0,0), & \quad V' &= (0,-2,0), & \quad A' &= (0,0,-1),\end{alignat} has its faces isosceles. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{2} \,, \\[2pt] \overline{AV} &= \overline{AV'} = \sqrt{5} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = \sqrt{5} \,;
\overline{A'U} &= \overline{A'U'} = \sqrt{2} \,, \\[2pt] \overline{A'V} &= \overline{A'V'} = \sqrt{5} \,.\end{align}
A &= (0,0,2), \\ A' &= (0,0,-2),\end{align} also has its faces isosceles. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{5} \,, \\[2pt] \overline{AV} &= \overline{AV'} = 2\sqrt{2} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = \sqrt{5}\,;
\overline{A'U} &= \overline{A'U'} = \sqrt{5}\,, \\[2pt] \overline{A'V} &= \overline{A'V'} = 2\sqrt{2}\,.\end{align}
In crystallography, isotoxal right (symmetric) didigonal (8-faced), ditrigonal (12-faced), ditetragonal (16-faced), and dihexagonal (24-faced) bipyramids exist.
It has two apices and basal vertices, faces, and edges; it is topologically identical to a -gonal bipyramid, but its basal vertices alternate in two rings above and below the center.
All its faces are congruent , and it is Isohedral figure. It can be seen as another type of a right symmetric di--gonal bipyramid, with a regular zigzag skew polygon base.
A regular right symmetric di--gonal scalenohedron has two-fold rotation axes through opposite basal mid-edges, reflection planes through opposite apical edges, an -fold rotation axis through apices, and a -fold rotation-reflection axis through apices (about which rotations-reflections globally preserve the solid), representing symmetry group of order . (If is odd, then there is an inversion symmetry about the center, corresponding to the rotation-reflection.)
Example with :
Example with :
For at most two particular values of the faces of such a scalenohedron may be isosceles.
Double example:
U &= (3,0,2), & \quad V &= (0,3,-2), & \quad A &= (0,0,3), \\ U' &= (-3,0,2), & \quad V' &= (0,-3,-2), & \quad A' &= (0,0,-3),\end{alignat} has its faces isosceles. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{10} \,, \\[2pt] \overline{AV} &= \overline{AV'} = \sqrt{34} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = \sqrt{34} \,;
\overline{A'U} &= \overline{A'U'} = \sqrt{34} \,, \\[2pt] \overline{A'V} &= \overline{A'V'} = \sqrt{10} \,.\end{align}
A &= (0,0,7), \\ A' &= (0,0,-7),\end{align} also has its faces isosceles. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{34} \,, \\[2pt] \overline{AV} &= \overline{AV'} = 3\sqrt{10} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = \sqrt{34} \,;
\overline{A'U} &= \overline{A'U'} = 3\sqrt{10} \,, \\[2pt] \overline{A'V} &= \overline{A'V'} = \sqrt{34} \,.\end{align}
In crystallography, regular right symmetric didigonal (-faced) and ditrigonal (-faced) scalenohedra exist.
The smallest geometric scalenohedra have eight faces, and are topologically identical to the regular octahedron. In this case (), in crystallography, a regular right symmetric didigonal (-faced) scalenohedron is called a tetragonal scalenohedron.
Let us temporarily focus on the regular right symmetric -faced scalenohedra with i.e. Their two apices can be represented as and their four basal vertices as : where is a parameter between and .
At , it is a regular octahedron; at , it has four pairs of coplanar faces, and merging these into four congruent isosceles triangles makes it a disphenoid; for , it is concave.
Example: geometric variations with regular right symmetric 8-faced scalenohedra: ! ! ! ! ! | ||||
If the -gon base is both Isotoxal figure in-out and Skew polygon, then not all faces of the isotoxal right symmetric scalenohedron are congruent.
Example with five different edge lengths:
U &= (1,0,1), & \quad V &= (0,2,-1), & \quad A &= (0,0,3), \\ U' &= (-1,0,1), & \quad V' &= (0,-2,-1), & \quad A' &= (0,0,-3),\end{alignat} has congruent scalene upper faces, and congruent scalene lower faces, but not all its faces are congruent. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{5} \,, \\[2pt] \overline{AV} &= \overline{AV'} = 2\sqrt{5} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = 3;
\overline{A'U} &= \overline{A'U'} = \sqrt{17} \,, \\[2pt] \overline{A'V} &= \overline{A'V'} = 2\sqrt{2} \,.\end{align}
For some particular values of , half the faces of such a scalenohedron may be isosceles or equilateral.
Example with three different edge lengths:
U &= (3,0,2), & \quad V &= \left( 0,\sqrt{65},-2 \right), & \quad A &= (0,0,7), \\ U' &= (-3,0,2), & \quad V' &= \left( 0,-\sqrt{65},-2 \right), & \quad A' &= (0,0,-7),\end{alignat} has congruent scalene upper faces, and congruent equilateral lower faces; thus not all its faces are congruent. Indeed:
\overline{AU} &= \overline{AU'} = \sqrt{34} \,, \\[2pt] \overline{AV} &= \overline{AV'} = \sqrt{146} \,;\end{align}
\overline{UV} = \overline{VU'} = \overline{U'V'} = \overline{V'U} = 3\sqrt{10} \,;
\overline{A'U} &= \overline{A'U'} = 3\sqrt{10} \,, \\[2pt] \overline{A'V} &= \overline{A'V'} = 3\sqrt{10} \,.\end{align}
A regular right symmetric star bipyramid has congruent isosceles triangle faces, and is Isohedral figure.
A -bipyramid has Coxeter diagram .
Example star bipyramids: |
4-polytopes with bipyramidal cells !colspan=9 | 4-polytope properties !colspan=6 | Bipyramid properties | ||||||||||||
R. 5-cell | 10 | 5 | 5 | 4 | 6 | 3 | 3 | Triangular | 0.667 | |||||
R. tesseract | 32 | 16 | 8 | 4 | 12 | 3 | 4 | Triangular | 0.624 | |||||
R. 24-cell | 96 | 24 | 24 | 8 | 12 | 4 | 3 | Triangular | 0.745 | |||||
R. 120-cell | 1200 | 600 | 120 | 4 | 30 | 3 | 5 | Triangular | 0.613 | |||||
R. 16-cell | 24 | 8 | 16 | 6 | 6 | 3 | 3 | Square bipyramid | 1 | |||||
R. cubic honeycomb | ∞ | ∞ | ∞ | 6 | 12 | 3 | 4 | Square bipyramid | 0.866 | |||||
R. 600-cell | 720 | 120 | 600 | 12 | 6 | 3 | 3 | Pentagonal | 1.447 |
A 2-dimensional analog of a right symmetric bipyramid is formed by joining two congruent isosceles triangles base-to-base to form a rhombus. More generally, a kite is a 2-dimensional analog of a (possibly asymmetric) right bipyramid, and any quadrilateral is a 2-dimensional analog of a general bipyramid.
|
|