Colloquially, one obtains any given Fibonacci number through the addition of the two previous
Fibonacci numbers, with the first two values defined to be 0 and 1. We will be using
this convention here so that the indexing of the Fibonacci series matches the input to Binet’s
formula. First we will provide some definitions, then a proof, and then some discussion on
the implications of the value φ.