A bijective proof of Cassini's Fibonacci identity
The authors provide a short combinatorial proof of the identity \(F^ 2_{n+1}-F_{n+2}F_ n=(-1)^{n+1}\), where \(F_ n\) denotes the n-th Fibonacci number.
scientific article; zbMATH DE number 3924785