Loiter (flight)

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 Ferdinand Degen (Danish) 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: $\Vert ab\Vert =\Vert a\Vert \Vert b\Vert$. 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$ 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{(a{x}_1^2+x_2^2+x_3^2+x_4^2)x_5-2x_1(b{x}_1{x}_5+x_2{x}_6+x_3{x}_7+x_4{x}_8)}{c}$

$u_2=\frac{(x_1^2+a{x}_2^2+x_3^2+x_4^2)x_6-2x_2(x_1{x}_5+b{x}_2{x}_6+x_3{x}_7+x_4{x}_8)}{c}$

$u_3=\frac{(x_1^2+x_2^2+a{x}_3^2+x_4^2)x_7-2x_3(x_1{x}_5+x_2{x}_6+b{x}_3{x}_7+x_4{x}_8)}{c}$

$u_4=\frac{(x_1^2+x_2^2+x_3^2+a{x}_4^2)x_8-2x_4(x_1{x}_5+x_2{x}_6+x_3{x}_7+b{x}_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$

See also

• Pfister's sixteen-square identity
• Cayley–Dickson construction
• Hypercomplex number
• Latin square

External links

• Degen's eight-square identity on MathWorld
• The Degen–Graves–Cayley Eight-Square Identity
• Pfister's 16-Square Identity