Cassini and Catalan identities
Mathematical identities for the Fibonacci numbers / From Wikipedia, the free encyclopedia
Cassini's identity (sometimes called Simson's identity) and Catalan's identity are mathematical identities for the Fibonacci numbers. Cassini's identity, a special case of Catalan's identity, states that for the nth Fibonacci number,
Note here is taken to be 0, and
is taken to be 1.
Catalan's identity generalizes this:
Vajda's identity generalizes this: