Foundations — Applications — solving polynomial equations with complex roots

0. How to read this page

The parent note throws a lot of notation at you at once: $i$, $z$, $\bar{z}$, $\alpha$, $P(z)$, $\sum$, $\cos \theta +i\sin \theta$, discriminants, $\prod$. Below, each symbol is earned — plain words first, then a picture, then the reason the topic can't live without it. Read top to bottom; nothing is used before it is built.

1. The number line, and why it runs out

Before anything complex, picture the real number line: a straight ruler stretching left (negative) and right (positive), with $0$ in the middle.

The problem the whole topic solves. Ask: which real number, times itself, gives $-1$? Squaring a positive gives positive; squaring a negative also gives positive; $0^2=0$. So no dot on the line answers $x^2=-1$. The line has run out of room.

2. The symbol $i$ — the step off the line

Why "one step up"? Because $i$ is not on the line (it can't be — nothing on the line squares to $-1$). So we draw a second ruler, vertical, crossing the first at $0$. $i$ sits one unit up that vertical ruler.

3. The symbol $z$ — a number that is a point in the plane

Now the horizontal ruler (reals) and the vertical ruler ($i$-direction) together make a flat plane. Any point in it is a complex number.

The letter $z$ is just the traditional name for "a complex unknown," the way $x$ names a real unknown. The topic solves equations for $z$.

4. The bar $\bar{z}$ — the mirror twin

Why the topic needs it: the parent's workhorse theorem says complex roots of real polynomials come in mirror-twin pairs $p+qi$ and $p-qi$. The bar is the notation for "the twin." Two facts do all the proving (full detail in Complex Numbers — Conjugate and Modulus):

5. The modulus $|z|$ — how far from zero

We need it for De Moivre work: to describe $z$ by how far ($|z|=r$) and which direction ($\theta$) instead of by coordinates.

6. The angle $\theta$ and the polar form $\cos \theta +i\sin \theta$

Combine length and angle. A point at distance $r$ and angle $\theta$ has coordinates $(r\cos \theta ,r\sin \theta )$, so:

7. The polynomial machinery: $P(z)$, $\sum$, $\prod$, $\alpha$

8. The discriminant $b^2-4ac$ — the sign that decides real vs complex

Why it matters: $\sqrt{D}$ appears in the quadratic formula $z=\frac{-b\pm \sqrt{D}}{2a}$. When $D<0$, $\sqrt{D}=i\sqrt{-D}$ — the $i$ is forced by a negative discriminant, nothing else.

Prerequisite map

Equipment checklist

Give the plain meaning before revealing each answer — if you stumble, reread that section.

Connections

• Parent: Solving polynomial equations with complex roots
• Complex Numbers — Conjugate and Modulus (the algebra of $\bar{z}$ and $|z|$ built here)
• De Moivre's Theorem (why polar form is worth it)
• Roots of Unity (equally spaced roots on the circle)
• Vieta's Formulas (sum/product uses $\sum$, $\prod$)
• Fundamental Theorem of Algebra (guarantees $n$ roots)
• Polynomial Division (dividing out $(z-\alpha )$ factors)