<s>[INST] Is $x^8+1$ irreducible? 
How to decide if $f(x)=x^8+1$ is irreducible or not over the following fields:

*

*$F=\mathbb R$

*$F=\mathbb Q$.


I can't use Eisenstein's criterion. So the only possibility is computing the complex 8th-roots of -1?
 [/INST] We can start with something similar.
Factor $x^4 + 4$:
$x^4 + 4x^2 + 4 - 4x^2$
$(x^2+2)^2 - (2x)^2$
$(x^2+2-2x)(x^2+2+2x)$
$\boxed{x^4 + 4 = (x^2-2x+2)(x^2+2x+2)}$
We could use the same method to factor $x^4+1$:
$x^4 + 2x^2 + 1 - 2x^2$
$(x^2+1)^2 - (\sqrt{2}x)^2$
$(x^2+1-\sqrt{2}x)(x^2+1+\sqrt{2}x)$
$\boxed{x^4 + 1 = (x^2-\sqrt{2}x+1)(x^2+\sqrt{2}x+1)}$
Here's what I discovered:
$x^4 + y^4 = (x^2+y^2-\sqrt{2}xy)(x^2+y^2+\sqrt{2}xy)$
This shows that every sum of fourth powers can be factored. Now let's factor $x^8+1$:
$(x^2)^4 + 1^4$
$((x^2)^2+1-\sqrt{2}x^2)((x^2)^2+1+\sqrt{2}x^2)$
$\boxed{(x^4-\sqrt{2}x^2+1)(x^4+\sqrt{2}x^2+1)}$
Hope it helps!
</s>