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 the sum of eight squares. Namely:

(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}+a_{7}^{2}+a_{8}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}+b_{5}^{2}+b_{6}^{2}+b_{7}^{2}+b_{8}^{2})=\,

(a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4}-a_{5}b_{5}-a_{6}b_{6}-a_{7}b_{7}-a_{8}b_{8})^{2}+\,

(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3}+a_{5}b_{6}-a_{6}b_{5}-a_{7}b_{8}+a_{8}b_{7})^{2}+\,

(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2}+a_{5}b_{7}+a_{6}b_{8}-a_{7}b_{5}-a_{8}b_{6})^{2}+\,

(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1}+a_{5}b_{8}-a_{6}b_{7}+a_{7}b_{6}-a_{8}b_{5})^{2}+\,

(a_{1}b_{5}-a_{2}b_{6}-a_{3}b_{7}-a_{4}b_{8}+a_{5}b_{1}+a_{6}b_{2}+a_{7}b_{3}+a_{8}b_{4})^{2}+\,

(a_{1}b_{6}+a_{2}b_{5}-a_{3}b_{8}+a_{4}b_{7}-a_{5}b_{2}+a_{6}b_{1}-a_{7}b_{4}+a_{8}b_{3})^{2}+\,

(a_{1}b_{7}+a_{2}b_{8}+a_{3}b_{5}-a_{4}b_{6}-a_{5}b_{3}+a_{6}b_{4}+a_{7}b_{1}-a_{8}b_{2})^{2}+\,

(a_{1}b_{8}-a_{2}b_{7}+a_{3}b_{6}+a_{4}b_{5}-a_{5}b_{4}-a_{6}b_{3}+a_{7}b_{2}+a_{8}b_{1})^{2}\,

First discovered by Carl Ferdinand Degen around 1818, the identity was independently rediscovered by John Thomas Graves (1843) and Arthur Cayley (1845). The latter two derived it while working on an extension of quaternions called octonions. In algebraic terms the identity means that the norm of product of two octonions equals the product of their norms: $\|ab\|=\|a\|\|b\|$ . Similar statements are true for quaternions (Euler's four-square identity), complex numbers (the Brahmagupta–Fibonacci two-square identity) and real numbers. In 1898 Adolf Hurwitz proved that there is no similar bilinear identity for 16 squares (sedenions) or any other number of squares except for 1,2,4, and 8. However, in the 1960s, H. Zassenhaus, W. Eichhorn, and A. Pfister (independently) showed there can be a non-bilinear identity for 16 squares.

Note that each quadrant reduces to a version of Euler's four-square identity:

(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_{3}b_{3}-a_{4}b_{4})^{2}+\,

(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3})^{2}+\,

(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2})^{2}+\,

(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1})^{2}\,

and similarly for the other three quadrants. By Pfister's theorem, a different sort of eight-square identity can be given where the $z_{i}$ , introduced below, are non-bilinear and merely rational functions of the $x_{i},y_{i}$ . Thus,

(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}+x_{5}^{2}+x_{6}^{2}+x_{7}^{2}+x_{8}^{2})(y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2}+y_{5}^{2}+y_{6}^{2}+y_{7}^{2}+y_{8}^{2})=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2}+z_{5}^{2}+z_{6}^{2}+z_{7}^{2}+z_{8}^{2}

where,

z_{1}=x_{1}y_{1}-x_{2}y_{2}-x_{3}y_{3}-x_{4}y_{4}+u_{1}y_{5}-u_{2}y_{6}-u_{3}y_{7}-u_{4}y_{8}

z_{2}=x_{2}y_{1}+x_{1}y_{2}+x_{4}y_{3}-x_{3}y_{4}+u_{2}y_{5}+u_{1}y_{6}+u_{4}y_{7}-u_{3}y_{8}

z_{3}=x_{3}y_{1}-x_{4}y_{2}+x_{1}y_{3}+x_{2}y_{4}+u_{3}y_{5}-u_{4}y_{6}+u_{1}y_{7}+u_{2}y_{8}

z_{4}=x_{4}y_{1}+x_{3}y_{2}-x_{2}y_{3}+x_{1}y_{4}+u_{4}y_{5}+u_{3}y_{6}-u_{2}y_{7}+u_{1}y_{8}

z_{5}=x_{5}y_{1}-x_{6}y_{2}-x_{7}y_{3}-x_{8}y_{4}+x_{1}y_{5}-x_{2}y_{6}-x_{3}y_{7}-x_{4}y_{8}

z_{6}=x_{6}y_{1}+x_{5}y_{2}+x_{8}y_{3}-x_{7}y_{4}+x_{2}y_{5}+x_{1}y_{6}+x_{4}y_{7}-x_{3}y_{8}

z_{7}=x_{7}y_{1}-x_{8}y_{2}+x_{5}y_{3}+x_{6}y_{4}+x_{3}y_{5}-x_{4}y_{6}+x_{1}y_{7}+x_{2}y_{8}

z_{8}=x_{8}y_{1}+x_{7}y_{2}-x_{6}y_{3}+x_{5}y_{4}+x_{4}y_{5}+x_{3}y_{6}-x_{2}y_{7}+x_{1}y_{8}

and,

u_{1}={\frac {(ax_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2})x_{5}-2x_{1}(bx_{1}x_{5}+x_{2}x_{6}+x_{3}x_{7}+x_{4}x_{8})}{c}}

u_{2}={\frac {(x_{1}^{2}+ax_{2}^{2}+x_{3}^{2}+x_{4}^{2})x_{6}-2x_{2}(x_{1}x_{5}+bx_{2}x_{6}+x_{3}x_{7}+x_{4}x_{8})}{c}}

u_{3}={\frac {(x_{1}^{2}+x_{2}^{2}+ax_{3}^{2}+x_{4}^{2})x_{7}-2x_{3}(x_{1}x_{5}+x_{2}x_{6}+bx_{3}x_{7}+x_{4}x_{8})}{c}}

u_{4}={\frac {(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+ax_{4}^{2})x_{8}-2x_{4}(x_{1}x_{5}+x_{2}x_{6}+x_{3}x_{7}+bx_{4}x_{8})}{c}}

with,

a=-1,\;\;b=0,\;\;c=x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}

Incidentally, the $u_{i}$ obey the identity,

u_{1}^{2}+u_{2}^{2}+u_{3}^{2}+u_{4}^{2}=x_{5}^{2}+x_{6}^{2}+x_{7}^{2}+x_{8}^{2}

External links

This article is issued from Wikipedia - version of the 10/18/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Degen's eight-square identity

See also

External links