Degen's eight-square identity

From Wikipedia, the free encyclopedia

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:

$(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_1b_1-a_2b_2-a_3b_3-a_4b_4-a_5b_5-a_6b_6-a_7b_7-a_8b_8)^2+\,$

$(a_2b_1+a_1b_2+a_4b_3-a_3b_4+a_6b_5-a_5b_6-a_8b_7+a_7b_8)^2+\,$

$(a_3b_1-a_4b_2+a_1b_3+a_2b_4+a_7b_5+a_8b_6-a_5b_7-a_6b_8)^2+\,$

$(a_4b_1+a_3b_2-a_2b_3+a_1b_4+a_8b_5-a_7b_6+a_6b_7-a_5b_8)^2+\,$

$(a_5b_1-a_6b_2-a_7b_3-a_8b_4+a_1b_5+a_2b_6+a_3b_7+a_4b_8)^2+\,$

$(a_6b_1+a_5b_2-a_8b_3+a_7b_4-a_2b_5+a_1b_6-a_4b_7+a_3b_8)^2+\,$

$(a_7b_1+a_8b_2+a_5b_3-a_6b_4-a_3b_5+a_4b_6+a_1b_7-a_2b_8)^2+\,$

$(a_8b_1-a_7b_2+a_6b_3+a_5b_4-a_4b_5-a_3b_6+a_2b_7+a_1b_8)^2\,$

First discovered by 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. However, in 1898 Adolf Hurwitz proved that there is no similar identity for 16 squares (sedenions) or any other number of squares except for 1,2,4 and 8.