In[1120]:=

Out[1120]=

In[1121]:=

Out[1121]=

In[1122]:=

Out[1122]=

In[1123]:=

Out[1123]=

In[1124]:=

Out[1124]=

In[1125]:=

Out[1125]=

In[1126]:=

Out[1126]=

In[1127]:=

Out[1127]=

In[1128]:=

Out[1128]//InputForm=

Graphics3D[GraphicsComplex[{{-(1/Sqrt[3]), 0, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 1, 0]}, {-1/(2*Sqrt[3]), -1/2, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 4, 0]}, {-1/(2*Sqrt[3]), 1/2, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 4, 0]}, {1/(2*Sqrt[3]), -1/2, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 1, 0]}, {1/(2*Sqrt[3]), 1/2, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 1, 0]}, {1/Sqrt[3], 0, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 84*#1^2 + 144*#1^4 & , 4, 0]}, {Root[1 - 36*#1^2 + 144*#1^4 & , 4, 0], (-1 - Sqrt[5])/4,
    -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 + Root[1 - 36*#1^2 + 144*#1^4 & , 3, 0]},
   {Root[1 - 36*#1^2 + 144*#1^4 & , 4, 0], (1 + Sqrt[5])/4, -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 +
     Root[1 - 36*#1^2 + 144*#1^4 & , 3, 0]}, {Root[1 - 9*#1^2 + 9*#1^4 & , 1, 0], 0,
    -Sqrt[(3*(7 - 3*Sqrt[5]))/10]/4 + Root[1 - 36*#1^2 + 144*#1^4 & , 3, 0]}},
  Polygon[{{9, 2, 3}, {1, 5, 4}, {3, 2, 6}, {3, 6, 8}, {2, 7, 6}, {2, 9, 1, 4, 7}, {5, 1, 9, 3, 8},
    {8, 6, 7, 4, 5}}]]]

In[1129]:=

Out[1129]=

In[1130]:=

Out[1130]=

In[1131]:=

Out[1131]=

Johnson Polyhedra

Geometry