Introducción
El pasado lunes presentábamos un método de resolución de ecuaciones diofánticas lineales. También vimos que no sólo existen este tipo de ecuaciones diofánticas: dependen de los exponentes de sus variables. Por desgracia cuando los exponentes no son 1 (es decir, cuando no son lineales) no tenemos un procedimiento general para resolverlas. Esto lo sabemos desde 1970, cuando Yuri Matiyasévich consiguió demostrar (después de 20 años de trabajo) que no es posible encontrar un algoritmo que nos diga si una ecuación diofántica tiene soluciones o no las tiene. Este fue uno de los 23 problemas, concretamente el décimo, que David Hilbert propuso en el año 1900.
Después de este mazazo vamos a alegrar un poco el asunto: aunque no tengamos un procedimiento para todas las ecuaciones diofánticas sí que sabemos resolver algunos casos particulares de ellas. El artículo de hoy trata sobre uno de estos casos: la ecuación de Pell.
La ecuación de Pell
Una ecuación de Pell es una ecuación diofántica que tiene la siguiente forma:
con 
¿Quién es Pell? John Pell fue un matemático inglés que vivió durante el siglo XVII. La cuestión es que no está muy claro por qué este tipo de ecuaciones llevan su nombre. Al parecer el error lo cometió en gran Euler al asociar un método de resolución de este tipo de ecuaciones a Pell en vez de a Brouncker, el verdadero propietario de dicho método. En su época Euler era un escritor muy leído, por lo que la inclusión de este fallo en uno de sus libros provocó que esta asociación errónea de propagara con gran rapidez.
Pero bueno, no pasa nada, ya vimos hace un tiempo que no podemos fiarnos a ciegas del nombre que acompaña a ciertos resultados.
El estudio de la ecuación de Pell se remonta a la antigua Grecia. En algunos trabajos de Arquímedes se muestra el conocimiento de alguna solución para el caso 
El desafío de Fermat
Pero fue nuestro admirado Pierre de Fermat quien profundizó en la ecuación de Pell. En 1657, al final de su carrera, mandó el siguiente desafío a los matemáticos ingleses:
Dado un número cualquiera que no es un cuadrado existe un número infinito de cuadrados tal que si el cuadrado es multiplicado por el número dado y la unidad es añadida al producto el resultado es un cuadrado.
Es decir, dado 
Dado que, según parece, en la época de Diofanto se tomaban las soluciones racionales como las soluciones válidas de estas ecuaciones, los ingleses resolvieron muy pronto el desafío de Fermat (¿podéis vosotros?). Fermat había incluido en su desafío un preámbulo donde explicaba que se pedían soluciones enteras, pero dicha explicación debió perderse y no llegó a sus destinatarios.
El caso es que Fermat aclaró este punto a los ingleses cuando recibió las soluciones. Estos, aunque indignados por el cambio de las condiciones del problema, se dedicaron a ello. Wallis y Brouncker son los que parece que pusieron más empeño.
En este y en algún otro desafío aparecían separados tres casos particulares de la ecuación de Pell. Concretamente los casos 
La cuestión es que los ingleses, al parecer Brouncker (o al menos Wallis se lo atribuye a él), consiguieron resolver los casos particulares y además dieron un procedimiento general para llegar a la solución para cualquier valor de
La ecuación de Pell en la actualidad
En el momento actual el método de resolución de la ecuación de Pell se basa en fracciones continuas. En el artículo de la Wikipedia inglesa dedicado a la ecuación de Pell podéis consultarlo y en este enlace se puede ver de forma más resumida y en español.
Y para terminar os dejo esta web donde dado el valor de
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: Introducción El pasado lunes presentábamos un método de resolución de ecuaciones diofánticas lineales. También vimos que no sólo existen este tipo de ecuaciones diofánticas: dependen de los exponentes de sus variables. …
Como ya se ha dicho en más de una ocasión, una propiedad importante de esta ecuación es que si
es la solución fundamental (o mínima), entonces las demás soluciones 
cumplen 
.
¿Hallamos todas las soluciones de
? Es un buen ejercicio.
Me gustaría que alguien me dijera si el siguiente razonamiento que si es correcto, tendría una genial consecuencia: Sea la ecuación con a, b, c, d, e, f enteros, y a y c distintos de 0. Si la escribimos como un polinomio en x tendremos y esta es una ecuación de segundo grado en x. Como hemos restringido el polinomio para valores de x e y enteros, si esta última ecuación tiene solución, entonces el discriminante es un cuadrado perfecto. Por esto último, tenemos que (by + d)^2 – 4a(cy^2 + ey + f) = w^2 con w entero. Restando… Lee más »
En un libro Algebra Moderna leo en el capitulo sobre campos algegraicos que la teoria de la extension de campos algebraicos es la base de la teoria de las funciones algebraicas y sus integrales.
Alguien puede ampliar brevemente esa afirmacion en alguna direccion?
muchas gracias.
como forma de «Pago» para la consulta anterior, les cuento sobre el tema del numero pi, representado por una medusa. Como lei en Gaussianos hace un tiempo, la letra griega pi es igual a una medusa y su picadura. Los antiguos representaban la medusa (cuya picadura es como la letra pi) como una especie de enjambre de serpientes. Los antiguos, por otra parte y en la mitologia, le daban un gran significado a la serpiente (i.e. en el relato de la caida, de la Biblia o Antiguo Testamento) por la siguiente razon: su lengua se divide en dos partes…es un… Lee más »
Nicolás,
Leí que el problema del ganado, de Arquímedes, tal vez no fuera de él. Tan sólo con el ánimo de ver si tenía belleza suficiente como para ser atribuido a un genio… me metí con él y en consecuencia con problemas de esta naturaleza. Tu planteamiento parece genial, asequible y fácil. Bello diría yo. Te veo con capacidades de programar (a lo mejor me equivoco). Si puedes, debes hacerte tu solucionador y bombardearlo con casos simulados… Si responde, no necesitarás el aplauso de nadie para saber que el método vale. Yo, tal vez, algún día lo haga.
Nicolás,
Tienes una confirmación en:
«Lecciones populares de matemáticas»
«Resolución de ecuaciones en números enteros»
«A.O.Guelfond»
«Editorial MIR – Moscú – 1979»
… dice en p.46..48:
«./..
x^2 – A y^2 = C (73)
./..
La resolución, en números enteros, de ecuaciones mas generales de segundo grado y con dos incógnitas, del tipo:
Ax^2+Bxy+CY2+Dx+Ey+F=0
donde A, B, C, D, E y F son números enteros, se reduce mediante sustituciones de las variables, a la resolución de ecuaciones del tipo(73), siendo A positivo o negativo.»