In[916]:=

Out[916]=

In[917]:=

Out[917]=

In[918]:=

Out[918]=

In[919]:=

Out[919]=

In[920]:=

Out[920]=

In[921]:=

Out[921]=
In[922]:=

Out[922]=

In[923]:=

Out[923]=

In[924]:=

Out[924]//InputForm=
Graphics3D[GraphicsComplex[{{0, (-1 - Sqrt[5])/2, -Sqrt[5/32 + 11/(32*Sqrt[5])]},
{0, (1 + Sqrt[5])/2, -Sqrt[5/32 + 11/(32*Sqrt[5])]}, {-Sqrt[5/8 + Sqrt[5]/8], (-3 - Sqrt[5])/4,
-Sqrt[5/32 + 11/(32*Sqrt[5])]}, {-Sqrt[5/8 + Sqrt[5]/8], (3 + Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])]},
{Sqrt[5/8 + Sqrt[5]/8], (-3 - Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])]},
{Sqrt[5/8 + Sqrt[5]/8], (3 + Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])]},
{-Sqrt[5/4 + Sqrt[5]/2], -1/2, -Sqrt[5/32 + 11/(32*Sqrt[5])]}, {-Sqrt[5/4 + Sqrt[5]/2], 1/2,
-Sqrt[5/32 + 11/(32*Sqrt[5])]}, {Sqrt[5/4 + Sqrt[5]/2], -1/2, -Sqrt[5/32 + 11/(32*Sqrt[5])]},
{Sqrt[5/4 + Sqrt[5]/2], 1/2, -Sqrt[5/32 + 11/(32*Sqrt[5])]}, {Sqrt[(5 + 2*Sqrt[5])/5], 0,
-Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {Sqrt[1/8 + 1/(8*Sqrt[5])], (-3 - Sqrt[5])/4,
-Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {Sqrt[1/8 + 1/(8*Sqrt[5])], (3 + Sqrt[5])/4,
-Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {-Sqrt[5/8 + 11/(8*Sqrt[5])],
(-1 - Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[1/2 + 1/(2*Sqrt[5])]},
{-Sqrt[5/8 + 11/(8*Sqrt[5])], (1 + Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[1/2 + 1/(2*Sqrt[5])]},
{-Sqrt[1/2 + 1/(2*Sqrt[5])], 0, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[(5 + 2*Sqrt[5])/5]},
{-Sqrt[(5 - Sqrt[5])/10]/2, (-1 - Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[(5 + 2*Sqrt[5])/5]},
{-Sqrt[(5 - Sqrt[5])/10]/2, (1 + Sqrt[5])/4, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[(5 + 2*Sqrt[5])/5]},
{Sqrt[1/4 + 1/(2*Sqrt[5])], -1/2, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[(5 + 2*Sqrt[5])/5]},
{Sqrt[1/4 + 1/(2*Sqrt[5])], 1/2, -Sqrt[5/32 + 11/(32*Sqrt[5])] + Sqrt[(5 + 2*Sqrt[5])/5]}},
Polygon[{{18, 16, 17, 19, 20}, {15, 16, 18}, {14, 17, 16}, {12, 19, 17}, {11, 20, 19}, {13, 18, 20},
{6, 2, 13}, {4, 8, 15}, {7, 3, 14}, {1, 5, 12}, {9, 10, 11}, {2, 4, 15, 18, 13}, {8, 7, 14, 16, 15},
{3, 1, 12, 17, 14}, {5, 9, 11, 19, 12}, {10, 6, 13, 20, 11}, {10, 9, 5, 1, 3, 7, 8, 4, 2, 6}}]]]
In[925]:=

Out[925]=

In[926]:=

Out[926]=

In[927]:=

Out[927]=

Johnson Polyhedra
Geometry