Why $\mathbb{Q} [x]/(x^{4}+1) \simeq \mathbb{Q}(i,\sqrt{2})$? 
I do not understand why $\mathbb{Q} [x]/(x^{4}+1) \simeq \mathbb{Q}(i,\sqrt{2})$. 

I know that $x^{4}+1$ is irreducible $(f(x + 1) = (x + 1)^4 + 1$ is Eisenstein at $2$) and it has the roots: $\pm \frac{1\pm i}{\sqrt{2}}$. But I do not understand that isomorphism. Any theorem I am missing? A good explanation will help, I am kind of lost with this Galois theory
Thanks

Let $u$ be a root of $x^4+1$ in $\mathbb{C}$, for instance $u=\frac{1+i}{\sqrt{2}}$. By the fundamental theorem on homomorphisms, there is a homomorphism of fields $\mathbb{Q}[x]/(x^4+1) \to \mathbb{C}$ mapping $\overline{x} \mapsto u$. As such, it has to be injective. The image is $\mathbb{Q}[u]$, the smallest subring of $\mathbb{C}$ containing $u$. But this equals $\mathbb{Q}(u)$ since $u$ is algebraic. Hence, $\mathbb{Q}[x]/(x^4+1) \cong \mathbb{Q}(u)$. Thus, we only have to show that
$$\mathbb{Q}(u) = \mathbb{Q}(i,\sqrt{2}).$$
The inclusion $\subseteq$ is clear. For $\supseteq$, observe that $u^2=i$ and hence $\sqrt{2}=(u^2+1)/u$.
