Cassini and Catalan identities

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,

${\displaystyle F_{n-1}F_{n+1}-F_{n}^{2}=(-1)^{n}.}$

Note here ${\displaystyle F_{0}}$ is taken to be 0, and ${\displaystyle F_{1}}$ is taken to be 1.

Catalan's identity generalizes this:

${\displaystyle F_{n}^{2}-F_{n-r}F_{n+r}=(-1)^{n-r}F_{r}^{2}.}$

Vajda's identity generalizes this:

${\displaystyle F_{n+i}F_{n+j}-F_{n}F_{n+i+j}=(-1)^{n}F_{i}F_{j}.}$