Johnson solid
A Johnson solid, sometimes also known as a Johnson–Zalgaller solid, is a strictly convex polyhedron whose faces are regular polygons and whose edges are all of equal length, excluding the five Platonic solids, the thirteen Archimedean solids, the infinite families of prisms, and the infinite families of antiprisms.[1] There are exactly 92 such solids.[1][2] These polyhedra were enumerated by mathematician Norman W. Johnson in his 1966 paper "Convex Polyhedra with Regular Faces," where he conjectured that his list of 92 was complete.[2] In 1969, Viktor A. Zalgaller provided a rigorous proof confirming that no additional Johnson solids exist, publishing his results in the monograph Convex Polyhedra with Regular Faces.[1][3] Johnson solids are characterized by their low symmetry compared to uniform polyhedra and include various types such as pyramids, cupolas, rotundas, and augmented or diminished forms derived from other regular-faced polyhedra.[1]Fundamentals
Definition
A Johnson solid is defined as a strictly convex polyhedron whose faces are regular polygons but which is not a uniform polyhedron, meaning that the vertices are not all surrounded by the same arrangement of regular polygonal faces.[1] This class encompasses polyhedra where all edges are of equal length due to the regularity of the faces, yet the overall symmetry at vertices varies, distinguishing them from more symmetric forms.[1] The definition explicitly excludes the five Platonic solids, the thirteen Archimedean solids, and the infinite families of uniform prisms and antiprisms, as these are vertex-transitive with equivalent vertex figures.[4][1] Strict convexity requires that all interior dihedral angles be less than 180 degrees, ensuring no indentations or self-intersections occur, which maintains the polyhedron's solidity without re-entrant surfaces.[5] In 1966, Norman W. Johnson enumerated 92 such polyhedra through systematic enumeration of all possible regular-faced convex forms.[4]Historical Development
The study of convex polyhedra with regular polygonal faces traces its origins to ancient Greek mathematics, where Euclid in his Elements (circa 300 BCE) systematically described pyramids, including the square pyramid, as fundamental geometric forms built from regular bases and triangular sides. While individual Johnson solids such as the square pyramid and pentagonal pyramid were recognized in antiquity for their simplicity and use in architecture, they were not systematized as a class until much later. The evolution toward more complex non-uniform polyhedra began with Archimedes (circa 287–212 BCE), who enumerated the 13 Archimedean solids—convex polyhedra with regular faces and identical vertices—in his lost work On the Sphere and Cylinder, later reconstructed by Renaissance scholars. Johannes Kepler (1571–1630) further advanced this field in Harmonices Mundi (1619), rediscovering the Archimedean solids and exploring prisms and antiprisms, thereby laying groundwork for investigations into non-uniform cases beyond uniform polyhedra. By the mid-20th century, mathematicians sought to classify all strictly convex polyhedra composed entirely of regular faces but lacking the uniformity of Platonic or Archimedean solids. In 1966, Norman W. Johnson published a seminal enumeration in the Canadian Journal of Mathematics, identifying 92 such candidate solids through a combination of topological constraints (ensuring simple connectivity and convexity) and geometric conditions (requiring regular faces without coplanar adjacencies). Johnson's approach excluded infinite families like prisms and antiprisms, focusing on finite, irregular vertex figures to compile this exhaustive list.[6] The completeness of Johnson's enumeration was rigorously established three years later by Viktor A. Zalgaller in his 1969 monograph Convex Polyhedra with Regular Faces, which provided a proof via exhaustive case analysis and early computational verification, confirming no additional solids exist. Zalgaller's work, originally published in Russian and translated into English by Consultants Bureau, built on Johnson's framework by addressing potential omissions through detailed vertex and edge configurations.[7] This milestone solidified the 92 Johnson solids as a complete class, bridging ancient geometric inquiries with modern combinatorial geometry.[8]Enumeration and Classification
Enumeration Process
The enumeration of Johnson solids began with the systematic construction proposed by Norman W. Johnson in his 1966 paper. Johnson generated candidate polyhedra by attaching regular pyramids, cupolas, and rotundas to the faces of the five Platonic solids and the thirteen Archimedean solids, ensuring that all resulting faces remained regular polygons. This approach focused on building strictly convex uniform polyhedra that were neither Platonic nor Archimedean, with the attachments designed to maintain edge lengths equal to those of the base solids. To constrain the search, Johnson applied topological criteria, primarily Euler's formula for convex polyhedra, V - E + F = 2, where V is the number of vertices, E the number of edges, and F the number of faces. This formula helped filter invalid configurations by verifying that the vertex, edge, and face counts satisfied the requirements for a closed, orientable surface homeomorphic to a sphere. Additionally, he considered the possible combinations of regular polygonal faces, limiting the total to those yielding positive genus zero polyhedra without self-intersections. Geometric verification followed the initial constructions, where Johnson checked that all dihedral angles between faces allowed the structure to close without distortion or overlap, confirming realizability in three-dimensional Euclidean space. This process involved manual calculations to test edge alignments and convexity for hundreds of potential candidates, eliminating those that failed to form stable, non-degenerate shapes. Only 92 configurations met all criteria of having regular faces, equal edge lengths, and strict convexity.[1] In 1969, Viktor Zalgaller provided a rigorous proof that Johnson's enumeration was complete, classifying all such polyhedra into exactly 92 topologically distinct types through an exhaustive analysis of admissible face combinations and symmetry constraints. Zalgaller's work ruled out additional candidates by demonstrating that no other combinations of regular faces could satisfy the topological and geometric conditions for convexity, using computational enumeration to verify the bounds. This established that no more than 92 Johnson solids exist.[1][3]Naming Conventions
The Johnson solids are systematically indexed from J₁ to J₉₂, corresponding to the 92 distinct convex polyhedra enumerated by Norman Johnson in 1966, with the numbering assigned in the chronological order of their discovery during his systematic search.[1] This indexing was formalized in Johnson's original work and later confirmed complete by Viktor Zalgaller in 1969.[1] Descriptive nomenclature for the Johnson solids employs a combination of prefixes and suffixes to convey their structural modifications and base shapes, facilitating identification without relying solely on numerical indices. Prefixes such as "elongated" denote the attachment of a prism to a base, "augmented" indicates the addition of pyramids or cupolas to faces, and "gyro-" signifies a rotational twist in the attachment orientation. Suffixes specify the underlying polyhedron, such as "prism," "pyramid," or "cupola," often qualified by the number of sides (e.g., the triaugmented hexagonal prism, J₇₈, which features three augmentations on a hexagonal prism base).[1] For composite or more complex solids, naming conventions incorporate multiple descriptive elements to indicate sequential or multiple attachments, such as "bilunabirotunda" for J₉₁, which combines two lunabirotundae (rotunda-like forms with triangular and pentagonal faces) joined together.[1] These names emphasize the building-block approach inherent to the solids' constructions. The first few Johnson solids illustrate this system: J₁, the square pyramid, features a square base capped by four triangular faces converging to a point; J₂, the pentagonal pyramid, extends this with a pentagonal base and five triangular faces; J₃, the triangular cupola, alternates triangles and squares around a central band; J₄, the square cupola, incorporates a square top, octagonal band, and interspersed triangles and squares; and J₅, the pentagonal cupola, uses a pentagonal top with a decagonal band framed by triangles, squares, and pentagons.[1] Following Johnson's 1966 enumeration, some names have been refined post-1966 for greater clarity and standardization, particularly in computational implementations, though the core indexing and descriptive framework remains unchanged.[1]Structural Types
The Johnson solids are classified into elementary and composite structural types based on their assembly from regular-faced components such as pyramids, cupolas, and rotundas attached to bases of uniform polyhedra like prisms and antiprisms, preserving equal edge lengths and face regularity throughout. This construction approach ensures all 92 solids are strictly convex without being vertex-transitive, distinguishing them from Platonic, Archimedean, prismatic, or antiprismatic forms.[1][9] Elementary types form the foundational building blocks. These include two pyramids (J₁ and J₂), constructed by capping a regular polygonal base with an apex connected via equilateral triangular faces, where the geometry allows equal edge lengths only for specific polygons. Three cupolas (J₃, J₄, J₅) are created by joining an n-gon to a 2n-gon with alternating equilateral triangles and squares, forming a dome-like structure. One rotunda (J₆) extends this by connecting a pentagon to a decagon using triangles and additional pentagons, providing a hemispherical cap.[1][4] Composite types build upon these elements through systematic augmentations and elongations. Gyroelongated solids, numbering 26 (e.g., J₃₇), involve inserting an antiprism between bases or attaching it to a pyramid, cupola, or rotunda, introducing a twisted belt of triangles for enhanced symmetry. Snub types, numbering two (J₈₄ and J₈₅), feature irregular vertex configurations with a chiral twist, derived from antiprisms augmented in a non-uniform manner. Augmented prisms and antiprisms (e.g., J₅₁ to J₆₆) result from affixing one or more pyramids or cupolas to the lateral faces of prisms or antiprisms, creating stepped or crowned forms. Additional subtypes include one triangular bipyramid (J₁₂), formed by joining two tetrahedra along a face (excluding the regular octahedron), and four sphenocoronas (J₈₆, J₈₇, J₈₈, J₉₀), which are irregular coronas with triangular and quadrilateral faces arranged in a saddle-like configuration. These categories collectively account for the 92 solids, all derived without compromising the regularity of component faces.[1][4][9]| Type | Number | Examples |
|---|---|---|
| Pyramids | 2 | J1, J2 |
| Cupolas | 3 | J3, J4, J5 |
| Rotunda | 1 | J6 |
| Bipyramids | 1 | J12 |
| Gyroelongated | 26 | J10–J11, J14–J17, J20–J21, J37–J39, etc. |
| Augmented prisms/antiprisms | 25 | J51–J66, J67–J75, etc. |
| Sphenocoronas | 4 | J86–J88, J90 |
| Snubs | 2 | J84, J85 |
| Other composites (elongated, etc.) | 28 | J7–J9, J18–J19, etc. |
| </ | [4] |
Geometric Properties
General Properties
Johnson solids are strictly convex polyhedra composed exclusively of regular polygonal faces, with all edges of equal length, distinguishing them from uniform polyhedra where vertices are transitively equivalent.[1][10] This construction ensures that each face is an equilateral and equiangular polygon, typically triangles, squares, pentagons, hexagons, octagons, or decagons, though the specific combination varies across the solids.[10] Topologically, all Johnson solids satisfy Euler's formula for convex polyhedra, V - E + F = 2, where V is the number of vertices, E the number of edges, and F the number of faces, reflecting their genus-zero surface structure.[10] The number of faces ranges from 5 (as in the square pyramid, J1) to 62 (as in the triaugmented truncated dodecahedron, J71), with the number of vertices ranging from 5 (J1) to 75 (J71), and the number of edges from 8 (J1) to 135 (J71). At least three faces meet at each vertex to maintain convexity.[10][11] Vertex figures are irregular, meaning the arrangement of faces around a vertex does not repeat identically across all vertices, and vertices are generally of degree 3 to 5, corresponding to 3 to 5 edges meeting at each point, with an average of approximately 4 edges per vertex across the collection.[10][1] Dihedral angles between adjacent faces are variable and depend on the specific face types involved, but they are always less than 180° to preserve strict convexity, ensuring no internal angles reflex and the solid lies entirely on one side of each supporting plane.[10] Unlike uniform polyhedra, where dihedral angles are constant, those in Johnson solids must be computed individually from the geometry of the adjoining regular polygons and the edge length. Surface area can be calculated as the sum of the areas of the regular polygonal faces, while volume formulas are case-specific, typically expressed as a multiple of the cube of the uniform edge length a, such as V = k a^3 where k is a numerical constant derived from decomposition into pyramids or other known solids.[10] These properties underscore the solids' role as the complete set of 92 convex polyhedra with regular faces and equal edges outside the classes of Platonic solids, Archimedean solids, prisms, and antiprisms.[1]Specific Characteristics
Johnson solids display a variety of symmetry groups, typically of low order, reflecting their non-uniform nature. Pyramidal Johnson solids, such as the square pyramid (J1) and pentagonal pyramid (J2), possess cyclic symmetry of the form C_{nv}, where n corresponds to the number of sides of the base polygon, allowing rotations around the axis from apex to base center and reflections through vertical planes. Cupolae and rotundae often exhibit dihedral symmetry D_{nh} or D_{nd}, incorporating horizontal mirror planes or alternating orientations. These low-symmetry groups contrast with the high tetrahedral, octahedral, or icosahedral symmetries found only in Platonic and Archimedean solids.[6] A subset of Johnson solids lacks reflection symmetry, rendering them chiral and existing in enantiomorphic pairs. The five chiral examples are the gyroelongated triangular bicupola (J44), gyroelongated square bicupola (J45), gyroelongated pentagonal bicupola (J46), gyroelongated pentagonal cupolarotunda (J47), and gyroelongated pentagonal rotunda (J48), which feature rotational symmetries such as D_3, D_4, or D_5, derived from gyroelongation operations on bicupolae and rotundae that insert antiprisms and introduce a twist to eliminate mirror planes. This chirality arises from the twisted arrangement of equilateral triangular faces around square or pentagonal bases, preventing overall mirror symmetry while maintaining convexity.[6][12] All edges in Johnson solids are of equal length, ensuring that regular polygonal faces meet properly at vertices without distortion. This uniformity is enforced by geometric closure conditions during construction; for instance, in cupolae like the triangular cupola (J3), the lateral square edges match the lengths of the triangular and hexagonal base edges, with the height scaled to close the structure convexly. Similar constraints apply to elongations and gyroelongations, where inserted prisms or antiprisms maintain edge equality through precise proportional adjustments. These conditions distinguish Johnson solids from near-misses, where edge lengths may deviate slightly.[6] Dihedral angles between adjacent faces in Johnson solids range widely, depending on the polygon types sharing an edge and the overall topology. Edges between two equilateral triangles typically have dihedral angles near $70.53^\circ, akin to the regular tetrahedron but adjusted for multi-face vertices; square-to-square edges approach $90^\circ; and angles involving larger polygons, such as pentagons or hexagons, exceed $100^\circ to accommodate convexity. For example, in the triangular orthobicupola (J27), the triangle-triangle dihedral angle is approximately $141^\circ, while triangle-square angles are about $116.57^\circ. These values, computed to high precision, ensure the sum of face angles at each vertex is less than $360^\circ, preventing non-convexity.[13] The 92 Johnson solids form distinct isometry classes, meaning each is unique up to congruence via rotations, reflections, and translations, with no degeneracies or isometric duplicates in the enumeration. Explicit Cartesian coordinates for all solids, normalized to unit edge length, facilitate their construction and analysis; these are tabulated in comprehensive references deriving from the original enumerative methods.[6] No Johnson solid is isohedral, or face-transitive, as their symmetry groups do not map every face to every other, unlike the Platonic solids where all faces are equivalent. This follows from the presence of multiple face types (e.g., triangles alongside pentagons) in most solids, precluding transitive action on the face set while allowing regular polygons and equal edges. In contrast, Archimedean solids achieve vertex-transitivity but share this non-isohedral property due to heterogeneous faces.[6]Dual Polyhedra
The duals of the Johnson solids are polyhedra formed by interchanging the roles of vertices and faces relative to the primal solids, typically constructed via polar reciprocity with respect to a sphere centered within the solid. In this construction, each face of the dual corresponds to a vertex of the primal Johnson solid, while each vertex of the dual corresponds to a face of the primal. Since Johnson solids are strictly convex, their duals are also strictly convex polyhedra featuring irregular polygonal faces, reflecting the non-uniform vertex figures of the primals. There are 92 distinct duals, one for each Johnson solid, commonly referred to as Johnson solid duals. At each vertex of these duals, the incident edges form regular polygons that match the regular faces of the corresponding primal Johnson solid, due to the regularity of the primal faces.[14] For example, the dual of J₁, the square pyramid, is another square pyramid sharing the same square base but with a height adjusted to establish the dual relationship, preserving the overall combinatorial structure.[15] The duals number 92 in total, mirroring the enumeration of the Johnson solids, and none among them are uniform polyhedra, as uniformity in the dual would necessitate the primal being isohedral (face-transitive), a property absent in the non-uniform Johnson solids.[1] Some duals exhibit appearances in isohedral tilings of space or possess tangential properties, enabling an inscribed sphere tangent to all faces; for instance, the duals corresponding to primal solids J17 (elongated triangular pyramid), J51 (bilunabirotunda), and J84 (snub disphenoid) inherit midsphere properties from their primals, supporting such tangential configurations.[16]Extensions and Related Concepts
Near-Miss Johnson Solids
Near-miss Johnson solids are strictly convex polyhedra whose faces consist of polygons that are very close to being regular but exhibit slight distortions, preventing them from satisfying the exact criteria of Johnson solids. These distortions often involve edge lengths varying by less than 1% or minor deviations in angles, allowing the polyhedra to maintain convexity while appearing visually similar to true Johnson solids. Unlike the precise regularity required for the 92 enumerated Johnson solids, near-misses arise from configurations where perfect fits are impossible due to geometric constraints.[17][1] The discovery of near-miss Johnson solids followed Norman Johnson's 1966 enumeration of the exact solids, with initial tantalizing examples noted during his computational searches in the late 1960s. Post-1969 advancements in computer-assisted geometry enabled systematic identification through exhaustive enumeration of potential face arrangements, revealing polyhedra that narrowly fail the regularity test. Listings on resources like Eric Weisstein's MathWorld have documented specific cases, such as a near-Johnson solid formed by inscribing regular nonagons in the faces of a regular octahedron. Ongoing computational efforts continue to uncover new examples, with discoveries reported as recently as 2024.[1][18][19] Prominent examples include variants of the bilunabirotunda where one rotunda is replaced by a chain of irregular polygons. These exclusions stem primarily from minor edge length mismatches that prevent all faces from being precisely regular, or from dihedral angles that, while keeping the overall form convex, introduce subtle non-planar stresses in the faces. Dozens of such near-misses have been identified, cataloged through dedicated computational databases that measure distortion via metrics like edge variance and angular deviation.[19][20]Applications and Visualizations
Johnson solids find practical applications in various fields due to their regular polygonal faces and convex structure, which facilitate modeling complex geometries. In architecture, they serve as building blocks for experimental structures, such as those developed through Zomeworks kits in the 1970s, which licensed plans for polyhedral designs incorporating Johnson solids alongside Archimedean and Catalan solids to explore non-spherical enclosures and space frames. In 3D printing, complete sets of all 92 solids are readily available as STL and OBJ files on platforms like Thingiverse and Printables, enabling the fabrication of physical models for prototyping and educational demonstrations. In chemistry, Johnson solids inspire molecular architectures; for instance, a 2021 study reported the self-assembly of a giant metallo-organic cage mimicking the triangular orthobicupola (J27), highlighting their utility in designing symmetric nanostructures with precise vertex coordination.[21] Visualizations of Johnson solids are supported by specialized software that renders their intricate forms interactively. Stella4D, a polyhedron modeling program, includes libraries for all 92 Johnson solids, allowing users to rotate, dissect, and export models in formats like OBJ for further analysis. GeoGebra's 3D graphing tools enable the construction of Johnson solids through coordinate geometry and polyline commands, as demonstrated in educational resources for building non-uniform polyhedra like the triangular bipyramid (J12). Digital file formats enhance accessibility: VRML models of the full set are provided in Vladimir Bulatov's polyhedra collection, suitable for web-based rendering, while OBJ and STL exports from sources like Kit Wallace's repository support integration into 3D design software. Standard Cartesian coordinates for Johnson solids are often normalized to unit edge lengths, providing exact vertex positions for computational verification and rendering. For example, the square pyramid (J1) has vertices at (\sqrt{2}/2, 0, 0), (-\sqrt{2}/2, 0, 0), (0, \sqrt{2}/2, 0), (0, -\sqrt{2}/2, 0), and (0, 0, \sqrt{2}/2). These coordinates can be presented in tabular form for specific solids to aid precise modeling:| Vertex | x | y | z |
|---|---|---|---|
| 1 | \sqrt{2}/2 | 0 | 0 |
| 2 | -\sqrt{2}/2 | 0 | 0 |
| 3 | 0 | \sqrt{2}/2 | 0 |
| 4 | 0 | -\sqrt{2}/2 | 0 |
| 5 | 0 | 0 | \sqrt{2}/2 |