Catalan's identity

From specialfunctionswiki
Jump to: navigation, search

Theorem

The following formula holds: $$F(n)^2 - F(n+r) F(n-r) = (-1)^{n-r}F(r)^2,$$ where $F(n)$ denotes the $n$th Fibonacci number.

Proof

See also

Cassini's identity

References