Show $\mathbb{Q}( \sqrt{5},\sqrt{7} ) = \mathbb{Q}( \sqrt{5} + \sqrt{7} )$ The problem :

*

*find the minimal polynomial of $\sqrt{5} + \sqrt{7}$

*what is the degree of $ [ \mathbb{Q}( \sqrt{5},\sqrt{7} ) : \mathbb{Q} ] $

*conclude $\mathbb{Q}( \sqrt{5},\sqrt{7} ) = \mathbb{Q}( \sqrt{5} + \sqrt{7} )$
My question and my works
I found 1., I found that the minimal polynomial of $\sqrt{5} + \sqrt{7}$ is $P : X \mapsto X^4 - 24X^2 + 4 $
I know that $\deg P = [ \mathbb{Q}( \sqrt{5} + \sqrt{7} ): \mathbb{Q} ]$ where $P$ is the min. polynomial of $\sqrt{5} + \sqrt{7}$ over $\mathbb{Q}$. But, how can i calculate $ [ \mathbb{Q}( \sqrt{5},\sqrt{7} ) : \mathbb{Q} ] $ with 1. ?
I found 3., by showing each inclusion, without using 2...
Thanks you
 A: $$\sqrt7-\sqrt{5}=\frac{2}{\sqrt7+\sqrt5}\in\mathbb Q(\sqrt7+\sqrt5).$$
Thus, $$\sqrt7=\frac{\sqrt7+\sqrt5+\sqrt7-\sqrt5}{2}\in\mathbb Q(\sqrt7+\sqrt5)$$ and $$\sqrt5\in\mathbb Q(\sqrt7+\sqrt5).$$
Also, it's obvious that $$\mathbb Q(\sqrt7+\sqrt5)\subset\mathbb Q(\sqrt7,\sqrt5)$$
A: Michael Rozenberg has given a fine direct (i.e. two inclusions) proof that $\Bbb Q(\sqrt{5}+\sqrt{7}) = \Bbb Q(\sqrt{5},\sqrt{7})$, without needing a or b.
Your exercise as meant as an alternative proof. First find a minimal polynomial for $\alpha = \sqrt{5}+\sqrt{7}$. Note that $$\alpha^2 = 5+7 + 2\sqrt{35}$$ so
$$\alpha^2 - 12 = \sqrt{140}$$ and squaring elimates the final square root and
$$(\alpha^2 - 12)^2 =140$$ which simplifies to
$$\alpha^4 - 24\alpha^2 + 4 = 0$$
and so $p(x)=x^4 - 24x^2 + 4$ has $\sqrt{5} + \sqrt{7}$ as a root. If $p(x)$ is irreducible (Eisenstein does not apply as $p=2$ is the only candidate and fails) we know it is a minimal polynomial for $\alpha$. We'll leave it for now, we have $p(x)$ that has $\alpha$ as a zero.
The degree of $$[\Bbb Q(\sqrt{5},\sqrt{7}): \Bbb Q] = [\Bbb Q(\sqrt{5},\sqrt{7}): \Bbb Q(\sqrt{7})] \cdot [\Bbb Q(\sqrt{7}): \Bbb Q] = 2\times 2 = 4$$
by the standard degree formula. And $\alpha \in \Bbb Q(\sqrt{5},\sqrt{7})$ trivially and so the degree of $\alpha$ divides the degree of the extension it's in, i.e. $4$. So the minimal polynomial $m(x)$ of $\alpha$ (which always exists) has degree $4$ and by standard facts $m(x) | p(x)$. So $m(x)$ has degree dividing $4$ and $p$ has degree $4$ and both are monic, so it follows that $p(x)=m(x)$ and indeed $p(x)$ must be the minimal polynomial.
c. then follows as $\Bbb Q(\alpha)$ is an algebraic extension of $\Bbb Q$ of degree $4$ (because of $p$) inside the field extension $\Bbb Q(\sqrt{5},\sqrt{7})$ of degree $4$. Basic linear algebra..
A: Once you know that $[ \mathbb{Q}( \sqrt{5},\sqrt{7} ) : \mathbb{Q} ]=4$, with basis $\{1,\sqrt{5},\sqrt{7},\sqrt{35}\}$, you can proceed as follows, without finding the minimal polynomial of $\sqrt{5}+\sqrt{7}$.
Let $\alpha=\sqrt{5}+\sqrt{7}$. Then
$$
\begin{pmatrix} 1 \\ \alpha \\ \alpha^2 \\ \alpha^3 \end{pmatrix}
=
\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 \\ 12 & 0 & 0 & 2 \\ 0 & 26 & 22 & 0
 \end{pmatrix}
\begin{pmatrix} 1 \\ \sqrt{5} \\ \sqrt{7} \\ \sqrt{35} \end{pmatrix}
$$
The matrix has nonzero determinant and so is invertible. Therefore, $\{1,\alpha,\alpha^2,\alpha^3\}$ is also a basis and so generates the same space, that is, $\mathbb{Q}( \sqrt{5},\sqrt{7} ) = \mathbb{Q}( \sqrt{5} + \sqrt{7} )$.
