Try this
- With , all the coefficients of are . No prime divides , so the criterion has nothing to work with.
- Drag to : the expression becomes , with coefficients . Choose , and all three conditions hold.
- A shift does not change whether a polynomial factors: if , then , and the other way round too. So if is irreducible, so is .
- Click “Ask the kernel” to have the computer factor directly, and check.
Irreducible polynomial: a polynomial that, over the rationals, cannot be written as a product of two polynomials of lower degree. It plays the role that primes play among the integers.
To decide whether a number is prime, you can try dividing by one number after another. For polynomials there is no such direct way to decide irreducibility: “I could not split it” is not the same as “it cannot be split”. Eisenstein's criterion gives a proof:
Take an integer polynomial . If there is a prime such that ① does not divide the leading coefficient ; ② divides every other coefficient; ③ does not divide the constant term , then it is irreducible over the rationals.
Predict first
For , no prime satisfies the conditions of the criterion. Does that show is reducible?
has no rational root, so it is irreducible. When the criterion “does not apply”, it only means this key does not fit this lock.
Try a shift: drag to .
Why
Example: is x⁴ + 6x + 3 irreducible?
Step 1 / 5- Try p = 2 first
divides , and , but not the constant term . Condition ② fails, so try another.
What xⁿ − 1 looks like when factored completely
is never irreducible (it always has the factor ). Factor it completely over the rationals, and each irreducible factor you get is called a cyclotomic polynomial, written . In the picture below, the roots labeled with the same number belong to the same factor .
Predict first
Factor completely over the rationals. How many factors are there?
Each factor belongs to one divisor of . The divisors of are : of them, so there are factors:
Drag above to to check. And the at the top of the workbench is exactly .
Remove one condition
Condition ③ of the criterion looks the least important. Remove it and see.
Break it
Counterexample lab: remove one condition
Conclusion: A polynomial satisfying ① and ② is irreducible ← still true?
with : all three conditions hold, so it is irreducible. Click “Ask the kernel” to check.
Change only the constant to : . With , ① and ② still hold, but divides the constant term, so ③ fails. Ask the kernel again.
It is : reducible. Condition ③ is not decoration: the step in the proof where “exactly one constant term is divisible by ” depends on it.
Practice
To prove that is irreducible with Eisenstein's criterion, which prime should you use?
Factor completely over the rationals. How many factors are there?
has no rational root. Is it irreducible? If not, factor it.
Of the four polynomials , , and , how many are irreducible over the rationals?