Show that $\sqrt{2}\notin \mathbb{Q}(\sqrt[4]{3})$

If we had $\sqrt{2}\in \mathbb{Q}(\sqrt[4]{3})$ we would deduce, since $\sqrt 3\in \mathbb{Q}(\sqrt[4]{3})$], that $\mathbb{Q}(\sqrt{2}, \sqrt 3)\subset \mathbb{Q}(\sqrt[4]{3})$ and thus for degrees reason that $\mathbb{Q}(\sqrt{2}, \sqrt 3)= \mathbb{Q}(\sqrt[4]{3})$.
But this is impossible because $\mathbb{Q}(\sqrt{2}, \sqrt 3)$ is normal over $\mathbb Q$ as the splitting field of $(X^2-2)(X^2-3)$, while $\mathbb{Q}(\sqrt[4]{3})$ is not normal since it contains one but not all roots of the irreducible polynomial $X^4-3$.


As you have deduced it is easiest to consider $\mathbb{Q}(\sqrt[4]{3})$ as a vector space over $\mathbb{Q}(\sqrt{3})$. First one must check that $\sqrt{2}\notin\mathbb{Q}(\sqrt{3})$, which I will not do here. Then we must deduce that there is no element $a+b\sqrt[4]{3}$ with $a,b\in\mathbb{Q}(\sqrt{3})$ that squares to $2$. Squaring we get $$(a^2+b^2\sqrt{3})+2ab\sqrt[4]{3}$$ If this is equal to $2$ then $2ab\sqrt[4]{3}=0$, which implies either $a=0$ or $b=0$. Since $\sqrt{2}\notin\mathbb{Q}(\sqrt{3})$, $b$ cannot be $0$, hence $a$ must be $0$. In that case we have $$b^2\sqrt{3}=2$$ so $$b^2=\frac{2}{3}\sqrt{3}$$ Since $b=x+y\sqrt{3}$ for some $x,y\in\mathbb{Q}$ we have $$x^2+3y^2+2xy\sqrt{3}=\frac{2}{3}\sqrt{3}$$ or $$x^2+3y^2=(\frac{2}{3}-2xy)\sqrt{3}$$ However the left side is rational and the right side is irrational unless it is $0$, hence we have a contradiction.