Exercise 1.13 – SICP
We already know that
We also know that
So according to the finonacci definition (1)
Using wolfram alpha we can compute
Edit hmmm, looks like I missed the point of the problem. The real problem was to prove that Fib(n) approx= phi^n / 2 where phi = (1+sqrt(5))/2. I think I’ll have to redo this proof.