icosahedron_involves_phi
plain-language theorem explainer
Icosahedral quasicrystals receive five-fold symmetry order. Condensed matter physicists cite the result when tracing five-fold axes in diffraction patterns to the golden ratio's geometric role. The proof is a one-line reflexivity that follows at once from the definition of the order.
Claim. Icosahedral quasicrystals possess five-fold rotational symmetry, so the symmetry order equals $5$.
background
The Quasicrystal module models aperiodic tilings whose stability follows from the golden ratio minimizing an energy proxy of the form $(r - 1/φ)^2$. Penrose tilings exhibit area ratios equal to φ, while icosahedral symmetry is characterized by five-fold axes that place φ in vertex coordinates of the regular icosahedron. The upstream definition sets the icosahedral order to the natural number five and equates this number with the appearance of φ.
proof idea
The proof is a term-mode one-liner that applies reflexivity directly to the definition of icosahedral order.
why it matters
The declaration supplies the concrete link between icosahedral geometry and φ-stability required by the module's key predictions. It aligns with the Recognition Science forcing chain at the self-similar fixed point φ and the emergence of five-fold symmetry, closing one step in the argument that φ-minimizing tilings dominate observed quasicrystals.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.