Visual walkthrough — Case 3 - complex conjugate roots — Euler's formula connection

This page rebuilds the central result of Case 3 from pictures. We start with a spinning arrow and end with a shrinking wiggle. Every symbol is earned before it appears.

Our goal, stated once so you know where we are heading:

Before symbols, three plain words:

---

Step 1 — Where do complex roots even come from?

WHAT. We take the equation $a{y}^{\prime \prime }+b{y}^{\prime }+cy=0$ and guess a solution shaped like $e^{mx}$. Feeding that guess in turns the calculus into plain algebra: the characteristic equation $a{m}^2+bm+c=0$ (built in Characteristic Equation of Linear ODEs). Solving it with the quadratic formula gives $m=\underset{\alpha }{\underbrace{\frac{-b}{2a}}}\pm i\underset{\beta }{\underbrace{\frac{\sqrt{4ac-b^2}}{2a}}}.$

Term by term: $\frac{-b}{2a}$ is a real number — call it $\alpha$. The stuff under the root, $4ac-b^2$, is positive exactly when the discriminant $\Delta =b^2-4ac$ is negative; so its square root is a real number, and the $i$ in front marks it as the imaginary part — call that positive real number $\beta$.

WHY. When $\Delta <0$ there is no real square root, so the two roots cannot sit on the real line. They sit above and below it, at the same height, mirror images across the horizontal axis.

PICTURE. The two roots are two dots in the plane of complex numbers: same left-right position $\alpha$, opposite up-down positions $+\beta$ and $-\beta$.

---

Step 2 — The two raw solutions are complex

WHAT. The guess $e^{mx}$ gives one solution per root: $y_1=e^{(\alpha +i\beta )x},y_2=e^{(\alpha -i\beta )x}.$

Term by term: the exponent $(\alpha +i\beta )x$ splits, because exponents add, into $\alpha x+i\beta x$. And $e^{A+B}=e^A{e}^B$, so $y_1=\underset{\text{a real number}}{\underbrace{e^{\alpha x}}}\cdot \underset{\text{a }\text{complex}\text{ number}}{\underbrace{e^{i\beta x}}}.$

WHY split it this way? Because we can already understand $e^{\alpha x}$ — it is the ordinary real exponential from Case 1 — real distinct roots. The mystery is entirely in the new factor $e^{i\beta x}$, "$e$ to an imaginary power". We isolate the mystery so we can attack it alone.

PICTURE. Think of $y_1$ as a real dial $e^{\alpha x}$ multiplied by an unknown gadget $e^{i\beta x}$.

---

Step 3 — What is $e^{i\theta }$? Build it from its series

WHAT. We need a meaning for $e$ raised to an imaginary power. The one honest way: use the Maclaurin series of $e^x$ (from Maclaurin Series of exp, sin, cos) and put an imaginary number $i\theta$ where $x$ used to be. Here $\theta$ is just a name for the real angle $\beta x$.

$e^{i\theta }={\sum }_{n=0}^{\infty }\frac{(i\theta {)}^n}{n!}=1+i\theta +\frac{(i\theta {)}^2}{2!}+\frac{(i\theta {)}^3}{3!}+\cdots$

WHY this tool and not another? We cannot "multiply $e$ by itself $i$ times" — that's meaningless. But the series is just additions and multiplications, which imaginary numbers obey perfectly. It is the only extension that keeps the golden rule $\frac{d}{d\theta }{e}^{i\theta }=i{e}^{i\theta }$.

PICTURE. The engine is the cycle of powers of $i$: multiplying by $i$ rotates 90° each time, so $i^0,i^1,i^2,i^3$ read $1,i,-1,-i$ and then repeat — a four-beat clock.

Term by term: $i^2=-1$ (two quarter-turns = a half-turn = pointing backwards), $i^3=-i$, $i^4=1$ (full circle). This ± pattern is exactly the alternating signs inside cosine and sine.

---

Step 4 — Sort the series: Euler's formula appears

WHAT. Group the series by even powers (which are real, since $i^{2k}=(-1{)}^k$) and odd powers (which carry one leftover $i$, since $i^{2k+1}=(-1{)}^{k}i$):

$e^{i\theta }=\underset{\text{this is }\cos \theta }{\underbrace{(1-\frac{{\theta }^2}{2!}+\frac{{\theta }^4}{4!}-\cdots )}}+i\underset{\text{this is }\sin \theta }{\underbrace{(\theta -\frac{{\theta }^3}{3!}+\frac{{\theta }^5}{5!}-\cdots )}}.$

Term by term: the real bucket is literally the Maclaurin series of $\cos \theta$; the bucket multiplied by $i$ is literally the series of $\sin \theta$. So:

WHY it saves us. The scary $e^{i\theta }$ is secretly a point on the unit circle (this is Euler's Formula and the Unit Circle): horizontal coordinate $\cos \theta$, vertical coordinate $i\sin \theta$. Its length is $\sqrt{{\cos }^2\theta +{\sin }^2\theta }=1$ — it never resizes, it only spins. That is the promise from Step 2 delivered.

PICTURE. A single arrow of length 1 sweeping the unit circle as $\theta$ grows; its shadow on the horizontal axis traces $\cos$, its shadow on the vertical axis traces $\sin$.

---

Step 5 — Rewrite the two solutions with Euler

WHAT. Put $\theta =\beta x$ into Euler and stick the real dial $e^{\alpha x}$ back on the front: $y_1=e^{\alpha x}(\cos \beta x+i\sin \beta x),y_2=e^{\alpha x}(\cos \beta x-i\sin \beta x).$

Term by term: $y_2$ uses the negative angle root $\alpha -i\beta$, so its $\theta =-\beta x$; cosine is unchanged ($\cos$ is even) and sine flips sign ($\sin$ is odd) — that is why $y_2$ has the minus. The two solutions are complex conjugates of each other.

WHY. We now have both solutions written as (real dial) × (unit-circle point). Everything imaginary lives in the single $i\sin \beta x$ term. We are one clever combination away from killing it.

PICTURE. $y_1$ and $y_2$ as two arrows spinning in opposite directions at the same radius $e^{\alpha x}$ — one counter-clockwise, one clockwise.

---

Step 6 — Add and subtract to get REAL solutions

WHAT. Because the ODE is linear and homogeneous, any blend of solutions is again a solution (the Superposition Principle for Linear ODEs). Choose the two blends that cancel the imaginary parts: $u=\frac{1}{2}(y_1+y_2)=e^{\alpha x}\cos \beta x,v=\frac{1}{2i}(y_1-y_2)=e^{\alpha x}\sin \beta x.$

Term by term: in $y_1+y_2$ the $+i\sin$ and $-i\sin$ cancel, leaving $2e^{\alpha x}\cos \beta x$; the $\frac{1}{2}$ tidies the 2. In $y_1-y_2$ the cosines cancel and the sines add to $2i{e}^{\alpha x}\sin \beta x$; dividing by $2i$ removes the $i$. Both results are purely real.

WHY. Geometrically, adding two mirror-image spinning arrows cancels their up-down parts and doubles their left-right part — the sum lies flat on the real axis. That is why the answer is real.

PICTURE. Two mirror arrows $y_1,y_2$; their tip-to-tail sum lands squarely on the horizontal axis (giving $u$), their difference lands on the vertical axis and the $i$ rotates it back to real (giving $v$).

---

Step 7 — The three cases of the sign of $\alpha$ (no case left out)

WHAT. The final shape is (envelope $e^{\alpha x}$) × (wiggle). The wiggle always oscillates; only the envelope changes. Three possibilities:

• $\alpha <0$: envelope shrinks → damped oscillation (a real spring or RLC circuit).
• $\alpha =0$: envelope is the constant $1$ → pure, forever-equal oscillation (simple harmonic motion). The roots are $\pm i\beta$, purely imaginary.
• $\alpha >0$: envelope grows → exploding oscillation.

WHY show all three. The reader must never meet a case unseen. The sign of $\alpha =-b/(2a)$ decides everything — it is set by the physics (friction, resistance).

PICTURE. The same wiggle inside three envelopes: a decaying pastel curve, a steady one, and a growing one, side by side.

---

The one-picture summary

Everything on one canvas: complex roots → split off the real dial $e^{\alpha x}$ → the leftover is a unit-circle spinner $e^{i\beta x}$ (Euler) → add the two mirror spinners to kill the $i$ → out comes a real envelope × wiggle.

Recall Feynman retelling — the whole walkthrough in plain words

We wanted a formula for $y$ but the equation coughed up two "impossible" numbers with an $i$ in them. Instead of panicking, we noticed each impossible solution is really two honest pieces multiplied: a plain stretch factor $e^{\alpha x}$ that we already trust, times a strange gadget $e^{i\beta x}$. To decode the gadget we wrote $e$'s recipe as an endless sum and dropped an imaginary number in; the pluses and minuses fell into the exact rhythm of cosine and sine — that's Euler's magic, and it just means "$e^{i\theta }$ is an arrow of length 1 spinning on a clock." So each raw solution is a spinning arrow whose radius is $e^{\alpha x}$. The two roots spin in opposite directions. When you add opposite spinners, their sideways parts cancel and their real parts double — the $i$ vanishes and you're left with an honest, real wave. That wave is a wiggle ($\cos ,\sin$ at speed $\beta$) living inside an envelope ($e^{\alpha x}$): shrinking if $\alpha <0$ (friction), steady if $\alpha =0$ (a frictionless swing), growing if $\alpha >0$.

Recall Quick self-check

What does $\alpha$ control? ::: The envelope $e^{\alpha x}$ — amplitude shrink/grow. What does $\beta$ control? ::: The wiggle speed; period $=2\pi /\beta$. Why is $|e^{i\beta x}|=1$? ::: ${\cos }^2+{\sin }^2=1$; it spins, never resizes. How do we kill the $i$? ::: Add the two conjugate solutions (superposition) so imaginary parts cancel. Roots of $y^{\prime \prime }+2y^{\prime }+5y=0$? ::: $m=-1\pm 2i$, giving $y=e^{-x}(C_1\cos 2x+C_2\sin 2x)$.