TOPICS
Search

Degen's Eight-Square Identity


Degen's eight-square identity is the incredible polynomial identity

 (a^2+b^2+c^2+d^2+e^2+f^2+g^2+h^2)(m^2+n^2+o^2+p^2+q^2+r^2+s^2+t^2) 
=(am-bn-co-dp-eq-fr-gs-ht)^2+(bm+an+do-cp+fq-er-hs+gt)^2+(cm-dn+ao+bp+gq+hr-es-ft)^2+(dm+cn-bo+ap+hq-gr+fs-et)^2+(em-fn-go-hp+aq+br+cs+dt)^2+(fm+en-ho+gp-bq+ar-ds+ct)^2+(gm+hn+eo-fp-cq+dr+as-bt)^2+(hm-gn+fo+ep-dq-cr+bs+at)^2
(1)

found around 1818 by the Danish mathematician Ferdinand Degen (1766-1825). It was subsequently independently rediscovered twice: in 1843 by the jurist and mathematician John Thomas Graves (1806-1870) and in 1845 by Arthur Cayley (1821-1895). Since the identity follows from the fact that the norm of the product of two octonions is the product of the norms, the octonions are sometimes known as the Cayley numbers.

Given a sum of n squares identity of the form

 (x_1^2+...+x_n^2)(y_1^2+...+y_n^2)=z_1^2+...+z_n^2,
(2)

where the z_i are bilinear over the independent variables x_i and y_i, Adolf Hurwitz proved in 1898 that such identities are possible iff n=1, 2, 4, 8. The case n=2 corresponds to the identity

 (a_1^2+a_2^2)(b_1^2+b_2^2)=(a_2b_1+a_1b_2)^2+(a_1b_1-a_2b_2)^2
(3)

and the case n=4 corresponds to the Euler four-square identity and n=8 to Degen's eight-square identity.

If the z_i are just rational functions of the x_i and y_i, then Albrecht Pfister proved in 1967 that identities can be found for n any power of 2.


See also

Euler Four-Square Identity, Fibonacci Identity, Octonion

This entry contributed by Tito Piezas III

Explore with Wolfram|Alpha

References

Piezas, T. "The Degen-Graves-Cayley Eight-Square Identity." http://www.geocities.com/titus_piezas/DegenGraves1.htm.

Referenced on Wolfram|Alpha

Degen's Eight-Square Identity

Cite this as:

Piezas, Tito III. "Degen's Eight-Square Identity." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/DegensEight-SquareIdentity.html

Subject classifications