Irrational Root Theorem - Definition and Examples

Recommended for You

Not sure where to start? These are the lessons and games we recommend most to students, parents and teachers on Basic-mathematics.com. Each lesson explains the topic in plain language, walks you through worked examples step by step, and ends with practice so you can check your understanding. Pick one below, or use the menu to find lessons on fractions, algebra, geometry, statistics and more.

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.

An additional root is √11.