Gyrobifastigium
Template:Short description {{#invoke:Infobox|infobox}}Template:Template other
In geometry, the gyrobifastigium is a polyhedron that is constructed by attaching a triangular prism to square face of another one. It is an example of a Johnson solid. It is the only Johnson solid that can tile three-dimensional space.Template:R
Construction and its naming
The gyrobifastigium is composite,Template:R constructed by attaching two triangular prisms along corresponding square faces, giving a quarter-turn to one prism.Template:R These prisms cover the square faces so the resulting polyhedron has four equilateral triangles and four squares, making eight faces in total, an octahedron.Template:R Because its faces are all regular polygons and it is convex, the gyrobifastigium is a Johnson solid, indexed as <math> J_{26} </math>.Template:R
The name of the gyrobifastigium comes from the Latin fastigium, meaning a sloping roof.<ref>Template:Citation.</ref> In the standard naming convention of the Johnson solids, bi- means two solids connected at their bases, and gyro- means the two halves are twisted with respect to each other.Template:R
Cartesian coordinates for the gyrobifastigium with regular faces and unit edge lengths may easily be derived from the formula of the height of unit edge length <math display="inline"> h = \frac{\sqrt{3}}{2} </math> as follows:Template:R <math display="block">\left(\pm\frac{1}{2},\pm\frac{1}{2},0\right),\left(0,\pm\frac{1}{2},\frac{\sqrt{3}}{2}\right),\left(\pm\frac{1}{2},0,-\frac{\sqrt{3}}{2}\right).</math>
Properties
To calculate the formula for the surface area and volume of a gyrobifastigium with regular faces and with edge length <math> a </math>, one may adapt the corresponding formulae for the triangular prism. Its surface area <math> A </math> can be obtained by summing the area of four equilateral triangles and four squares, whereas its volume <math> V </math> by slicing it off into two triangular prisms and adding their volume. That is:Template:R <math display="block"> \begin{align}
A &= \left(4+\sqrt{3}\right)a^2 \approx 5.73205a^2, \\
V &= \left(\frac{\sqrt{3}}{2}\right)a^3 \approx 0.86603a^3.
\end{align} </math>
A gyrobifastigium has three kinds of edge, each with a different dihedral angle:Template:R
- between two squares of either prism, the interior angle of an equilateral triangle <math display="inline"> \frac{\pi}{3} </math>;
- between a triangle and a square of the same prism, <math display="inline"> \frac{\pi}{2} </math>;
- between a triangle and a square of the other prism, across the plane joining the two prisms, <math display="inline"> \frac{\pi}{2} + \frac{\pi}{3} = \frac{5 \pi}{6} </math>.
Related figures
Template:Multiple image Template:AnchorThe Schmitt–Conway–Danzer biprism (also called an SCD prototile)Template:R is a polyhedron topologically equivalent to the gyrobifastigium, but with parallelogram and irregular triangle faces instead of squares and equilateral triangles. Like the gyrobifastigium, it can fill space, but only aperiodically or with a screw symmetry, not with a full three-dimensional group of symmetries. Thus, it provides a partial solution to the three-dimensional einstein problem.Template:R
The gyrated triangular prismatic honeycomb can be constructed by packing together large numbers of identical gyrobifastigiums. The gyrobifastigium is one of five convex polyhedra with regular faces capable of space-filling (the others being the cube, truncated octahedron, triangular prism, and hexagonal prism) and it is the only Johnson solid capable of doing so.Template:R
Template:Multiple image The dual polyhedron of the gyrobifastigium, with its vertices in Cartesian coordinatesTemplate:R <math display="block"> \begin{align}
\quad (0,0,0), \quad (0,0,1), \quad (1,0,0), \quad (1,0,1), \\
\left(\tfrac{1}{2}, \pm \tfrac{1}{2}, \tfrac{\sqrt{2}}{2}\right), \quad \left(\tfrac{1}{2}, \pm \tfrac{1}{2}, \tfrac{\sqrt{2}}{2} + 1\right),
\end{align} </math> is combinatorially equivalent to a cube with two of its opposite faces subdivided into triangles by diagonals that are not parallel to each other.Template:R A combinatorially equivalent form of the elongated gyrobifastigium, a related space-filling polyhedron, can be obtained by instead subdividing two opposite faces into rectangles by midlines, again choosing the subdivision lines to be non-parallel.