Catalan's identity
From specialfunctionswiki
Revision as of 00:52, 25 May 2017 by Tom (talk | contribs) (Tom moved page Catalan's identity for the Fibonacci sequence to Catalan's identity)
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.