# Ejercicio 04.10

kill(all)$

f[1]:1$  f[2]:1$
f[n]:=f[n-1]+f[n-2];
makelist(f[n], n, 1, 10);

## Apartado a)

f[1]+f[2];
f[4]-1;

f[1]+f[2]+f[3];
f[5]-1;

f[1]+f[2]+f[3]+f[4];
f[6]-1;

Aplicando la hipótesis de inducción:
f[1] + f[2] + ... + f[n-1] = f[n+1] - 1
resulta inmediatamente la expresión buscada.

## Apartado b)

R[n]:=f[n+1]/f[n];

limit(R[n], n, inf);

eq:L=1+1/L;

solve([eq], [L]);

Fi=Fi:(sqrt(5)+1)/2;

## Apartado c)

Designamos por "a" la longitud de la parte corta y "b" la parte larga.
Si designamos por x = b/a, entonces el procedimiento es como sigue.

x=b/a;

b/a = (a+b)/b;

x=1+1/x;

ratsimp(%);

Eq: x^2 - x -1 =0;

solve([Eq], [x]);

La primera solución se descarta por ser un número negativo.
La segunda es el número aurio, como se quería mostrar.