Cassini and Catalan identities

Cassini’s identity, Catalan’s identity, and Vajda’s identity are important mathematical relationships that involve Fibonacci numbers. Fibonacci numbers are a sequence where each number is the sum of the two numbers before it, like 1, 1, 2, 3, 5, 8, and so on. These identities help mathematicians understand patterns within this sequence.

Cassini’s identity is the simplest of these and shows a neat pattern: if you multiply the Fibonacci number just before the nth number by the one just after it, and then subtract the square of the nth number, the result is always either 1 or -1, depending on whether n is even or odd.

Catalan’s identity builds on this idea, allowing mathematicians to look at relationships between Fibonacci numbers that are not right next to each other in the sequence. Vajda’s identity goes even further, connecting Fibonacci numbers that are separated by several places. These identities are useful in many areas of mathematics and help solve complex problems in a more straightforward way.

History

Cassini's formula was discovered in 1680 by Giovanni Domenico Cassini, who was the director of the Paris Observatory at the time. It was also proven independently by Robert Simson in 1753. It is believed that Johannes Kepler may have known this identity even earlier, back in 1608.

Catalan's identity is named after Eugène Catalan, and it first appeared in his research notes in 1879, though it was not published until 1886. The identity named after Steven Vajda was published in his 1989 book, but it had actually been published earlier by others in 1960 and 1901.

Proof of Cassini identity

Cassini's identity is a special rule for Fibonacci numbers. It says that if you take the product of two Fibonacci numbers that are two places apart, subtract the square of the middle Fibonacci number, the result will be either 1 or -1, depending on which number you started with.

There are two main ways to show this identity is true. One way uses matrices, which are like grids of numbers that can be multiplied together. The other way uses a process called induction, where you show the rule works for the first number and then prove that if it works for one number, it will also work for the next. Both methods confirm that Cassini's identity holds for all Fibonacci numbers.

Proof of Catalan identity

We use Binet's formula to understand the relationship between Fibonacci numbers. This formula helps us see how these numbers grow and relate to each other.

The Lucas number L_n is another sequence connected to Fibonacci numbers, and it plays a key role in proving these special identities. By using these tools, we can show how Fibonacci numbers follow patterns that stay true for every position in the sequence.