Hola:
Llevo algún tiempo explorando la ecuación diofántica \( ax^2 + bx + c = n^2 \), es decir, dadas las constantes \( a, b, c \), encontrar los valores que puede obtener \( x \) para que la función \( f(x) = ax^2 + bx + c \) tenga como resultado un cuadrado perfecto.
Bien, haciendo pruebas con una Excel, encontré que \( y^2 + 2y + 1 = (y + 1)^2 \), supongo que es algo obvio, pero esto me llamó un poco la atención... así que se podría hacer el siguiente desarrollo:
\(
Si c Mod 2 \equiv 1
\)
\(
c = 2y + 1;
\)
\(
ax^2 + bx = y^2
\)
\(
Si c Mod 2 \equiv 0
\)
\(
c = 2y
\)
\(
ax^2 + bx = y^2 + 1
\)
Finalmente
\(
n^2 = (y + 1)^2
\)
Esto nos daría un valor sobre el que calcular el valor de \( x \), tal que:
\(
Si c Mod 2 \equiv 1
\)
\(
y = \dfrac{c - 1}{2};
\)
\(
ax^2 + bx - (\dfrac{c - 1}{2})^2 = 0
\)
\(
Si c Mod 2 \equiv 0
\)
\(
y = \dfrac{c}{2}
\)
\(
ax^2 + bx - (\dfrac{c}{2})^2 - 1 = 0
\)
Y por tanto, se podría comprobar si esta ecuación tiene algún resultado válido en \( N \).
Evidentemente no es una solución general, pero creo que podría servir para resolver cierto rango de posibles valores de \( a, b, c \)... ¿qué opináis? ¿Tiene sentido? Supongo que es muy posible que esta aproximación ya se haya estudiado, pero me parecía curioso comentarlo con vosotros para saber vuestra opinión

Un saludo