Cassini and Catalan identities

Cassini’s identity, Catalan’s identity, and Vajda’s identity are important ideas in math that work with Fibonacci numbers. Fibonacci numbers are a list where each number is the sum of the two numbers before it, like 1, 1, 2, 3, 5, 8, and so on. These ideas help mathematicians see patterns in this list.

Cassini’s identity is the simplest. It 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 answer is always 1 or -1. This depends on whether n is even or odd.

Catalan’s identity builds on this idea. It lets mathematicians look at links between Fibonacci numbers that are not right next to each other in the list. Vajda’s identity goes even further, connecting Fibonacci numbers that are far apart in the list. These ideas are useful in many parts of math and help solve tricky problems in a simpler way.

History

Cassini's formula was discovered in 1680 by Giovanni Domenico Cassini, who worked at the Paris Observatory. Robert Simson also found the same formula in 1753. It is thought that Johannes Kepler might have known about this formula even earlier, around 1608.

Catalan's identity is named after Eugène Catalan. He first wrote about it in his notes in 1879, but it was not published until 1886. The identity named after Steven Vajda appeared in his book in 1989, but others had published it before, in 1960 and 1901.

Proof of Cassini identity

Cassini's identity is a special rule for Fibonacci numbers. It says that if you multiply two Fibonacci numbers that are two places apart, and then subtract the square of the middle Fibonacci number, the result will always be 1 or -1.

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. In induction, 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 works for all Fibonacci numbers.

Proof of Catalan identity

We use Binet's formula to learn about Fibonacci numbers. This formula shows us how these numbers grow and connect to each other.

The Lucas number L_n is a sequence linked to Fibonacci numbers. It helps us prove special patterns in these numbers. Using these tools, we can see how Fibonacci numbers follow rules that work for every place in the sequence.