SECTION 1
Historical Context & Motivation
For centuries, mathematicians wrestled with a deceptively simple question: how many solutions does a polynomial equation really have? When you solve x² = −1, no real number works — squaring any real number always gives a non-negative result. Rather than accept that some equations simply "have no answer," mathematicians invented entirely new numbers to fill the gap. That bold move led to one of the most elegant guarantees in all of mathematics: the Fundamental Theorem of Algebra.
1545 • Cardano's Ars Magna
1637 • Descartes Names "Imaginary" Numbers
1799 • Gauss Proves the Fundamental Theorem
1806 • Argand Diagram Introduced
The central question that the Fundamental Theorem answers is this: if you have a polynomial of degree n, can you always guarantee exactly n roots? For quadratics — polynomials of degree 2 — the answer is a resounding yes, always two roots, as long as we allow complex numbers into the picture. This lesson will show you exactly why that is true and how to find those roots in every possible case.
SECTION 2
Core Principles & Definitions
Before we can prove the theorem for quadratics, we need to establish a few foundational ideas. These definitions form the building blocks that make the entire argument work.
Complex Numbers
Degree of a Polynomial
Roots (Zeros) of a Polynomial
The Discriminant
Fundamental Theorem of Algebra
KEY TAKEAWAY
SECTION 3
Visual Explanation — The Three Cases
A quadratic function f(x) = ax² + bx + c produces a parabola when graphed on the coordinate plane. The roots of the equation f(x) = 0 correspond to where the parabola crosses or touches the x-axis. The discriminant Δ determines which of three scenarios occurs. The diagram below shows all three side by side.
Notice the key pattern across all three cases: the total number of roots is always exactly two. In Case 1 the parabola cuts the x-axis twice, giving two separate real solutions. In Case 2 the parabola barely grazes the axis, but we count that single tangent point as a root of multiplicity 2 — two roots that happen to be equal. In Case 3 the parabola never reaches the x-axis at all, but the quadratic formula still produces two outputs; they are complex conjugates of each other. In every scenario the "seat count" stays fixed at two.
SECTION 4
Mathematical Framework
The proof that every quadratic has exactly two roots (counted with multiplicity) in ℂ rests on the quadratic formula and the fact that every complex number has a square root. Let's walk through the algebra step by step.
GENERAL QUADRATIC
Here a, b, and c are real (or complex) coefficients, and a ≠ 0 ensures the polynomial is truly degree 2.
QUADRATIC FORMULA
The ± symbol produces two values: one using + and one using −. The expression under the radical, b² − 4ac, is the discriminant Δ.
DISCRIMINANT
When Δ > 0, √Δ is a positive real number → two distinct real roots. When Δ = 0, √Δ = 0 → one repeated root (multiplicity 2). When Δ < 0, √Δ = i√|Δ| → two complex conjugate roots.
The critical step in the proof is recognizing that even when Δ is negative, the square root is still defined in ℂ. If Δ = −k where k > 0, then √Δ = i√k. The formula then produces two roots: x₁ = (−b + i√k) / (2a) and x₂ = (−b − i√k) / (2a). These are always distinct complex conjugates (assuming a, b, c are real), so we always get exactly two roots.
FACTORED FORM
Once you know the two roots r₁ and r₂, the quadratic factors completely over ℂ. This factored form confirms that a degree-2 polynomial has exactly 2 linear factors, each contributing one root.
Why "Counted With Multiplicity" Matters
SECTION 5
Classifying Roots with the Discriminant
The discriminant is your diagnostic tool — it tells you everything about the nature of a quadratic's roots before you even solve the equation. The table below summarizes the three cases, and the diagram that follows maps several example quadratics onto a number line showing their discriminant values.
| Discriminant Value | Number & Type of Roots | Graph Behavior | Example |
|---|---|---|---|
| Δ > 0 | 2 distinct real roots | Parabola crosses x-axis at two points | x² − 5x + 6 = 0 → Δ = 1 → x = 2, 3 |
| Δ = 0 | 1 repeated real root (multiplicity 2) | Parabola tangent to x-axis at vertex | x² − 6x + 9 = 0 → Δ = 0 → x = 3 (×2) |
| Δ < 0 | 2 complex conjugate roots | Parabola does not touch x-axis | x² + 2x + 5 = 0 → Δ = −16 → x = −1 ± 2i |
Summary of discriminant cases for quadratic polynomials
A powerful observation from this diagram is the Complex Conjugate Root Theorem: when a quadratic has real coefficients and Δ < 0, the two complex roots are always conjugates of each other (a + bi and a − bi). They are symmetric about the real axis. This symmetry guarantees that when you multiply the factors back together, the imaginary parts cancel, and you get a polynomial with real coefficients — exactly as expected.
SECTION 6
Worked Example — Proving Two Roots Exist
Let's apply the Fundamental Theorem of Algebra to a specific quadratic that has no real roots and show that it still has exactly two roots in ℂ.
Find all roots of 2x² + 4x + 10 = 0
- 1
Step 1 — Identify Coefficients
Compare with the standard form ax² + bx + c = 0 to identify: a = 2, b = 4, c = 10. - 2
Step 2 — Compute the Discriminant
Δ = b² − 4ac = (4)² − 4(2)(10) = 16 − 80 = −64. Since Δ < 0, we know the roots will be complex conjugates.Δ = −64 - 3
Step 3 — Apply the Quadratic Formula
x = (−b ± √Δ) / (2a) = (−4 ± √(−64)) / (2 × 2). First, simplify the square root: √(−64) = √(64) × √(−1) = 8i. - 4
Step 4 — Simplify Both Roots
x = (−4 ± 8i) / 4. Divide each term by 4 to get x₁ = −1 + 2i and x₂ = −1 − 2i. These are complex conjugates, as expected when Δ < 0.x₁ = −1 + 2i, x₂ = −1 − 2i - 5
Step 5 — Verify the Factored Form
The Fundamental Theorem says 2x² + 4x + 10 = 2(x − (−1 + 2i))(x − (−1 − 2i)). Expanding: 2(x + 1 − 2i)(x + 1 + 2i) = 2[(x + 1)² − (2i)²] = 2[(x + 1)² + 4] = 2(x² + 2x + 1 + 4) = 2x² + 4x + 10 ✓. The factorization confirms two roots and recovers the original polynomial.Verified: 2(x + 1 − 2i)(x + 1 + 2i) = 2x² + 4x + 10 ✓
THE PROOF IN A NUTSHELL
SECTION 7
Real Numbers vs. Complex Numbers — Why It Matters
You might wonder: why bother with complex roots at all? In many real-world problems, we only care about real solutions — distances, times, and prices are all real numbers. But mathematics thrives on completeness and patterns, and the Fundamental Theorem only works when we use the full complex number system. The comparison below highlights the difference.
| Feature | Over ℝ (Real Numbers Only) | Over ℂ (Complex Numbers) |
|---|---|---|
| Number of roots for ax² + bx + c = 0 | 0, 1, or 2 — depends on the discriminant | Always exactly 2 (counted with multiplicity) |
| Can we always factor completely? | No — x² + 1 is irreducible over ℝ | Yes — every quadratic splits into two linear factors |
| Root pattern | Roots are individual real numbers | Real roots stay real; non-real roots come in conjugate pairs |
| Fundamental Theorem holds? | No — the theorem fails over ℝ | Yes — ℂ is algebraically closed |
| Practical use | Physical measurements, graphing intercepts | Electrical engineering (AC circuits), signal processing, quantum mechanics |
Comparison: solving quadratics over real vs. complex numbers
WHY COMPLEX NUMBERS COMPLETE THE PICTURE
SECTION 8
Connecting to Higher-Degree Polynomials
The Fundamental Theorem of Algebra doesn't stop at quadratics — it applies to every polynomial of degree n ≥ 1. The quadratic case (n = 2) is special because we can prove it directly using the quadratic formula, which gives an explicit construction of the roots. For higher-degree polynomials, the theorem still guarantees n roots, but finding them may require different techniques.
| Polynomial Degree | Guaranteed Roots in ℂ | Explicit Formula Exists? | Example |
|---|---|---|---|
| n = 1 (linear) | 1 root | Yes: x = −c/b | 3x + 6 = 0 → x = −2 |
| n = 2 (quadratic) | 2 roots | Yes: quadratic formula | x² + 1 = 0 → x = ±i |
| n = 3 (cubic) | 3 roots | Yes: Cardano's formula | x³ − 1 = 0 → 3 roots: x = 1 (real), x = −½ ± (√3/2)i (complex) |
| n = 4 (quartic) | 4 roots | Yes: Ferrari's formula | x⁴ − 1 = 0 → 4 roots (1, −1, i, −i) |
| n ≥ 5 | n roots | No general formula (Abel–Ruffini theorem) | Must use numerical/graphical methods |
The Fundamental Theorem of Algebra across polynomial degrees
An important result you'll encounter in more advanced courses is the Abel–Ruffini theorem, which states that for degree 5 and above, there is no general formula using only addition, subtraction, multiplication, division, and radicals. The Fundamental Theorem still promises those n roots exist, but it doesn't hand you a formula to find them. That's what makes the quadratic case so elegant — the quadratic formula both proves the theorem and delivers the answer in one stroke.
In every case across all degrees, the unifying principle remains the same: the number of roots in ℂ always matches the degree of the polynomial, counted with multiplicity. The quadratic formula gives us a direct, constructive proof of this fact for degree 2 — making quadratics the perfect starting point for understanding the full power and elegance of the Fundamental Theorem of Algebra.
Looking Ahead
SECTION 9
Practice Problems
Question 1: CONCEPTUAL
Show answer
Question 2: BASIC CALCULATION
Show answer
Question 3: INTERMEDIATE
Show answer
Question 4: APPLIED
Show answer
Question 5: CRITICAL THINKING
Show answer
SUMMARY
Lesson Summary
Summary
The Fundamental Theorem of Algebra guarantees that every polynomial of degree n has exactly n roots in the complex numbers ℂ, counted with multiplicity. For quadratics ax² + bx + c = 0, we proved this directly using the quadratic formula, which always produces two outputs thanks to the ± operation and the fact that every complex number has a square root. The discriminant Δ = b² − 4ac classifies the roots into three cases: two distinct real roots when Δ > 0, one repeated real root when Δ = 0, and two complex conjugate roots when Δ < 0.
In every case, the total root count remains exactly two, and the polynomial factors completely over ℂ as a(x − r₁)(x − r₂). When the coefficients are real, the Complex Conjugate Root Theorem ensures that non-real roots always appear in mirror-image pairs. This principle extends to all higher-degree polynomials and forms the foundation for polynomial factoring throughout algebra, precalculus, and beyond.