# Brahmagupta–Fibonacci identity

__: Expression of a product of sums of squares as a sum of squares__

**Short description**In algebra, the **Brahmagupta–Fibonacci identity**^{[1]}^{[2]} expresses the product of two sums of two squares as a sum of two squares in two different ways. Hence the set of all sums of two squares is closed under multiplication. Specifically, the identity says

- [math]\displaystyle{ \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} }[/math]

For example,

- [math]\displaystyle{ (1^2 + 4^2)(2^2 + 7^2) = 26^2 + 15^2 = 30^2 + 1^2. }[/math]

The identity is also known as the **Diophantus identity**,^{[3]}^{[4]} as it was first proved by Diophantus of Alexandria. It is a special case of Euler's four-square identity, and also of Lagrange's identity.

Brahmagupta proved and used a more general Brahmagupta identity, stating

- [math]\displaystyle{ \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} }[/math]

This shows that, for any fixed *A*, the set of all numbers of the form *x*^{2} + *Ay*^{2} is closed under multiplication.

These identities hold for all integers, as well as all rational numbers; more generally, they are true in any commutative ring. All four forms of the identity 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*, and likewise with (3) and (4).

## History

The identity first appeared 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's 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.^{[5]} The identity was introduced in western Europe in 1225 by Fibonacci, in *The Book of Squares*, and, therefore, the identity has been often attributed to him.

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

These identities are strongly related with Hurwitz's classification of composition algebras.

## Multiplication of complex numbers

If *a*, *b*, *c*, and *d* are real numbers, the Brahmagupta–Fibonacci identity is equivalent to the multiplicativity property for absolute values of complex numbers:

- [math]\displaystyle{ | a+bi | \cdot | c+di | = | (a+bi)(c+di) | . }[/math]

This can be seen as follows: expanding the right side and squaring both sides, the multiplication property is equivalent to

- [math]\displaystyle{ | a+bi |^2 \cdot | c+di |^2 = | (ac-bd)+i(ad+bc) |^2, }[/math]

and by the definition of absolute value this is in turn equivalent to

- [math]\displaystyle{ (a^2+b^2)\cdot (c^2+d^2)= (ac-bd)^2+(ad+bc)^2. }[/math]

An equivalent calculation in the case that the variables *a*, *b*, *c*, and *d* are rational numbers shows the identity may be interpreted as the statement that the norm in the field **Q**(*i*) is multiplicative: the norm is given by

- [math]\displaystyle{ N(a+bi) = a^2 + b^2, }[/math]

and the multiplicativity calculation is the same as the preceding one.

## Application to Pell's equation

In its original context, Brahmagupta applied his discovery of this identity to the solution of Pell's equation *x*^{2} − *Ay*^{2} = 1. Using the identity in the more general form

- [math]\displaystyle{ (x_1^2 - Ay_1^2)(x_2^2 - Ay_2^2) = (x_1x_2 + Ay_1y_2)^2 - A(x_1y_2 + x_2y_1)^2, }[/math]

he was able to "compose" triples (*x*_{1}, *y*_{1}, *k*_{1}) and (*x*_{2}, *y*_{2}, *k*_{2}) that were solutions of *x*^{2} − *Ay*^{2} = *k*, to generate the new triple

- [math]\displaystyle{ (x_1x_2 + Ay_1y_2 \,,\, x_1y_2 + x_2y_1 \,,\, k_1k_2). }[/math]

Not only did this give a way to generate infinitely many solutions to *x*^{2} − *Ay*^{2} = 1 starting with one solution, but also, by dividing such a composition by *k*_{1}*k*_{2}, 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.^{[6]}

## Writing integers as a sum of two squares

When used in conjunction with one of Fermat's theorems, the Brahmagupta–Fibonacci identity proves that the product of a square and any number of primes of the form 4*n* + 1 is a sum of two squares.

## See also

- Brahmagupta matrix
- Indian mathematics
- List of Indian mathematicians
- Sum of two squares theorem

## Notes

- ↑ "Brahmagupta-Fibonacci Identity". http://www.cut-the-knot.org/m/Algebra/BrahmaguptaFibonacci.shtml.
- ↑ Marc Chamberland:
*Single Digits: In Praise of Small Numbers*. Princeton University Press, 2015, ISBN:9781400865697, p. 60 - ↑ Stillwell 2002, p. 76
- ↑ Daniel Shanks, Solved and unsolved problems in number theory, p.209, American Mathematical Society, Fourth edition 1993.
- ↑ Joseph 2000, p. 306
- ↑ Stillwell 2002, pp. 72–76

## References

- Joseph, George G. (2000),
*The Crest of the Peacock: The Non-European Roots of Mathematics*(2nd ed.), Princeton University Press, p. 306, ISBN 978-0-691-00659-8, https://books.google.com/books?id=c-xT0KNJp0cC - Stillwell, John (2002),
*Mathematics and its history*(2nd ed.), Springer, pp. 72–76, ISBN 978-0-387-95336-6, https://books.google.com/books?id=WNjRrqTm62QC&pg=PA72

## External links

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

Original source: https://en.wikipedia.org/wiki/Brahmagupta–Fibonacci identity.
Read more |