SUCESIONES DE RECURRENCIA EN LA MATEMTICA RECREATIVA (RECURSIVE SEQUENCES IN RECREATIONAL MATHEMATICS)

Pedro Alegra Departamento de Matemticas, Facultad de Ciencia y Tecnologa, Universidad del Pas Vasco, Apartado 644, 48080-Bilbao Correo electrnico: pedro.alegria@ehu.es

RESUMEN En este trabajo mostramos algunos aspectos recreativos relacionados con la sucesin de Fibonacci y otras sucesiones de recurrencia. Como aplicacin didctica, proponemos tambin algunos juegos y trucos basados en las propiedades de dicha sucesin. Palabras clave: Sucesin de Fibonacci, sucesiones de recurrencia, razn urea.

ABSTRACT In this work, some recreational aspects related to the Fibonacci sequence, as well as other recursive sequences, are shown. Moreover, in order to provide an educational application, some games and tricks based in the properties of that sequence are proposed. Keywords: Fibonacci sequence, recursive sequences, golden ratio.

Grandes teoras matemticas han tenido como fundamento motivos recreativos o diferentes tipos de juegos. Podemos destacar, entre otros, los juegos de azar que permitieron a Fermat y Pascal la creacin de la Teora de la Probabilidad, teora en la que se basaron las compaas de seguros en sus inicios a mediados del siglo XVIII, y los juegos de estrategia iniciados a principios del presente siglo, que dieron lugar a la Teora Matemtica de Juegos. En este artculo nos centraremos en algunos aspectos recreativos o ingeniosos proporcionados por una de las sucesiones numricas ms conocidas popularmente como es la llamada sucesin de Fibonacci. Otras sucesiones definidas por recurrencia nos permitirn tambin mostrar algunos problemas recreativos ms o menos conocidos. Creemos que los resultados aqu mostrados son apropiados para usos didcticos: por un lado, la bsqueda de explicaciones a los juegos permitirn desarrollar el pensamiento lgico de los estudiantes; por otro, pretendemos despertar su inters por cuestiones matemticas ms o menos alejadas de los contenidos especficos de los programas establecidos. No podemos estar ms de acuerdo con las palabras del mejor divulgador de las matemticas, Martin Gardner, cuando afirma (Gardner, 1975) que, en un nivel elemental, no es posible motivar a ningn alumno para aprender la teora de grupos dicindole que la encontrar hermosa, estimulante o incluso til si algn da llega a ser un fsico especializado en partculas, y aade:
"El mejor mtodo para mantener despierto a un estudiante es seguramente proponerle un juego matemtico intrigante, un pasatiempo, un truco mgico, una chanza, una paradoja, un trabalenguas o cualquiera de esas mil cosas que los profesores aburridos suelen rehuir porque piensan que son frivolidades."

Sucesin de Fibonacci

A Fibonacci, nombrado en los escritos medievales y renacentistas como Leonardo de Pisa (1170-1250), se le conoce, ms que por su obra, por la serie recurrente en la que cada trmino es suma de los dos que le preceden: 1, 1, 2, 3, 5, 8, 13 escrita por Leonardo en el margen del texto de su libro ms conocido, Liber abaci (Leonardo de Pisa, 1202), en relacin al famoso problema de los conejos, que es ms un juego que un autntico problema. Los matemticos modernos han sealado importantes propiedades de esta serie, bautizada por douard Lucas como serie de Fibonacci y llaman a sus elementos nmeros de Fibonacci. Si a0 = 0 , a1 = 1, an +1 = an + an 1 ( n > 1), entonces se tiene la frmula de Binet
an = n (1 )n 5

, donde =

1+ 5 = 1,618039... es la razn urea, expresin 2

que involucra nmeros irracionales y que, sin embargo, da resultados enteros. Podramos enunciar una gran cantidad de propiedades de la sucesin de Fibonacci (Vorobiov, 1974; Enzensberger, 1997). Algunas que presentan propiedades recreativas son las siguientes: i)
an +1 = n a n Debido a la velocidad de convergencia de esta sucesin y a que el resultado sigue siendo vlido si la sucesin empieza con dos trminos arbitrarios, proponemos realizar el siguiente experimento: lim

En una hoja de papel se escribe un nmero cualquiera; Ejemplo: debajo de l se escribe otro nmero arbitrario; bajo ellos se 4 escribe la suma de los dos nmeros anteriores; se escribe 7 un cuarto nmero que sea la suma de los dos ltimos 11 nmeros escritos; se sigue este proceso hasta que se hayan 18 escrito 10 nmeros (cada uno de ellos ser la suma de los 29 dos nmeros inmediatamente anteriores); para finalizar, se 47 dividen entre s los dos ltimos nmeros escritos, el ltimo 76 entre el penltimo o viceversa. 123 Se crea o no, es posible adivinar las primeras cifras de la 199 parte decimal del resultado: son un 6, un 1, un 8, un 0, quiz 322 un 3. La explicacin es sencilla: si se ha dividido el ltimo entre el penltimo, el cociente es una buena aproximacin de ; si se ha dividido el penltimo entre el ltimo, el resultado se aproxima a 1/ = 1 = 0,618039... ii)

a1 + ... + a10 = 11 a7 Otro truco asociado a esta propiedad consiste en adivinar la suma de los diez trminos de una sucesin construida del mismo modo que el ejemplo anterior. Basta multiplicar por 11 el sptimo trmino de la sucesin. Es un ejercicio sencillo pero ilustrativo probar esta ltima propiedad, dando valores arbitrarios a los trminos a1 y a2 .
2 an +1 an 1 an = ( 1)n [Identidad de Cassini] Es conocida la falacia geomtrica que origina esta propiedad, como mostr Sam Loyd por primera vez en 1858.

iii)

Figura 1: Prueba geomtrica de que 65 = 64 (Alegra, 2006).

La parte izquierda de la figura 1 muestra un rectngulo de rea 5 x 13 = 65; dicho rectngulo se divide en cuatro piezas, las cuales se pueden recomponer para formar el cuadrado que se muestra en la parte derecha de la figura 1. Sin embargo, el rea del cuadrado es igual a 8 x 8 = 64. En general, si an 1, an , an +1 son tres trminos consecutivos de la sucesin de Fibonacci, un rectngulo de rea an +1 an 1 se puede dividir en cuatro regiones de modo que, al recomponerlas, se puede obtener un cuadrado 2 de rea an . Se comprende que los cortes as realizados hacen que las piezas no encajen exactamente. En todos los casos, la frmula de Cassini indica que la diferencia de las reas es igual a la unidad. Algunas variantes y generalizaciones de esta falacia pueden encontrarse en Gardner (1965) y Alegra (2006). iv)
a1 + a3 + " + a2n 1 = a2n + a1 a2 ; a2 + a4 + " + a2n = a2 n +1 a1

Con esta propiedad, tambin vlida para sucesiones cuyos dos primeros trminos son arbitrarios, es fcil simular grandes dotes de calculista veloz pudiendo rpidamente calcular la suma de gran cantidad de trminos pares e impares de la sucesin de Fibonacci. v) a1 + ... + an = an + 2 a2 Un truco de clculo rpido asociado a esta propiedad es el siguiente: se pide que se escriban dos nmeros cualesquiera. Con ellos se forma una sucesin donde cada elemento sea la suma de los dos anteriores. Se separan dos de ellos con una lnea y, casi inmediatamente, se puede dar la suma de todos los que se encuentran antes de dicha lnea. Basta restar el trmino que est dos lugares por debajo de la lnea menos el segundo trmino de la sucesin.

Los elementos de la sucesin de Fibonacci dan tambin la respuesta al siguiente problema: De cuntas formas distintas se puede subir una escalera si desde cada posicin pueden subirse uno o dos escalones? En el caso de 4 escalones, las distintas soluciones son: 1111 112 121 211 - 22. Se observa que, si el ltimo paso es de un escaln, el nmero de posibilidades coincide con el nmero total de formas de subir la escalera con un escaln menos; adems, si el ltimo paso es de dos escalones, el nmero coincide con el nmero de posibilidades de subir la escalera con dos escalones menos. La frmula que ilustra este hecho es an = an 1 + an 2 . Esta situacin, con enunciado ms serio, se aplica en problemas de trayectorias de rayos luminosos (el nmero de trayectorias posibles al experimentar n reflexiones entre dos lminas de vidrio es an + 2 ). En la Naturaleza, el estudio de la Filotaxia (disposicin de hojas) ha descubierto la presencia de la sucesin de Fibonacci (ver por ejemplo Coxeter, 1988). Las estructuras florales estn formadas por dos sistemas de espirales logartmicas: las que tienen sentido horario y las de sentido antihorario. Usualmente, estos dos nmeros son valores consecutivos de la sucesin de Fibonacci. Por ejemplo, las semillas de la flor del girasol tienen dos sistemas de

espirales empezando desde el centro, 55 de ellas en sentido horario y 34 en sentido antihorario. Tambin las pias, coliflores y algunos cactus presentan esta caracterstica. La razn de este comportamiento est en el modo de composicin de estas estructuras: cada capullo que se abre separa otros a su alrededor. A medida que se van formando nuevos capullos, al abrirse separan a los ms recientes con ms fuerza, mientras que los ya formados anteriormente son separados en menor medida. Esto naturalmente produce esa disposicin en espiral. En programacin de ordenadores, la sucesin tiene aplicacin en clasificacin de datos, recuperacin de informacin, generacin de nmeros aleatorios, etc.
2 Otras sucesiones de recurrencia

Estudiaremos a continuacin otras sucesiones interesantes. La siguiente est relacionada con el tringulo de Pascal: 2 6 20 70 252 Por una parte, responde al problema de encontrar el nmero de caminos (sin dar pasos superfluos) mediante los que se puede cruzar en diagonal un conjunto de calles dispuestas en una estructura cuadrada, como en la figura 2.

Figura 2: Recorrido en cuadrculas. Por otra parte, la sucesin corresponde a los elementos que estn en la vertical principal del tringulo de Pascal. 1 1 1 1 1 1 1 6 5 15 4 10
20 2

1 1 3
6

1 4 1 5 15 6 1 1

10

Es interesante el hecho de que, si pensamos en distribuciones rectangulares, es decir con distinto nmero de filas que de columnas, el nmero de caminos posibles para cruzar de una esquina a la diagonalmente opuesta coincide con el resto de elementos del tringulo de Pascal. Hay que advertir que nunca puede definirse una sucesin por los primeros

trminos, por muchos que sean. Por ejemplo, si queremos saber cul es el elemento que sigue en la sucesin 1 2 3 4 37 38 39, una respuesta obvia es 40 pero otra posibilidad sera 42, si consideramos que la sucesin est formada por los valores de n para los que la expresin n 2 + n + 41 es primo. Otro ejemplo bien conocido es el de la sucesin de Leo Moser, que comienza por 1 2 4 8 16
n n 1 n y contina con 31 pues su trmino general es n + + , en vez de 2 , y 4 2 corresponde al nmero mximo de regiones en que queda dividido un crculo uniendo n puntos de la circunferencia.

Enunciamos a continuacin dos problemas que involucran sucesiones numricas definidas mediante relaciones de recurrencia cruzadas. (a) Se tienen dos depsitos de 6 litros cada uno y se realiza el siguiente proceso: en cada paso, se echa la mitad del contenido del primer depsito en el segundo y, a continuacin, la mitad del contenido del segundo en el primero. Si se repite este proceso sucesivas veces, cul es la posicin lmite que se obtiene? La respuesta a este problema es la siguiente. Si representamos por an y bn al contenido del primero y segundo depsitos, respectivamente, a lo largo del proceso, entonces se tienen las relaciones
3an + 2bn 4 a + 2bn , b1 = 6, bn +1 = n 4 cuya solucin (aplicando propiedades de las sucesiones numricas) es lim an = 8 , lim bn = 4 . a1 = 6, an +1 =

(b) (Problema del asno de Buridan.) En dos lugares de un prado donde pasta un asno se colocan dos montones iguales de alfalfa. El asno se dirige a uno de ellos y, cuando ha recorrido la mitad de la distancia, se dirige hacia el otro montn, repitindose el cambio de direccin cada vez que recorre la mitad de la distancia que le separa del montn a donde se dirige. Se pide probar que el asno nunca llega a comerse la alfalfa. La solucin es la siguiente. Para simplificar la notacin, supondremos que los montones se encuentran en el origen y en un punto alejado una unidad del origen y que el asno est en la recta que une ambos puntos. La sucesin ( xn ) que representa la distancia del asno al origen a lo largo del proceso se define por

x1 = a

(0 < a < 1) , x2n =

x2n 1 1 + x2 n , x2n +1 = . 2 2

Se puede probar por mtodos analticos que la sucesin de los trminos pares tiene lmite 1/3 y la de los impares 2/3, por lo que la sucesin completa no tiene lmite y el asno no termina por decidirse si comer de uno u otro montn. En su origen, este problema proporcion un ejemplo para criticar la doctrina filosfica del libre albedro defendida por el telogo Jean Buridan (1300-1358), ya que conduce a una completa e irracional indecisin.
3 Bibliografa

Alegra, P. (2006). Geometra recortable. Sigma 28, 95-115. Coxeter, H.S.M. (1988). Fundamentos de Geometra. Mxico: Limusa. Enzensberger, H. (1997). El diablo de los nmeros. Madrid: Siruela. Gardner, M. (1965). Mathematics, Magic and Mystery. New York: Dover. Gardner, M. (1975). Carnaval matemtico. Madrid: Alianza Editorial. Leonardo de Pisa (1202). Liber Abaci (traducido al ingls por L. Sigler, Springer-Verlag, New York, 2002). Vorobiov, N. (1974). Nmeros de Fibonacci. Mosc: Mir.