En matemáticas , una fracción continua periódica infinita es una fracción continua que se puede colocar en la forma
donde al bloque inicial [ a 0 , a 1 ,... a k ] de k +1 denominadores parciales le sigue un bloque [ a k +1 , a k +2 ,... a k + m ] de m parciales denominadores que se repiten hasta el infinito . Por ejemplo, se puede ampliar a la fracción continua periódica [1,2,2,2,...].
Este artículo considera únicamente el caso de fracciones continuas regulares periódicas . En otras palabras, el resto de este artículo supone que todos los denominadores parciales a i ( i ≥ 1) son números enteros positivos. El caso general, donde los denominadores parciales a i son números reales o complejos arbitrarios, se trata en el artículo Problema de convergencia .
Fracciones puramente periódicas y periódicas.
Dado que todos los numeradores parciales en una fracción continua regular son iguales a la unidad, podemos adoptar una notación abreviada en la que la fracción continua que se muestra arriba se escribe como
donde, en la segunda línea, un vinculum marca el bloque repetido. Algunos libros de texto utilizan la notación
donde el bloque repetido se indica mediante puntos sobre su primer y último término.
Si el bloque inicial no repetitivo no está presente, es decir, si k = -1, a 0 = a m y
la fracción continua regular x se dice que es puramente periódica . Por ejemplo, la fracción continua regular [1; 1, 1, 1, ...] de la proporción áurea φ es puramente periódica, mientras que la fracción continua regular [1; 2, 2, 2, ...] de es periódico, pero no puramente periódico.
Como matrices unimodulares
Las fracciones periódicas continuas están en correspondencia uno a uno con los irracionales cuadráticos reales . La correspondencia la proporciona explícitamente la función de signo de interrogación de Minkowski . Ese artículo también revisa herramientas que facilitan el trabajo con este tipo de fracciones continuas. Consideremos primero la parte puramente periódica.
De hecho, esto se puede escribir como
siendo números enteros, y se pueden obtener valores explícitos satisfactorios escribiendo
lo que se denomina "cambio", de modo que
y de manera similar una reflexión, dada por
de modo que . Ambas matrices son unimodulares , los productos arbitrarios siguen siendo unimodulares. Entonces, dado lo anterior, la matriz correspondiente es de la forma
y uno tiene
como la forma explícita. Como todas las entradas de la matriz son números enteros, esta matriz pertenece al grupo modular
Relación con los irracionales cuadráticos
Un número irracional cuadrático es una raíz real irracional de la ecuación cuadrática.
donde los coeficientes a , b y c son números enteros y el discriminante , b 2 − 4 ac , es mayor que cero. Por la fórmula cuadrática , todo irracional cuadrático se puede escribir en la forma
donde P , D y Q son números enteros, D > 0 no es un cuadrado perfecto (pero no necesariamente libre de cuadrados) y Q divide la cantidad P 2 − D (por ejemplo (6+ √ 8 )/4). Un irracional cuadrático de este tipo también se puede escribir de otra forma con una raíz cuadrada de un número libre de cuadrados (por ejemplo (3+ √ 2 )/2) como se explica para los irracionales cuadráticos .
Al considerar los cocientes completos de fracciones continuas periódicas, Euler pudo demostrar que si x es una fracción continua periódica regular, entonces x es un número irracional cuadrático. La prueba es sencilla. A partir de la fracción misma, se puede construir la ecuación cuadrática con coeficientes integrales que x debe satisfacer.
Lagrange demostró lo contrario del teorema de Euler: si x es un irracional cuadrático, entonces la expansión regular en fracción continua de x es periódica. Dado un irracional cuadrático x, se pueden construir m ecuaciones cuadráticas diferentes, cada una con el mismo discriminante, que relacionen los sucesivos cocientes completos de la expansión en fracción continua regular de x entre sí. Dado que sólo hay un número finito de estas ecuaciones (los coeficientes están acotados), los cocientes completos (y también los denominadores parciales) en la fracción continua regular que representa x eventualmente deben repetirse.
Surtido reducido
Se dice que el surd cuadrático es reducido si y su conjugado
satisface las desigualdades . Por ejemplo, la proporción áurea es un surd reducido porque es mayor que uno y su conjugado es mayor que −1 y menor que cero. Por otro lado, la raíz cuadrada de dos es mayor que uno pero no es un surd reducido porque su conjugado es menor que −1.
Galois demostró que la fracción continua regular que representa un surd cuadrático ζ es puramente periódica si y sólo si ζ es un surd reducido. De hecho, Galois demostró más que esto. También demostró que si ζ es un surd cuadrático reducido y η es su conjugado, entonces las fracciones continuas para ζ y para (−1/η) son ambas puramente periódicas, y el bloque repetido en una de esas fracciones continuas es la imagen especular. del bloque repetido en el otro. En símbolos tenemos
donde ζ es cualquier surd cuadrático reducido y η es su conjugado.
De estos dos teoremas de Galois se puede deducir un resultado ya conocido por Lagrange. Si r > 1 es un número racional que no es un cuadrado perfecto, entonces
En particular, si n es cualquier entero positivo no cuadrado, la expansión de fracción continua regular de √ n contiene un bloque repetido de longitud m , en el que los primeros m − 1 denominadores parciales forman una cadena palindrómica .
Longitud del bloque repetido
Analizando la secuencia de combinaciones.
que posiblemente puede surgir cuando ζ = ( P + √ D )/ Q se expande como una fracción continua regular, Lagrange demostró que el mayor denominador parcial a i en la expansión es menor que 2 √ D , y que la longitud del bloque repetido es menor que 2D .
Más recientemente, argumentos más agudos basados en la función divisora han demostrado que la longitud del bloque repetido para un surd cuadrático del discriminante D es del orden de
Forma canónica y repetición.
El siguiente algoritmo iterativo se puede utilizar para obtener la expansión de fracción continua en forma canónica ( S es cualquier número natural que no sea un cuadrado perfecto ):
Observe que m n , d n y an siempre son números enteros. El algoritmo termina cuando este triplete es el mismo que el encontrado antes. El algoritmo también puede terminar en a i cuando a i = 2 a 0 , lo cual es más fácil de implementar.
La ampliación se repetirá a partir de ese momento. La secuencia [ a 0 ; a 1 , a 2 , a 3 , ...] es la expansión fraccionaria continua:
Ejemplo
Para obtener √ 114 como fracción continua, comience con m 0 = 0; re 0 = 1; y a 0 = 10 (10 2 = 100 y 11 2 = 121 > 114, por lo que se elige 10).
Entonces, m1 = 10; re1 = 14 ; y un 1 = 1.
A continuación, m2 = 4; re2 = 7; y un 2 = 2.
Ahora, regrese a la segunda ecuación anterior.
En consecuencia, la fracción continua simple para la raíz cuadrada de 114 es
- (secuencia A010179 en la OEIS )
√ 114 es aproximadamente 10,67707 82520. Después de una expansión del repetido, la fracción continua produce la fracción racional cuyo valor decimal es aprox. 10,67707 80856, un error relativo de 0,0000016% o 1,6 partes en 100.000.000.
Fracción continua generalizada
Un método más rápido es evaluar su fracción continua generalizada . De la fórmula derivada allí :
y el hecho de que 114 es 2/3 del camino entre 10 2 = 100 y 11 2 = 121 da como resultado
que es simplemente el mencionado [10;1,2, 10,2,1, 20,1,2] evaluado cada tercer término. La combinación de pares de fracciones produce
que ahora se evalúa en el tercer mandato y cada seis mandatos a partir de entonces.
Ver también
Notas
Referencias
- Beceanu, Marius (5 de febrero de 2003). "Período de la fracción continua de sqrt (n)" (PDF) . Teorema 2.3. Archivado desde el original (PDF) el 21 de diciembre de 2015 . Consultado el 3 de mayo de 2022 .
- Cohn, JHE (1977). "La duración del período de expansión de fracción continua simple de d1/2". Pacífico J. Matemáticas . 71 : 21–32. doi : 10.2140/pjm.1977.71.21 .
- Gliga, Alexandra Ioana (17 de marzo de 2006). Sobre fracciones continuas de la raíz cuadrada de números primos (PDF) . Corolario 3.3 . Consultado el 3 de mayo de 2022 .
- Hickerson, Dean R. (1973). "Duración del período de expansión de fracción continua simple de vd". Pacífico J. Matemáticas . 46 : 429–432. doi : 10.2140/pjm.1973.46.429 .
- Largo, Calvin T. (1972). Introducción elemental a la teoría de números (3 sub ed.). Waveland Pr Inc. LCCN 77-171950.
- Pettofrezzo, Antonio José; Byrkit, Donald R. (1970). Elementos de la teoría de números (11 ed.). Acantilados de Englewood: Prentice Hall . ISBN 9780132683005. LCCN 77-81766.
- Podsypanin, EV (1982). "Duración del período de un irracional cuadrático". Revista de Matemáticas Soviéticas . 18 (6): 919–923. doi :10.1007/BF01763963. S2CID 119567810.