Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ir a la navegaciónIr a la búsqueda
En matemáticas, una fracción continua, nombrada también fracción continuada (por influjo del ingl.
continued fraction),12 es una expresión de la forma:
donde a0 es un entero y todos los demás números ai son enteros positivos, para i= 0, 1, 2,...n,.... Los
números a0, a1, a2,..., as se llaman elementos o cocientes incompletos.3 Si se permite que los
numeradores o los denominadores parciales tomen valores arbitrarios, que podrían ser funciones en
algún contexto, la expresión resultante es una fracción continua generalizada. Cuando fuera necesario
distinguir la forma típica de arriba de una generalizada aquella se denominará fracción continua regular
o simple.
Índice
1 Motivación
2 Apuntes históricos
4 Notación
5 Formalización
5.1 Reducidas
6.4 Número e
7 Aplicaciones
8 Notas y referencias
9 Véase también
11 Enlaces externos
Motivación
El motivo del estudio de las fracciones continuas es el deseo de dar una representación
«matemáticamente pura» de los números reales. Estamos familiarizados con la representación decimal:
donde a0 puede ser cualquier entero y los otros ai pertenecen a {0, 1, 2, …, 9}. Así el número {\
displaystyle \pi }{\displaystyle \pi }, por ejemplo, se representa con la sucesión (3, 1, 4, 1, 5, 9, 2, …).
Esta representación tiene algunos problemas. Por ejemplo, la constante 10 se usa porque los cálculos se
hacen en el sistema decimal; bien podría usarse el octal o el binario. Otro problema es que muchos
racionales no tienen representación finita; por ejemplo, 1/3 lo hace con la sucesión infinita (0, 3, 3, …).
La representación en fracción continua de los números reales evita ambos problemas. Por ejemplo,
consideremos el número 415/93, que vale aproximadamente 4.4624. Esto es aproximadamente 4, pero
es algo mayor que 4, sobre 4+1/2. Pero el denominador 2 no es correcto; lo sería uno algo mayor, sobre
2+1/6, ya que 415/93 es aproximadamente 4+1/(2+1/6). Pero el denominador 6 no es correcto; lo sería
uno algo mayor, sobre 4+1/(2+1/(6+1/7)). Esto es exacto. Quitando las partes redundantes de la
expresión 4+1/(2+1/(6+1/7)), se obtiene su notación abreviada [4; 2, 6, 7].
Así, puede representarse en fracción continua cualquier número real, y se cumplen estas cómodas
propiedades:
La representación en fracción continua de un número real es finita si y solo si ese número es racional.
La representación en fracción continua de un racional es única siempre que no acabe en 1. (de hecho:
[a0; a1,... an, 1] = [a0; a1,... an + 1].)
Los términos de una fracción continua se repetirán si y solo si representa a un irracional cuadrático, es
decir, si es solución de una ecuación cuadrática con coeficientes enteros. Por ejemplo, la fracción
continua [1; 1, 1,... ] representa al número áureo y [1; 2, 2, 2, … ] a {\displaystyle {\sqrt {2}}}{\displaystyle
{\sqrt {2}}}.
Apuntes históricos
Las fracciones continuas se utilizan desde antiguo. Aryabhata (476-550) las usó para resolver ecuaciones
diofánticas, así como para dar aproximaciones precisas de números irracionales. Brahmagupta (598-668)
profundizó en el estudio de las ecuaciones llamadas hoy de Pell. Desarrolló los fundamentos del método
chakravala, usando cálculos parecidos a los de las fracciones continuas. Investigó la resolución de la
ecuación {\displaystyle x^{2}-61y^{2}=1}{\displaystyle x^{2}-61y^{2}=1}, encontrando la menor solución:
x = 1 766 319 049, y = 226 153 980
En el siglo XII, el método fue mejorado por Bhaskara II. Un algoritmo, análogo al de las fracciones
continuas, permitió resolver un caso general. La diferencia más notable era que admitía números
negativos en la fracción, acelerando la convergencia.
La aparición en Europa fue posterior e italiana. Rafael Bombelli (1526-1572) usó un antecesor de las
fracciones continuas para calcular aproximaciones de la raíz cuadrada de 13. Pietro Antonio Cataldi
(1548-1626) se dio cuenta de que el método de Bombelli valía para todas las raíces cuadradas; lo utilizó
para la de 18 y escribió un opúsculo sobre este asunto. Remarcó que las aproximaciones obtenidas son
alternativamente superiores e inferiores a la raíz cuadrada buscada.
En Inglaterra hubo un progreso decisivo. El 3 de enero de 1657, Pierre de Fermat desafió a los
matemáticos europeos con varios problemas, entre los que estaba la ecuación ya resuelta por
Brahmagupta. La respuesta inglesa fue rápida. William Brouncker (1620-1684) encontró la relación entre
la ecuación y la fracción continua, así como un método algorítmico equivalente al de los hindúes para el
cálculo de la solución. Utilizó una fracción continua para construir una sucesión que convergía a {\
displaystyle 4/\pi }{\displaystyle 4/\pi }, y aproximó {\displaystyle \pi }{\displaystyle \pi } con 10
decimales significativos. Estos resultados fueron publicados por John Wallis, que aprovechó para
demostrar las relaciones de recurrencia utilizadas por Brouncker y Baskara II. Dio, además, el nombre de
fracción continua en la frase: «Nempe si unitati adjungatur fractio, quae denominatorem habeat
continue fractum». En esta época, Christiaan Huygens (1629-1695) descubrió que las fracciones
continuas son la herramienta ideal para determinar el número de dientes que deben tener las ruedas de
engranajes de un reloj. Las utilizó para la construcción de un autómata planetario.
En el siglo siguiente se resuelven algunas cuestiones teóricas. El uso mostró que el algoritmo de las
fracciones continuas permitía resolver la ecuación de Pell utilizando el hecho de que la fracción es
periódica a partir de un punto. Leonhard Euler (1707-1783) demostró que, si un número tiene una
fracción continua periódica, entonces es solución de una ecuación de segundo grado con coeficientes
enteros. El recíproco, más sutil, es obra de Joseph-Louis de Lagrange (1736-1813) . Johann Heinrich
Lambert (1728-1777) encontró una nueva utilidad de las fracciones continuas: las usó para demostrar la
irracionalidad de {\displaystyle \pi }\pi.
Esta utilización vino a ser frecuente durante el siglo XIX. Évariste Galois encontró una condición necesaria
y suficiente para que una fracción continua sea inmediatamente periódica. Joseph Liouville (1809-1882)
utilizó el desarrollo en fracción continua generalizado para construir los primeros ejemplos de números
trascendentes: los números de Liouville. Charles Hermite (1822-1901) estableció nuevos métodos para
demostrar la trascendencia de {\displaystyle e}e, base del logaritmo neperiano. Estos son retomados por
Ferdinand von Lindemann que demostró en 1882 que {\displaystyle \pi }\pi es trascendente con el
corolario de la imposibilidad de la cuadratura del círculo. Georg Cantor (1845-1918) demostró que los
puntos de un segmento pueden ponerse en biyección con los del interior de un cuadrado con la ayuda
de fracciones continuas. El siglo XX vio la explosión de un gran número de publicaciones sobre este
asunto. Más de 1500 matemáticos han encontrado elementos dignos de publicación.
Para calcular la representación en fracción continua de un número r, se escribe en primer lugar la parte
entera de r. Se resta esta parte entera a r. Si la diferencia es 0 se para; en otro caso se halla el inverso de
la diferencia y se repite. Este proceso tendrá fin si y solo si r es racional.
También podría representarse con [3; 4, 12, 3, 1] en referencia a las fracciones continuas finitas.
Notación
o, en la notación de Pringsheim,
{\displaystyle x=a_{0}+{\frac {1\mid }{\mid a_{1}}}+{\frac {1\mid }{\mid a_{2}}}+{\frac {1\mid }{\mid
a_{3}}}}{\displaystyle x=a_{0}+{\frac {1\mid }{\mid a_{1}}}+{\frac {1\mid }{\mid a_{2}}}+{\frac {1\mid }{\
mid a_{3}}}}
{\displaystyle x=a_{0}+{1 \over a_{1}+}{1 \over a_{2}+}{1 \over a_{3}+}}{\displaystyle x=a_{0}+{1 \over
a_{1}+}{1 \over a_{2}+}{1 \over a_{3}+}}
Este límite existe para cualquier elección de enteros positivos a1, a2, a3...
Formalización
donde {\displaystyle a_{0}\,}a_{0}\, es un real no negativo y los demás son estrictamente positivos.
Emplearemos también la notación: {\displaystyle [a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n}]}{\displaystyle
[a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n}]}
Reducidas
{\displaystyle {\begin{cases}p_{0}=a_{0}\\q_{0}=1\end{cases}}\qquad {\
begin{cases}p_{1}=a_{0}a_{1}+1\\q_{1}=a_{1}\end{cases}}}{\displaystyle {\begin{cases}p_{0}=a_{0}\\
q_{0}=1\end{cases}}\qquad {\begin{cases}p_{1}=a_{0}a_{1}+1\\q_{1}=a_{1}\end{cases}}}
y la recurrencia, para k ≥ 2
{\displaystyle {\begin{cases}p_{k}=a_{k}p_{k-1}+p_{k-2}\\q_{k}=a_{k}q_{k-1}+q_{k-2}\end{cases}}}{\
displaystyle {\begin{cases}p_{k}=a_{k}p_{k-1}+p_{k-2}\\q_{k}=a_{k}q_{k-1}+q_{k-2}\end{cases}}}
Teorema 1
Consideraremos a partir de ahora fracciones continuas enteras, esto es, aquellas para los que todo ai sea
entero positivo.
Teorema 2
Sea x un número real positivo, podemos ponerlo como a0+x0, donde a0 =[x] es la parte entera de x , y ;
x0 <1 la parte decimal de x.
Si {\displaystyle x_{0}\neq 0}{\displaystyle x_{0}\neq 0} entonces, del mismo modo, {\displaystyle {\frac
{1}{x_{0}}}=a_{1}+x_{1}}{\displaystyle {\frac {1}{x_{0}}}=a_{1}+x_{1}}, de manera que
Teorema 3
Dada una sucesión infinita {\displaystyle (a_{n})}{\displaystyle (a_{n})} de enteros positivos tales que {\
displaystyle a_{k}>=1}{\displaystyle a_{k}>=1} si {\displaystyle k>=1}{\displaystyle k>=1}, la sucesión de
reducidas
converge.
Podemos así dar un sentido a una fracción continua entera infinita y escribir:
Teorema 5
Sea x un real representado por una fracción continua entera infinita {\displaystyle [a_{0};a_{1},\dots ]}{\
displaystyle [a_{0};a_{1},\dots ]}. Entonces (an) coincide con el desarrollo en fracción continua de x.
Teorema 7. Sea x un número real positivo no nulo y p/q una fracción irreducible tal que:
{\displaystyle \left|x-{\frac {p}{q}}\right|<{\frac {1}{2q^{2}}}}{\displaystyle \left|x-{\frac {p}{q}}\right|<{\
frac {1}{2q^{2}}}}
Teorema 8. (Hurwitz) Sea x un irracional positivo. Existe una cantidad infinita de racionales tales que:
En este último sentido el número áureo, {\displaystyle \phi }{\displaystyle \phi }, es uno de los
irracionales que peor se aproxima con fracciones continuas; sus reducidas, (5/3, 8/5, 13/8, 21/13, etc.),
distan casi exactamente {\displaystyle {\frac {1}{{\sqrt {5}}n^{2}}}}{\displaystyle {\frac {1}{{\sqrt
{5}}n^{2}}}} de {\displaystyle \phi }{\displaystyle \phi }.
Utilizando fracciones continuas generalizadas obtenemos desarrollos con estructuras más regulares
Raíz cuadrada de 2
Sea raíz cuadrada de dos: r={\displaystyle {\sqrt {2}}}{\displaystyle {\sqrt {2}}}, su parte entera vale 1, así
que {\displaystyle a_{0}=1}{\displaystyle a_{0}=1} y {\displaystyle x_{0}=1/({\sqrt {2}}-1)}{\displaystyle
x_{0}=1/({\sqrt {2}}-1)}. Ahora bien, utilizando la identidad {\displaystyle ({\sqrt {2}}-1)({\sqrt {2}}+1)=1}{\
displaystyle ({\sqrt {2}}-1)({\sqrt {2}}+1)=1}, tenemos que {\displaystyle x_{0}={\sqrt {2}}+1}{\displaystyle
x_{0}={\sqrt {2}}+1}. Por tanto {\displaystyle a_{1}=2}{\displaystyle a_{1}=2} y {\displaystyle x_{1}={\sqrt
{2}}+1}{\displaystyle x_{1}={\sqrt {2}}+1}. Concluimos que todos los {\displaystyle a_{k}=2}{\displaystyle
a_{k}=2} a partir de k=1 valen 2 y todos los {\displaystyle x_{k}}{\displaystyle x_{k}} valen {\displaystyle {\
sqrt {2}}+1}{\displaystyle {\sqrt {2}}+1}. El desarrollo en fracción continua es, por tanto:
Número áureo
Número e
Aplicaciones
Las fracciones continuas ofrecen una manera de conocer la irracionalidad de un número. Si su desarrollo
es infinito entonces el número es irracional. Esta técnica fue utilizada por Euler, que determinó la
fracción continua del número {\displaystyle e}e.
La barra utilizada aquí es una notación frecuente; indica una repetición hasta el infinito de la sucesión de
enteros que cubre.
O estas otras:
La irracionalidad del número {\displaystyle \pi }\pi la demostró por primera vez Johann Heinrich Lambert
en 1761 basándose en el desarrollo en fracción continua generalizada de la función tangente.
La ecuación de Pell
La ecuación de Pell es una ecuación diofántica, es decir, con coeficientes enteros y para la que las
soluciones pedidas son enteras también. Tiene la forma:
Donde n es un entero que no es cuadrado perfecto y a es un entero no nulo. Aquí consideraremos que {\
displaystyle a=\pm 1}{\displaystyle a=\pm 1}. Una solución (h, k) verificará: {\displaystyle (h-{\sqrt {n}}\
cdot k)(h+{\sqrt {n}}\cdot k)=\pm 1\quad {\text{o}}\quad h-{\sqrt {n}}\cdot k={\frac {\pm 1}{h+{\sqrt
{n}}\cdot k}}\;}{\displaystyle (h-{\sqrt {n}}\cdot k)(h+{\sqrt {n}}\cdot k)=\pm 1\quad {\text{o}}\quad h-{\
sqrt {n}}\cdot k={\frac {\pm 1}{h+{\sqrt {n}}\cdot k}}\;}
En el teorema 7 se demostró que la fracción {\displaystyle {\frac {h}{k}}}{\displaystyle {\frac {h}{k}}} debe
ser una reducida de {\displaystyle {\sqrt {n}}}{\displaystyle {\sqrt {n}}}. Toda solución de la ecuación debe
estar en la sucesión de reducidas de {\displaystyle {\sqrt {n}}}{\displaystyle {\sqrt {n}}}. Este hecho,
demostrado por Lagrange, permite dar soluciones, si bien más teóricas que algorítmicas, a la ecuación
de Pell.
Números cuadráticos
La periodicidad a partir de un punto es propia de los números de la forma {\displaystyle a+b{\sqrt {n}}}{\
displaystyle a+b{\sqrt {n}}}, donde {\displaystyle a}a y {\displaystyle b}b son racionales, {\displaystyle b}b
no nulo, y {\displaystyle n}n un entero que no es cuadrado perfecto. Las regularidades son mayores para
las raíces cuadradas. Por ejemplo:
Exceptuando el último número del periodo, los anteriores forman un número capicúa. Además, el último
término del periodo es el doble del primero (en el caso tratado, 8, que es el doble de 4).