De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda
Los lados de los cuadrados utilizados para construir una espiral plateada son los números de Pell.

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 comienza1/1, 3/2, 7/5, 17/12, y 41/29, entonces la secuencia de números Pell comienza con 1, 2, 5, 12 y 29. Los numeradores de la misma secuencia de aproximaciones son la mitad de los números Pell acompañantes o números Pell-Lucas ; estos números forman una segunda secuencia infinita que comienza con 2, 6, 14, 34 y 82.

Tanto los números Pell como los números Pell acompañantes 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 las potencias de la proporción de plata 1 +  2 . Además de usarse para aproximar la raíz cuadrada de dos, los números de Pell se pueden usar para encontrar números triangulares cuadrados , para construir aproximaciones enteras al triángulo isósceles recto 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 proviene de la atribución errónea de Leonhard Euler de la ecuación y los números derivados de ella a John Pell . Los números de Pell-Lucas también llevan el nombre de Édouard Lucas , quien estudió secuencias definidas por recurrencias de este tipo; los números de Pell y su compañero Pell son secuencias de Lucas .

Números de Pell [ editar ]

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

En palabras, la secuencia de números Pell comienza con 0 y 1, y luego cada número Pell es la suma del doble del número Pell anterior y el número 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 ).

Los números de Pell también se pueden expresar 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 las potencias de la proporción de plata 1 + 2 , análoga a la tasa de crecimiento de los números de Fibonacci como potencias del oro. relación .

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 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 [ editar ]

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 notablemente en la aproximación racional a √ 2 . Si dos grandes números enteros x e y forman una solución a la ecuación de Pell

entonces su proporción X/yproporciona 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 Pell y el numerador es la suma de un número Pell y su predecesor en la secuencia. Es decir, las soluciones tienen la forma

La aproximación

de este tipo 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., Theon de Esmirna usó 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 fraccionaria continua de :

Truncar esta expansión a cualquier número de términos 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 que se utilicen para realizar 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.

Primas y cuadrados [ editar ]

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 la 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 la OEIS )

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

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

Sin embargo, a pesar de tener tan pocos cuadrados u otros poderes, los números Pell tienen una conexión cercana con los números triangulares cuadrados . [8] Específicamente, estos números surgen de la siguiente identidad de los números 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.

Santana y Díaz-Barrero (2006) demostraron otra identidad relacionando números de Pell con 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 forman las raíces cuadradas de estas sumas,

1, 7, 41, 239, 1393, 8119, 47321,… (secuencia A002315 en la OEIS ),

se conocen como números de Newman – Shanks – Williams (NSW) .

Triples pitagóricos [ editar ]

Triángulos rectángulos enteros con catetos casi iguales, derivados de los números de Pell.

Si un triángulo rectángulo tiene longitudes de lado enteras a , b , c (que necesariamente satisface el teorema de Pitágoras a 2 + b 2 = c 2 ), entonces ( a , b , c ) se conoce como triple de Pitágoras . Como describe Martin (1875), los números de Pell se pueden utilizar para formar triples pitagóricos en la que una y b son una unidad aparte, que corresponde a los triángulos rectángulos que son casi isósceles. Cada uno de esos triples tiene la forma

La secuencia de triples pitagóricos formados de esta manera es

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

Números de Pell-Lucas [ editar ]

Los números de Pell complementarios o los números de Pell-Lucas se definen mediante la relación de recurrencia

En palabras: los dos primeros números de la secuencia son 2, y cada número sucesivo se forma sumando el doble del número Pell-Lucas anterior al número Pell-Lucas anterior, o de manera equivalente, agregando el siguiente número Pell al anterior. Número de Pell: 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 (secuencia A002203 en la OEIS ): 2 , 2 , 6 , 14 , 34 , 82 , 198 , 478 ,…

Como 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 complementarios se pueden expresar mediante la fórmula de forma cerrada

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

Como la secuencia de Lucas, si un número de Pell-Lucas 1/2Q n 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,… (secuencia A086395 en la OEIS ).

Para estos n son

2, 3, 4, 5, 7, 8, 16, 19, 29, 47, 59, 163, 257, 421,… (secuencia A099088 en la OEIS ).

Cálculos y conexiones [ editar ]

La siguiente tabla muestra las primeras potencias de la proporción de plata δ = δ S = 1 +  2 y su conjugado δ = 1 -  2 .

Los coeficientes son los números de Pell medio acompañantes 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 tanto el t º triangular número y la s ésimo número cuadrado. A cerca-isósceles de Pitágoras de triple es una solución entera a un 2 + b 2 = c 2 , donde un + 1 = b .

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

Definiciones [ editar ]

Los números de Pell semi-compañeros H n y los números de Pell P n pueden derivarse de varias formas fácilmente equivalentes.

Ascendiendo a los poderes [ editar ]

De esto se deduce que existen formas cerradas :

y

Recurrencias emparejadas [ editar ]

Formulaciones matriciales [ editar ]

Entonces

Aproximaciones [ editar ]

La diferencia entre H n y P n2 es

que va rápidamente a cero. Entonces

está extremadamente cerca de 2 H n .

De esta última observación se deduce que las razones enteras H n/P nacercarse rápidamente 2 ; yH n/H n −1 y P n/P n −1acercarse rápidamente a 1 +  2 .

H 2  - 2 P 2  = ± 1 [ editar ]

Dado que 2 es irracional, no podemos tenerH/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 pares, y las soluciones de H 2 - 2 P 2 = −1 son exactamente los pares ( H n , P n ) con n impar. Para ver esto, tenga en cuenta primero que

de modo que estas diferencias, comenzando con H2
0
- 2 P2
0
= 1
, son alternativamente 1 y −1. Luego observe 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 la única excepción: H = P = 1 que proviene de H 0  = 1 y P 0  = 0.

Números triangulares cuadrados [ editar ]

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 tanto, la n- ésima solución es

Observe que t y t  + 1 son primos relativos, de modo quet ( t + 1)/2 =  s 2 ocurre 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.

Triples pitagóricos [ editar ]

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 el sustituciones H = 2 a + 1 y P = c . Por tanto, la n- ésima solución es a n =H 2 n +1 - 1/2y 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 [ editar ]

  1. ^ Por ejemplo, Sellers (2002) demuestra que el número de emparejamientos perfectos en el producto cartesiano de un gráfico de trayectoria y el gráfico K 4  -  e se puede calcular como el producto de un número de Pell con el número de Fibonacci correspondiente.
  2. 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.
  3. ^ Según se registra en los Shulba Sutras ; véase, por ejemplo, Dutka (1986), que cita a Thibaut (1875) para esta información.
  4. Véase Knorr (1976) para la fecha del siglo V, que coincide conla afirmación de Proclo de que los pitagóricos descubrieron los números de lado y diámetro. 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 observan varias de las referencias de la nota anterior, en Platón's Republic hay una referencia al "diámetro racional de 5", por lo que Platón quiere decir 7, el numerador de la aproximación7/5 de los cuales 5 es el denominador.
  6. ^ Heath, Sir Thomas Little (1921), Historia de las matemáticas griegas: de Tales a Euclides , Publicaciones de Courier Dover, p. 112, ISBN 9780486240732.
  7. Pethő (1992); Cohn (1996). Aunque los números de Fibonacci se definen 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, esto fue probado en 2006 por Bugeaud et al.)
  8. ^ Sesskin (1962). Consulte elartículo del número triangular cuadrado para obtener una derivación más detallada.

Referencias [ editar ]

  • Bicknell, Marjorie (1975). "Un cebador sobre la secuencia Pell y secuencias relacionadas". Fibonacci Quarterly . 13 (4): 345–349. Señor  0387173 .
  • Cohn, JHE (1996). "Perfect Pell powers" . Revista matemática de Glasgow . 38 (1): 19-20. doi : 10.1017 / S0017089500031207 . Señor  1373953 .
  • Dutka, Jacques (1986). "Sobre raíces cuadradas y sus representaciones". Archivo de Historia de las Ciencias Exactas . 36 (1): 21–39. doi : 10.1007 / BF00357439 . Señor  0863340 .
  • Ercolano, Joseph (1979). "Generadores de matrices de secuencias Pell". Fibonacci Quarterly . 17 (1): 71–77. Señor  0525602 .
  • Filep, László (1999). "Los lados pitagóricos y los números 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). "Identidades Pell". Fibonacci Quarterly . 9 (3): 245–252, 263. 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 medida del círculo: una nueva interpretación". Archivo de Historia de las Ciencias Exactas . 15 (2): 115–140. doi : 10.1007 / BF00348496 . Señor  0497462 .
  • 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). "Gráficos de salto". La Gaceta Matemática . 78 (483): 274-297. arXiv : math.CO/9411240 . doi : 10.2307 / 3620202 . JSTOR  3620202 .
  • Martín, Artemas (1875). "Triángulos racionales en ángulo recto casi isósceles". El analista . 3 (2): 47–50. doi : 10.2307 / 2635906 . JSTOR  2635906 .
  • Pethő, A. (1992). "La secuencia de Pell contiene sólo poderes perfectos triviales". Conjuntos, gráficos y números (Budapest, 1991) . Coloq. Matemáticas. Soc. János Bolyai, 60, Holanda Septentrional. págs. 561–568. Señor  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 .
  • Santana, SF; Díaz-Barrero, JL (2006). "Algunas propiedades de las sumas que involucran números de Pell" . Revista de Ciencias Matemáticas de Missouri . 18 (1). doi : 10.35834 / 2006/1801033 .
  • Vendedores, James A. (2002). "Fichas de dominó y productos de números de Fibonacci y Pell" (PDF) . Diario de secuencias de enteros . 5 . Señor  1919941 . Archivado desde el original (PDF) el 5 de julio de 2020 . Consultado el 28 de enero de 2007 .
  • Sesskin, Sam (1962). "¿Un" inverso "al ú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 . Series nuevas. 38 (149): 43–55. JSTOR  2249223 .
  • Vedova, GC (1951). "Notas sobre Theon de Esmirna". American Mathematical Monthly . 58 (10): 675–683. doi : 10.2307 / 2307978 . JSTOR  2307978 .

Enlaces externos [ editar ]

  • 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