How to prove that $\sqrt{2-\sqrt{2}} \in \mathbb{Q}(\sqrt{2+\sqrt{2}})$ I am trying to prove a statement about the decomposition field of a polynomial that has both $\sqrt{2-\sqrt{2}}$ and $\sqrt{2+\sqrt{2}}$ as roots. I cannot find a way to prove that $\sqrt{2-\sqrt{2}} \in \mathbb{Q}(\sqrt{2+\sqrt{2}})$. I have tried writing it in the basis $1,\sqrt{2+\sqrt{2}}(\sqrt{2+\sqrt{2}})^2,(\sqrt{2+\sqrt{2}})^3$ but nothing works and without this I cannot prove that the decomposition field of $t^4-4t^2+2$ is $\mathbb{Q}(\sqrt{2+\sqrt{2}})$ over $\mathbb{Q}$

Alternatively (without using conjugates),
Observe that,

*

*If $\sqrt{2-\sqrt{2}}=x$, then

$$(2-x^2)^2=2$$

*

*If $\sqrt{2+\sqrt{2}}=x$, then

$$(x^2-2)^2=2$$
Finally, we can observe that both polynomial equations are equal to each other:
$$(2-x^2)^2=2 \iff (x^2-2)^2=2$$

This implies, if $\sqrt{2-\sqrt{2}}$ is the root of your minimal polynomial over $\mathbb Q$, then $\sqrt{2+\sqrt{2}}$ also must be root of the polynomial.
So, your minimal polynomial equals to: ($x_{1,2}=\sqrt{2±\sqrt{2}}$)
$$(x^2-2)^2=2$$
which gives
$$x^4-4x^2+2=0.$$
