Número de Pell

En matemáticas, los números de Pell son una sucesión infinita de números enteros, conocida desde tiempos antiguos, que comprende los denominadores de la fracción continua de la raíz cuadrada de dos. Esta secuencia de aproximaciones comienza con:

1/1, 3/2, 7/5, 17/12 y 41/29
Obtención gráfica de la sucesión de números de Pell: partiendo de un rectángulo formado por dos cuadrados de 1x1, en cada nuevo paso se van adosando dos cuadrados iguales, cuyo lado coincide con el lado más largo del rectángulo resultante del paso anterior. En la imagen, figura la construcción de los 4 primeros números de Pell: 1, 2, 5 y 12.

Los denominadores de la secuencia forman la sucesión de números de Pell, que comienza con:

1, 2, 5, 12 y 29

Los numeradores de la misma secuencia de aproximaciones son las mitades de los números compañeros de Pell o números de Pell-Lucas; de forma que estos números (multiplicados por 2) forman una segunda secuencia infinita que comienza con:

2, 6, 14, 34 y 82

Tanto los números de Pell como los números compañeros de Pell se pueden calcular mediante una relación de recurrencia similar a la de la sucesión de Fibonacci, y ambas secuencias de números crecen exponencialmente, proporcionalmente a las potencias del número plateado 1 + . Además de ser usado para aproximar la raíz cuadrada de dos, los números de Pell pueden usarse para encontrar números cuadrados triangulares, para construir aproximaciones de números enteros al triángulo rectángulo isósceles y para resolver ciertos problemas de enumeración combinatoria.[1]

Al igual que con la ecuación de Pell, el nombre de los números de Pell se deriva de la atribución errónea realizada por Leonhard Euler de la ecuación y de los números derivados de la misma al matemático británico John Pell (1611-1685). Los números de Pell-Lucas deben su nombre al matemático francés Édouard Lucas (1842-1891), que estudió las secuencias definidas por recurrencias de este tipo; los números de Pell y sus números asociados son sucesiones de Lucas.

Números de Pell

Los lados de los cuadrados utilizados para construir una espiral de plata son los números de Pell

Los números de Pell están definidos por la relación de recurrencia:

En palabras, la secuencia de números de Pell comienza con 0 y 1, y luego cada número de Pell se obtiene de los dos anteriores: es la suma de dos veces el número de Pell anterior y del número de Pell previo a este. Los primeros términos de la secuencia son:

0, 1, 2, 5, 12, 29, 70, 169, 408, 985, 2378, 5741, 13860, ... (sucesión A000129 en OEIS)

También pueden expresarse mediante una fórmula explícita:

Para valores grandes de n, el término (1 + )n domina esta expresión, por lo que los números de Pell son aproximadamente proporcionales a las potencias del número plateado 1 + , análogo a la tasa de crecimiento de los números de Fibonacci como potencias del número áureo.

Una tercera definición es posible, a partir de la fórmula matricial:

Muchas identidades pueden derivarse o probarse a partir de estas definiciones; por ejemplo, una identidad análoga a la identidad de Cassini para los números de Fibonacci:

Es una consecuencia inmediata de la fórmula matricial (que se encuentra considerando los determinantes de las matrices en los lados izquierdo y derecho de la fórmula de la matriz).[2]

Aproximación a la raíz cuadrada de dos

Aproximaciones racionales a octógonos regulares, con coordenadas derivadas de los números de Pell.

Los números de Pell surgen históricamente y más concretamente a partir de la aproximación racional a la 2. Si dos enteros grandes x e y forman una solución a la Ecuación de Pell:

entonces su fracción "x/y" proporciona una aproximación cercana a . La secuencia de aproximaciones de esta forma es:

donde el denominador de cada fracción es un número de Pell y el numerador es la suma de un número de Pell y su predecesor en la secuencia. Es decir, las soluciones tienen la forma:

La aproximación:

de este tipo era conocida por los matemáticos indios en el siglo tercero o cuarto a. C.[3] Los matemáticos griegos del siglo V a. C. también conocían esta secuencia de aproximaciones:[4] Platón se refiere a los numeradores como diámetros racionales.[5] En el siglo II d. C., Teón de Esmirna usó el término números de lado y de diámetro para describir los denominadores y numeradores de esta secuencia.[6]

Estas aproximaciones pueden derivarse de la expansión en forma de fracción continua de :

Truncar esta expansión a cualquier número de términos produce una de las aproximaciones basadas en el número de Pell en esta secuencia; por ejemplo:

Como Knuth (1994) describe, el hecho de que los números de Pell aproximan les permite ser usados para aproximaciones racionales precisas a un octógono regular con coordenadas de vértices:

y

Todos los vértices están igualmente distantes del origen, y forman ángulos casi uniformes alrededor del mismo. Alternativamente, los puntos

, y

forman octógonos aproximados en los que los vértices están casi igualmente alejados del origen y forman ángulos uniformes.

Primos y cuadrados

Un primo de Pell es un número de Pell que además es primo. Los primeros primos de Pell son:

2, 5, 29, 5741, ... (sucesión A086383 en OEIS).

Los índices de estos primos dentro de la secuencia de todos los números de Pell son:

2, 3, 5, 11, 13, 29, 41, 53, 59, 89, 97, 101, 167, 181, 191, ... (sucesión A096650 en OEIS)

Estos índices son todos ellos primos. Al igual que con los números de Fibonacci, un número de Pell Pn solo puede ser primo si n es primo, porque si d es un divisor de n, entonces Pd es un divisor de Pn.

Los únicos números de Pell que son cuadrados, cubos o cualquier potencia superior de un número entero son 0, 1 y 169 = 132.[7]

Sin embargo, a pesar de tener tan pocos cuadrados u otras potencias, los números de Pell tienen una conexión cercana con los número cuadrados triangulares.[8] Específicamente, estos números surgen de la siguiente identidad de los números de Pell:

El lado izquierdo de esta identidad describe un cuadrado perfecto, mientras que el lado derecho describe un número triangular, por lo que el resultado es un número cuadrado triangular.

Santana y Diaz-Barrero (2006) probaron otra identidad relacionando los números de Pell con los cuadrados, demostrando que la suma de los números de Pell hasta P4n+1 es siempre un cuadrado:

Por ejemplo, la suma de los números de Pell hasta P5, 0 + 1 + 2 + 5 + 12 + 29 = 49, es el cuadrado de P2 + P3 = 2 + 5 = 7. Los números P2n + P2n+1 que forman las raíces cuadradas de estas sumas,

1, 7, 41, 239, 1393, 8119, 47321, ... (sucesión A002315 en OEIS)

se conocen como los números de Newman-Shanks-Williams.

Triángulos pitagóricos

Triángulos rectángulos pitagóricos aproximadamente isósceles, se derivan de los números de Pell.

Si un triángulo rectángulo tiene longitudes de lado enteras a, b, c (satisfaciendo necesariamente el Teorema de Pitágoras a2 + b2 = c2), entonces (a, b y c) se conocen como una terna pitagórica. Como Martin (1875) describe, los números de Pell pueden usarse para formar tripletes pitagóricos en los que a y b están separados por una unidad, lo que corresponde a triángulos rectángulos que son casi isósceles. Cada una de estas ternas tiene la forma:

La secuencia de triples pitagóricos formada de esta manera es:

(4,3,5), (20,21,29), (120,119,169), (696,697,985), ...

Números de Pell-Lucas

Los números compañeros de Pell o números de Pell-Lucas están definidos por la relación de recurrencia:

En otras palabras: los dos primeros números de la secuencia son ambos 2, y cada número sucesivo se forma añadiendo dos veces el número anterior de Pell-Lucas al número de Pell-Lucas previo a este, o equivalentemente, añadiendo el siguiente número de Pell al número de Pell anterior: por lo tanto, 82 es el compañero de 29, y 82 = 2 × 34 + 14 = 70 + 12. Los primeros términos de la secuencia son (sucesión A002203 en OEIS):

2, 2, 6, 14, 34, 82, 198, 478, ...

Al igual que la relación entre la Sucesión de Fibonacci y los números de Lucas, se cumple que:

para todos los números naturales n.

El número compañero de Pell se puede expresar por la fórmula explícita:

Estos números son todos pares; cada uno de estos números es el doble del numerador en una de las aproximaciones racionales a discutidas anteriormente.

Al igual que la secuencia de Lucas, si un número de Pell-Lucas 1/2n es primo, es necesario que n sea primo o una potencia de 2. Los primos de Pell-Lucas son:

3, 7, 17, 41, 239, 577, ... (sucesión A086395 en OEIS).

Para estos números, sus n son

2, 3, 4, 5, 7, 8, 16, 19, 29, 47, 59, 163, 257, 421, ... (sucesión A099088 en OEIS).

Cálculos y conexiones

La siguiente tabla da las primeras potencias del número plateado δ = δS = 1 + y su conjugado δ = 1 - .

n (1 + )n (1 − )n
0 1 + 0 = 1 1 − 0 = 1
1 1 + 1 = 2.41421… 1 − 1 = −0.41421…
2 3 + 2 = 5.82842… 3 − 2 = 0.17157…
3 7 + 5 = 14.07106… 7 − 5 = −0.07106…
4 17 + 12 = 33.97056… 17 − 12 = 0.02943…
5 41 + 29 = 82.01219… 41 − 29 = −0.01219…
6 99 + 70 = 197.9949… 99 − 70 = 0.0050…
7 239 + 169 = 478.00209… 239 − 169 = −0.00209…
8 577 + 408 = 1153.99913… 577 − 408 = 0.00086…
9 1393 + 985 = 2786.00035… 1393 − 985 = −0.00035…
10 3363 + 2378 = 6725.99985… 3363 − 2378 = 0.00014…
11 8119 + 5741 = 16238.00006… 8119 − 5741 = −0.00006…
12 19601 + 13860 = 39201.99997… 19601 − 13860 = 0.00002…

Los coeficientes de estas expresiones son respectivamente los números compañeros de Pell Hn divididos por dos; y los números de Pell Pn. Cada pareja de coeficientes es una solución (no negativa) de la igualdad H2 − 2P2 = ±1.

Un número cuadrado triangular es un entero que:

que es tanto el número triangular t-ésimo como el número cuadrado s-ésimo. Un triplete pitagórico casi isósceles es una solución entera de a2 + b2 = c2, donde a + 1 = b.

La siguiente tabla muestra que dividir el número impar Hn en mitades casi iguales da un número triangular cuadrado cuando n es par y un triplete pitagórico casi isósceles cuando n es impar. Todas las soluciones surgen de esta forma.

n Hn Pn t t + 1 s a b c
0 1 0 0 0 0      
1 1 1       0 1 1
2 3 2 1 2 1      
3 7 5       3 4 5
4 17 12 8 9 6      
5 41 29       20 21 29
6 99 70 49 50 35      
7 239 169       119 120 169
8 577 408 288 289 204      
9 1393 985       696 697 985
10 3363 2378 1681 1682 1189      
11 8119 5741       4059 4060 5741
12 19601 13860 9800 9801 6930      

Definiciones

Los números mitad de los compañeros de Pell Hn y los números de Pell Pn pueden deducirse de varias maneras equivalentes fácilmente:

Elevando a potencias

De esto se sigue que existen "formas explícitas":

y

Repeticiones pareadas

Formulaciones matriciales

Por lo tanto:

Aproximaciones

La diferencia entre Hn y Pn es:

que converge rápidamente a cero. Así que:

está muy cerca de 2Hn.

De esta última observación se deduce que las fracciones «Hn/Pn» se acercan rápidamente a ; y que Hn/Hn−1 y Pn/Pn−1 se acercan rápidamente a 1 + .

H2 - 2P2 = ± 1

Puesto que es irracional, no se puede obtener que H/P, , es decir:

lo mejor que se puede lograr es:

Las soluciones (no negativas) de H2 − 2P2 = 1 son exactamente los pares (Hn, Pn) con n incluido, y las soluciones a H2 − 2P2 = −1 son exactamente los pares (Hn, Pn) con n impar. Para ver esto, téngase en cuenta primero que:

de modo que estas diferencias, comenzando por H2
0
− 2P2
0
= 1
, se alternan en 1 y -1. Entonces debe notarse que cada solución positiva viene de esta manera de una solución con números enteros más pequeños, ya que:

La solución más pequeña también tiene enteros positivos, con la única excepción de: H = P = 1, que viene de H0 = 1 y P0 = 0.

Números cuadrados triangulares

La ecuación requerida:

es equivalente a:

que se convierte en H2 = 2P2 + 1 con las sustituciones H=2t+1 y P=2s. Por lo tanto, la n-ésima solución es:

Obsérvese que t y t + 1 son relativamente primos, de manera que t(t + 1)/2 = s2 ocurre exactamente cuando son enteros adyacentes, uno cuadrado H2 y el otro dos veces un cuadrado 2P2. Puesto que se pueden conocer todas las soluciones de esa ecuación, también se tiene que:

y que

Esta expresión alternativa se expresa en la siguiente tabla:

n Hn Pn t t + 1 s a b c
0 1 0            
1 1 1 1 2 1 3 4 5
2 3 2 8 9 6 20 21 29
3 7 5 49 50 35 119 120 169
4 17 12 288 289 204 696 697 985
5 41 29 1681 1682 1189 4059 4060 5741
6 99 70 9800 9801 6930 23660 23661 33461

Ternas Pitagóricas

La igualdad c2 = a2 + (a + 1)2 = 2a2 + 2a + 1 ocurre exactamente cuando 2c2 = 4a2 + 4a + 2, que se convierte en 2P2 = H2 + 1 con las sustituciones H = 2a + 1 y P = c. Por lo tanto la n-ésima solución es an = H2n+1 − 1/2 y cn = P2n+1.

La tabla anterior muestra que, en un orden u otro, an y bn = an + 1 son HnHn+1 y 2PnPn+1 mientras que cn = Hn+1Pn + Pn+1Hn.

Referencias

  1. Por ejemplo, Sellers (2002) probó que el número de agrupamientos en el producto cartesiano de grafos de un camino y el grafo K4  e puede ser calculado como el producto de un número de Pell por el correspondiente número de Fibonacci.
  2. Para la fórmula matricialy sus consecuencias véase Ercolano (1979) y Kilic y Tasci (2005). Identidades adicionales para los números de Pell se enumeran por Horadam (1971) y Bicknell (1975).
  3. Según lo registrado en el Śulbasūtras; véase por ejemplo Dutka (1986), quien cita a Thibaut (1875) para esta información.
  4. Véase Knorr (1976) para la fecha del siglo V, que coincide con Proclo en que los números de lado y de diámetro fueron descubiertos por los pitagóricos. Para una exploración más detallada del conocimiento griego posterior de estos números, véase Thompson (1929), Vedova (1951), Ridenhour (1986), Knorr (1998), y Filep (1999).
  5. Por ejemplo, como varias de las referencias de la nota anterior observan, en la República de Platón hay una referencia al "diámetro racional de 5", que para Platón significa 7, el numerador de la aproximación 7/5, de la que 5 es el denominador.
  6. Heath, Sir Thomas Little (1921), History of Greek Mathematics: From Thales to Euclid, Courier Dover Publications, p. 112, ISBN 9780486240732.
  7. Pethő (1992); Cohn (1996). A pesar de que la sucesión de Fibonacci es definida por una recurrencia muy similar a los números de Pell, Cohn escribe que un resultado análogo para los números de Fibonacci parece mucho más difícil de probar (sin embargo, este hecho fue probado en 2006 por Bugeaud y otros.)
  8. Sesskin (1962). Véase el artículo número cuadrado triangular para una demostración más detallada.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.