Candido's identity, named after the Italian mathematician Giacomo Candido, is an identity for real numbers. It states that for two arbitrary real numbers and the following equality holds:[2]

Geometric interpretation of the Candido identity for sequential Fibonacci numbers. The white area equals the grey area and each of them equals half of the outer square's area.[1]

The identity however is not restricted to real numbers but holds in every commutative ring.[2]

Candido originally devised the identity to prove the following identity for Fibonacci numbers:[1]

Proof

edit

A straightforward algebraic proof can be attained by simply completely expanding both sides of the equation. The identity however can also be interpreted geometrically. In this case it states that the area of square with side length   equals twice the sum of areas of three squares with side lengths  ,   and  . This allows for the following proof due to Roger B. Nelsen:[3]

 
The (white) squares of side lengths   and   appear each twice and the colored areas equal the area of the white square of side length  , hence the area of the outer square equals twice the sum of the areas of the three (white) inner squares.

.

Further reading

edit
edit

References

edit
  1. ^ a b Thomas Koshy: Fibonacci and Lucas Numbers with Applications. Wiley, 2001, ISBN 9781118031315, pp. 92, 299-300
  2. ^ a b Claudi Alsina, Roger B. Nelsen: "On Candido's Identity". In: Mathematics Magazine, Volume 80, no. 3 (June, 2007), pp. 226-228
  3. ^ Roger B. Nelsen: Proof without Words: Candido's Identity. In: Mathematics Magazine, volume 78, no. 2 (April, 2005), p. 131 (JSTOR)