Archimedean Solids
This worksheet describes the 13 Archimedean solids that are part of the geom3d package.
restart;
withgeom3d:
Display of the 13 Archimedean Solids
r≔1.:planeoxy,point⁡A1,0,0,0,point⁡A2,1,0,0,point⁡A3,0,1,0:pointo1,0,0,1,TruncatedTetrahedront1,o1,r,reflectionr1,t1,oxy:pointo2,52,0,1,TruncatedOctahedront2,o2,r,reflectionr2,t2,oxy:pointo3,5,0,1,TruncatedHexahedront3,o3,r,reflectionr3,t3,oxy:pointo4,152,0,1,TruncatedIcosahedront4,o4,r,reflectionr4,t4,oxy:pointo5,10,0,1,TruncatedDodecahedront5,o5,r,reflectionr5,t5,oxy:pointo6,−54,5,1,SmallRhombicuboctahedront6,o6,r,reflectionr6,t6,oxy:pointo7,54,5,1,SmallRhombiicosidodecahedront7,o7,r,reflectionr7,t7,oxy:pointo8,154,5,1,GreatRhombicuboctahedront8,o8,r,reflectionr8,t8,oxy:pointo9,254,5,1,GreatRhombiicosidodecahedront9,o9,r,reflectionr9,t9,oxy:pointo10,354,5,1,SnubCubet10,o10,r,reflectionr10,t10,oxy:pointo11,254,−5,1,SnubDodecahedront11,o11,r,reflectionr11,t11,oxy:pointo12,154,−5,1,cuboctahedront12,o12,r,reflectionr12,t12,oxy:pointo13,54,−5,1,icosidodecahedront13,o13,r,reflectionr13,t13,oxy:pic1≔drawseq⁡t‖i,i=1..5,color=red,green:pic2≔drawseqr‖i,i=1..5,color=COLOR⁡RGB,1,78,38,COLOR⁡RGB,78,1,38:pic3≔drawt6color=red,green,t10color=red,green,t7,t8,t9,color=red,green,aquamarine:pic4≔drawr6⁡color=COLOR⁡RGB,1,78,37,COLOR⁡RGB,78,1,38,r10⁡color=COLOR⁡RGB,1,78,38,COLOR⁡RGB,78,1,38,r7,r8,r9,color=COLOR⁡RGB,1,78,38,COLOR⁡RGB,78,1,38,COLOR⁡RGB,0.8130718966,0.9529411766,0.8588235299:pic5≔drawseq⁡t‖i,i=11..13,color=red,green:pic6≔drawseq⁡r‖i,i=11..13,color=COLOR⁡RGB,1,78,38,COLOR⁡RGB,78,1,38:plotsdisplay⁡pic1,pic2,pic3,pic4,pic5,pic6,orientation=−101,52,title=The Thirteen Archimedean Solids
Classifications of the Polyhedra
A polyhedron is said to be uniform if it has regular faces and admits symmetries that will transform a given vertex into every other vertex in turn. The Platonic, Kepler-Poinsot solids are uniform, and so are the right regular prisms and antiprisms of suitable height; that is, those whose lateral faces are squares and equilaterals, respectively. In Solid Geometry, L. Lines proves that, apart from these, there are only 13 finite, convex uniform polyhedra. These are called the Archimedean solids. Plato is said to have known at least one, the cuboctahedron, and Archimedes wrote about the entire set, though his book on them is lost. Durer gives the nets for some Archimedean solids in his Underweysung, but they were first treated systematically by Kepler.
The Archimedean solids can be broken down into various subsets:
First are the five derived by the process of truncation from each vertex along with the vertex itself. This can be done to the Platonic solids in such a way that the new faces are again regular polygons. For example, on cutting off the corners of a cube, by planes parallel to the faces of the reciprocal octahedron, we obtain small triangles--the square faces of the cube have become octagons. For suitable positions of the cutting planes, these octagons will be regular, and we have an Archimedean solid, namely the truncated cube t{4,3}.
TruncatedIcosahedrontric,point⁡o,0,0,0,1.:draw⁡tric,cutout=78,lightmodel=light4,title=truncation: truncated icosahedron
Another subset, containing only two members, is that known as the quasi-regular polyhedra. When two regular polyhedra, {p,q} and {q,p}, are reciprocal with respect to their common mid-sphere, the solid region interior to both polyhedra forms another polyhedron, say pq , which has N1 vertices, namely the mid-edge points of either {p,q} or {q,p}. Its faces consist of N0 {q}'s and N2 {p}'s, which are the vertex figures of {p,q} and {q,p}, respectively.
When p = q = 3, we have the octahedron; therefore, 33 = {3,4}.
When {p}'s and {q}'s are different, we have 34, which is the cuboctahedron, and 35, which is the icosidodecahedron.
Note that pq=qp.
cuboctahedroncubo,point⁡o,0,0,0,1.:draw⁡cubo,style=patch,lightmodel=light4,title=quasi-regular: cuboctahedron
Next are the two called the small rhombicuboctahedron and the small rhombiicosidodecahedron. The faces of the icosidodecahedron consist of 20 triangles and 12 pentagons (corresponding to the faces of the two parent regulars). Its 60 edges are perpendicularly bisected by those of the reciprocal triacontahedron. The 60 points where these pairs of edges cross one another are the vertices of a polyhedron whose faces consist of 20 triangles, 12 pentagons, and 30 rectangles. By slightly displacing the points towards the mid-points of the edges of the triacontahedron, the rectangles can be distorted into squares, and we have the small rhombiicosidodecahedron.
An analogous construction leads to the rhombicuboctahedron, whose faces consist of 8 triangles and 6+12 squares.
SmallRhombiicosidodecahedronsric,o,1.:draw⁡sric,style=patch,lightmodel=light4,title=small rhombiicosidodecahedron
By applying the truncation method to the cuboctahedron and to the icosidodecahedron, in addition to a distortion to convert rectangles into squares, we obtain the great rhombicuboctahedron and the great rhombiicosidodecahedron.
GreatRhombiicosidodecahedrongric,point⁡o,0,0,0,1.:draw⁡gric,style=patch,lightmodel=light4,title=great rhombiicosidodecahedron
All the Archimedean solids so far discussed can be reflexed (by reflection in the plane that perpendicularly bisects the edge). The remaining two; however, cannot be reflexed: the snub cube and the snub dodecahedron. Each of them occurs in two forms, and the two forms of each are related to one another like a left-hand and a right-hand glove: they are enantiomorphic. See Line's Solid Geometry (pp.175 - 184) for discussions about constructions of these two snub polyhedra.
dodecahedrondode,o,1.:rad≔0.856132141645764:SnubDodecahedronsdode,o,rad:draw⁡sdode⁡color=gold,dode⁡color=maroon,cutout=78,style=patch,lightmodel=light2,orientation=31,74,title=snub dodecahedron inscribed inside a dodecahedron
Specifying Archimedean Solids in geom3d
In Maple, one can define an Archimedean solid by using the command Archimedean(gon,sch,o,r) where gon is the name of the polyhedron to be defined, sch the Schlafli symbol (the Maple Schlafli), o the center of the polyhedron, and r the radius of the circum-sphere.
The Schlafli symbol can be one of the following:
Maple Schlafli
Polyhedron type
_t([3,3])
truncated tetrahedron
_t([3,4])
truncated octahedron
_t(4,3])
truncated cube
_t([3,5])
truncated icosahedron
_t([5,3])
truncated dodecahedron
[[3],[4]]
cuboctahedron
[[3],[5]]
icosidodecahedron
_r([[3],[4]])
small rhombicuboctahedron
_r([[3],[5]])
small rhombiicosidodecahedron
_t([[3],[4]])
great rhombicuboctahedron
_t([[3],[5]])
great rhombiicosidodecahedron
_s([[3],[4]])
snub cube
_s([[3],[5]])
snub dodecahedron
Another way to define an Archimedean solid is to use the command Polyhedron_Name(gon,o,r) where Polyhedron_Name is one of TruncatedTetrahedron, TruncatedOctahedron, TruncatedHexahedron, TruncatedIcosahedron, TruncatedDodecahedron, SmallRhombicuboctahedron, SmallRhombiicosidodecahedron, GreatRhombicuboctahedron, GreatRhombiicosidodecahedron, SnubCube, SnubDodecahedron, cuboctahedron, or icosidodecahedron. For example, to define a great rhombicuboctahedron with center (1,2,3), radius of the circum-sphere 2, one can use either:
Archimedean⁡gr1,_t⁡3,4,point⁡o,1,2,3,2
gr1
or
GreatRhombicuboctahedron⁡gr2,o,2
gr2
Accessing Information about Archimedean Solids in geom3d
To access information relating to an Archimedean solid gon, use the following function calls:
center(gon); returns the center of gon. faces(gon); returns the faces of gon, in which each face is represented as a list of coordinates of its vertices. form(gon); returns the form of gon (TruncatedTetrahedron3d, ...). MidRadius(gon); returns the mid-radius of gon. radius(gon); returns the radius of the circum-sphere of gon. schlafli(gon); returns the Maple Schlafli symbol of gon. sides(gon); returns the length of the edges of gon. VertexFigure(v,gon); returns the vertex figure v of gon. vertices(gon); returns the coordinates of vertices of gon.
For example, for a solid defined in the previous section:
form⁡gr2;MidRadiusgr2;sidesgr2;evalfvertices⁡gr2
RhombitruncatedCuboctahedron3d
2⁢4⁢2⁢321−2⁢3212349+2⁢2147⁢23−23
2⁢4⁢2⁢321−2⁢3212349+2⁢2147
2.651885183,2.431478811,4.041681997,2.651885183,1.568521189,4.041681997,2.041681997,3.651885183,3.431478811,2.041681997,3.651885183,2.568521189,1.431478811,3.041681997,4.651885183,0.5685211894,3.041681997,4.651885183,2.651885183,3.041681997,2.568521189,2.651885183,3.041681997,3.431478811,1.431478811,3.651885183,1.958318003,0.5685211894,3.651885183,1.958318003,2.041681997,2.431478811,1.348114817,2.041681997,1.568521189,1.348114817,2.651885183,0.958318003,3.431478811,2.651885183,0.958318003,2.568521189,1.431478811,0.348114817,4.041681997,0.5685211894,0.348114817,4.041681997,2.041681997,1.568521189,4.651885183,2.041681997,2.431478811,4.651885183,2.651885183,1.568521189,1.958318003,2.651885183,2.431478811,1.958318003,2.041681997,0.348114817,2.568521189,2.041681997,0.348114817,3.431478811,1.431478811,0.958318003,1.348114817,0.5685211894,0.958318003,1.348114817,−0.651885183,3.041681997,3.431478811,−0.651885183,3.041681997,2.568521189,0.5685211894,3.651885183,4.041681997,1.431478811,3.651885183,4.041681997,−0.041681997,2.431478811,4.651885183,−0.041681997,1.568521189,4.651885183,−0.651885183,2.431478811,1.958318003,−0.651885183,1.568521189,1.958318003,−0.041681997,3.651885183,2.568521189,−0.041681997,3.651885183,3.431478811,0.5685211894,3.041681997,1.348114817,1.431478811,3.041681997,1.348114817,−0.651885183,1.568521189,4.041681997,−0.651885183,2.431478811,4.041681997,−0.041681997,0.348114817,3.431478811,−0.041681997,0.348114817,2.568521189,0.5685211894,0.958318003,4.651885183,1.431478811,0.958318003,4.651885183,−0.651885183,0.958318003,2.568521189,−0.651885183,0.958318003,3.431478811,0.5685211894,0.348114817,1.958318003,1.431478811,0.348114817,1.958318003,−0.041681997,1.568521189,1.348114817,−0.041681997,2.431478811,1.348114817
References
Lines, L. Solid Geometry. Macmillan and Company, Ltd, 1935.
Return to Index for Example Worksheets
Download Help Document