
En matemáticas , los números de Pell son una secuencia infinita de enteros , conocida desde la antigüedad, que comprende los denominadores de las aproximaciones racionales más cercanas a la raíz cuadrada de 2. Esta secuencia de aproximaciones comienza con 1/1 , 3/2 , 7/5 , 17/12 y 41/29 , por lo que la secuencia de números de Pell comienza con 1 , 2 , 5 , 12 y 29. Los numeradores de la misma secuencia de aproximaciones son la mitad de los números de Pell complementarios o números de Pell -Lucas ; estos números forman una segunda secuencia infinita que comienza con 2 , 6 , 14 , 34 y 82 .
Tanto los números de Pell como sus números complementarios pueden calcularse mediante una relación de recurrencia similar a la de los números de Fibonacci , y ambas secuencias de números crecen exponencialmente , proporcionalmente a potencias de la razón de plata 1 + √2 . Además de utilizarse para aproximar la raíz cuadrada de dos , los números de Pell pueden emplearse para hallar números triangulares cuadrados , construir aproximaciones enteras del triángulo isósceles recto y 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 proviene de la atribución errónea que Leonhard Euler hizo de la ecuación y los números derivados de ella a John Pell . Los números de Pell-Lucas también reciben su nombre de Édouard Lucas , quien estudió secuencias definidas por recurrencias de este tipo; los números de Pell y los números de Pell asociados son secuencias de Lucas .
Números Pell
Los números de Pell se definen mediante la relación de recurrencia :
En otras palabras, la secuencia de números de Pell comienza con 0 y 1, y luego cada número de Pell es la suma del doble del número de Pell anterior, más el número de Pell anterior a ese. Los primeros términos de la secuencia son:
De forma análoga a la fórmula de Binet , los números de Pell también pueden expresarse mediante la fórmula de forma cerrada.
Para valores grandes de n , el término (1 + √ 2 ) n domina esta expresión, por lo que los números de Pell son aproximadamente proporcionales a potencias de la razón plateada 1 + √ 2 , análogo a la tasa de crecimiento de los números de Fibonacci como potencias de la razón áurea .
Es posible una tercera definición, 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 obtiene al considerar los determinantes de las matrices en los lados izquierdo y derecho de la fórmula matricial). [ 2 ]
Aproximación a la raíz cuadrada de dos

Los números de Pell surgen históricamente y, sobre todo, en la aproximación racional aSi dos números enteros grandes x e yforman una solución a la ecuación de Pell
entonces su proporción 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
Este tipo de aproximaciones era conocido por los matemáticos indios en el siglo III o IV 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 utilizó el término números de lado y diámetro para describir los denominadores y numeradores de esta secuencia. [ 6 ]
Estas aproximaciones pueden derivarse de la expansión en 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, con siete s ,
Como describe Knuth (1994), el hecho de que los números de Pell se aproximen aEsto permite utilizarlos para obtener aproximaciones racionales precisas a un octágono regular con coordenadas de vértice (± P i , ± P i +1 ) y (± P i +1 , ± P i ) . Todos los vértices están a la misma distancia del origen y forman ángulos casi uniformes alrededor del origen. Alternativamente, los puntos ,, yForman octágonos aproximados en los que los vértices están casi a la misma distancia del origen y forman ángulos uniformes.
Números primos y cuadrados
Un número primo de Pell es un número de Pell que es primo . Los primeros números primos de Pell son:
- 2, 5, 29, 5741, 33461, 44560482149, 1746860020068409, 68480406462161287469, ... (secuencia A086383 en el OEIS ) .
Los índices de estos números 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, 523, 929, 1217, 1301, 1361, 2087, 2273, 2393, 8093, ... (secuencia A096650 en el OEIS )
Estos índices son todos primos. Al igual que con los números de Fibonacci, un número de Pell P n solo puede ser primo si n mismo es primo, porque si d es un divisor de n, entonces P d es un divisor de P n .
Los únicos números de Pell que son cuadrados , cubos o cualquier potencia superior de un entero son 0, 1 y 169 = 13² . [ 7 ]
Sin embargo, a pesar de tener tan pocos cuadrados u otras potencias, los números de Pell tienen una estrecha relación con los números triangulares cuadrados . [ 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 número cuadrado, mientras que el lado derecho describe un número triangular , por lo que el resultado es un número triangular cuadrado.
Falcón y Díaz-Barrero (2006) demostraron otra identidad que relaciona los números de Pell con los cuadrados y muestran que la suma de los números de Pell hasta P 4 n +1 es siempre un cuadrado:
Por ejemplo, la suma de los números de Pell hasta P 5 , 0 + 1 + 2 + 5 + 12 + 29 = 49 , es el cuadrado de P 2 + P 3 = 2 + 5 = 7 . Los números P 2 n + P 2 n +1 forman las raíces cuadradas de estas sumas,
se conocen como los números de Newman–Shanks–Williams (NSW) .
ternas pitagóricas

Si un triángulo rectángulo tiene lados de longitud entera a , b , c ( que necesariamente satisfacen el teorema de Pitágoras a² + b² = c² ), entonces ( a , b , c ) se conoce como una terna pitagórica . Como describe Martin (1875), los números de Pell se pueden usar para formar ternas pitagóricas en las que a y b están separadas por una unidad, lo que corresponde a triángulos rectángulos casi isósceles . Cada una de estas ternas tiene la forma
La secuencia de ternas pitagóricas 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 de Pell asociados o números de Pell-Lucas se definen mediante la relación de recurrencia.
En palabras: los dos primeros números de la secuencia son ambos 2, y cada número sucesivo se forma sumando el doble del número de Pell-Lucas anterior al número de Pell-Lucas anterior a ese, o equivalentemente, sumando el siguiente número de Pell al número de Pell anterior: así, 82 es el compañero de 29, y 82 = 2 × 34 + 14 = 70 + 12. Los primeros términos de la secuencia son (secuencia A002203 en la OEIS ) : 2 , 2, 6 , 14 , 34 , 82 , 198, 478 , …
Al igual que la relación entre los números de Fibonacci y los números de Lucas ,
para todos los números naturales n .
Los números de Pell correspondientes se pueden expresar mediante la fórmula de forma cerrada.
Todos estos números son pares ; cada uno de estos números es el doble del numerador en una de las aproximaciones racionales acomentado anteriormente.
Al igual que la secuencia de Lucas, si un número de Pell-Lucas 1 / 2 Q n es primo, es necesario que n sea primo o una potencia de 2. Los números primos de Pell-Lucas son
Para estos n son
Cálculos y conexiones
La siguiente tabla muestra las primeras potencias de la razón de plata δ = δ S = 1 + √ 2 y su conjugado δ = 1 − √ 2 .
Los coeficientes son los números de Pell compañeros H n y los números de Pell P n que son las soluciones (no negativas) de H 2 − 2 P 2 = ±1 . Un número triangular cuadrado es un número
que es a la vez el t - ésimo número triangular y el s -ésimo número cuadrado. Una terna pitagórica casi isósceles es una solución entera de a² + b² = c² donde a + 1 = b .
La siguiente tabla muestra que al dividir el número impar H n en dos mitades casi iguales se obtiene un número triangular cuadrado cuando n es par y una terna pitagórica casi isósceles cuando n es impar. Todas las soluciones surgen de esta manera.
Definiciones
Los números de Pell de medio compañero H n y los números de Pell P n se pueden derivar de varias maneras fácilmente equivalentes.
Elevación a poderes
De esto se deduce que existen formas cerradas :
y
Recurrencias pareadas
Fórmulas de recurrencia recíproca
Sea n al menos 2.
Formulaciones matriciales
Entonces
Aproximaciones
La diferencia entre H n y P n √ 2 es
que se reduce rápidamente a cero. Así que
es extremadamente cercano a 2 H n .
De esta última observación se deduce que las razones enteras H n / P n se aproximan rápidamente a √ 2 ; y H n / H n −1 y P n / P n −1 se aproximan rápidamente a 1 + √ 2 .
H 2 − 2 P 2 = ±1
Dado que √ 2 es irracional, no podemos tener H / P = √ 2 , es decir,
Lo mejor que podemos lograr es:
Las soluciones (no negativas) de H 2 − 2 P 2 = 1 son exactamente los pares ( H n , P n ) con n par, y las soluciones de H 2 − 2 P 2 = −1 son exactamente los pares ( H n , P n ) con n impar. Para ver esto, observe primero que
de modo que estas diferencias, comenzando con H 2 0 − 2 P 2 0 = 1 , son alternativamente 1 y −1. Luego observe que toda solución positiva proviene de esta manera de una solución con enteros más pequeños ya que
La solución más pequeña también tiene enteros positivos, con una excepción: H = P = 1 que proviene de H 0 = 1 y P 0 = 0.
números triangulares cuadrados
La ecuación requerida
es equivalente a que se convierte en H 2 = 2 P 2 + 1 con las sustituciones H = 2 t + 1 y P = 2 s . Por lo tanto, la n -ésima solución es
Observe que t y t + 1 son primos relativos, de modo que t ( t + 1) / 2 = s 2 ocurre exactamente cuando son enteros adyacentes, uno un cuadrado H 2 y el otro dos cuadrados 2 P 2 . Como conocemos todas las soluciones de esa ecuación, también tenemos
y
Esta expresión alternativa se puede ver en la siguiente tabla.
ternas pitagóricas
La igualdad c 2 = a 2 + ( a + 1) 2 = 2 a 2 + 2 a + 1 ocurre exactamente cuando 2 c 2 = 4 a 2 + 4 a + 2 que se convierte en 2 P 2 = H 2 + 1 con las sustituciones H = 2 a + 1 y P = c . Por lo tanto, la n -ésima solución es a n = H 2 n +1 − 1 / 2 y c n = P 2 n +1 .
La tabla anterior muestra que, en un orden u otro, a n y b n = a n + 1 son H n H n +1 y 2 P n P n +1 mientras que c n = H n +1 P n + P n +1 H n .
Notas
- ↑ Por ejemplo, Sellers (2002) demuestra que el número de emparejamientos perfectos en el producto cartesiano de un grafo de caminos y el grafo K 4 − e se puede calcular como el producto de un número de Pell con el número de Fibonacci correspondiente.
- ↑ Para la fórmula matricial y sus consecuencias, véanse Ercolano (1979) y Kilic y Tasci (2005). Horadam (1971) y Bicknell (1975) enumeran identidades adicionales para los números de Pell.
- ↑ Como se registra en los Shulba Sutras ; véase, por ejemplo, Dutka (1986), quien cita a Thibaut (1875) para esta información.
- ↑ Véase Knorr (1976) para la fecha del siglo V, que coincide con la afirmación de Proclo de que los pitagóricos descubrieron los números del lado y del diámetro. Para un análisis más detallado del conocimiento griego posterior sobre estos números, véanse Thompson (1929), Vedova (1951), Ridenhour (1986), Knorr (1998) y Filep (1999).
- ↑ Por ejemplo, como observan varias de las referencias de la nota anterior, en la República de Platón hay una referencia al "diámetro racional de 5", con lo que Platón quiere decir 7, el numerador de la aproximación 7 / 5 cuyo denominador es 5.
- ↑ Heath, Thomas Little (1921), Historia de las matemáticas griegas , vol. I, De Tales a Euclides, Oxford University Press, pág. 112Reimpresión de Dover, ISBN 9780486240732.
- ↑ Pethő (1992); Cohn (1996). Si bien los números de Fibonacci se definen mediante una recurrencia muy similar a la de 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 demostrar. (Sin embargo, esto fue demostrado en 2006 por Bugeaud et al.).
- ↑ Sesskin (1962). Véase el artículo sobre números triangulares cuadrados para una derivación más detallada.
Referencias
- Bicknell, Marjorie (1975). "Una introducción a la secuencia de Pell y secuencias relacionadas". Fibonacci Quarterly . 13 (4): 345– 349. doi : 10.1080/00150517.1975.12430627 . MR 0387173 .
- Bugeaud, Yann; Mignotte, Maurice; Siksek, Samir (2006). "Enfoques clásicos y modulares para ecuaciones diofánticas exponenciales I. Potencias perfectas de Fibonacci y Lucas" (PDF) . Annals of Mathematics . 163 (3): 969–1018 . doi : 10.4007/annals.2006.163.969 . ISSN 0003-486X . MR 2215137. Zbl 1113.11021 . Recuperado el 15 de septiembre de 2025 .
- Cohn, JHE (1996). "Potencias de Pell perfectas" . Glasgow Mathematical Journal . 38 (1): 19– 20. doi : 10.1017/S0017089500031207 . MR 1373953 .
- Dutka, Jacques (1986). "Sobre las raíces cuadradas y sus representaciones". Archivo para la Historia de las Ciencias Exactas . 36 (1): 21– 39. doi : 10.1007/BF00357439 . MR 0863340 . S2CID 122277481 .
- Ercolano, Joseph (1979). "Generadores de matrices de secuencias de Pell". Fibonacci Quarterly . 17 (1): 71– 77. doi : 10.1080/00150517.1979.12430264 . MR 0525602 .
- Filep, László (1999). «Números pitagóricos laterales y diagonales» (PDF) . Acta Mathematica Academiae Paedagogicae Nyíregyháziensis . 15 : 1– 7. Archivado desde el original (PDF) el 6 de julio de 2020 . Consultado el 29 de enero de 2007 .
- Horadam, AF (1971). "Pell identities". Fibonacci Quarterly . 9 (3): 245– 252, 263. doi : 10.1080/00150517.1971.12431004 . MR 0308029 .
- Kilic, Emrah; Tasci, Dursun (2005). "El álgebra lineal de la matriz de Pell". Boletín de la Sociedad Matemática Mexicana, Tercera Serie . 11 (2): 163– 174. SEÑOR 2207722 .
- Knorr, Wilbur (1976). " Arquímedes y la medición del círculo: una nueva interpretación". Archivo para la Historia de las Ciencias Exactas . 15 (2): 115– 140. doi : 10.1007/BF00348496 . MR 0497462. S2CID 120954547 .
- Knorr, Wilbur (1998).«Diámetros racionales» y el descubrimiento de la inconmensurabilidad». American Mathematical Monthly . 105 (5): 421– 429. doi : 10.2307/3109803 . JSTOR 3109803 .
- Knuth, Donald E. (1994). "Leaper graphs". The Mathematical Gazette . 78 (483): 274– 297. arXiv : math.CO/9411240 . Bibcode : 1994math.....11240K . doi : 10.2307/3620202 . JSTOR 3620202 . S2CID 16856513 .
- Martin, Artemas (1875). "Triángulos rectángulos racionales casi isósceles". The Analyst . 3 (2): 47– 50. doi : 10.2307/2635906 . JSTOR 2635906 .
- Pethő, A. (1992). "La sucesión de Pell contiene solo potencias perfectas triviales". Conjuntos, grafos y números (Budapest, 1991) . Colloq. Math. Soc. János Bolyai, 60, North-Holland. pp. 561– 568. MR 1218218 .
- Ridenhour, JR (1986). "Aproximaciones escalonadas de números irracionales". Mathematics Magazine . 59 (2): 95– 105. doi : 10.2307/2690427 . JSTOR 2690427 .
- Falcón Santana, Sergio; Díaz-Barrero, José Luis (2006). "Algunas propiedades de sumas que involucran números de Pell" . Revista de Ciencias Matemáticas de Missouri . 18 (1). doi : 10.35834/2006/1801033 . hdl : 10553/72698 .
- Sellers, James A. (2002). "Teselaciones de dominó y productos de números de Fibonacci y Pell" (PDF) . Journal of Integer Sequences . 5:12 . Bibcode : 2002JIntS...5...12S . MR 1919941. Archivado del original (PDF) el 5 de julio de 2020. Consultado el 28 de enero de 2007 .
- Sesskin, Sam (1962). "¿Una "conversa" al último teorema de Fermat?". Mathematics Magazine . 35 (4): 215– 217. doi : 10.2307/2688551 . JSTOR 2688551 .
- Thibaut, George (1875). "Sobre los Súlvasútras". Revista de la Real Sociedad Asiática de Bengala . 44 : 227–275 .
- Thompson, D'Arcy Wentworth (1929). "III.—Exceso y defecto: o un poco más y un poco menos". Mind . Nueva serie. 38 (149): 43– 55. doi : 10.1093/mind/XXXVIII.149.43 . JSTOR 2249223 .
- Vedova, GC (1951). "Notas sobre Teón de Esmirna". American Mathematical Monthly . 58 (10): 675– 683. doi : 10.2307/2307978 . JSTOR 2307978 .
Enlaces externos
- Weisstein, Eric W. "Número Pell" . MathWorld .
- Secuencia OEIS A001333 (Numeradores de fracciones continuas convergentes a sqrt(2)) — Los numeradores de la misma secuencia de aproximaciones
- Secuencias de enteros
- Relaciones de recurrencia
- Problemas sin resolver en la teoría de números.