Vamos a encontrar todos números enteros $n$ de tal manera que $n^2+pn$ es un cuadrado, entonces muestra que sólo uno de ellos es positivo.
Si $n^2+pn=m^2$ entonces $pn=(|m|-n)(|m|+n)$ así que sin pérdida de generalidad podemos asumir $m=n+pk$ para algunos enteros $k$ . Ahora escribiendo
$$n^2+pn=(n+pk)^2=n^2+2pkn+p^2k^2$$
vemos
$$(1-2k)n=pk^2$$
Pero $ \gcd (1-2k,k^2)=1$ así que debemos tener $(1-2k) \mid p$ . Esto da cuatro posibilidades (usando el hecho de que $p$ es un impar Prime):
$$ \begin {align} 1-2k=1& \implies k=0 \implies n=0 \\ 1-2k=-1& \implies k=1 \implies n=-p \\ 1-2k=p& \implies k={1-p \over2 } \implies n= \left (1-p \over2\right )^2 \\ 1-2k=-p& \implies k={1+p \over2 } \implies n=- \left (1+p \over2\right )^2 \\ \end {align}$$
Sólo la tercera posibilidad tiene un valor positivo para $n$ .