El grueso de este artículo es una colaboración enviada por fede a gaussianos (arroba) gmail (punto) com.
Introducción
Una fracción continua es una expresión del tipo:
donde es un número entero y los demás
son enteros positivos.
La representación de un número real de este tipo en fracción continua tiene varias propiedades que hacen que dicha representación sea más interesante que la representación decimal habitual:
- La representación en fracción continua de un número es finita si y solo si ese número es racional.
- La representación en fracción continua de un racional simple es generalmente corta.
- La representación en fracción continua de un racional es única siempre que no acabe en 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
representa al número áureo y
a
.
- El truncado de la representación en fracción continua de un número
da una aproximación racional que es, en cierto sentido, la mejor posible.
Todo número real puede representarse como fracción continua, pero en este artículo vamos a centrarnos en la representación continua de ciertos números racionales.
Fracción continua de un número racional
Si son los cocientes parciales que obtenemos aplicando el algoritmo de Euclides a una fracción irreducible
, con
, todos los
serán enteros positivos.
Escribimos:
de forma que es el numerador de la fracción irreducible cuyo desarrollo en fracción continua tiene los cocientes parciales
y
es el denominador de esa fracción.
En la teoría elemental de las fracciones continuas se demuestra fácilmente (por inducción) que
y
y
Aunque en el resto del artículo no se va a utilizar esto es interesante resaltar que también se puede expresar como un determinante:
Interpretación combinatoria
En este artículo (pdf, 488kb) Benjamin, Quinn y Su dan la siguiente interpretación combinatoria de las cantidades , que hace visualmente inmediatas algunas relaciones entre ellas.
Supongamos una regla de longitud , dividida en
casillas
de longitud 1.
Asignamos a cada casilla un peso máximo
(que será siempre un entero positivo).
Formamos configuraciones con dos tipos de piezas, unas simples, de longitud 1, y otras dobles, de longitud 2, colocándolas sobre la regla de longitud de la siguiente forma:
- Cubrimos toda la regla con una fila de piezas simples y dobles, colocadas arbitrariamente.
- A continuación apilamos un número arbitrario (cero o más) de piezas simples siempre encima de piezas simples ya colocadas y de forma que el número total de piezas situadas sobre la casilla
no supere el peso máximo
de esa casilla.
La figura adjunta es una configuración que cumple la condición anterior con y con los pesos máximos
anotados bajo cada casilla:
.
Si es el número de las distintas configuraciones de piezas que se pueden formar cumpliendo las condiciones anteriores, resulta que
, es decir, el número de configuraciones es el numerador de la fracción cuya fracción continua tiene los cocientes parciales
.
Usando por ejemplo esta calculadora obtenemos que el numero de posibles configuraciones distintas para los pesos máximos indicados en la figura es 225995.
Tenemos que y contando las configuraciones que no tienen y que tienen una pieza doble cubriendo las 2 últimas casillas se ve enseguida que
, y
.
Como y
cumplen la misma relación de recurrencia con los mismos valores iniciales resulta que
.
La regla de Euler
La anterior interpretación combinatoria no es más que una reformulación de la regla de Euler que dice que es la suma de determinados productos de los cocientes parciales
, que son:
- El producto de todos los cocientes parciales.
- Los productos obtenidos suprimiendo de todas la formas posibles 1 pareja de cocientes parciales de indices consecutivos.
- Los productos obtenidos suprimiendo de todas la formas posibles 2 parejas (disjuntas) de cocientes parciales de indices consecutivos.
- Etc.
Por otro lado la regla de Euler se obtiene inmediatamente de la interpretación combinatoria.
Consecuencias
La interpretación combinatoria permite demostrar sin usar inducción, estableciendo biyecciones entre conjuntos, identidades relativas a las cantidades .
Por ejemplo, resulta visualmente claro que , pues hay tantas posibles configuraciones si los mismos pesos están situados de izquierda a derecha que de derecha a izquierda.
También es inmediato, considerando las configuraciones que tienen o no una pieza doble cubriendo las casillas de índices y
, que:
En el artículo referenciado anteriormente se dan demostraciones biyectivas de otras identidades, por ejemplo la que da la diferencia entre dos convergentes consecutivos, que en la notación que hemos usado, es equivalente a:
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
[…] Fracciones continuas y combinatoria | Gaussianos gaussianos.com/fracciones-continuas-y-combinatoria – view page – cached * 2 en ¿Cuánto vale cero elevado a cero? ¿Y cero factorial? * 1 en Más información sobre el supuesto récord de Jaime García Serrano * 1 en Tipos de números […]
«…varias propiedades que hacen que dicha representación sea más interesante que la representación decimal habitual»
Más interesante… digamos mejor que esas propiedades les confiere algunas ventajas de peso. Pero si lo dejamos ahí queda la duda de si no convendría adoptar esa representación globalmente, desplazando a la decimal común. Hay que agregar, entonces, que la representación en fracciones continuas también tiene sus desventajas. Creo que la más importante, en comparación con la decimal común, es que las operaciones aritméticas básicas (suma, multiplicación ) resultan MUY complicadas.
Interesante el tema.
Aprovecho para presentarme, pues he descubierto este blog hace poco y… me encanta 😀 Me queda mucho tiempo hasta que me haya leído todo lo que hay en el archivo.
Felicidades a los autores, y seguid así.
hernan, posiblemente el principal problema sea ese, operar con ellas.
BBoy Gauss, bienvenido a Gaussianos. Busca tiempo libre porque el archivo es bien amplio, son cerca de tres años y medio de blog.
Ah, por cierto, autor. Comenzamos dos el blog pero desde hace bastante tiempo me encargo únicamente yo de él.
Iré despacito, a base de 2 o 3 entradas por día 🙂
Decía lo de autores porque ya había leído la primera entrada del blog y ahí se comentaba que lo habían empezado dos personas. Perdón por el fallo 😉
Ningún problema :).
[…] partir de los resultados mencionados en el post sobre fracciones continuas finitas, y con la notación usada alli, resulta que […]