Supongamos que $n=\frac pq$ con $\gcd(p,q)=1$ es una solución, es decir $$n^2+5=a^2,\quad n^2+10=b^2\quad\text{with }a,b\in\mathbb Q.$$ Supongamos también que $n$ es una solución con $q$ .
Entonces tenemos $$\tag1p^2+5q^2=(qa)^2,\quad p^2 +10q^2=(qb)^2$$ es decir $c:=qa$ y $d:=qb$ son números enteros (porque la raíz cuadrada de un número entero es entera o irracional). Cualquier primo (incluido $5$ !) dividiendo ambos $c$ y $p$ también dividiría $q$ Por lo tanto $\gcd(c,p)=1$ . Del mismo modo $\gcd(c,q)=\gcd(d,p)=\gcd(d,q)=1$ . En $(1)$ encontramos $10q^2=2(c^2-p^2)=(d^2-p^2)$ Por lo tanto $2c^2=d^2+p^2$ y finalmente $$(d+p)^2+(d-p)^2=2d^2+2dp+p^2+d^2-2dp+p^2=2(d^2+p^2)=(2c)^2 $$ para que $(d-p,d+p,2c)$ es un triple pitagórico. Obsérvese que $\gcd(d-p,d+p,2c)$ divide $\gcd(2p,2c)=2$ por lo tanto $(d-p,d+p,2c)$ es primitivo o tenemos $p\equiv d\pmod 2$ y $$\left(\frac{d-p}2,\frac{d+p}2,c\right)$$ es un triple pitagórico primitivo (PPT). La primera variante es imposible porque la hipotenusa en un PPT es siempre impar. En $d\equiv p\pmod 2$ y $\gcd(d,p)=1$ vemos que $d,p$ son a la vez impar y $\frac{d+p}2$ o $\frac{d-p}2$ es par.
Los PPT son bien conocidos: Si $u,v$ son números naturales coprimos de distinta paridad, entonces tenemos $(u^2-v^2,2uv,u^2+v^2)$ o $(2uv,u^2-v^2,u^2+v^2)$ dependiendo de dónde queramos el número par. Esto nos da $$p=\frac{d+p}2-\frac{d-p}2=\pm(u^2-2uv-v^2)=\pm((u-v)^2-2v^2).$$ $$c=u^2+v^2$$ $$q^2=\frac15(c^2-p^2)=\frac{4uv(u+v)(u-v)}5$$ A partir de la coprimidad, concluimos que se da uno de los siguientes casos:
- $(u-v,v,u)$ es un PPT y $\frac{u+v}5$ un cuadrado. Pero en tal PPT tenemos que $u+v$ es cuadrado o dos veces cuadrado, contradicción.
- $(u,v,u+v)$ es un PPT y $\frac{u-v}5$ un cuadrado. (continuará)
- $u,u-v,u+v$ y $\frac v5$ son cuadrados. Esto hace que $(p,q,c,d)=(\sqrt{u-v},\sqrt{\frac v5},\sqrt u,\sqrt{u+v})$ una solución de $(1)$ contradiciendo la minimalidad de $q$ .
- $v,u-v,u+v$ y $\frac u5$ son cuadrados. (continuará)