Prove that $\mathbb{Q}[\sqrt{3}, \sqrt{5}] = \mathbb{Q}[\sqrt{3}+ \sqrt{5}]$ Prove that $\mathbb{Q}[\sqrt{3}, \sqrt{5}] = \mathbb{Q}[\sqrt{3}+  \sqrt{5}]$
Take $x \in \mathbb{Q}[\sqrt{3}+  \sqrt{5}]. x = a_x + b_x( \sqrt{3} + \sqrt{5}) = a_x + b_x\sqrt{3} + b_x\sqrt{5} \in \mathbb{Q}[\sqrt{3}, \sqrt{5}] \Rightarrow \mathbb{Q}[\sqrt{3}+  \sqrt{5}] \subset \mathbb{Q}[\sqrt{3}, \sqrt{5}] $
I am having trouble proving the other inclusion. 
 A: Hint:
$$(\sqrt3+\sqrt5)^2=8+2\sqrt{15}$$
$$(\sqrt3+\sqrt5)^3=18\sqrt3+14\sqrt5$$
So
$$
(\sqrt3+\sqrt5)^3-14(\sqrt3+\sqrt5)=4\sqrt3.
$$
Can you continue from here?
A: Consider $\alpha=\sqrt{3}+\sqrt{5} \in \mathbb{Q}\left[\sqrt{3}+\sqrt{5}\right]$, then $\sqrt{3}=\alpha-\sqrt{5}\implies 3=\alpha^2-2\sqrt{5}\alpha +5$. As $\alpha\ne 0$ you can write $$\sqrt{5}=\frac{\alpha}{2}+\frac{1}{\alpha}.$$ As $\mathbb{Q}\left[\sqrt{3}+\sqrt{5}\right]$ is a field, $\sqrt{5}\in\mathbb{Q}\left[\sqrt{3}+\sqrt{5}\right] $. Similarly you can prove that it also contains $\sqrt{3}$.
A: It's obvious $$\mathbb{Q}[\sqrt{3}+ \sqrt{5}]\subset \mathbb{Q}[\sqrt{3}, \sqrt{5}]$$
Also, $$\sqrt3+\sqrt5\in  \mathbb{Q}[\sqrt{3}+ \sqrt{5}],$$$$\sqrt{15}\in \mathbb{Q}[\sqrt{3}+ \sqrt{5}],$$
$$\sqrt{15}(\sqrt3+\sqrt5)=3\sqrt5+5\sqrt3\in \mathbb{Q}[\sqrt{3}+ \sqrt{5}]$$ and solve the system.
A: Hint : Prove that the Galois group of $\mathbb{Q}(\sqrt3,\sqrt5) \cong (\mathbb{Z}_{2})^{2}$ 
Then prove that the $\mathbb{Q}(\sqrt3+\sqrt5)$ can't lie in any subfield of $\mathbb{Q}(\sqrt3,\sqrt5)$, do you see why ? 
A: While it is possible to show the other inclusion, I think it is far easier to show that the dimensions of each field extension (as vector spaces over $\mathbb{Q}$) are the same (which is $4$ in this case). Then since one vector space is contained within the other, they must be the same if they have the same dimension. Can you handle this from here?
If you wanted to show the other inclusion direction, then you might argue as follows. Note that $(\sqrt 3 + \sqrt 5)^2 = 3 + 2 \sqrt{15} + 5$, and thus $\sqrt{15} \in \mathbb{Q}[\sqrt 3 + \sqrt 5]$. And 
$$\begin{align}
(\sqrt 3 + \sqrt 5 + \sqrt{15})^2 &= 3 + 5 + 15 + 2 \sqrt{15} + 2 \sqrt{45} + 2 \sqrt{75} \\&= 23 + 2 \sqrt{15} + 6 \sqrt{5} + 10 \sqrt{3}.
\end{align}$$
Subtracting $23 + 2 \sqrt{15} + 6(\sqrt{3} + \sqrt{5})$ shows that $4 \sqrt{3} \in \mathbb{Q}[\sqrt{3} + \sqrt{5}]$, and thus $\sqrt{3} \in \mathbb{Q}[\sqrt{3} + \sqrt{5}]$. (And similarly for $\sqrt 5$).
A: $(\sqrt 3 + \sqrt 5)(\sqrt 3-\sqrt 5) = -2$ so $\sqrt 3-\sqrt 5=\frac{-2}{\sqrt 3 + \sqrt 5}\in \mathbb Q[\sqrt{3} +\sqrt 5]$
$\sqrt 3 =\frac{(\sqrt 3-\sqrt 5)+(\sqrt 3+\sqrt 5)}2\in \mathbb Q[\sqrt{3}+\sqrt 5]$
$\sqrt 5 = (\sqrt 3 + \sqrt 5)-\sqrt 3\in \mathbb Q[\sqrt{3} + \sqrt{5}]$
So $\mathbb Q[\sqrt 3, \sqrt 5]\subset \mathbb Q[\sqrt 3+\sqrt 5]$
