Ecuación de Pell

Ecuación matemática

Una ecuación de Pell es una ecuación diofántica de la forma:

Ecuación de Pell para n = 2 y seis de sus soluciones enteras.

Donde n es un número entero.

La pregunta de la existencia de soluciones no triviales (diferentes de x=1 y y=0) de esta ecuación fue resuelta, con una respuesta pesimista para todo n cuadrado perfecto. Para n no cuadrado perfecto existen infinitas soluciones.

Historia

editar

Las primeras ecuaciones tipo Pell se estudiaron hacia el año 400 a. C. por los griegos e indios. Estaban interesados en principio en la ecuación con n = 2

 

ya que la equivalencia de esta con la ecuación   muestra que si x, y son soluciones positivas, entonces   es una aproximación de  . Cuanto mayores sean x y y, mejor será la aproximación.

Estas ecuaciones fueron estudiadas ya por Arquímedes, de manera indirecta, al resolver el problema de las reses del sol. Aunque el matemático que trabajó formalmente en ellas fue Bhaskara I en el siglo VII. Por ejemplo, planteó el problema:

"Dime, Oh matemático, cuál es el cuadrado que multiplicado por 8 se convierte - junto con la unidad - en un cuadrado?"

En notación moderna, preguntó por las soluciones de la ecuación de Pell x2 - 8y2=1. Tiene la solución fundamental x = 3, y = 1, o acortado (x,y) = (3,1), a partir de las cuales se pueden construir más soluciones, por ejemplo, (x,y) = (17,6).

Brahmagupta

editar

La construcción se da gracias a los trabajos de Brahmagupta en el siglo VII con la ayuda de la identidad que lleva su nombre. En su forma general se ve así:

 

Así, si   y   son soluciones de   se pueden componer las dos triplas para generar las nuevas triplas   y  . De esta forma a partir de soluciones de la ecuación de Pell se obtienen nuevas soluciones. Brahmagupta mostró además que si la ecuación   tiene soluciones para   entonces la ecuación de Pell   tiene soluciones. Sin embargo, no pudo desarrollar un método para solucionarla con n arbitrario.

Bhaskara II

editar

En el siglo XII Bhaskara II usó la identidad de Brahmagupta para crear un método que permitiría solucionar de manera general la ecuación de Pell. El llamado método de chakravala comienza con un tripla   y la compone con la tripla trivial   para obtener  . Esta última se puede reducir por el Lema de Bhaskara a:

 

Si m se escoge de tal manera que   sea entero, entonces los otros dos números de la tripla también lo son. El método escoge entonces un tal m que minimice   y procede a repetirse con los nuevos valores encontrados. Lagrange probó en 1768 que este método siempre termina en una solución con k=1, es decir, con una solución a la ecuación de Pell para n arbitrario.


La denominación actual proviene de un error de Euler, quien atribuyó a John Pell (1610-1685) el estudio profundo de estas ecuaciones, cuando realmente fue William, Vizconde de Brouncker (c. 1620-1684) el matemático que realizó el trabajo. Aunque Brouncker utilizó fracciones continuas y obtuvo soluciones fue Lagrange el matemático que demostró que tenía infinitas soluciones y pulió el método de la fracción continua.

Aunque esta ecuación se considera resuelta, no es posible decir que el problema haya sido solucionado exhaustivamente. Existen algunas dificultades. El hallazgo de soluciones se basa en el estudio de las unidades en el anillo  , íntimamente ligado al cuerpo cuadrático   o al desarrollo en fracción continua de  .[1][2]

Existencia de soluciones

editar

El anillo  

editar

Considere el conjunto

 

con las operaciones heredadas de  . Éste resulta ser un anillo y, si   es irracional, una extensión propia de  . La ventaja de trabajar en este anillo, es que la ecuación de Pell se puede factorizar de manera conveniente como

 

Con esta factorización se puede ver fácilmente que Si n es un cuadrado perfecto, la ecuación no tiene soluciones diferentes a la solución trivial. Basta ver entonces, el caso en el que n no sea un cuadrado perfecto.

Para n no cuadrado perfecto, se define sobre   la norma

 

Esta norma tiene propiedades interesantes, similares al caso de los números complejos. Por ejemplo, el hecho de ser multiplicativa, es decir para  ,  . Esta propiedad es útil, pues con ella se puede reescribir el problema dado por la ecuación de Pell como encontrar   tal que  .

Existencia de una solución de la ecuación de Pell

editar

Paso 1

editar

Aplicando el Teorema de aproximación de Dirichlet para   y un entero B obtenemos que existen   y   tales que:  . Podemos escoger entonces una sucesión  , que da lugar a sucesiones   y   tales que para cada   se cumple:  

Paso 2

editar

Note que si   su norma es acotada por una constante fija, pues:  ,  . En particular esto se tiene para la sucesión anterior, luego existen infinitos números que cumplen que su norma es acotada por  

Paso 3

editar

Utilizando el Principio del palomar (versión infinita) se ve fácilmente que deben existir infinitos números   con la misma norma  , que además cumplen   mod N y   mod N para algunos  . Note que  , pues 0 es el único número de norma 0

Paso 4

editar

En particular, tenemos que existen dos números   y   que cumplen lo anterior. Entonces una solución al problema de Pell está dada por:  . Es fácil mostrar que efectivamente es solución, utilizando el hecho de que la norma es multiplicativa.
Además, dicha solución es no trivial pues  .

El grupo de soluciones

editar

  es un grupo con el producto del anillo  . Los elementos de U son llamados unidades, ya que U también se puede ver como el conjunto de los invertibles de  .

La unidad fundamental

editar

Sea   el menor número (con el orden usual en  ) tal que   y  . Dicho número existe por la existencia de soluciones no triviales de la ecuación de Pell, y porque   es discreto. Además el grupo   es generado por   y -1.

De esta manera si  , todas las soluciones positivas de la ecuación de Pell son de la forma   para cada  . Esto prueba además la existencia de infinitas soluciones de la ecuación de Pell para n no cuadrado perfecto

Referencias

editar
  1. I. V. Arnold (1939). Teoría de los Números. Uchpedguiz.  El capítulo VI describe métodos generales para el cálculo de   como fracción continua.
  2. A. Ya. Jinchin (1949). Fracciones Continuas. Moscú: Gostejizdat. 

Bibliografía

editar
  • Guelfond, A. O. (1979). Resolución de Ecuaciones en Números Enteros. Moscú: Editorial Mir, Colección Lecciones Populares de Matemáticas. ISBN no posee. 
  • Koch, Helmut (2000). Number Theory. Algebraic Numbers and Functions. AMS Bookstore - American Mathematical Society. ISBN 0-8218-2054-0, ISBN 978-0-8218-2054-4. 
  • Stillwell, Jhon. Elements of number theory. Springer. 

Enlaces externos

editar