Solución. Si $\sqrt{k^2-kp}$ es igual a un número natural $n$, entonces $k^2-kp=n^2$. Utilizando la fórmula de las soluciones de la ecuación de segundo grado, podemos despejar
\[k=\frac{p\pm\sqrt{p^2+4n^2}}{2}.\]
Ahora bien, si $k$ es un número entero, la raíz anterior tiene que ser otro número natural, llamémoslo $m$ y, por tanto, $p^2+4n^2=m^2$. Podemos despejar así $p^2=m^2-4n^2=(m-2n)(m+2n)$. Como $p$ es primo, las únicas factorizaciones posibles de $p^2$ son $p^2=(-1)(-p^2)=(-p)(-p)=p\cdot p=1\cdot p^2$, pero $m-2n$ es menor o igual que $m+2n$ por ser $n$ mayor o igual que cero, y $m+2n$ también es positivo luego tenemos las siguientes dos posibilidades:
- $m-2n=1$, $m+2n=p^2$, de donde $m=\frac{p^2+1}{2}$ y $n=\frac{p^2-1}{4}$.
- $m-2n=p$, $m+2n=p$, de donde $m=p$ y $n=0$.
Sustituyendo estos valores de $m$ en la ecuación de segundo grado para $k$, obtenemos las siguientes posibilidades:
\[k=0,\hspace{1cm}k=p,\hspace{1cm}k=\left(\frac{p+1}{2}\right)^2,\hspace{1cm}k=-\left(\frac{p-1}{2}\right)^{2}.\]
Las dos primeras son enteras sea cual sea el primo $p$ pero la tercera y la cuarta sólo cuando $p$ es impar, es decir, para $p\geq 3$. Si no consideramos el cero como número natural, tenemos que descartar las dos primeras.