El rompecabezas es la siguiente:
Problema: Encontrar todo entero no negativo soluciones a $4ab-a-b=c^2$
Mi Progreso:
Hay, por supuesto, la solución trivial de $a=b=c=0$, y sospecho que no hay más (aunque no me sorprendería si me he equivocado).
Sabiendo esto, un equivalente problema es encontrar las soluciones a $(4a-1)|(c^2+a)$ o, en aritmética modular, $c^2\equiv-a~(\mathrm{mod}~(4a-1))$. En particular, la segunda forma me permite descartar $a=1,2,3,4,5$ como posibles candidatos a mano.
Ahora estoy atascado. Cualquier ayuda se agradece.