Tag: Cyclotomic-Fields

All the articles with the tag "Cyclotomic-Fields".

• Simultaneous Identities of the Golden Ratio and Euler's Identity

  29 Jul, 2026

  Formal verification in Lean 4 that the golden ratio φ satisfies twelve identities across five canonical structures, specialised to the 52 known Mersenne prime exponents.