Euler's Formula¶
Euler's formula equates the complex exponential at a real imaginary angle with cosine and sine coordinates: exp(ix) = cos x + i sin x.
Core Idea¶
For a real angle \(x\), Euler's formula states \(e^{ix}=\cos x+i\sin x\). It represents a point on the complex unit circle by its cosine and sine coordinates. At \(x=\pi\) it yields Euler's identity, but the formula applies to every real angle.[^ref-b0c215694bf4]
Scope of Application¶
Multiplying \(e^{ix}\) by \(e^{iy}\) composes rotations, because the result is \(e^{i(x+y)}\). The real part of \(e^{i(\omega t+\phi)}\) represents a phase-shifted cosine. For a general exponent \(a+ib\), \(e^a\) also changes the radius, so not every complex exponential is a pure rotation.[^ref-2da8b349d220]
Clarity¶
The formula connects circular geometry with exponential algebra. Two quarter-turn factors \(i\cdot i=-1\) give a half-turn. Euler's polyhedral formula is a different, homonymous subject.
Manages Complexity¶
One complex factor packages both sine and cosine, simplifying phase composition. Extract the real or imaginary part again when the desired result is a real quantity.
Abstract Reasoning¶
Multiply \((\cos x+i\sin x)(\cos y+i\sin y)\) and compare real/imaginary parts with \(e^{i(x+y)}\) to derive angle-addition rules. Check that the angle is real before claiming unit modulus.
Knowledge Transfer¶
The identity works literally in complex rotations and sinusoidal calculations. Fourier methods use it but add other machinery. Complex Number and Fourier Transform are live domain-specific neighbors, not live primes or strict parents; Euler Characteristic is a separate domain-specific name collision. The strict genus is Formal Theorem: this is a proved mathematical identity, unlike an arbitrary formula label.
[^ref-b0c215694bf4]: NIST DLMF, equation 4.14.3. [^ref-2da8b349d220]: NIST DLMF, equation 4.2.24.
Relationships to Other Abstractions¶
Current abstraction Euler's Formula Domain-specific
Parents (1) — more general patterns this builds on
-
Euler's Formula is a kind of Formal theorem Domain-specific
Euler's complex-exponential formula is a proved mathematical identity specializing Formal Theorem.
Hierarchy paths (2) — routes to 2 parentless roots
- Euler's Formula → Formal theorem → Formal System → Formalization → Representation → Abstraction
- Euler's Formula → Formal theorem → Formal System → Formalization → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Euler's Formula sits in a sparse region of the domain-specific corpus (83rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Coordinate Systems & Spatial Measures (29 abstractions)
Nearest neighbors
- Superegg — 0.83
- Elliptic Cylindrical Coordinates — 0.83
- Laguerre Formula — 0.82
- Spherical Linear Interpolation — 0.81
- Squeeze Mapping — 0.81
Computed from structural-signature embeddings · 2026-10-08