Concept

Identité de Lagrange

Résumé
En mathématiques, et plus particulièrement en algèbre, l'identité de Lagrange, découverte par Joseph Louis Lagrange, est une formule transformant un produit de sommes de carrés en une autre somme de carrés ; elle a d'importantes conséquences sur les propriétés du produit vectoriel. L'identité de Lagrange est : Elle s'applique à deux familles quelconques (a1, a2, ... , an) et (b1,b2, ... , bn) de nombres réels ou complexes, ou plus généralement à des éléments d'un anneau commutatif. C’est un cas particulier de l'identité de Binet-Cauchy. Dans le cas réel, on peut l'exprimer de façon plus compacte avec une notation vectorielle : où a et b sont des vecteurs de Rn. Cette expression peut s'étendre à Cn en remplaçant le produit scalaire par un produit hermitien et le carré d'un nombre complexe z par le carré de son module |z| : c'est-à-dire : Le membre de droite de l'égalité étant positif et ne s'annulant que lorsque a et b sont colinéaires, l'identité de Lagrange entraîne l'inégalité de Cauchy-Schwarz et son cas d'égalité dans le cas des espaces euclidiens (tels que Rn), et son analogue dans les espaces hermitiens (comme Cn). Les cas particuliers n = 2 et n = 3 ont des interprétations géométriques : pour n = 2, on obtient l'identité de Diophante (qui se généralise en celle de Brahmagupta) :ce qui correspond à la multiplicativité du module dans les complexes puisque, en posant et , cette formule équivaut à ; le cas n = 3 est discuté plus bas, dans la section consacrée au produit vectoriel. La preuve suivante correspond à un calcul algébrique direct, et est par conséquent valable dans tout anneau commutatif. Utilisant le produit extérieur, l'identité de Lagrange peut s'écrire : Elle donne donc la norme du produit extérieur de deux vecteurs en fonction de leur produit scalaire : En trois dimensions, l'identité de Lagrange dit que le carré de l'aire d'un parallélogramme est égal à la somme des carrés des aires de ses projections sur les trois plans de coordonnées.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (1)
Hilbert Spaces : Systèmes orthonormés
Explore les espaces de Hilbert, les systèmes orthonormés et l'inégalité de Bessel, en mettant l'accent sur leurs propriétés et leur importance.
Concepts associés (2)
Produit mixte
En géométrie, produit mixte est le nom que prend le déterminant dans un cadre euclidien orienté. Sa valeur absolue s'interprète comme le volume d'un parallélotope. Pour le produit mixte dans un espace euclidien orienté de dimension trois, voir l'article géométrie vectorielle. Soit E un espace euclidien orienté de dimension n. Soit B une base orthonormale directe de E. Le produit mixte de n vecteurs de E est défini par Il ne dépend pas de la base orthonormale directe B choisie.
Algèbre extérieure
En mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.