3.5.6 · D1Complex Numbers

Foundations — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

2,010 words9 min readBack to topic

This page assumes nothing. Before you touch the parent proof, you need to already see eleven little pictures. We build them one at a time, each using only the ones before it.


1 — The number line, and the symbol

Why do we need this? Everything that follows is "a line, then a second line stuck on at a right angle." So we start with one line.


2 — Right, left, and the special number

Here is the first genuinely new idea of the whole topic.

Figure — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

Why the topic needs it: without a number that means "rotate 90°," there is no way to talk about spinning, and is all about spinning.


3 — The complex plane, and

Figure — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

The flat map in figure s02 is the complex plane: horizontal axis = real part, vertical axis = imaginary part. A complex number is just a point (or an arrow from the centre to that point). This is the map every later picture lives on.


4 — Modulus : how far from the centre

Why we need it: Euler's formula is specifically about points at distance exactly 1. To say "distance 1" we first need a word for distance — that word is modulus.


5 — Angle , and radians

Figure — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

6 — and : the shadow and the height

Now the two workhorse functions. We define them on the unit circle, not on triangles, because that is how the topic uses them.

Figure — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

Because the tip is always distance 1 from the centre, Pythagoras on figure s04 gives the identity you will lean on constantly:


7 — Powers, and the symbol

Why the topic needs these: the parent proof writes , , as infinite sums of powers over factorials. You cannot read a single line of the proof without knowing what , and mean.


8 — The exponential and

Why we need the sum form and not "2.718 to a power": you cannot raise a decimal to an imaginary power by ordinary multiplication — "multiply 2.718 by itself times" is meaningless. But the sum form takes any input, real or complex, and just adds terms. That is the whole trick of the proof: substitute into a sum. (See Taylor & Maclaurin Series for where these sums come from.)


9 — Putting the powers of to work

We already have . Now extend the pattern — this is the "engine" of the proof.


10 — How it all feeds the theorem

Number line and placeholder x

i: new number, i^2 = -1

Complex plane: point a + bi

Modulus of z: distance from 0

Unit circle: distance 1 from 0

Multiply by i = rotate 90 degrees

Angle theta in radians

cos theta = shadow, sin theta = height

Powers, factorial, sum symbol

e^x as an infinite sum

Powers of i cycle: 1, i, -1, -i

Euler's formula

Read it top-down: the plane and give you where numbers live; modulus + angle + give you the unit-circle language; powers + give you the exponential-as-sum; the -cycle is the sorting engine. Feed all four into the substitution and Euler's formula pops out.


Equipment checklist

Test yourself — reveal only after answering aloud.

What does the symbol mean, in one sentence?
A number one step "up" off the line with ; multiplying by it rotates 90° anticlockwise.
In , what are and ?
= how far right (real part), = how far up (imaginary part).
What is the modulus of , and what picture is it?
— the distance from the centre to the point.
What is the unit circle?
All points at modulus exactly from the centre.
What is 1 radian?
The angle whose arc along the unit circle has length equal to the radius (1); a full turn is .
On the unit circle, what are and ?
The horizontal shadow and the vertical height of the tip after turning by .
What identity links and on the unit circle, and why?
, from Pythagoras since the tip is distance 1 away.
What does tell you to do?
Add the expression for forever.
What is and what is ?
Both equal .
Write as an infinite sum.
Why must we use the sum form of for Euler's formula?
Because raising a decimal to an imaginary power is meaningless, but the sum accepts any complex input.
List the cycle of powers of starting at .
then repeats.
Why does the exponential series split into real and imaginary halves?
Because cycles : even powers land on real terms, odd powers carry a factor of .

Connections