$x^4 -10x^2 +1 $ is irreducible over $\mathbb Q$

Adding a method using the roots that you found directly (I deleted my other answer, and relocated it to the companion thread because it properly belongs there, but is misplaced here).

You have correctly identified that the zeros of $$ p(x)=x^4-10x^2+1 $$ are $x_1=\sqrt2+\sqrt3$, $x_2=\sqrt2-\sqrt3$, $x_3=-\sqrt2+\sqrt3$ and $x_4=-\sqrt2-\sqrt3$. Therefore over the reals we have the factorization $$ p(x)=(x-x_1)(x-x_2)(x-x_3)(x-x_4). $$

Others have already explained to you why it is not sufficient to check that none of the roots are rational - namely that the polynomial could still have quadratic factors with rational coefficients. But, we can take advantage of the list of zeros to exclude that possibility as well.

If $p(x)=f(x)g(x)$ were a factorization as a product of two quadratics with rational coefficients, then $x_1$ must be a zero of one of the factors. Without loss of generality we can assume that $f(x_1)=0$. This means that the other zero of $f(x)$ must be either $x_2,x_3$ or $x_4$. But we can check that none of $$ \begin{aligned} (x-x_1)(x-x_2)&=(x-\sqrt2)^2-(\sqrt3)^2=x^2-2\sqrt2x-1\\ (x-x_1)(x-x_3)&=(x-\sqrt3)^2-(\sqrt2)^2=x^2-2\sqrt3x+1\\ (x-x_1)(x-x_4)&=x^2-(\sqrt2+\sqrt3)^2=x^2-5-2\sqrt6 \end{aligned} $$ have rational coefficients. Therefore $p(x)$ has no quadratic factors with rational coefficients, and hence must be irreducible.


$(x^2+1)(x^2+2)$ has no rational roots, but is clearly reducible over $\mathbb{Q}[x]$, so your method is incorrect. In general the factors of a reducible polynomial may not be linear, so it may be reducible without having roots in the base field.


It is not true that if a polynomial of the form $x^4 + b x^2 + c \in \Bbb Q[x]$ is a product of two quadratics in $\Bbb Q[x]$ then the quadratics have the form $x^2 + a$. Consider, for example, $$x^4 + x^2 + 1 = (x^2 + x + 1)(x^2 - x + 1).$$ (These quadratics both have negative discriminant and so are irreducible, so this is the only factorization into [monic] quadratics.) It is true, however, that since any polynomial of the above form is even, if it is a product of two quadratics, there is a factorization of the form $$(x^2 + a x + b)(x^2 - a x + b).$$ In the case of $$f(x) := x^4 - 10x^2 + 1$$ expanding and solving for $a, b$ quickly leads to a contradiction.

Note that by the Rational Root Theorem, any rational root of $f(x)$ is either $\pm 1$, but neither of these are roots, so $f(x)$ has no linear factors, and hence it is irreducible.

Note, by the way, that the irrationality of all of the roots of a polynomial does not imply that the polynomial is irreducible, at least for polynomials of degree $\geq 4$. Consider the simple case $(x^2 - 2)^2$, which is visibly reducible but only has (irrational) roots $\pm \sqrt{2}$.