Does the Rational Root Theorem ever guarantee that a polynomial is irreducible?

With respect to your specific question (and quartics in general), the RRT doesn't solve the problem but it can help. Once you verify that your quartic has no roots, the only way it can factor is as a product of quadratic polynomials. Additionally, you can guarantee that the quadratic equations are monic and have integer coefficients. Observing that the constant terms multiply to $49$, we have four options:

$$x^4 + 2x^2 + 49 = (x^2 + ax + 7)(x^2 + bx + 7)$$

$$x^4 + 2x^2 + 49 = (x^2 + ax - 7)(x^2 + bx - 7)$$

$$x^4 + 2x^2 + 49 = (x^2 + ax + 1)(x^2 + bx + 49)$$

$$x^4 + 2x^2 + 49 = (x^2 + ax -1)(x^2 + bx - 49)$$

The vanishing of the cubic term gives $a = -b$ in each scenario, and the vanishing of the $x$ term eliminates scenarios 3 and 4. Comparing the $x^2$ terms in the first two scenarios gives:

$$14 - a^2 = 2$$

$$-14 - a^2 = 2$$

And it is easily seen that neither of these have solutions in the integers.


Using the rational root theorem you can tell if a given polynomial with integer coefficients has rational roots.

If the degree of the polynomial is greater than $3$ this theorem tells you nothing. For instance consider $(x^2-2)(x^2+2)=x^4-4$ which doesn't have rational roots, but is reducible over $\Bbb Q$.

If the degree of a given polynomial $f(x)$ is $1,2$ or $3$, then, if $f(x)$ is reducible, its degree is either $2$ or $3$ (since linear polynomials are irreducible). Therefore $f(x)=g(x)h(x)$ for some polynomials with rational coefficients and degrees greater than $0$. It follows that the degree of either $g(x)$ or $h(x)$ is $1$. Therefore $f(x)=p(x)(x-r)$, for some polynomial with rational coefficients $p(x)$ and for some $r\in \Bbb Q$. It follows that $f(r)=0$ and therefore $f(x)$ has a rational root.

Edit note: My previous reasoning didn't answer the question as noted by @Math Gems (thanks).


Other people (so far) are posting answers that warn against the use of the rational roots theorem for irreducibility above degree 3, but it is worth pointing out that there is a situation in higher degree where lack of a root actually does imply irreducibility.

Theorem: Let $K$ be a field and $p$ be a prime number. For $a \in K^\times$, if the polynomial $X^p - a$ has no root in $K$ then $X^p - a$ is irreducible in $K[X]$. Equivalently, if $a$ doesn't have a $p$th root in $K$ then $X^p - a$ is irreducible in $K[X]$.

The theorem is true for all fields and prime numbers, even if $p$ is the characteristic of $K$.