domingo, 4 de octubre de 2009

Fracciones continuas (2) - Reducidas

En una entrada anterior desarrollamos la fracción 1280/345 en forma de fracción continua, formada por los cocientes [3,1,2,2,4,2], como puedes comprobar fácilmente con las hojas de cálculo fraccont.ods y fraccont.xls.


Debajo de los cocientes aparecen una serie de fracciones, llamadas reducidas o convergentes, que se van aproximando a 1280/245: 3/1, 4/1, 11/3, 26/7, 115/31 y 256/69, que resulta ser la fracción desarrollada, 1280/345, pero simplificada.

Puedes ver esta aproximación en los desarrollos decimales que figuran debajo en la hoja de cálculo.

Estas reducidas se forman calculando fracciones parciales de izquierda a derecha:

3=3; 3+1/1=4; 3+1/(1+1/2)=11/3…

La hoja de cálculo fraccont.ods (en su hoja dedicada a números fraccionarios) logra estas reducidas mediante un algoritmo clásico llamado de “los cumulantes”. Consiste en construir dos sucesiones recurrentes del tipo

Pn = pn-1*an+pn-2

siendo an la sucesión de cocientes de la fracción continua, precedidos en la primera fila por 0 y 1 y en la segunda por 1 y 0. Como ejemplo, si se aplican los cumulantes a la sucesión 1,1,1,1,1…. Resulta la sucesión de Fibonacci 1,1,2,3,5,8…

Puedes seguir estos cumulantes en las filas que contienen los numeradores y denominadores de las reducidas.


Las reducidas permiten la aproximación a una fracción con numerador y denominador grandes mediante otras que están construidas con números más pequeños. Esta utilidad la usaban los torneros cuando carecían de ruedas de determinado número de dientes y debían sustituirlas, con un pequeño error, por otras ruedas más pequeñas.

Por ejemplo, si deseamos que unos engranajes produzcan 2009 revoluciones en un eje y 2000 en otro, sus números de dientes deben seguir la proporción 2009/2000, pero se pueden sustituir por 223/222 con un error inferior a 0,000005.

La reducidas son alternativamente mayores y menores que la fracción dada, y se acercan a ella, pues la diferencia entre dos reducidas es siempre igual a la unidad dividida entre el producto de sus denominadores.

No hay comentarios: