The Fibonacci series is traditionally dened recursively, yet there also exists an
explicit formula. Binet's formula is this explicit denition and we will prove that it
is equivalent to the recursive denition via the principal of mathematical induction.
A brief discussion on phyllotaxy and dynamics and a proof of the irrationality of the
golden ratio are also present.