# Brahmagupta–Fibonacci identity

Brahmagupta–Fibonacci identity

In algebra, Brahmagupta's identity, also sometimes called Fibonacci's identity, implies that the product of two sums 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. The identity is a special case ("n" = 2) of Lagrange's identity.

Specifically:

:

For example,

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

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".

This identity holds in both the ring of integers and the ring of rational numbers, and more generally in any commutative ring.

In the integer case this identity finds applications in number theory for example when used in conjunction with one of Fermat's theorems it proves that the product of a square and any number of primes of the form 4"n" + 1 is also a sum of two squares.

History

The identity was discovered by Brahmagupta (598&ndash;668), an Indian mathematician and astronomer. His "Brahmasphutasiddhanta" was translated from Sanskrit into Arabic by Mohammad al-Fazari, which was subsequently translated into Latin in 1126. [George G. Joseph (2000). "The Crest of the Peacock", p. 306. Princeton University Press. ISBN 0691006598.] The identity later appeared in Fibonacci's "Book of Squares" in 1225.

Related identities

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

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 | = | \left(a+bi\right)\left(c+di\right) | ,$

since

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

by squaring both sides

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

and by the definition of absolute value,

:$\left(a^2+b^2\right)\left(c^2+d^2\right)= \left(ac-bd\right)^2+\left(ad+bc\right)^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\left(a+bi\right) = a^2 + b^2 ext\left\{ and \right\}N\left(c+di\right) = c^2 + d^2, ,$

and also

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

Therefore the identity is saying that

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

ee also

* Brahmagupta matrix
* Indian mathematics
* List of Indian mathematicians

References

* [http://planetmath.org/encyclopedia/BrahmaguptasIdentity.html Brahmagupta's identity at PlanetMath]
* [http://www.pballew.net/fiboiden.html Brahmagupta-Fibonacci identity]
* [http://mathworld.wolfram.com/BrahmaguptaIdentity.html Brahmagupta Identity] on MathWorld

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Brahmagupta — (audio|Brahmagupta pronounced.ogg|listen) (598–668) was an Indian mathematician and astronomer. Life and work Brahmagupta was born in 598 CE in Bhinmal city in the state of Rajasthan of northwest India. He likely lived most of his life in… …   Wikipedia

• Fibonacci — Infobox Scientist box width = 300px name = Leonardo of Pisa (Fibonacci) image width = 150px caption = Leonardo of Pisa, Fibonacci birth date = c. 1170 birth place = Pisa, Italy death date = c. 1250 death place = Pisa, Italy residence = Italy… …   Wikipedia

• Fibonacci's identity — In mathematics, the term Fibonacci s identity may refer either to* the Brahmagupta–Fibonacci identity in algebra, showing that the set of all sums of two squares is closed under multiplication; or to * the Cassini and Catalan identities on… …   Wikipedia

• Euler's four-square identity — In mathematics, Euler s four square identity says that the product of two numbers, each of which being a sum of four squares, is itself a sum of four squares. Specifically::(a 1^2+a 2^2+a 3^2+a 4^2)(b 1^2+b 2^2+b 3^2+b 4^2)=,::(a 1 b 1 a 2 b 2 a… …   Wikipedia

• Identidad de Brahmagupta — En matemática, la identidad de Brahmagupta enuncia que el producto de dos números, cada uno de los cuales es la suma de dos cuadrados, también es la suma de dos cuadrados. Específicamente: La identidad es cierta en cualquier anillo conmutativo,… …   Wikipedia Español

• Degen's eight-square identity — In mathematics, Degen s eight square identity establishes that the product of two numbers, each of which being a sum of eight squares, is itself a sum of eight squares. Namely …   Wikipedia

• List of Indian inventions — [ thumb|200px|right|A hand propelled wheel cart, Indus Valley Civilization (3000–1500 BCE). Housed at the National Museum, New Delhi.] [ 200px|thumb|Explanation of the sine rule in Yuktibhasa .] List of Indian inventions details significant… …   Wikipedia

• Proofs of Fermat's theorem on sums of two squares — Fermat s theorem on sums of two squares asserts that an odd prime number p can be expressed as: p = x^2 + y^2with integer x and y if and only if p is congruent to 1 (mod 4). The statement was announced by Fermat in 1640, but he supplied no proof …   Wikipedia

• List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

• List of mathematical identities — This page lists identities in the sense of mathematics, that is, identically true relations holding in algebra or between special functions.* Cassini s identity * Difference of two squares * Bézout s identity * Euler s identity * Vandermonde s… …   Wikipedia