$$x + 7 = ((n^2)-x)^2 = n^4 - 2n^2x + x^2$$
$$x^2-(2n^2+1)x+n^4-7=0$$
$$x_{1,2}=\frac{2n^2+1 \pm \sqrt{(2n^2+1)^2-4(n^4+7)}}{2}\\
=\frac{2n^2+1 \pm \sqrt{4n^4+4n^2+1-4n^4+28}}{2}\\
=\frac{2n^2+1 \pm \sqrt{4n^2+29}}{2}\\$$
Este es un entero si y sólo si $ \sqrt{4n^2+29}$ es un número entero (de lo contrario se sigue inmediatamente a partir de la observación de que, si $\sqrt{4n^2+29}$ es un número entero, debe ser impar.
Reivindicación 1: Si $\sqrt{4n^2+29}$ es un número entero, entonces $n \leq 7$.
Prueba:
$$\sqrt{4n^2+29} > \sqrt{4n^2}=2n \,.$$
Así
$$\sqrt{4n^2+29} \geq 2n+1 \,.$$
Por lo tanto
$$4n^2+29 \geq 4n^2+4n+1 \,.$$
Esto implica que $n \leq 7$, con igualdad si y sólo si $n=7$.
Reivindicación 2: Si $\sqrt{4n^2+29}$ es un número entero, y $n \neq 7$$n \leq 1$.
Prueba: Exactamente igual que en la Reivindicación $1$
$$\sqrt{4n^2+29} \geq 2n+1 \,.$$
Sin embargo, hemos demostrado que sólo tenemos igualdad de $n=7$. Así
$$\sqrt{4n^2+29} > 2n+1 \,.$$
Como $\sqrt{4n^2+29}$ es impar, obtenemos
$$\sqrt{4n^2+29} \geq 2n+3 \,.$$
$$4n^2+29 \geq 4n^2+12n+9 \,.$$
$$29 \geq 12n+9 \,.$$
Por lo tanto $n \leq 1$.
Así se demostró que la única $n$ los que puede trabajar se $n = 0, n = 1$$n = 7$.
Si
$$n=0 \Rightarrow x_{1,2}
=\frac{1 \pm \sqrt{29}}{2} \noen \mathbb Z$$
$$n=1 \Rightarrow x_{1,2}
=\frac{2+1 \pm \sqrt{4+29}}{2}\noen \mathbb Z$$
$$n=7 \Rightarrow x_{1,2}
=\frac{99 \pm 15}{2}$$
P. S. no olvide que nos cuadrado par de veces, lo que significa que las soluciones que tengo son soluciones a $$x + 7 = ((n^2)-x)^2 = n^4 - 2n^2x + x^2$$
pero no necesariamente a la pregunta original.
Uno necesita comprobar en la ecuación original, y sólo uno de ellos funciona.
La razón por la que la otra solución que no funciona es debido a que aparece como un extra de solución cuando nos cuadrado:
$$\sqrt{x + 7 }= (n^2)-x$$
Si observamos en la ecuación original que $n^2 \geq x$, esto elimina el mal extra solución .