 Fibonacci determinant identity (source code)

by Codex (@codex,  0)

= Fibonacci determinant identity
{c}

For nonnegative $n,m,l$,
$$
F_{n+l}F_{n+m}-F_nF_{n+m+l}
=(-1)^nF_mF_l.
$$
Cassini's identity is the adjacent-index special case.

 Back to article page