In[904]:=
Out[904]=
In[905]:=
Out[905]=
In[906]:=
Out[906]=
In[907]:=
Out[907]=
In[908]:=
Out[908]=
In[909]:=
Out[909]=
In[910]:=
Out[910]=
In[911]:=
Out[911]=
In[912]:=
Out[912]//InputForm=
Graphics3D[GraphicsComplex[{{0, (-1 - Sqrt[5])/2, (-9*Sqrt[1 - 2/Sqrt[5]])/8},
{0, (1 + Sqrt[5])/2, (-9*Sqrt[1 - 2/Sqrt[5]])/8}, {Sqrt[1/8 + 1/(8*Sqrt[5])], (-3 - Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {Sqrt[1/8 + 1/(8*Sqrt[5])], (3 + Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {Sqrt[1/4 + 1/(2*Sqrt[5])], -1/2,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 - Sqrt[(5 - Sqrt[5])/10]}, {Sqrt[1/4 + 1/(2*Sqrt[5])], -1/2,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[(5 + 2*Sqrt[5])/5]}, {Sqrt[1/4 + 1/(2*Sqrt[5])], 1/2,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 - Sqrt[(5 - Sqrt[5])/10]}, {Sqrt[1/4 + 1/(2*Sqrt[5])], 1/2,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[(5 + 2*Sqrt[5])/5]}, {-Sqrt[1/2 + 1/(2*Sqrt[5])], 0,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 - Sqrt[(5 - Sqrt[5])/10]}, {-Sqrt[1/2 + 1/(2*Sqrt[5])], 0,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[(5 + 2*Sqrt[5])/5]}, {-Sqrt[5/8 + 11/(8*Sqrt[5])], (-1 - Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {-Sqrt[5/8 + 11/(8*Sqrt[5])], (1 + Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[1/2 + 1/(2*Sqrt[5])]}, {-Sqrt[(5 - Sqrt[5])/10]/2, (-1 - Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 - Sqrt[(5 - Sqrt[5])/10]}, {-Sqrt[(5 - Sqrt[5])/10]/2, (-1 - Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[(5 + 2*Sqrt[5])/5]}, {-Sqrt[(5 - Sqrt[5])/10]/2, (1 + Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 - Sqrt[(5 - Sqrt[5])/10]}, {-Sqrt[(5 - Sqrt[5])/10]/2, (1 + Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[(5 + 2*Sqrt[5])/5]}, {-Sqrt[5/8 + Sqrt[5]/8], (-3 - Sqrt[5])/4,
(-9*Sqrt[1 - 2/Sqrt[5]])/8}, {-Sqrt[5/8 + Sqrt[5]/8], (3 + Sqrt[5])/4, (-9*Sqrt[1 - 2/Sqrt[5]])/8},
{Sqrt[5/8 + Sqrt[5]/8], (-3 - Sqrt[5])/4, (-9*Sqrt[1 - 2/Sqrt[5]])/8},
{Sqrt[5/8 + Sqrt[5]/8], (3 + Sqrt[5])/4, (-9*Sqrt[1 - 2/Sqrt[5]])/8},
{-Sqrt[5/4 + Sqrt[5]/2], -1/2, (-9*Sqrt[1 - 2/Sqrt[5]])/8}, {-Sqrt[5/4 + Sqrt[5]/2], 1/2,
(-9*Sqrt[1 - 2/Sqrt[5]])/8}, {Sqrt[5/4 + Sqrt[5]/2], -1/2, (-9*Sqrt[1 - 2/Sqrt[5]])/8},
{Sqrt[5/4 + Sqrt[5]/2], 1/2, (-9*Sqrt[1 - 2/Sqrt[5]])/8}, {Sqrt[(5 + 2*Sqrt[5])/5], 0,
(-9*Sqrt[1 - 2/Sqrt[5]])/8 + Sqrt[1/2 + 1/(2*Sqrt[5])]}},
Polygon[{{16, 10, 14, 6, 8}, {12, 10, 16}, {11, 14, 10}, {3, 6, 14}, {25, 8, 6}, {4, 16, 8}, {20, 2, 4},
{18, 22, 12}, {21, 17, 11}, {1, 19, 3}, {23, 24, 25}, {2, 18, 12, 16, 4}, {22, 21, 11, 10, 12},
{17, 1, 3, 14, 11}, {19, 23, 25, 6, 3}, {24, 20, 4, 8, 25}, {5, 13, 9, 15, 7}, {2, 20, 7, 15},
{22, 18, 15, 9}, {17, 21, 9, 13}, {19, 1, 13, 5}, {24, 23, 5, 7}, {7, 20, 24}, {15, 18, 2}, {9, 21, 22},
{13, 1, 17}, {5, 23, 19}}]]]
In[913]:=
Out[913]=
In[914]:=
Out[914]=
In[915]:=
Out[915]=
Johnson Polyhedra
Geometry