Visual walkthrough — Applications — solving polynomial equations with complex roots

---

Step 0 — The one thing you must already picture

Before anything else, we need a place to draw numbers. On a plain number line, every number is one dot. But we will meet numbers that refuse to sit on the line. So we give ourselves a whole flat sheet.

Look at the blue dot $2+3i$: walk $2$ right, then $3$ up. Its mirror image straight below the real axis is the orange dot $2-3i$ — same right-walk, opposite up-walk. Hold onto that mirror idea; it is the whole secret.

If this notation for $\bar{z}$ (the mirror-flip) is fuzzy, revisit Complex Numbers — Conjugate and Modulus.

---

Step 1 — The equation with "no answer"

WHAT. Take the simplest equation that stumps the number line: $x^2+1=0⟹x^2=-1.$

WHY. We want to see why real numbers run out. Squaring is the operation $x\mapsto x^2$. On the real line, $x^2$ is the height of a U-shaped curve (a parabola) that never dips below zero — because a length times itself is never negative.

PICTURE. The parabola $y=x^2+1$ floats entirely above the horizontal axis. It crosses nowhere. "Where does the curve hit zero?" has no answer among the dots on the line.

---

Step 2 — The mirror rule, made visible

WHAT. Claim: if a polynomial is built only from real coefficients and $\alpha =p+qi$ is a root, then its mirror-twin $\bar{\alpha }=p-qi$ is automatically a root too.

WHY. This is the tool that turns one found root into two, which is what lets us break big polynomials apart. We need to know it always works — so we watch the machinery.

The one gadget we use is conjugation: the operation $z\mapsto \bar{z}$ that flips a point vertically (up becomes down). Two of its habits are all we need: $\overline{z+w}=\bar{z}+\bar{w}\text{(flip a sum = sum of flips)}$ $\overline{zw}=\bar{z}\bar{w}\text{(flip a product = product of flips)}$

PICTURE. Reflection across the real axis doesn't care whether you add/multiply first and flip after, or flip first and combine after — the mirror is a "well-behaved" map.

Now the actual proof, each symbol labelled where it stands:

$$\underset{\text{value at root}}{\underbrace{P(\alpha )}}=0\stackrel{\text{flip both sides}}{\Rightarrow }\overline{P(\alpha )}=\bar{0}=0.$$

Push the flip inside using the two habits above (a polynomial is only sums and products):

$$\overline{P(\alpha )}=\overline{\sum _k\underset{\text{coeff}}{\underbrace{a_k}}\underset{\text{root power}}{\underbrace{{\alpha }^k}}}=\sum _k\underset{=a_k(\text{real!})}{\underbrace{\overline{a_k}}}\underset{={\bar{\alpha }}^k}{\underbrace{\overline{{\alpha }^k}}}=\sum _k{a}_k{\bar{\alpha }}^k=P(\bar{\alpha }).$$

The crucial move: $\overline{a_k}=a_k$ because the coefficients are real — a real number sits on the line, so flipping it up-to-down leaves it untouched. Combining, $P(\bar{\alpha })=\overline{P(\alpha )}=0$, so $\bar{\alpha }$ is a root. $■$

---

Step 3 — Why a twin-pair collapses into a real quadratic

WHAT. Multiply a root by its twin's factor: $(z-\alpha )(z-\bar{\alpha })=z^2-\underset{\text{sum}}{\underbrace{(\alpha +\bar{\alpha })}}z+\underset{\text{product}}{\underbrace{\alpha \bar{\alpha }}}.$

WHY. We want a factor with no visible $i$ so we can do ordinary division later. The magic is that a number plus its mirror, and a number times its mirror, are both real.

With $\alpha =p+qi$: $\alpha +\bar{\alpha }=(p+qi)+(p-qi)=2p(\text{the up-parts cancel}),$ $\alpha \bar{\alpha }=(p+qi)(p-qi)=p^2+q^2(\text{the squared distance from }0).$

So the pair becomes $(z-\alpha )(z-\bar{\alpha })=z^2-2pz+(p^2+q^2),$ which is entirely real.

PICTURE. The two twin dots sit symmetrically about the real axis; their sum lands on the axis at $2p$, and their product is the squared length of the arrow to either dot.

These are exactly the sum/product relations of Vieta's Formulas for a quadratic. That is why the parent note could write "sum $=4$, product $=13\Rightarrow z^2-4z+13$."

---

Step 4 — Divide out the twin-pair (peel the polynomial)

WHAT. Given a bigger polynomial and a real quadratic factor we just built, split the polynomial: $P(z)=(\text{real quadratic})\times (\text{what’s left}).$

WHY. Every factor we remove drops the degree by $2$. By the Fundamental Theorem of Algebra a degree-$n$ polynomial has exactly $n$ roots; peel a pair, and a smaller polynomial with the remaining roots is exposed. We finish once the leftover is small enough to solve by eye or by the quadratic formula.

PICTURE. Think of it as long division of numbers, but with $z$-columns. The known factor "goes into" $P$ a whole number of times because it truly divides it (both twins are genuine roots). See Polynomial Division.

Worked on the parent's cubic $P(z)=z^3-5z^2+17z-13$ with twin-pair factor $z^2-4z+13$:

• Leading term: $z^3÷z^2=z$. So the leftover starts with $z$.
• Constant term: the product of constants must give $-13$: $13\times (-1)=-13$, so the leftover ends in $-1$.
• Leftover $=z-1$.

$z^3-5z^2+17z-13=(z^2-4z+13)(z-1).$

Roots: $2+3i,2-3i,1$. The lone real root $1$ is the odd-degree leftover that had no twin to pair with — exactly the prediction from Step 2.

---

Step 5 — The other engine: roots of $z^n=c$ spread on a circle

WHAT. Some polynomials aren't "one root given, factor the rest." They are pure power equations like $z^3=8$. For these we switch to a picture of turning.

WHY this tool and not division? Division needs a known root. Here we have none — but we do have a circle. A complex number can be described by its length $r$ (distance from $0$) and its angle $\theta$ (direction), written $z=r(\cos \theta +i\sin \theta )$. This is the natural language when a number is being raised to a power, because De Moivre's Theorem says: $(r(\cos \theta +i\sin \theta ){)}^n=r^n(\cos n\theta +i\sin n\theta ).$ Raising to the $n$-th power multiplies the length $n$ times over and multiplies the angle by $n$. Powers are hard in $x+yi$ form but trivial in "length & angle" form — that is why we reach for this tool.

Matching. To solve $z^n=c$ where $c$ has length $r$ and angle $\theta$:

• lengths must match: ${\rho }^n=r\Rightarrow \rho =r^{1/n}$,
• angles must match: $n\varphi =\theta +2\pi k$, because turning a full circle ($2\pi$) lands on the same point. Dividing by $n$: $\varphi =\frac{\theta +2\pi k}{n},k=0,1,\dots ,n-1.$

The $k$'s $0$ through $n-1$ give $n$ distinct directions, each $\frac{2\pi }{n}$ apart — evenly spaced spokes. (When $c=1$ these are the Roots of Unity.)

PICTURE. $z^3=8$: length $8^{1/3}=2$, base angle $0$, spokes every $\frac{2\pi }{3}=120^{\circ }$. Three dots on a radius-$2$ circle.

$z_0=2,z_1=-1+\sqrt{3}i,z_2=-1-\sqrt{3}i.$ Their sum is $0$ — matching the missing $z^2$ term (Vieta). And notice $z_1,z_2$ are a conjugate twin-pair: the same mirror rule, now visible as up/down symmetry on the circle.

---

Step 6 — The edge cases, so nothing surprises you

The three parabolas show the three discriminant cases side by side: floating above (no real crossing → twins), just kissing the axis (repeated real), cutting through twice (two reals).

---

The one-picture summary

One board, both engines: on the left, a real polynomial's roots as dots — real ones on the axis, complex ones as up/down twin-pairs you pair-and-divide. On the right, a power equation's roots as evenly spaced spokes on a circle you read off with De Moivre. Every root of every real polynomial is one of these two pictures.

Recall Feynman: the whole walk in plain words

On the number line, some equations have no answer, because squaring never gives a negative. So we hand ourselves one new number, $i$, that lives one step above the line, and now our numbers fill a whole flat sheet. Here's the beautiful accident: if an equation is written using only ordinary numbers, then reflecting the sheet up-to-down leaves that equation completely unchanged — so any answer sitting above the line must have a mirror-image partner sitting below. Answers come in twins. Multiply a twin-pair together and the imaginary parts cancel, leaving a plain real block you can divide out of the big equation like taking a bite; the equation gets smaller until you can finish by eye. And for a different flavour of problem — "what number, cubed, gives 8?" — we describe each number by how far it is from the centre and which way it points; raising to a power just stretches the distance and spins the angle, so the answers land as evenly spaced dots around a circle. Two pictures — mirror-twins on a line, spokes on a circle — and no equation is ever unsolvable again.

---

Connections

• Parent topic
• Complex Numbers — Conjugate and Modulus (the mirror map $\bar{z}$)
• De Moivre's Theorem (length-and-angle powers)
• Roots of Unity (spokes when $c=1$)
• Vieta's Formulas (sum/product checks)
• Fundamental Theorem of Algebra (why exactly $n$ roots)
• Polynomial Division (peeling out a twin-pair factor)

Concept Map