Esto es de Spivak.
Demostrar que $\sqrt{2}+\sqrt{3}$ es irracional.
Hasta el momento, tengo esto:
Si $\sqrt{2}+\sqrt{3}$ es racional, entonces puede ser escrito como $\frac{p}{q}$ integral $p, q$ y en términos mínimos.
$$\sqrt{2}+\sqrt{3}=\frac{p}{q}$$ $$2\sqrt{6}+5 =\frac{p^2}{q^2}$$ $$(2\sqrt{6}+5)q^2=p^2$$
Y eso es donde me quedo atascado. En una pregunta similar (demostrar que $\sqrt{2}+\sqrt{6}$ es irracional,) que era capaz de mostrar que tanto $p,q$ tuvo que ser incluso que es imposible. Yo, obviamente, no se puede aplicar este truco. Cualquier sugerencias?