Identité des huit carrés de Degen

Identité des huit carrés de Degen

En mathématiques, et plus précisément en algèbre, l’identité des huit carrés de Degen montre que le produit de deux nombres, dont chacun est une somme de huit carrés, est lui-même une somme de huit carrés.

Identité de Degen

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

(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_1b_2 + a_2b_1 + a_3b_4 - a_4b_3 + a_5b_6 - a_6b_5 - a_7b_8 + a_8b_7)^2+\,
(a_1b_3 - a_2b_4 + a_3b_1 + a_4b_2 + a_5b_7 + a_6b_8 - a_7b_5 - a_8b_6)^2+\,
(a_1b_4 + a_2b_3 - a_3b_2 + a_4b_1 + a_5b_8 - a_6b_7 + a_7b_6 - a_8b_5)^2+\,
(a_1b_5 - a_2b_6 - a_3b_7 - a_4b_8 + a_5b_1 + a_6b_2 + a_7b_3 + a_8b_4)^2+\,
(a_1b_6 + a_2b_5 - a_3b_8 + a_4b_7 - a_5b_2 + a_6b_1 - a_7b_4 + a_8b_3)^2+\,
(a_1b_7 + a_2b_8 + a_3b_5 - a_4b_6 - a_5b_3 + a_6b_4 + a_7b_1 - a_8b_2)^2+\,
(a_1b_8 - a_2b_7 + a_3b_6 + a_4b_5 - a_5b_4 - a_6b_3 + a_7b_2 + a_8b_1)^2\,

Cette identité, découverte par Ferdinand Degen (en) vers 1818, fut indépendamment redécouverte par John Thomas Graves (en) (1843) et Arthur Cayley (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 : \|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é analogue pour aucun autre nombre de carrés que 1,2,4 et 8.

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

(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_1b_1 - a_2b_2 - a_3b_3 - a_4b_4)^2+\,
(a_1b_2 + a_2b_1 + a_3b_4 - a_4b_3)^2+\,
(a_1b_3 - a_2b_4 + a_3b_1 + a_4b_2)^2+\,
(a_1b_4 + a_2b_3 - a_3b_2 + a_4b_1)^2\,,

et

(a_5^2+a_6^2+a_7^2+a_8^2)(b_1^2+b_2^2+b_3^2+b_4^2)=\,
(a_5b_1 + a_6b_2 + a_7b_3 + a_8b_4)^2+\,
(a_5b_2 - a_6b_1 + a_7b_4 - a_8b_3)^2+\,
(a_5b_3 - a_6b_4 - a_7b_1 + a_8b_2)^2+\,
(a_5b_4 + a_6b_3 - a_7b_2 - a_8b_1)^2\,,

et de même pour les deux autres quadrants.

Voir aussi


Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Identité des huit carrés de Degen de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Identité des quatre carrés d'Euler — En mathématiques, l identité des quatre carrés d Euler énonce que le produit de deux nombres, chacun étant la somme de quatre carrés, est lui même une somme de quatre carrés. Précisément : Le mathématicien suisse Leonhard Euler donne cette… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”