How can we prove that if $a_1\sqrt{n_1}+a_2\sqrt{n_2}+\dots+a_k\sqrt{n_k}\in\mathbb{Q}$ with $a_1,a_2\dots, a_k\in\mathbb{Q}^{*}_{+}$, then the natural numbers $n_1,n_2,\dots, n_k$ are perfect squares?

I have proved it for $k=1,2,3$ but for $k\geq 4$ I don't find anything. I couldn't show even that $\sqrt{2}+\sqrt{3}+\sqrt{5}+\sqrt{7}\notin\mathbb{Q}$.


marked as duplicate by Dietrich Burde, Namaste, Leucippus, user91500, Alex M. Nov 25 '16 at 9:44

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ You need some reformulation, because $(-1)\sqrt{12}+ 2\sqrt{3}$ is rational. $\endgroup$ – G Tony Jacobs Nov 24 '16 at 15:17
  • $\begingroup$ What about $\sqrt{2}-\sqrt{2}$? $\endgroup$ – Oiler Nov 24 '16 at 15:17
  • 1
    $\begingroup$ Coefficients must be positive... $\endgroup$ – Bogdan Nov 24 '16 at 15:18
  • $\begingroup$ Ah. How did you prove it for $k=3$? $\endgroup$ – G Tony Jacobs Nov 24 '16 at 15:19
  • 1
    $\begingroup$ @Bogdan check this answer: math.stackexchange.com/a/437374/133781 $\endgroup$ – Xam Nov 24 '16 at 15:31