Candido's_identity
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]
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]