Irrational Root Theorem- Solving Made Simple

What the Irrational Root Theorem Actually Is

The Irrational Root Theorem tells you something specific about polynomial equations with rational coefficients. If such a polynomial has a root written as a + √b (where a and b are rational numbers and √b doesn't simplify to a rational number), then a - √b must also be a root.

That's it. That's the whole theorem.

The two numbers—a + √b and a - √b—are called conjugates. They always come in pairs. You can't have one without the other in a polynomial with rational coefficients.

This matters because it limits your search for roots. Find one irrational root, and you've automatically found two.

Why This Theorem Exists

Polynomials with rational coefficients have a special property: their coefficients stay the same when you apply certain operations. If x = a + √b is a root, then plugging x = a - √b into the polynomial gives the same result. The √b terms cancel out.

This isn't magic. It's algebra. The rational coefficients force the irrational parts to cancel, which means both conjugates either both work or both fail.

The Basic Logic

Consider a polynomial P(x) with rational coefficients. If P(a + √b) = 0, then the irrational parts must balance somehow. When you substitute a - √b, those same irrational terms reappear and cancel in the exact same way. The result is P(a - √b) = 0.

This works for any number of irrational terms too. If you have √2 + √3 under the radical, its conjugate is √2 - √3. Both are roots if one is.

How to Apply the Theorem

Here's the step-by-step process:

• Identify the polynomial — Make sure it has rational coefficients. If coefficients include π or other non-rational numbers, this theorem doesn't apply.
• Find one irrational root — This might come from testing values, graphing, or a given problem.
• Write the conjugate — Flip the sign in front of the square root. If the root is 3 + √5, the conjugate is 3 - √5.
• Use both roots — Factor the polynomial or build the quadratic factor (x - r₁)(x - r₂) for these conjugate roots.

Worked Examples

Example 1: Finding the Conjugate Root

Problem: Show that if 2 + √3 is a root of x³ - 5x² + 4x + 2 = 0, then 2 - √3 is also a root.

Step 1: Recognize that 2 + √3 has the form a + √b where a = 2 and b = 3.

Step 2: The conjugate is 2 - √3.

Step 3: To verify, substitute both values. The polynomial has integer coefficients, so the theorem applies. You can confirm by direct substitution:

For x = 2 + √3:

(2 + √3)³ - 5(2 + √3)² + 4(2 + √3) + 2 = 0

For x = 2 - √3:

(2 - √3)³ - 5(2 - √3)² + 4(2 - √3) + 2 = 0

Both equal zero. The conjugate root is confirmed.

Example 2: Factoring a Polynomial

Problem: One root of x⁴ - 4x³ - 7x² + 22x + 12 is 3 + √2. Find all roots.

Step 1: The conjugate is 3 - √2. These two roots give you the quadratic factor:

(x - (3 + √2))(x - (3 - √2)) = (x - 3 - √2)(x - 3 + √2)

Step 2: Multiply these together:

= [(x - 3) - √2][(x - 3) + √2]

= (x - 3)² - (√2)²

= x² - 6x + 9 - 2

= x² - 6x + 7

Step 3: Divide the original polynomial by x² - 6x + 7.

x⁴ - 4x³ - 7x² + 22x + 12 ÷ x² - 6x + 7 = x² + 2x - 6

Step 4: Solve x² + 2x - 6 = 0 using the quadratic formula:

x = (-2 ± √(4 + 24)) / 2 = (-2 ± √28) / 2 = (-2 ± 2√7) / 2 = -1 ± √7

All four roots: 3 + √2, 3 - √2, -1 + √7, -1 - √7

Common Mistakes to Avoid

• Forgetting to check coefficients — This theorem only works for polynomials with rational coefficients. Coefficients like π or √2 break the pattern.
• Confusing the conjugate — The conjugate flips the sign on the irrational part only. If you have 1 + √2 + √3, the conjugate is 1 + √2 - √3. Not 1 - √2 - √3.
• Assuming conjugates always appear — They only appear when the polynomial has rational coefficients. A polynomial like x² - 2√2x + 2 doesn't require the conjugate as a root.
• Over-factoring — Don't assume every irrational root has a conjugate in the polynomial. Check the coefficient requirement first.

Quick Reference Table

When to Use This Theorem

You'll encounter this in two main situations:

• Polynomial factorization problems — When you need to factor completely and you've found one irrational root
• Proving roots come in pairs — When a problem asks you to show that certain roots must exist

In both cases, the process is the same: find one, write the conjugate, use both to factor or solve.

The Bottom Line

The Irrational Root Theorem isn't complicated. Irrational roots of rational-coefficient polynomials come in conjugate pairs. Find one, find the other. That's all there is to it.