# Irrational Root Theorem - Definition and Examples

Irrational root theorem: Let x and y be rational numbers and let √y be an irrational number. If x + √y is a root of the polynomial equation with rational coefficients, then x - √y is also a root.

Notice that in order for the theorem to work, √y must be an irrational number. This will ensure that x + √y is also irrational. Otherwise, the theorem cannot be used. Say for instance y is 4. √4 = 2. Since x is a rational number, then x + 2 is also a rational number. This does not work since the theorem is dealing with irrational numbers.

For example, show that 2 + √3 and 2 - √3 are roots of the polynomial equation x2 - 4x + 1.

First, show that 2 + √3 is a root

x2 - 4x + 1 = (2 + √3)2 - 4(2 + √3) + 1

x2 - 4x + 1 = 4 + 4√3 + 3 - 8 - 4√3 + 1

x2 - 4x + 1 = 4 + 3 + 1 - 8 + 4√3 - 4√3

x2 - 4x + 1 = 0

Then, show that 2 - √3 is also a root

x2 - 4x + 1 = (2 - √3)2 - 4(2 - √3) + 1

x2 - 4x + 1 = (2 + -√3)2 - 4(2 + -√3) + 1

x2 - 4x + 1 = 4 - 4√3 + 3 - 8 + 4√3 + 1

x2 - 4x + 1 = 4 + 3 + 1 - 8 - 4√3 + 4√3

x2 - 4x + 1 = 0

Therefore, as you can see, both 2 + √3 and 2 - √3 are roots of the polynomial equation x2 - 4x + 1.

## A couple of examples showing how to use the irrational root theorem

Example #1

A polynomial equation with integer coefficients has the roots 8 + √7 and -√2. Find two additional roots.

By the irrational root theorem, if 8 + √7 is a root, then 8 - √7 is also a root.

By the irrational root theorem, if -√2 is a root, then √2 is also a root.

Two additional roots are 8 - √7 and √2

Example #2

A polynomial equation with integer coefficients has the roots -√16 and -√11. Find more roots using the irrational root theorem when applicable.

We cannot use the irrational root theorem for -√16 since -√16 = -4 and -4 is not an irrational number.

By the irrational root theorem, if -√11 is a root, then √11 is also a root.