There are a number of algebraic equations known as the icosahedral equation, all of which derive from the projective geometry of the icosahedron. Consider an icosahedron centered , oriented with -axis along a fivefold () rotational symmetry axis, and with one of the top five edges lying in the -plane (left figure). In this figure, vertices are shown in black, face centers in red, and edge midpoints in blue.
The simplest icosahedral equation is defined by projecting the vertices of the icosahedron with unit circumradius using a stereographic projection from the south pole of its circumsphere onto the plane , and expressing these vertex locations (interpreted as complex quantities in the complex -plane) as roots of an algebraic equation. The resulting projection is shown as the left figure above, with black dots being the vertex positions. The resulting equation is
(1)
|
where here refers to the coordinate in the complex plane (not the height above the projection plane), and the equation is of order 11 instead of 12 since the vertex at is transformed to infinity and has been omitted. Writing the above equation in symmetric form gives
(2)
|
If the icosahedron with unit inradius is instead projected (second figure above), the equation expressing the positions of the face centers (red dots) is given by
(3)
|
or in symmetric form,
(4)
|
Finally, if the icosahedron with unit midradius is projected (right figure above), the equation expressing the positions of the edge midpoints (blue dots) is given by
(5)
|
or in symmetric form,
(6)
|
Note that because these equations involve variables to multiples of the power 5, rotating the solid by radians changes transforms the quantities from to , producing the same equations modulo minus signs in odd powers of , corresponding to flipping the positions of the roots about the imaginary axis.
Combining and gives a general equation commonly known as "the" icosahedral equation,
(7)
|
Hunt (1996) considers a "dehomogenized" icosahedral equation given by
(8)
|
If the icosahedron is instead oriented so that the top and bottom faces are parallel to the -plane, the corresponding equation giving its projected vertices is
(9)
|