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