La PizarraMatemática.

Bachillerato

Sucesión de Fibonacci y recurrencias

Una sucesión es una lista con posiciones numeradas. En Fibonacci cada nuevo valor suma los dos anteriores. Vamos a construirla despacio, ver por qué aparece al contar ciertos caminos y distinguir la regla exacta de las aproximaciones de crecimiento.

1. Una regla necesita valores iniciales para empezar

El índice dice en qué posición estamos; el término es el valor de esa posición. Una fórmula explícita calcula desde el índice. Una recurrencia calcula usando valores anteriores.

Si la recurrencia usa los dos términos anteriores, normalmente necesitamos dos datos iniciales. La frase «sumar los dos anteriores» no determina por sí sola una lista única.

Dos formas de construir la misma lista sencilla

Comparar aₙ=2n con a₀=0 y aₙ=aₙ₋₁+2.

  1. Explícita

    Para n=3: 2·3=6.
  2. Recurrencia

    0,2,4,6: cada paso suma dos.

  3. Comparar

    Ambas dan la misma sucesión con ese inicio.

Resultado

La fórmula y la recurrencia son dos descripciones.

Lo comprobamos

Si cambiamos a₀ a uno, la segunda lista ya no empieza igual.

La misma recurrencia con otros inicios cambia el resultado

Sumar siempre los dos anteriores desde 0,1 y desde 2,1.

  1. Primer inicio

    0,1,1,2,3,5…

  2. Segundo

    2,1,3,4,7,11…

  3. Conclusión

    La regla coincide, pero los datos iniciales no.

Resultado

Hay que declarar el comienzo.

Lo comprobamos

Una coincidencia en un término no fuerza igualdad de las listas.

2. Nuestra convención empieza en F₀=0 y F₁=1

Para n≥2 definimos Fₙ=Fₙ₋₁+Fₙ₋₂.
Entonces F₂=1, F₃=2, F₄=3.

La lista arranca 0,1,1,2,3,5,8… y el cero ocupa el índice cero.

La recurrencia necesita dos valores iniciales y un índice claro
Índice y valor son cosas distintasn=00n=11n=21n=32n=43F₀=0; F₁=1F₂=F₁+F₀=1+0=1F₃=F₂+F₁=1+1=2F₄=F₃+F₂=2+1=3Dos unos, pero dos posiciones.
Cinco casillas alineadas con índices cero, uno, dos, tres y cuatro. Debajo están sus valores de Fibonacci cero, uno, uno, dos y tres. Los dos datos iniciales se destacan en rojo; los calculados con ellos, en verde. Las igualdades muestran cómo el índice dos obtiene uno más cero, el tres uno más uno y el cuatro dos más uno. Que el valor uno aparezca en dos posiciones no duplica el índice ni desplaza la lista. Nuestra convención incluye F cero igual a cero y F uno igual a uno.

Algunas presentaciones omiten F₀ y muestran primero 1,1. Para evitar desplazamientos escribimos el índice junto a cada valor. Repetir el valor uno no repite su posición.

Construir los primeros términos sin saltar una casilla

Partir de F₀=0 y F₁=1.

  1. F₂

    1+0=1.
  2. F₃

    F₂+F₁=1+1=2.
  3. F₄

    F₃+F₂=2+1=3.
Resultado

Los dos unos pertenecen a índices uno y dos.

Lo comprobamos

F₃ vale dos, no tres por el nombre del índice.

Leer una posición concreta

Continuar hasta F₇.

  1. Desde F₄=3

    F₅=3+2=5.
  2. Siguiente

    F₆=5+3=8.
  3. Último

    F₇=8+5=13.
Resultado

F₇=13 con nuestra convención.

Lo comprobamos

No se cuenta el primer elemento de la lista como índice uno.

3. Para avanzar guardamos un par; para retroceder restamos

Si sabemos dos consecutivos, el siguiente sale sumándolos. El nuevo par conserva el segundo y el recién calculado. No hace falta recomenzar desde cero para cada paso.

La misma regla reordenada da Fₙ₋₁=Fₙ₊₁−Fₙ.

Un cálculo que guarda los pares usa un número de sumas proporcional al índice; una recursión ingenua repetiría subproblemas. Al crecer los enteros, cada suma también cuesta más cifras.

Actualizar el par sin borrar el dato necesario

Tenemos (F₇,F₈)=(13,21).

  1. Sumar

    13+21=34.
  2. Nuevo par

    (F₈,F₉)=(21,34).
  3. Otro paso

    21+34=55 y el par pasa a (34,55).
Resultado

Se conservan ambos valores antes de actualizar.

Lo comprobamos

No se usan 34+34 por sobrescribir demasiado pronto el segundo dato.

Recuperar un término anterior

Fₙ₊₁=144 y Fₙ=89.

  1. Regla

    144=89+Fₙ₋₁.
  2. Despejar

    Fₙ₋₁=144−89.
  3. Calcular

    55.

Resultado

Retroceder utiliza los dos consecutivos adecuados.

Lo comprobamos

89+55=144 comprueba el regreso.

4. Contar por el último salto explica por qué aparece la recurrencia

Supongamos que subimos una escalera con saltos de uno o dos peldaños y que el orden cuenta. Toda secuencia que llega a n termina con un salto de uno desde n−1 o de dos desde n−2.

Los saltos del mismo tamaño se pueden ordenar de maneras diferentes
Tres peldaños: importa el orden1 + 1 + 1111031 + 212032 + 121031+2 y 2+1 son dos secuencias.
Tres filas recorren la misma distancia de cero a tres, con ochenta unidades de dibujo por peldaño. La primera usa tres bloques azules de longitud uno. La segunda usa un bloque uno y luego un bloque verde de longitud dos. La tercera usa primero dos y después uno. Los bloques dobles tienen el doble de anchura que los sencillos. Las tres secuencias ordenadas son distintas y cubren todas las maneras de subir tres peldaños usando saltos uno o dos. Si se olvidara el orden, uno más dos y dos más uno se contarían como una sola y se resolvería otro problema.

Los casos no se solapan porque tienen último salto diferente y cubren todas las posibilidades.

Por eso sus recuentos se suman: Sₙ=Sₙ₋₁+Sₙ₋₂.

Hay que justificar esos casos, no reconocer Fibonacci solo por unos números parecidos.

Listar para entender qué estamos contando

Subir tres peldaños.

  1. Secuencias

    1+1+1, 1+2 y 2+1.

  2. Orden

    1+2 y 2+1 recorren los saltos en otro orden: se cuentan por separado.

  3. Total

    Tres formas ordenadas.

Resultado

Si no contase el orden, sería otro recuento.

Lo comprobamos

Las longitudes de los bloques de la figura suman tres en cada fila.

Separar por la última acción

Contar maneras de subir cuatro peldaños.

  1. Terminar con uno

    Cada secuencia de tres peldaños admite añadir ese uno: tres maneras.

  2. Terminar con dos

    Cada secuencia de dos admite añadir ese dos: dos maneras.

  3. Sumar

    S₄=S₃+S₂=3+2=5.
Resultado

No se cuentan dos veces porque el último salto diferencia las ramas.

Lo comprobamos

Las cinco secuencias son 1111,112,121,211,22.

5. La escalera empieza en uno y por eso desplaza el índice

S₀=1 cuenta una sola secuencia vacía: no hacer ningún salto para llegar a donde ya estamos.

S₁=1 cuenta el salto de uno.
Así S₂=2.
Como S₀=F₁ y S₁=F₂ y comparten la misma recurrencia, Sₙ=Fₙ₊₁ para n≥0.

Se prueba por inducción: si coinciden los dos valores previos, sus sumas también coinciden.

Tamaño cero no obliga a recuento cero

Contar formas para cero y un peldaño.

  1. Cero

    La secuencia vacía es una posibilidad: S₀=1.
  2. Uno

    Solo el salto 1: S₁=1.
  3. Dos

    S₂=S₁+S₀=2, las secuencias 11 y 2.
Resultado

Las iniciales corresponden al problema que contamos.

Lo comprobamos

Poner S₀=0 perdería la opción de un único salto doble.

El índice del peldaño no es el índice de Fibonacci

Contar seis peldaños.

  1. Relación

    S₆=F₇.
  2. Valor

    F₇=13.
  3. Otro control

    S₅+S₄=8+5=13.
Resultado

Seis peldaños tienen trece secuencias, no F₆=8.

Lo comprobamos

El desplazamiento proviene de las dos condiciones iniciales.

6. Una identidad para todos los índices necesita una prueba

La inducción comprueba el comienzo y explica cómo pasar de un caso al siguiente. Una lista larga de aciertos sugiere un patrón, pero no prueba por sí sola que continúe siempre.

Para la suma F_0+\cdots+F_n=F_{n+2}-1, el caso n=0 es 0=1−1.
Si vale hasta n, añadir Fₙ₊₁ da Fₙ₊₂+Fₙ₊₁−1=Fₙ₊₃−1, el caso siguiente.

La fórmula resume una suma que podemos revisar

Calcular F₀+…+F₆.

  1. Fórmula

    F₈−1=21−1.
  2. Resultado

    20.

  3. Comprobar lista

    0+1+1+2+3+5+8=20.
Resultado

La suma explícita verifica este caso.

Lo comprobamos

La inducción del texto justifica todos los casos.

Ver el paso que mantiene el patrón

Pasar de la suma hasta F₆ a la suma hasta F₇.

  1. Lo conocido

    Hasta F₆ tenemos F₈−1.

  2. Añadir

    Sumamos F₇.

  3. Recurrencia

    F₈+F₇−1=F₉−1: justo la fórmula con n=7.
Resultado

La misma cuenta con n en lugar de seis es el paso general.

Lo comprobamos

Se usa una identidad de la recurrencia, no una coincidencia decimal.

7. La fórmula explícita combina dos potencias que cumplen la regla

Buscamos potencias tⁿ que cumplan la recurrencia.

Para t≠0, tⁿ=tⁿ⁻¹+tⁿ⁻² exige t²=t+1.
Sus raíces son φ=(1+√5)/2 y ψ=(1−√5)/2.

Las dos potencias cumplen la regla, y sus combinaciones lineales también. La fórmula de Binet F_n=(\varphi^n-\psi^n)/\sqrt5 da F₀=0 y F₁=1; por la misma recurrencia e iniciales, coincide con Fibonacci para todo n≥0.

Comprobar los dos datos que seleccionan la sucesión

Usar la fórmula de Binet en n=0 y n=1.

  1. Cero

    (1−1)/√5=0.
  2. Uno

    φ−ψ=√5, así que el cociente vale uno.
  3. Continuar

    Como ambas potencias cumplen la recurrencia, sus términos siguientes quedan fijados.

Resultado

La prueba combina regla e iniciales.

Lo comprobamos

Los radicales no impiden que el resultado sea entero al coincidir con la sucesión.

Calcular un término mediante relaciones exactas

Hallar el valor de Binet para n=3.

  1. Usar t²=t+1

    t³=t²+t=2t+1 para t=φ o ψ.
  2. Restar

    φ³−ψ³=2(φ−ψ).
  3. Dividir

    2(φ−ψ)/√5=2=F₃.
Resultado

No hacen falta aproximaciones de √5.

Lo comprobamos

La simplificación conserva la igualdad exacta.

8. Crece casi geométricamente, pero no es una geométrica exacta

φ>1 y |ψ|<1.
Por eso el término ψⁿ se hace pequeño y Fₙ≈φⁿ/√5.

El error absoluto exacto al omitirlo tiene magnitud |ψ|ⁿ/√5.

Para n≥1, los cocientes Fₙ₊₁/Fₙ tienden a φ, pero no son todos iguales. Que un fenómeno real tenga un dibujo parecido no demuestra la recurrencia: el modelo necesita justificar sus estados, casos e iniciales.

Los cocientes iniciales ya descartan una geométrica exacta

Comparar términos desde F₂.

  1. Primer cociente

    F₃/F₂=2/1=2.
  2. Siguiente

    F₄/F₃=3/2=1,5.
  3. Conclusión

    No hay una razón constante, aunque luego se acerquen a φ.

Resultado

Una tendencia no convierte la igualdad aproximada en exacta.

Lo comprobamos

La fórmula de Binet conserva también ψⁿ.

Controlar qué se omite en una aproximación

Aproximar Fₙ por φⁿ/√5.

  1. Diferencia exacta

    Fₙ−φⁿ/√5=−ψⁿ/√5.
  2. Magnitud

    Como |ψ|<1, su magnitud disminuye al aumentar n.
  3. Alcance

    La cota se justifica por la fórmula, no por medir un dibujo de la naturaleza.

Resultado

Los primeros términos siguen viniendo de una regla exacta.

Lo comprobamos

Para n=0 la aproximación no vale cero exactamente: el término omitido es necesario.

Ahora lo resolvemos de principio a fin.

EJEMPLO RESUELTO 1

Calcular con la regla

Halla F₈ con F₀=0 y F₁=1.

  1. Convención

    F₀=0 y F₁=1.
  2. Primeros

    F₂=1, F₃=2, F₄=3.
  3. Continuar

    F₅=5 y F₆=8.
  4. Siguiente

    F₇=8+5=13.
  5. Pedido

    F₈=13+8=21.
  6. Revisar índice

    El primer cero es F₀, por lo que no desplazamos la posición.

Resultado

21.

Lo comprobamos

La posición se cuenta desde F₀, no desde el primer 1.

EJEMPLO RESUELTO 2

Escalera

Puedes subir uno o dos peldaños cada vez. ¿Cuántas formas ordenadas permiten subir 5 peldaños?

  1. Definir

    Sₙ cuenta secuencias ordenadas de saltos uno o dos.

  2. Iniciales

    S₀=1 por la secuencia vacía; S₁=1.
  3. Recurrencia

    Último salto uno o dos: Sₙ=Sₙ₋₁+Sₙ₋₂.
  4. Calcular

    S₂=2,S₃=3,S₄=5.
  5. Pedido

    S₅=5+3=8.
  6. Comprobar

    S₅=F₆=8 con las iniciales indicadas.
Resultado

8 formas.

Lo comprobamos

Equivale a F₆; el caso S₀=1 cuenta la secuencia vacía.

Los símbolos que hemos usado

Fₙ
Término de Fibonacci de índice entero n≥0.
F₀=0,F₁=1
Valores iniciales que fijan la convención de esta lección.
Fₙ=Fₙ₋₁+Fₙ₋₂
Recurrencia válida para n≥2.
Sₙ
Número de secuencias de pasos de tamaño uno o dos que suman n.
φ=(1+√5)/2
Raíz positiva de t²=t+1.
ψ=(1−√5)/2
La otra raíz de t²=t+1, de valor absoluto menor que uno.

Ahora te toca a ti.

Tienes cinco ejercicios. Inténtalos; las pistas te ayudan si te atascas.

Practicar este tema →

Para ampliar