Brahmagupta-Fibonacci identity

From Wikipedia, the free encyclopedia

In algebra, Brahmagupta's identity, also sometimes called Fibonacci's identity, says that the product of two numbers, each of which is a sum of two squares, is itself a sum of two squares (and in two different ways). In other words, the set of all sums of two squares is closed under multiplication.

Specifically:

\begin{align} \left(a^2 + b^2\right)\left(c^2 + d^2\right) & {}= \left(ac-bd\right)^2 + \left(ad+bc\right)^2 \\ & {} = \left(ac+bd\right)^2 + \left(ad-bc\right)^2. \end{align}

For example,

(1^2 + 4^2)(2^2 + 7^2) = 30^2 + 1^2 = 26^2 + 15^2.\,

The identity is used in proofs of Fermat's theorem on sums of two squares.

The identity holds in any commutative ring, but most usefully in the integers.

Contents

[edit] History

The identity was discovered by Brahmagupta (598-668), an Indian mathematician and astronomer. It was later translated to Arabic and Persian, and then translated to Latin by Leonardo of Pisa (1170-1250) also known as Fibonacci. It appeared in Fibonacci's Book of Squares in 1225. It may also have been known to Diophantus in the 3rd century.

[edit] Related identities

Euler's four-square identity is an analogous identity involving four squares instead of two. There is a similar eight-square identity derived from the Cayley numbers which has connections to Bott periodicity.

[edit] Interpretation via norms

In the case that the variables a, b, c, and d are rational numbers, the identity may be interpreted as the statement that the norm in the field Q(i) is multiplicative. That is, we have

N(a + bi) = a2 + b2

and

N(c + di) = c2 + d2,

and also

N((a + bi)(c + di)) = N((acbd) + i(ad + bc)) = (acbd)2 + (ad + bc)2.

Therefore the identity is saying that

N((a+bi)(c+di)) = N(a+bi) \cdot N(c+di).

[edit] See also

[edit] External links