Quiero demostrar que para $p,q,r$ diferente de los números primos, $\sqrt{p}+\sqrt{q}+\sqrt{r}$ es irracional.
Es la siguiente prueba de la correcta?
Si $\sqrt{p}+\sqrt{q}+\sqrt{r}$ es racional, entonces $(\sqrt{p}+\sqrt{q}+\sqrt{r})^2$ es racional, por lo tanto $p+q+r+2\sqrt{pq}+2\sqrt{pr}+2\sqrt{qr}$ es racional, por lo tanto, $\sqrt{pq}+\sqrt{pr}+\sqrt{qr}$ es racional.
Si $\sqrt{pq}+\sqrt{pr}+\sqrt{qr}$ es racional, entonces $(\sqrt{pq}+\sqrt{pr}+\sqrt{qr})^2$ es racional, por lo tanto, $pq+qr+pr+\sqrt{p^2qr}+\sqrt{pq^2r}+\sqrt{pqr^2}$ es racional, por lo tanto, $p\sqrt{qr}+q\sqrt{pr}+r\sqrt{pq}$ es racional.
Ahora supongamos $p<q<r$. Si $p\sqrt{qr}+q\sqrt{pr}+r\sqrt{pq}$ $\sqrt{pq}+\sqrt{pr}+\sqrt{qr}$ son racionales y, a continuación, $$p\sqrt{qr}+q\sqrt{pr}+r\sqrt{pq}-p(\sqrt{pq}+\sqrt{pr}+\sqrt{qr})$$
es racional, por lo tanto, $(q-p)\sqrt{pr}+(r-p)\sqrt{pq}$ es racional.
Si $(q-p)\sqrt{pr}+(r-p)\sqrt{pq}$ es racional, entonces $((q-p)\sqrt{pr}+(r-p)\sqrt{pq})^2$ es racional, por lo tanto $(q-p)^2pr+2(q-p)(r-p)\sqrt{p^2qr}+(r-p)^2pq$ es racional, por lo tanto $\sqrt{qr}$ es racional.
Pero $q,r$ son distintos de los números primos, por lo $qr$ no puede ser un cuadrado. Por lo tanto $\sqrt{qr}$ es irracional. Contradicción.
También, hay una manera más fácil la prueba?