HINT $\ $ An inductive proof follows easily from this
LEMMA $\rm\ \ [K(\sqrt{a},\sqrt{b}) : K] = 4\ $ if $\rm\ \sqrt{a},\ \sqrt{b},\ \sqrt{a\:b}\ $ all are not in $\rm\:K\:$ and $\rm\: 2 \ne 0\:$ in $\rm\:K\:.$
Proof $\ \ $ Let $\rm\ L = K(\sqrt{b})\:.\:$ Then $\rm\: [L:K] = 2\:$ via $\rm\:\sqrt{b} \not\in K\:,\:$ so it is sufficient to prove $\rm\: [L(\sqrt{a}):L] = 2\:.\:$ It fails only if $\rm\:\sqrt{a} \in L = K(\sqrt{b})\ $ and then $\rm\ \sqrt{a}\ =\ r + s\ \sqrt{b}\ $ for $\rm\ r,s\in K\:.\:$ But that is impossible since squaring yields $\rm(1):\ \ a\ =\ r^2 + b\ s^2 + 2\:r\:s\ \sqrt{b}\:,\: $ which contradicts hypotheses as follows:
$\rm\qquad\qquad rs \ne 0\ \ \Rightarrow\ \ \sqrt{b}\ \in\ K\ \ $ by solving $(1)$ for $\rm\sqrt{b}\:,\:$ using $\rm\:2 \ne 0$
$\rm\qquad\qquad\ s = 0\ \ \Rightarrow\ \ \ \sqrt{a}\ \in\ K\ \ $ via $\rm\ \sqrt{a}\ =\ r \in K$
$\rm\qquad\qquad\ r = 0\ \ \Rightarrow\ \ \sqrt{a\:b}\in K\ \ $ via $\rm\ \sqrt{a}\ =\ s\ \sqrt{b}\:,\: \ $times $\rm\:\sqrt{b}\quad\quad$ QED
Using the above as the inductive step one easily proves the following result of Besicovic.
THEOREM $\ $ Let $\rm\:Q\:$ be a field with $2 \ne 0\:,\:$ and $\rm\ L = Q(S)\ $ be an extension of $\rm\:Q\:$ generated by $\rm\: n\:$ square roots $\rm\ S = \{ \sqrt{a}, \sqrt{b},\ldots \}$ of elts $\rm\ a,\:b,\:\ldots \in Q\:.\:$
If every nonempty subset of $\rm\:S\:$ has product not in $\rm\:Q\:$ then each successive
adjunction $\rm\ Q(\sqrt{a}),\ Q(\sqrt{a},\:\sqrt{b}),\:\ldots$ doubles the degree over $\rm\:Q\:,\:$ so, in total, $\rm\: [L:Q] \ =\ 2^n.\:$ Hence the $\rm2^n$ subproducts of the product of $\rm\:S\:$ comprise a basis of $\rm L$ over $\rm\:Q\:.$
EDIT: As pointed out in the comments, I swapped $q_i$ and $p_i$. After this edit, this change is at least consistent throughout.
First, let $K = \mathbb Q(\sqrt[q_1]{p_1}, \dots, \sqrt[q_n]{p_n})$, $\alpha = \sum \sqrt[q_i]{p_i}$. $\mathbb Q$ has characteristic 0, so this extension $K/\mathbb Q$ is separable. We can then consider a field extension $L/K$ called the Galois closure of $K/\mathbb Q$. We require that $L/\mathbb Q$ is the smallest Galois extension containing $\mathbb Q$. Essentially, we just adjoin all the conjugates of the $\sqrt[q_i]{p_i}$. We can describe it even more explicitly, as the conjugates of $\sqrt[q_i]{p_i}$ are of the form $\zeta^k \sqrt[q_i]{p_i}$ where $\zeta$ is a primitive $q_i^{th}$ root of unity. Then $L = \mathbb Q(\sqrt[q_1]{p_1}, \dots, \sqrt[q_n]{p_n}, \zeta_1, \dots, \zeta_n)$ where $\zeta_i$ is a primitive $q_i^{th}$ root of unity.
Anyways, the point of doing this is that our initial extension $K/\mathbb Q$ was not Galois (unless all $q_i = 2$), so we are trying to replace it with the Galois closure and work within that. The reason we want a Galois extension is the following:
Lemma. Let $K/F$ be a finite Galois extension and let $\alpha \in K$. Then $K=F(\alpha)$ iff $\sigma(\alpha) \neq \alpha$ for all $\sigma \in G(K/F)$ other than $\sigma = id$.
Proof: Let $H = G(K/F(\alpha))$. For $\sigma \in G(K/F)$, $\sigma(\alpha)=\alpha$ iff $\sigma \in H$. Then $[K:F(\alpha)] = |H|$ and $F(\alpha) = K$ iff $|H| = 1$.
Now, our extension $K/\mathbb Q$ is not Galois so we cannot immediately try to apply this result. However, it gives us the idea of applying every element of $G(L/\mathbb Q)$ to $\alpha$ and observing where it is fixed. To do this, we need to understand this Galois group $G = G(L/\mathbb Q)$ a bit better so let me first define $K_i = \mathbb Q(\sqrt[q_i]{p_i})$ and $L_i = K_i(\zeta_i)$ be the Galois closure. Then $K = K_1 \cdots K_n$ and $L = L_1 \cdots L_n$. We'll work first with these slices $L_i/K_i/\mathbb Q$.
Let's first consider $G_i = G(L_i/\mathbb Q)$. I won't show this, but $G_i$ is generated by the following two elements:
$$
\sigma_i: \begin{cases}
\sqrt[q_i]{p_i} \mapsto \zeta_i \sqrt[q_i]{p_i}\\
\zeta_i \mapsto \zeta_i
\end{cases}
\\
\tau_i:
\begin{cases}
\sqrt[q_i]{p_i} \mapsto \sqrt[q_i]{p_i}\\
\zeta_i \mapsto \zeta_i^{k_i}
\end{cases}
$$
where $k_i$ and $q_i$ are relatively prime. In fact, by doing some conjugation computations you can show that every element of $G_i$ is of the form $\sigma_i^{a_i} \tau_i^{b_i}$ and that this expression is unique for $a_i$ modulo $q_i$ and $b_i$ modulo $\phi(q_i) = q_i - 1$. Essentially, we are realizing $G_i$ as a semidirect product of $\langle \sigma_i \rangle$ and $\langle \tau_i \rangle$.
What then is the fixed field of $K$? Well if we let $\phi \in G(L/\mathbb Q)$ then $\phi$ is determined by its restrictions $\phi|_{L_i} \in G_i$ as $L = L_1 \cdots L_n$. Each $\phi|_{L_i} \in G_i$, so it can be written uniquely as $\sigma_i^{a_i} \tau_i^{b_i}$. With this representation, we can see that $\phi$ fixes $K_i$ iff $\phi|_{L_i}$ is purely a power of $\tau_i$. Thus, $\phi \in G(L/K)$ iff $\phi|_{L_i}$ is a power of $\tau_i$ for all $i$.
We are trying to show that $\mathbb Q(\alpha) = K$. By Galois theory, this is the same as showing that $G(L/K) = G(L/\mathbb Q(\alpha))$. All the work we did above allowed us to figure out what $G(L/K)$ is. Furthermore, as $\mathbb Q(\alpha) \subseteq K$, we have $G(L/K) \subseteq G(L/\mathbb Q(\alpha))$. Take now some $\phi \in G(L/\mathbb Q(\alpha))$. Then by definition, $\phi(\alpha) = \alpha$. We can rewrite this as $\sum \zeta_i^{m_i}\sqrt[q_i]{p_i} = \sum \sqrt[q_i]{p_i}$ for some $m_i \in \mathbb Z$. Hence, $\sum \sqrt[q_i]{p_i} = \sum Re(\zeta_i^{m_i} \sqrt[q_i]{p_i}) = \sum \sqrt[q_i]{p_i} Re(\zeta_i^{m_i})$. For this to happen, each $\zeta_i^{m_i} = 1$. In other words, $\phi|_{L_i}$ contains no powers of $\sigma_i$ and therefore fixes $K_i$. Hence, $\phi$ fixes $K$ and $G(L/K) = G(L/\mathbb Q(\alpha))$.
Bonus: Using the same ideas as above, you can show that $L = \mathbb Q(\sum \sqrt[q_i]{p_i} + \sum \zeta_i)$.
Best Answer
Hint
Step 1 : $$\sqrt{p_1}-\sqrt{p_2}=\frac{p_1-p_2}{\sqrt{p_1}+\sqrt p_2}\in \mathbb Q(\sqrt{p_1}+\sqrt{p_2})$$
Step 2 :
$$\sqrt{p_1}=\frac{(\sqrt{p_1}+\sqrt p_2)+(\sqrt{p_1}-\sqrt{p_2})}{2}\in \mathbb Q(\sqrt{p_1}+\sqrt{p_2}).$$
I let you manage to show that $\sqrt{p_2}\in \mathbb Q(\sqrt{p_1}+\sqrt{p_2})$ as well and conclude the equality.