Brahmagupta–Fibonacci identity

In algebra, the Brahmagupta–Fibonacci identity or simply Fibonacci's identity (and in fact due to Diophantus of Alexandria) says that the product of two sums each of two squares is itself a sum of two squares. 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 & & & (1) \\ & {}= \left(ac+bd\right)^2 + \left(ad-bc\right)^2. & & & (2) \end{align}$

Both (1) and (2) can be verified by expanding each side of the equation. Also, (2) can be obtained from (1), or (1) from (2), by changing b to −b.

For example,

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

The identity is a special case of Lagrange's identity. When used in conjunction with one of Fermat's theorems this proves that the product of a square and any number of primes of the form 4n + 1 is a sum of two squares.

Brahmagupta proved and used a more general identity (the Brahmagupta identity), equivalent to

$\begin{align} \left(a^2 + nb^2\right)\left(c^2 + nd^2\right) & {}= \left(ac-nbd\right)^2 + n\left(ad+bc\right)^2 & & & (3) \\ & {}= \left(ac+nbd\right)^2 + n\left(ad-bc\right)^2, & & & (4) \end{align}$

This shows that, for any fixed n, the set of all numbers of the form x² + n y² is closed under multiplication.

The identity holds in the ring of integers, the ring of rational numbers and, more generally, any commutative ring (note that n could then be either an element of the ring or an ordinary integer, if multiplication by an integer is defined by repeatedly adding a ring element or its opposite).

History

The identity is actually first found in Diophantus' Arithmetica (III, 19), of the third century A.D. It was rediscovered by Brahmagupta (598–668), an Indian mathematician and astronomer, who generalized it (to the Brahmagupta identity) and used it in his study of what is now called Pell's equation. His Brahmasphutasiddhanta was translated from Sanskrit into Arabic by Mohammad al-Fazari, and was subsequently translated into Latin in 1126. The identity later appeared in Fibonacci's Book of Squares in 1225.

Related identities

Analogous identities are Euler's four-square related to quaternions, and Degen's eight-square derived from the octonions which has connections to Bott periodicity. There is also Pfister's sixteen-square identity, though it is no longer bilinear.

Relation to complex numbers

If a, b, c, and d are real numbers, this identity is equivalent to the multiplication property for absolute values of complex numbers namely that:

$| a+bi | | c+di | = | (a+bi)(c+di) | \,$

since

$| a+bi | | c+di | = | (ac-bd)+i(ad+bc) |,\,$

by squaring both sides

$| a+bi |^2 | c+di |^2 = | (ac-bd)+i(ad+bc) |^2,\,$

and by the definition of absolute value,

$(a^2+b^2)(c^2+d^2)= (ac-bd)^2+(ad+bc)^2. \,$

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) = a^2 + b^2 \text{ and }N(c+di) = c^2 + d^2, \,$

and also

$N((a+bi)(c+di)) = N((ac-bd)+i(ad+bc)) = (ac-bd)^2 + (ad+bc)^2. \,$

Therefore the identity is saying that

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

Application to Pell's equation

In its original context, Brahmagupta applied his discovery (the Brahmagupta identity) to the solution of Pell's equation, namely x² − Ny² = 1. Using the identity in the more general form

$(x_1^2 - Ny_1^2)(x_2^2 - Ny_2^2) = (x_1x_2 + Ny_1y_2)^2 - N(x_1y_2 + x_2y_1)^2, \,$

he was able to "compose" triples (x₁, y₁, k₁) and (x₂, y₂, k₂) that were solutions of x² − Ny² = k, to generate the new triple

$(x_1x_2 + Ny_1y_2 \,,\, x_1y_2 + x_2y_1 \,,\, k_1k_2).$

Not only did this give a way to generate infinitely many solutions to x² − Ny² = 1 starting with one solution, but also, by dividing such a composition by k₁k₂, integer or "nearly integer" solutions could often be obtained. The general method for solving the Pell equation given by Bhaskara II in 1150, namely the chakravala (cyclic) method, was also based on this identity.

See also

• Brahmagupta matrix
• Indian mathematics
• List of Indian mathematicians
• Euler's four-square identity

External links

• Brahmagupta's identity at PlanetMath
• Brahmagupta Identity on MathWorld
• A Collection of Algebraic Identities