Euler's Formula

Euler's formula states that for any real number

θ

e^{i θ} = cos θ + i sin θ

. It binds exponential growth to circular motion, expressing complex exponentials in terms of trigonometric functions. It is foundational across complex analysis, signal processing, differential equations, and physics. Discovered by Leonhard Euler around 1740, published in his Introductio in analysin infinitorum (1748).

Euler's formula asserts the identity $e^{i θ} = cos θ + i sin θ$ for all real $θ$ , where $i = - 1$ is the imaginary unit. It reveals that the complex exponential function traces the unit circle in the complex plane as $θ$ varies, unifying the seemingly distinct worlds of exponential and trigonometric functions. The formula matters because it converts multiplicative structure (exponentials) into rotational geometry, drastically simplifying problems in oscillation, waves, and rotation. The most surprising consequence is Euler's identity, $e^{iπ} + 1 = 0$ , which links the five most fundamental constants of mathematics in a single equation. Far from a curiosity, this identity is the engine behind the Fourier transform, AC circuit analysis, and quantum mechanics.

The Core Insight

Multiplying by $e^{i θ}$ is the same as rotating by angle $θ$ . The exponential function, defined by the property that it equals its own derivative, when fed an imaginary argument, produces a quantity whose "growth" is always perpendicular to its current value. Perpendicular growth means circular motion — and circular motion is precisely sine and cosine. This is why a single exponential captures both.

Formal Statement

Euler's Formula

For any real number $θ$ (measured in radians), the complex exponential satisfies:

e^{i θ} = cos θ + i sin θ

⟳Compare the Taylor series of

e^{i θ}

with those of

cos θ

and

i sin θ

Here $e \approx 2.71828$ is Euler's number, $i$ is the imaginary unit with $i^{2} = - 1$ , and $cos θ$ , $sin θ$ are the standard trigonometric functions. The quantity $e^{i θ}$ is a complex number of modulus $1$ , lying on the unit circle at angle $θ$ from the positive real axis.

Euler's Identity

Setting $θ = π$ in Euler's formula yields:

e^{iπ} + 1 = 0

⟳Substitute

θ = π

so that

cos π = - 1

and

sin π = 0

This identity connects $e$ , $i$ , $π$ , $1$ , and $0$ through the operations of addition, multiplication, and exponentiation, each appearing exactly once.

Inverse Relations

Euler's formula can be inverted to express the trigonometric functions in terms of complex exponentials:

cos θ = \frac{e ^{i θ} + e ^{- i θ}}{2}, sin θ = \frac{e ^{i θ} - e ^{- i θ}}{2 i}

⟳Add and subtract

e^{i θ} = cos θ + i sin θ

and

e^{- i θ} = cos θ - i sin θ

These are indispensable for evaluating integrals, simplifying trigonometric identities, and analyzing waveforms.

Why It Holds / Derivation

Series Derivation

We derive Euler's formula by comparing power series, all of which converge absolutely for every complex argument.

Step 1. The exponential function has the Maclaurin series, valid for any complex

z

e^{z} = n = 0 \sum \infty \frac{z ^{n}}{n !} = 1 + z + \frac{z ^{2}}{2 !} + \frac{z ^{3}}{3 !} + \dots

⟳This is the defining Taylor expansion of

e^{z}

about

z = 0

; it converges everywhere.

Step 2. Substitute

z = i θ

and use the cyclic powers of

i

i^{0} = 1

i^{1} = i

i^{2} = - 1

i^{3} = - i

i^{4} = 1

, repeating with period

4

e^{i θ} = 1 + i θ - \frac{θ ^{2}}{2 !} - i \frac{θ ^{3}}{3 !} + \frac{θ ^{4}}{4 !} + i \frac{θ ^{5}}{5 !} - \dots

⟳Replace each

i^{n}

by its value and track the alternating signs introduced by

i^{2} = - 1

Step 3. Separate real and imaginary parts:

e^{i θ} = (1 - \frac{θ ^{2}}{2 !} + \frac{θ ^{4}}{4 !} - \dots) + i (θ - \frac{θ ^{3}}{3 !} + \frac{θ ^{5}}{5 !} - \dots)

⟳Group terms with no factor of

i

separately from those carrying a factor of

i

Step 4. Recognize the two grouped series as the Maclaurin expansions of

cos θ

and

sin θ

cos θ = n = 0 \sum \infty \frac{( - 1 ) ^{n} θ ^{2 n}}{( 2 n )!}, sin θ = n = 0 \sum \infty \frac{( - 1 ) ^{n} θ ^{2 n + 1}}{( 2 n + 1 )!}

⟳These are the standard Taylor series for cosine and sine about

θ = 0

Therefore $e^{i θ} = cos θ + i sin θ$ . $■$

Differential Equation Derivation

An alternative route avoids series and clarifies the geometric meaning.

Step 1. Define

f (θ) = cos θ + i sin θ

. Differentiate:

f^{'} (θ) = - sin θ + i cos θ = i (cos θ + i sin θ) = i f (θ)

⟳Factor out

i

and use

i^{2} = - 1

so that

i \cdot i sin θ = - sin θ

Step 2. The function

f

satisfies the initial value problem

f^{'} (θ) = i f (θ)

with

f (0) = 1

. The unique solution of

g^{'} = i g

g (0) = 1

, is

g (θ) = e^{i θ}

. Step 3. By uniqueness of solutions to first-order linear ODEs,

f (θ) = e^{i θ}

, establishing the formula.

■

Leonhard Euler | 1707–1783

The Swiss mathematician Leonhard Euler was the most prolific mathematician in history, contributing foundational work to analysis, number theory, mechanics, and graph theory. He introduced the modern notation for $e$ , $i$ , the function notation $f (x)$ , and the Greek letter $π$ for the circle constant. Euler discovered his eponymous formula while studying the logarithms of complex and negative numbers, settling a long debate (with Leibniz and Johann Bernoulli) over the meaning of $ln (- 1)$ . Remarkably, he produced much of his greatest work after becoming totally blind in 1771, dictating to assistants from memory.

Building Intuition

Think of $e^{i θ}$ as a particle moving on the unit circle. At $θ = 0$ it sits at the point $1$ on the real axis. As $θ$ increases, the differential equation $f^{'} = i f$ says its velocity equals $i$ times its position — and multiplying a complex number by $i$ rotates it $90°$ counterclockwise. So the velocity is always perpendicular to the radius, which is the hallmark of uniform circular motion at unit speed. After traveling an arc length $θ$ , the particle is at angle $θ$ , with coordinates $(cos θ, sin θ)$ . The real exponential $e^{t}$ grows because its velocity points outward (parallel to position); the imaginary exponential $e^{i θ}$ circles because its velocity points sideways (perpendicular to position). Euler's formula is the precise statement of this geometric fact.

The complex exponential $e^{i\theta}$ traces the unit circle; its real and imaginary parts are $\cos\theta$ and $\sin\theta$.

Worked Examples

Computing a Complex Power

Given: Evaluate

(1 + i)^{8}

using Euler's formula. Step 1. Write

1 + i

in polar form. Its modulus is

r = 1^{2} + 1^{2} = 2

, and its argument is

θ = arctan (1/1) = π /4

. Thus

1 + i = 2 e^{iπ /4}

⟳Use

r = a^{2} + b^{2}

and

θ = arctan (b / a)

for

a + bi

in the first quadrant.

Step 2. Raise to the 8th power using

(r e^{i θ})^{n} = r^{n} e^{in θ}

(1 + i)^{8} = (2)^{8} e^{i \cdot 8 π /4} = 16 e^{i 2 π}

⟳

(2)^{8} = 2^{4} = 16

and

8 \cdot π /4 = 2 π

Step 3. Since

e^{i 2 π} = cos 2 π + i sin 2 π = 1

(1 + i)^{8} = 16

Integrating with the Exponential Form

Given: Evaluate

\int_{0}^{π} e^{x} cos x d x

using

cos x = \frac{1}{2} (e^{i x} + e^{- i x})

. Step 1. Note that

e^{x} cos x = Re (e^{x} e^{i x}) = Re (e^{(1 + i) x})

. Step 2. Integrate the complex exponential:

\int_{0}^{π} e^{(1 + i) x} d x = [\frac{e ^{(1 + i) x}}{1 + i}]_{0}^{π} = \frac{e ^{(1 + i) π} - 1}{1 + i}

⟳Treat

1 + i

as a constant; the antiderivative of

e^{k x}

e^{k x} / k

Step 3. Evaluate

e^{(1 + i) π} = e^{π} e^{iπ} = e^{π} (- 1) = - e^{π}

. So the integral is

\frac{- e ^{π} - 1}{1 + i} = \frac{- ( e ^{π} + 1 )}{1 + i} \cdot \frac{1 - i}{1 - i} = \frac{- ( e ^{π} + 1 ) ( 1 - i )}{2}

⟳Multiply numerator and denominator by the conjugate

1 - i

, since

(1 + i) (1 - i) = 2

Step 4. Take the real part:

\int_{0}^{π} e^{x} cos x d x = \frac{- ( e ^{π} + 1 )}{2} = - \frac{e ^{π} + 1}{2} \approx - 12.07

Common Misconceptions

Euler's formula does not say $e^{i θ}$ is "imaginary." It is a complex number with both real part

cos θ

and imaginary part

sin θ

. Its modulus is always

1

∣ e^{i θ} ∣ = cos^{2} θ + sin^{2} θ = 1

. Also,

θ

must be in radians, not degrees — the series for

sin

and

cos

, and the derivative identities, only hold in radian measure. The complex exponential is not one-to-one. Because

e^{i (θ + 2 π k)} = e^{i θ}

for any integer

k

, the function is periodic with period

2 π

. Consequently the complex logarithm is multivalued, and naïve manipulations like "

ln (e^{i θ}) = i θ

" require choosing a branch.

A tempting but false manipulation: "Since $e^{iπ} = - 1$ , squaring gives $e^{2 π i} = 1$ , so taking square roots, $e^{π i} = e^{0} = 1$ , hence $- 1 = 1$ ." The error is that the complex square root (like the logarithm) is multivalued: $e^{2 π i}$ has two values, $+ 1$ and $- 1$ , and the rule $(e^{z})^{1/2} = e^{z /2}$ fails as a single-valued identity. This illustrates why branch cuts of the complex logarithm cannot be ignored.

Connections

Euler's formula is the keystone of Complex Analysis, where it underlies the polar representation $z = r e^{i θ}$ and De Moivre's Theorem, $(cos θ + i sin θ)^{n} = cos n θ + i sin n θ$ . It generalizes to The Complex Exponential Function $e^{z} = e^{x} (cos y + i sin y)$ for $z = x + i y$ . The inverse relations [3] are the seed of the Fourier Series and Fourier Transform, which decompose signals into complex exponentials. In differential equations, it provides the complex eigenfunctions $e^{λ t}$ that solve Linear Ordinary Differential Equations with constant coefficients. Geometrically, it links to Rotation Matrices via the isomorphism between $e^{i θ}$ and the $2 \times 2$ rotation by $θ$ .

Real-World Applications

AC circuit analysis (phasors): Engineers represent sinusoidal voltages and currents as complex exponentials $V e^{iω t}$ , turning differential equations for inductors and capacitors into algebraic ones — the basis of impedance.
Signal processing: The Fast Fourier Transform expresses signals as sums of $e^{i 2 π k n / N}$ , enabling audio compression (MP3), image compression (JPEG), and digital filtering.
Quantum mechanics: The time evolution of a quantum state is $ψ (t) = e^{- i E t /ℏ} ψ (0)$ ; phase factors $e^{i ϕ}$ govern interference and the Aharonov–Bohm effect.
Control theory: Stability of feedback systems is read off the location of poles $e^{s t}$ in the complex plane (Laplace/ $z$ -transforms).
Telecommunications: Quadrature amplitude modulation (QAM) encodes data on the in-phase and quadrature components $cos ω t$ and $sin ω t$ of a carrier $e^{iω t}$ .
Computer graphics and robotics: Planar rotations use unit complex numbers $e^{i θ}$ (and their 3D analog, quaternions) for smooth, gimbal-lock-free orientation.
Mechanical vibrations: Damped oscillators are modeled by $e^{(- γ + iω) t}$ , whose real part gives decay and imaginary part gives oscillation frequency.

Historical Development

1714: Roger Cotes publishes the logarithmic form $ln (cos θ + i sin θ) = i θ$ , an early equivalent statement, though buried in his work on integration.
1722: Abraham de Moivre states the power identity $(cos θ + i sin θ)^{n} = cos n θ + i sin n θ$ , implicit in his earlier work since 1707.
1740: Euler, in correspondence and unpublished notes, recognizes that $e^{i θ}$ and $cos θ + i sin θ$ satisfy the same differential equation, deriving the formula.
1741–1743: Euler resolves the dispute over $ln (- 1)$ , showing it equals $iπ$ , by treating logarithms as multivalued — a direct consequence of his formula.
1748: Euler publishes the formula explicitly in Introductio in analysin infinitorum, presenting both the series and exponential viewpoints.
1797–1806: Caspar Wessel and Jean-Robert Argand develop the geometric interpretation of complex numbers as points in a plane, giving Euler's formula its rotational meaning.
1831: Carl Friedrich Gauss popularizes the complex plane and the term "complex number," cementing the geometric reading of $e^{i θ}$ .
1822: Joseph Fourier's Théorie analytique de la chaleur uses sinusoidal decompositions, later recast in the complex-exponential language built on Euler's formula.

Subtleties & Limits

While Euler's formula itself is fully proven, its extensions touch deep and partly open territory. The multivaluedness of the complex logarithm, $lo g z = ln ∣ z ∣ + i (ar g z + 2 π k)$ , demands the machinery of Riemann surfaces to handle rigorously; choosing branch cuts consistently across analytic continuations remains a subtle practical issue. Generalizations to noncommutative settings — the matrix exponential $e^{A}$ and Lie group exponentials — obey $e^{A} e^{B} = e^{A + B}$ only when $A$ and $B$ commute; the general case is governed by the Baker–Campbell–Hausdorff formula, whose full structure and convergence in infinite-dimensional algebras is still actively studied. Questions about the transcendence of values like $e^{i θ}$ for algebraic $θ$ connect to the Gelfond–Schneider theorem and open problems in transcendental number theory.

Euler's Formula

The Core Insight

Formal Statement

Euler's Formula

Euler's Identity

Inverse Relations

Why It Holds / Derivation

Series Derivation

Differential Equation Derivation

Leonhard Euler | 1707–1783

Building Intuition

The complex exponential $e^{i\theta}$ traces the unit circle; its real and imaginary parts are $\cos\theta$ and $\sin\theta$.

Worked Examples

Computing a Complex Power

Integrating with the Exponential Form

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads