Degree of the field extension.

Could you help me showing that for a field $F$ the degree of the extension $F(x^{2}+\frac{1}{x^{2}})\subset F(x)$ is $4$?

I have found the polynomial $y^{4}-(x^{2}+\frac{1}{x^{2}})y^{2}+1$ such that $x$ is its root, but how can I prove that it is the minimal one?

Observe that $F(x^2+\frac{1}{x^2})\subset F(x^2)\subset F(x)$. Now prove that each extension is of degree two.
• I have tried that way either but I had a problem with the formal proof that $x^{2}\notin F(x^{2}+\frac{1}{x^{2}})$. – DeltaDelta Sep 6 '14 at 16:54
• For that proof $F(x^2+\frac{1}{x^2})$ is invariant under the last two automorphisms on my list but $x^2$ is not. – Rene Schipperus Sep 6 '14 at 16:58
$$x\mapsto x$$ $$x\mapsto -x$$ $$x\mapsto \frac{1}{x}$$ $$x\mapsto -\frac{1}{x}$$
• This works well ... unless $F$ happens to have characteristic two. In that case the extension isn't Galois (it's no longer separable), so it is pointless to look for more than two automorphisms. – Jyrki Lahtonen Sep 6 '14 at 18:01
• In characteristic two your third automorphism still tells that $F(x+1/x)$ is a proper subfield of $F(x)$. Then $$x^2+\frac1{x^2}=(x+\frac1x)^2,$$ so $F(x+1/x)$ is a purely inseparable extension of $F(x^2+1/x^2)$. – Jyrki Lahtonen Sep 6 '14 at 18:06