Identité des quatre carrés d'Euler

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 :

\begin{align}(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_3 b_3-a_4 b_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~.\end{align}

Le mathématicien suisse Leonhard Euler donne cette identité le 4 mai 1748[1], et de nouveau le 12 avril 1749[2], dans deux lettres à Christian Goldbach. Elle se démontre facilement par simple calcul d'algèbre élémentaire et est valide pour a_k et b_k appartenant à n'importe quel anneau commutatif. Dans le cas particulier où cet anneau est le corps des réels, on dispose d'une démonstration plus élégante : l'identité exprime le fait que la norme du produit de deux quaternions est égale au produit de leurs normes, de la même manière que l'identité de Brahmagupta pour les nombres complexes.

L'identité fut utilisée par Lagrange pour prouver son théorème des quatre carrés. D'ailleurs Euler, lorsqu'il la communique à Goldbach pour la deuxième fois, décrit une tentative de preuve de ce théorème (il tente d'appliquer la même méthode qui lui a livré la première preuve du théorème des deux carrés, dont le résumé se trouve au début de la même lettre). L'identité est utilisée en arithmétique modulaire.

Notes et références[modifier | modifier le code]

  1. (de) Lettre CXV d'Euler à Goldbach
  2. (de) Lettre CXXV d'Euler à Goldbach

Article connexe[modifier | modifier le code]

Identité des huit carrés de Degen