Identity in complex analysis expressing the complex exponential in terms of trigonometric functions: e^{iθ} = cos θ + i sin θ for real θ, extendable to complex arguments by analytic continuation.

Principle

The complex exponential maps addition of angles to multiplication of complex numbers; equivalently the power series definitions of e^z, sin z and cos z coincide to produce the equality for real and then complex arguments via analyticity.

Demonstration

For θ = π the formula yields e^{iπ} = −1, giving the celebrated relation e^{iπ} + 1 = 0. In solving linear ODEs with constant coefficients, expressing solutions via e^{iθt} translates oscillatory behavior to exponential form.

Misapplication

Treating e^{iθ} as a purely real-valued identity or ignoring branch choices when inverting the exponential (e.g., applying the real logarithm to complex values) leads to incorrect conclusions; likewise using the formula without verifying analyticity when extending to nonstandard domains is erroneous.

Consequence

Provides a bridge between exponential and trigonometric representations, simplifies computations in Fourier analysis, electrical engineering, and differential equations, and yields compact expressions for rotations and oscillations.

Reversal

Interpreting trig functions as primary and denying the exponential viewpoint loses multiplicative structure and algebraic convenience; conversely treating the formula only symbolically hides analytic subtleties like branch cuts and multi-valued inverses.

Boundary

Exact as stated for real θ and valid for complex z by analytic continuation of the defining power series; caution is required when taking logarithms or inverses in the complex plane because of multi-valuedness and branch cuts.

Semantic Tension

Often conflated with the special case e^{iπ}+1=0 and mythologized as a mystical identity; tension also appears between algebraic manipulations and analytic conditions (domain, convergence, branches).

Synthesis

Euler's formula is the analytic equality that identifies the complex exponential with rotation in the plane: its power series (or differential) origins make e^{iθ} the compact algebraic representative of cos θ + i sin θ, enabling unified treatment of oscillation, rotation, and complex-linear algebra.