Identité des huit carrés de Degen

Si les a_i et les b_j sont des entiers, des nombres réels ou complexes, ou plus généralement des éléments d'un anneau commutatif, on a :

${\displaystyle (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})=\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}+\,}$

${\displaystyle (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}\,}$

Cette identité, découverte par Carl Ferdinand Degen (da) vers 1818, fut indépendamment redécouverte par John Thomas Graves (en)[1] (1843) et Arthur Cayley[1] (1845). Ces derniers l'obtinrent alors qu'ils étudiaient une extension des quaternions, les octonions ; cette identité signifie, en effet, que la norme des octonions est multiplicative, c'est-à-dire que la norme du produit de deux octonions est égale au produit de leurs normes : ${\displaystyle \|uv\|=\|u\|\|v\|}$. Des identités analogues sont liées à la norme des quaternions (l'identité des quatre carrés d'Euler) et au module des nombres complexes (l'identité de Brahmagupta). Cependant, en 1898, Adolf Hurwitz montra qu'on ne pouvait pas utiliser les sédénions pour généraliser encore ces formules, et en fait qu'il n'existait d'identité bilinéaire pour aucun autre nombre de carrés que 1, 2, 4 et 8[1].

On remarquera que chaque quadrant se ramène à une variante de l'identité des quatre carrés d'Euler :

${\displaystyle (a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2})=\,}$

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

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

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

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

et

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

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

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

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

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

et de même pour les deux autres quadrants.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Degen's eight-square identity » (voir la liste des auteurs).
• (en) Tito Piezas III, « Degen's eight-square identity », sur MathWorld