Número utilizado para aproximar la raíz cuadrada de 2
En matemáticas , los números de Pell son una secuencia infinita de números enteros , conocidos desde la antigüedad, que comprenden los denominadores de las aproximaciones racionales más cercanas a la raíz cuadrada de 2. Esta secuencia de aproximaciones comienza 1/1 , 3/2 , 7/5 , 17/12 , y 41/29 , entonces 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 compañeros o números de Pell-Lucas ; estos números forman una segunda secuencia infinita que comienza con 2, 6, 14, 34 y 82.
Al igual que la ecuación de Pell , el nombre de los números de Pell proviene de la atribución errónea de la ecuación y los números derivados de ella por parte de Leonhard Euler a John Pell . Los números de Pell-Lucas también reciben su nombre de Édouard Lucas , quien estudió sucesiones definidas por recurrencias de este tipo; los números de Pell y sus compañeros son sucesiones de Lucas .
En 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. Los primeros términos de la secuencia son
0, 1, 2, 5, 12, 29, 70, 169, 408, 985, 2378, 5741, 13860, … (secuencia A000129 en la OEIS ).
De manera 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 proporción de plata 1 + √ 2 , análogo a la tasa de crecimiento de los números de Fibonacci como potencias de la proporción áurea .
Es posible una tercera definición, a partir de la fórmula matricial
Se pueden derivar o probar muchas identidades 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 considerando 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 más notablemente en la aproximación racional a √ 2 . Si dos enteros grandes x e y forman una solución a la ecuación de Pell
entonces su proporciónincógnita/y proporciona una aproximación cercana a √ 2 . 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
Los matemáticos indios del siglo III o IV a. C. conocían este tipo de aproximaciones. [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 se pueden derivar de la expansión de fracción continua de :
Truncando esta expansión a cualquier número de términos se produce una de las aproximaciones basadas en números de Pell en esta secuencia; por ejemplo,
Como describe Knuth (1994), el hecho de que los números de Pell se aproximen a √ 2 permite utilizarlos para 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 igualmente distantes del origen y forman ángulos casi uniformes alrededor del origen. Alternativamente, los puntos , y forman octógonos aproximados en los que los vértices están casi igualmente distantes del origen y forman ángulos uniformes.
Primos y cuadrados
Un primo de Pell es un número de Pell que es primo . Los primeros primos de Pell son
2, 5, 29, 5741, 33461, 44560482149, 1746860020068409, 68480406462161287469, ... (secuencia A086383 en la OEIS ).
Los índices de estos primos dentro de la secuencia de todos los números de Pell son
Estos índices son todos primos en sí mismos. Al igual que con los números de Fibonacci, un número de Pell P n solo puede ser primo si n es primo, porque si d es divisor de n, entonces P d es divisor de P n .
Sin embargo, a pesar de tener tan pocos cuadrados u otras potencias, los números de Pell tienen una estrecha conexió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 relacionando los números de Pell con los cuadrados y mostrando 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 que forman las raíces cuadradas de estas sumas,
1, 7, 41, 239, 1393, 8119, 47321, … (secuencia A002315 en la OEIS ),
Si un triángulo rectángulo tiene lados enteros de longitud a , b , c (que necesariamente satisfacen el teorema de Pitágoras a 2 + b 2 = c 2 ), entonces ( a , b , c ) se conoce como terna pitagórica . Como describe Martin (1875), los números de Pell se pueden utilizar para formar ternas pitagóricas en las 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 ternas pitagóricas formada de esta manera es
Los números de Pell acompañantes o números de Pell-Lucas se definen por 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 dos veces el número de Pell-Lucas anterior al número de Pell-Lucas anterior, 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 , …
Los números de Pell acompañantes se pueden expresar mediante la fórmula de forma cerrada
Estos números son todos pares ; cada uno de ellos es el doble del numerador en una de las aproximaciones racionales analizadas anteriormente.
Al igual que la secuencia de Lucas, si un número de Pell- Lucas1/2 Para que n sea primo, es necesario que n sea primo o una potencia de 2. Los primos de Pell-Lucas son
3, 7, 17, 41, 239, 577, … (secuencia A086395 en la OEIS ).
La siguiente tabla da las primeras potencias de la relación de plata δ = δ S = 1 + √ 2 y su conjugado δ = 1 − √ 2 .
Los coeficientes son los números de Pell semicompañ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 2 + b 2 = c 2 donde a + 1 = b .
La siguiente tabla muestra que al dividir el número impar H n en 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 semicompañeros H n y los números de Pell P n se pueden derivar de varias formas fácilmente equivalentes.
Elevación a potencias
De esto se deduce que hay 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 va rápidamente a cero. Así que
está extremadamente cerca de 2 H n .
De esta última observación se deduce que las razones de números enterosH- n/Pn acercarse rápidamente a √ 2 ; y H- n/H n −1 y Pn/P n −1 acercarse rápidamente a 1 + √ 2 .
yo 2 − 2PAG 2 = ±1
Como √ 2 es irracional, no podemos tener yo/PAG = √ 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 manera que estas diferencias, empezando por H 2 0− 2 P 2 0= 1 , son alternativamente 1 y −1. Observe entonces que toda solución positiva proviene 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 números 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 entre sí, de modo que t ( t +1)/2 = s 2 sucede exactamente cuando son números enteros adyacentes, uno un cuadrado H 2 y el otro dos veces un cuadrado 2 P 2 . Como conocemos todas las soluciones de esa ecuación, también tenemos
y
Esta expresión alternativa se ve 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 = H2n + 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 .
^ Para la fórmula matricial y sus consecuencias, véase 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 obtener esta información.
^ Véase Knorr (1976) para la fecha del siglo V, que coincide con la afirmación de Proclo de que los números de lado y 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).
^ 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 de los cuales 5 es el denominador.
^ Heath, Sir Thomas Little (1921), Historia de las matemáticas griegas: desde Tales hasta Euclides, Courier Dover Publications, pág. 112, ISBN 9780486240732.
^ Pethő (1992); Cohn (1996). Aunque los números de Fibonacci se definen por 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.)
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.
Cohn, JHE (1996). "Potencias de Pell perfectas". Glasgow Mathematical Journal . 38 (1): 19–20. doi : 10.1017/S0017089500031207 . MR 1373953.
Ercolano, Joseph (1979). "Generadores matriciales de secuencias de Pell". Fibonacci Quarterly . 17 (1): 71–77. doi :10.1080/00150517.1979.12430264. MR 0525602.
Filep, László (1999). «Números laterales y diagonales pitagóricos» (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). "Identidades de Pell". 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.
""Diámetros racionales" y el descubrimiento de la inconmensurabilidad". American Mathematical Monthly . 105 (5): 421–429. doi :10.2307/3109803. JSTOR 3109803.
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 sólo potencias perfectas triviales". Conjuntos, grafos y números (Budapest, 1991) . Colloq. Math. Soc. János Bolyai, 60, Holanda Septentrional. págs. 561–568. MR 1218218.
Ridenhour, JR (1986). "Aproximaciones en escalera de números irracionales". Revista de Matemáticas . 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). "Teselas 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 desde el original (PDF) el 2020-07-05 . Consultado el 2007-01-28 .
Sesskin, Sam (1962). "¿Un "reverso" del último teorema de Fermat?". Revista de Matemáticas . 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 el poco más y el poco menos". Mente . 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.