Yet again, Mastodon helps me crack my math problems.
I never knew what was so great about the "great icosahedron". Now I do.
Take a regular icosahedron whose vertices have coordinates in ℚ[√5]. Apply the nontrivial element of the Galois group: that is, replace √5 by -√5. You get the great icosahedron, shown below!
More precisely, take the regular icosahedron whose 12 vertices are
(±1,±Φ,0), (0,±1,±Φ), (±Φ,0,±1)
where Φ = (1 + √5)/2 is the golden ratio. Take
points (vertices of the icosahedron),
lines (containing edges of the icosahedron),
and
planes (containing faces of the icosahedron)
in ℚ[√5]³.
Now replace √5 by -√5 in all your formulas. You get the equations for new
points (vertices of a great icosahedron),
lines (containing edges of this great icosahedron),
and
planes (containing faces of this great icosahedron).
So a Galois transformation makes the icosahedron "great"!
If you apply the Galois transformation again you get back the icosahedron, and if you apply it yet again you make the icosahedron great again.
I thank
@nprofile1q... and
@nprofile1q... for their help on this.
