Cassini's identity — mathematical identity: F_{n - 1}F_{n + 1} - F_n^2 = (-1)^n