Demostrar que la ecuación de $a^2=ab+b^2+b+5$ no tiene soluciones del número entero.
Mi intento:
$4a^2=4ab+4b^2+4b+20$
$4a^2-4ab+b^2 = 5b^2+4b+20$
$5(4a^2-4ab+b^2) = 5(5b^2+4b+20)$
$5(2a-b)^2=(5b+2)^2+96$
Que $2a-b = x$, $\;5b+2=y$
tenemos $\;5x^2-y^2=96$.
Por favor sugerir sobre cómo proceder.