In[940]:=

Out[940]=

In[941]:=

Out[941]=

In[942]:=

Out[942]=

In[943]:=

Out[943]=

In[944]:=

Out[944]=

In[945]:=

Out[945]=

In[946]:=

Out[946]=

In[947]:=

Out[947]=

In[948]:=

Out[948]//InputForm=

Graphics3D[GraphicsComplex[{{0, 0, (3*Sqrt[(5 - Sqrt[5])/10])/4}, {Sqrt[1/2 + 1/(2*Sqrt[5])], 0, -Sqrt[(5 - Sqrt[5])/10]/4},
   {Sqrt[(5 - Sqrt[5])/10]/2, (-1 - Sqrt[5])/4, -Sqrt[(5 - Sqrt[5])/10]/4}, {Sqrt[(5 - Sqrt[5])/10]/2, (1 + Sqrt[5])/4,
    -Sqrt[(5 - Sqrt[5])/10]/4}, {-Sqrt[1/4 + 1/(2*Sqrt[5])], -1/2, -Sqrt[(5 - Sqrt[5])/10]/4},
   {-Sqrt[1/4 + 1/(2*Sqrt[5])], 1/2, -Sqrt[(5 - Sqrt[5])/10]/4}}, Polygon[{{4, 6, 1}, {6, 5, 1}, {5, 3, 1}, {3, 2, 1}, {2, 4, 1},
    {2, 3, 5, 6, 4}}]]]

In[949]:=

Out[949]=

In[950]:=

Out[950]=

In[951]:=

Out[951]=

Johnson Polyhedra

Geometry