Triangular hebesphenorotunda

The triangular hebesphenorotunda, or thawro, is one of the 92 Johnson solids (J92). It consists of 1+3+3+6 triangles, 3 squares, 3 pentagons, and 1 hexagon.

It is one of several polyhedra near the end of the list of Johnson solids with no obvious relation to the uniform polyhedra. However, there are hidden connections to the icosidodecahedron. The part around the top triangle is congruent with the corresponding part of an icosidodecahedron. In fact, it can be thought of as an icosidodecahedron cut in half in triangular symmetry, with the bottom face (a hexagon of edge length $$\frac{1+\sqrt5}{2}$$) shrunken down to unit edge length.

The triangular hebesphenorotunda also has a connection with the regular icosahedron, being a partial Stott expansion of a triangular-symmetric faceting of the icosahedron. Because of this, the clusters of triangles at the 3.3.3.5 vertices are congruent with the corresponding triangles of an icosahedron.

The triangular hebesphenorotunda also has a minor connection with the small rhombicosidodecahedron. The triangles and squares forming the "lune" portion of the shape are congruent with corresponding triangles and squares of the small rhombicosidodecahedron.

Vertex coordinates
A triangular hebesphenorotunda of edge length 1 has vertices given by the following coordinates:


 * $$\left(\pm\frac12,\,-\frac{\sqrt{3}}{6},\,\frac{3\sqrt{3}+\sqrt{15}}{6}\right)$$,
 * $$\left(0,\,\frac{\sqrt{3}}{3},\,\frac{3\sqrt{3}+\sqrt{15}}{6}\right)$$,
 * $$\left(\pm\frac12,\,\frac{2\sqrt{3}+\sqrt{15}}{6},\,\frac{\sqrt{3}+\sqrt{15}}{6}\right)$$,
 * $$\left(\pm\frac{3+\sqrt5}{4},\,-\frac{\sqrt{15}-\sqrt{3}}{12},\,\frac{\sqrt{3}+\sqrt{15}}{6}\right)$$,
 * $$\left(\pm\frac{1+\sqrt5}{4},\,-\frac{5\sqrt{3}+\sqrt{15}}{12},\,\frac{\sqrt{3}+\sqrt{15}}{6}\right)$$,
 * $$\left(\pm\frac{3+\sqrt5}{4},\,\frac{3\sqrt{3}+\sqrt{15}}{12},\,\frac{\sqrt{3}}{3}\right)$$,
 * $$\left(0,\,-\frac{3\sqrt{3}+\sqrt{15}}{6},\,\frac{\sqrt{3}}{3}\right)$$,
 * $$\left(\pm\frac12,\,\pm\frac{\sqrt{3}}{2},\,0\right)$$,
 * $$\left(\pm1,\,0,\,0\right)$$.