Quiero mostrar que la fórmula
$$ | a^2 - 26\cdot b^2| = 1$$
tiene una infinidad de soluciones $(a, b) \in \mathbb{Z}^2$.
Primero traté de resolver la fórmula para una de las dos variables, para obtener algo como $a = ±\sqrt{±1 + 26 b^2}$ o $b = \sqrt{-\frac{±1 - a^2}{26}} $, pero ambos no se ve muy prometedor, ya que ahora necesitaría demostrar que hay infinitamente muchos entero soluciones para $b$ (o $a$) por lo que el otro es también un número entero.
Yo, sin embargo, obtener algunas soluciones. Yo podría (por más o menos tratando de valores) averiguar que $(5, 1), (51, 10)$ son dos soluciones. (Y por lo tanto también se $(-5, 1)$ y así sucesivamente.) Así que tal vez hay una manera recursiva para obtener los nuevos valores, basados en las que ya tengo, es decir, una fórmula $\phi(a, b)$, de modo que, cuando se $(a, b)$ es un número entero solución, $\phi(a, b)$ es así? (Probablemente íbamos a necesitar un extra de condiciones al igual que los componentes de $\phi(a, b)$ son estrictamente mayor que $a, b$, por lo que realmente conseguir nuevas soluciones y no de los que ya tenía de antes.)
Ver como en realidad no me quiere encontrar una fórmula para las soluciones reales, también sería suficiente si no hay una prueba de que hay infinitamente muchas soluciones que no se trata de encontrar alguna de las soluciones. Pero hasta ahora, no he tenido ninguna suerte con eso.
(Yo no estaba totalmente seguro de lo que las etiquetas para elegir; el problema parecía analíticos para mí si otras etiquetas son vistos como más a medida, por favor siéntase libre de corregirlos.)