3.5.13Complex Numbers

Applications — solving polynomial equations with complex roots

1,621 words7 min readdifficulty · medium

1. The starting block: what is a root?

WHAT we want: all the αk\alpha_k, even when some are complex.


2. The Conjugate Root Theorem (the workhorse)

HOW we derive it (from scratch). Use two facts about conjugation: z+w=zˉ+wˉ,zw=zˉwˉ    zk=zˉk.\overline{z+w}=\bar z+\bar w,\qquad \overline{zw}=\bar z\,\bar w \;\Rightarrow\; \overline{z^k}=\bar z^{\,k}.

Take conjugate of the whole equation P(α)=0P(\alpha)=0: P(α)=kakαk=kakαk.\overline{P(\alpha)}=\overline{\sum_k a_k \alpha^k}=\sum_k \overline{a_k}\,\overline{\alpha^k}.

Why this step? Conjugation distributes over sums and products, so we can push the bar inside.

Since the coefficients are real, ak=ak\overline{a_k}=a_k. And αk=αˉk\overline{\alpha^k}=\bar\alpha^{\,k}. So P(α)=kakαˉk=P(αˉ).\overline{P(\alpha)}=\sum_k a_k \bar\alpha^{\,k}=P(\bar\alpha).

But P(α)=0=0\overline{P(\alpha)}=\overline{0}=0. Therefore P(αˉ)=0P(\bar\alpha)=0: αˉ\bar\alpha is a root. \blacksquare


3. Strategy toolbox (the 80/20 core)

These three techniques solve almost everything:

Tool When to use Idea
Quadratic formula degree 2 z=b±b24ac2az=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}, allow negative\sqrt{\text{negative}}
Conjugate pairs + factoring one complex root given pair it with αˉ\bar\alpha, divide out the real quadratic
De Moivre / roots of unity zn=cz^n=c nn equally-spaced points on a circle
Figure — Applications — solving polynomial equations with complex roots

4. Quadratics with negative discriminant

HOW. Complete the square on az2+bz+c=0az^2+bz+c=0: a(z+b2a)2=b24ac4a.a\left(z+\tfrac{b}{2a}\right)^2 = \tfrac{b^2-4ac}{4a}.

Why this step? Completing the square isolates the squared term so we can take a root.

When b24ac<0b^2-4ac<0, the right side is negative, so taking the square root produces an ii: z+b2a=±b24ac2a=±i4acb22a.z+\tfrac{b}{2a}=\pm\frac{\sqrt{b^2-4ac}}{2a}=\pm\frac{i\sqrt{4ac-b^2}}{2a}.


5. Using a given complex root to crack a higher polynomial


6. Roots of zn=cz^n=c (De Moivre)

HOW. If z=ρ(cosϕ+isinϕ)z=\rho(\cos\phi+i\sin\phi) then by De Moivre zn=ρn(cosnϕ+isinnϕ)z^n=\rho^n(\cos n\phi+i\sin n\phi). Matching to cc: modulus gives ρn=rρ=r1/n\rho^n=r\Rightarrow \rho=r^{1/n}; angle gives nϕ=θ+2πkn\phi=\theta+2\pi k (since adding full turns doesn't change the point). Solve for ϕ\phi.

Why +2πk+2\pi k? Because θ\theta and θ+2π\theta+2\pi are the same direction, but dividing by nn spreads them into nn distinct angles.


7. Vieta sanity-checks (free verification)


Flashcards

What does the Fundamental Theorem of Algebra guarantee?
Every degree-nn polynomial has exactly nn complex roots, counting multiplicity.
State the Conjugate Root Theorem.
If a polynomial has real coefficients and p+qip+qi is a root, then pqip-qi is also a root.
Why must a real odd-degree polynomial have at least one real root?
Complex roots come in conjugate pairs (even count), so the odd leftover must be real.
Roots of z24z+13=0z^2-4z+13=0?
2±3i2\pm 3i.
Real quadratic factor from roots 2±3i2\pm3i?
z24z+13z^2-4z+13 (sum 44, product 1313).
Formula for the nn solutions of zn=cz^n=c?
zk=r1/n(cosθ+2πkn+isinθ+2πkn),k=0..n1z_k=r^{1/n}\big(\cos\frac{\theta+2\pi k}{n}+i\sin\frac{\theta+2\pi k}{n}\big),\,k=0..n-1.
Vieta: sum and product of roots of anzn++a0a_nz^n+\dots+a_0?
Sum =an1/an=-a_{n-1}/a_n; product =(1)na0/an=(-1)^n a_0/a_n.
How do you use one given complex root to reduce a quartic?
Pair it with its conjugate to get a real quadratic factor, divide it out, solve the remaining quadratic.

Recall Feynman: explain to a 12-year-old

On the number line you can't find a number whose square is 1-1 — squaring always gives positive. So mathematicians invented one, called ii, that lives above the line. Now every "impossible" equation has answers; they just sit off to the side as dots in a flat plane. And here's a neat trick: if an equation is built only from ordinary (real) numbers, its hidden answers always come as mirror-image twins — one above, one below the line. Find one twin and you instantly know the other.

Connections

Concept Map

motivate

complete system

guarantees

gives

needs

derived from

implies

force

produce

solves

enables

solves

Real numbers insufficient

Complex numbers

Fundamental Theorem of Algebra

n roots counting multiplicity

Full factorisation

Conjugate Root Theorem

Real coefficients

Conjugation over sums and products

Complex roots in pairs

Odd-degree has real root

Real quadratic factor

Quadratic formula

Degree 2

Divide out and factor

De Moivre / roots of unity

z^n equals c

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, complex numbers ka sabse bada use yahi hai: har polynomial equation ko solve karna, chahe roots real na hon. Jab x2+1=0x^2+1=0 aata hai to real line par koi answer nahi milta, kyunki square kabhi negative nahi hota. Lekin i=1i=\sqrt{-1} define karne ke baad har degree-nn polynomial ke exactly nn roots ho jaate hain — yahi Fundamental Theorem of Algebra hai.

Sabse kaam ki cheez hai Conjugate Root Theorem: agar polynomial ke saare coefficients real hain aur p+qip+qi ek root hai, to uska conjugate pqip-qi bhi automatically root hoga. Iska proof simple hai — pure equation ka conjugate le lo, real coefficients ki conjugate wahi rehti hai, isliye P(αˉ)=0P(\bar\alpha)=0 bhi nikal aata hai. Isi se ek mast trick milti hai: odd-degree real polynomial mein hamesha kam se kam ek real root hota hai, kyunki complex roots jodi mein aate hain aur ek akela bach jaata hai.

Practical method: agar tumhe ek complex root diya hai (jaise 2+3i2+3i), to uske conjugate ke saath multiply karke ek real quadratic factor banao (z24z+13z^2-4z+13), phir polynomial ko us se divide karke baaki roots nikaal lo. zn=cz^n=c type ke liye De Moivre use karo — saare roots ek circle par equal angles par baithte hain. Aur har answer ko Vieta se 2 second mein check karo: roots ka sum aur product coefficients se match hona chahiye.

Go deeper — visual, from zero

Test yourself — Complex Numbers

Connections