Tag: Euler's-Identity

All the articles with the tag "Euler's-Identity".

• 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.