3.5.6 · D4Complex Numbers

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

1,761 words8 min readBack to topic
Figure — Euler's formula — e^(iθ) = cos θ + i sin θ (proof via Taylor series)

The picture above is your reference for every polar-form problem: the red dot is , the blue segment is its modulus , and the orange angle is its argument .


Level 1 — Recognition

Just read the formula off. No algebra beyond substituting a value.

L1.1 Write evaluated at . What point of the unit circle is this?

Recall Solution

Substitute : Angle means the clock hand points along the positive real axis, so the tip is at the point . Answer: .

L1.2 Evaluate and hence write down Euler's identity.

Recall Solution

A half-turn ( rad ) lands the hand on the negative real axis, at . Rearranging: — this is Euler's identity. Answer: .

L1.3 State the modulus for any real , and justify in one line.

Recall Solution

The modulus is the distance from ; is the Pythagorean identity, so the tip is always distance from the centre — it never leaves the unit circle. Answer: .


Level 2 — Application

Substitute a specific angle or convert one number to polar form.

L2.1 Evaluate .

Recall Solution

rad is three quarter-turns; from that lands at the bottom of the circle, the point . Answer: .

L2.2 Write in the form with .

Recall Solution

Modulus: . Now the argument. The real part is negative and the imaginary part is positive, so sits in the second quadrant (upper-left) — look at the reference figure. The reference angle whose tangent is is . In quadrant II the true angle is . Check: . ✔

L2.3 Evaluate and give the answer as .

Recall Solution

By De Moivre, the power multiplies the angle: Answer: (i.e. ).


Level 3 — Analysis

Now dissect structure: separate real/imaginary parts, use conjugate exponentials.

L3.1 Use to prove .

Recall Solution

Square the exponential form: The middle term: , so . The outer pair recombines into a cosine: . Hence

L3.2 Find the real part of .

Recall Solution

Recall picks off the part with no , and . So read off each term: Answer: .

L3.3 Show that (the bar means complex conjugate).

Recall Solution

Using the exponent rule, . Since cosine is even () and sine is odd (), The conjugate of flips the sign of the imaginary part, giving exactly . All three expressions match. Geometrically, reciprocal and conjugate both reflect the point across the real axis here, because the modulus is .


Level 4 — Synthesis

Combine polar form + De Moivre + geometry in one problem.

L4.1 Compute .

Recall Solution

Polar form of : modulus . Real part positive, imaginary part negative → quadrant IV (lower-right). Reference angle , so . Thus . Now Answer: .

L4.2 Find all complex with (the cube roots of ).

Recall Solution

Write , but remember the angle is only fixed up to full turns: for any integer . Seek with .

  • Modulus: .
  • Angle: , taking for three distinct roots.

Answer: . These sit at the corners of an equilateral triangle on the circle of radius — see Roots of Unity.

The figure below plots these three roots. Notice the blue radii all have length , the red dots are the roots, and the green triangle connecting them is equilateral — the roots are spaced exactly apart, the visual signature of "take one root, spin by a third of a full turn to reach the next".

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

L4.3 Express in terms of using De Moivre.

Recall Solution

De Moivre: . Expand the left with the binomial: Using : Match real parts: . Now replace : Answer: .


Level 5 — Mastery

Proof-level: build a result from the formula itself.

L5.1 Sum the finite geometric series for (mod ), and hence find .

Recall Solution

This is a geometric series with first term and common ratio . Since , To simplify, factor a half-angle out of top and bottom (the standard trick): . Applying with on top and on the bottom: Taking the real part (and ): Verification (): direct sum ; formula gives . ✔

L5.2 Prove that and have the same derivative structure by showing , and interpret the factor geometrically.

Recall Solution

Differentiate the right-hand side of Euler's formula term by term (this is legal — the series converges everywhere, from Taylor & Maclaurin Series): Factor out : because . ✔ Hence Interpretation: the velocity of the moving point is its position multiplied by , i.e. rotated . A velocity always perpendicular to the radius, of the same length, is exactly uniform motion around a circle — this is Multiplication as Rotation & Scaling made kinetic.

L5.3 Using and the analogous , prove .

Recall Solution

Put into the exponential form of cosine: (We used , so .) This is the bridge in Hyperbolic Functions — $\cosh,\sinh$ vs $\cos,\sin$: rotating the angle into the imaginary direction turns circular functions into hyperbolic ones.


Recall One-line self-test

Which single fact makes all of L4 and L5 work? Answer: An angle is only defined up to , and multiplying complex numbers adds their angles () — powers, roots, and sums all follow from this.

Connections