Tag: Euler's-Identity
All the articles with the tag "Euler's-Identity".
-
Simultaneous identities of the golden ratio and Euler's identity, formally verified in Lean 4 over the known Mersenne prime exponents
Formal verification in Lean 4 that the golden ratio φ satisfies twelve identities across five canonical structures, specialised to the 52 known Mersenne prime exponents.