Lagrange's identity is the algebraic identity
|
(1)
|
(Mitrinović 1970, p. 41; Marsden and Tromba 1981, p. 57; Gradshteyn and Ryzhik 2000, p. 1049).
Lagrange's identity is a special case of the Binet-Cauchy identity, and Cauchy's inequality in dimensions follows from it.
It can be coded in the Wolfram Language
as follow.
LagrangesIdentity[n_] := Module[
{aa = Array[a, n], bb = Array[b, n]},
Total[(aa^2) Plus @@ (bb^2)] ==
Total[(a[#1]b[#2] - a[#2]b[#1])^2& @@@
Subsets[Range[n], {2}]] + (aa.bb)^2
]
Plugging in gives the and identities
A vector quadruple product formula known
as Lagrange's identity given by
|
(5)
|
(Bronshtein and Semendyayev 2004, p. 185).
A related identity also known as Lagrange's identity is given by defining and to be -dimensional vectors for , ..., . Then
|
(6)
|
(Greub 1978, p. 155), where denotes a cross product,
denotes a dot product, and is the determinant of the
matrix .
See also
Binet-Cauchy Identity,
Cauchy's Inequality,
Vector
Triple Product,
Vector Quadruple Product
Explore with Wolfram|Alpha
References
Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, p. 32,
1985.Bronshtein, I. N.; Semendyayev, K. A.; Musiol, G.; and
Muehlig, H. Handbook
of Mathematics, 4th ed. New York: Springer-Verlag, 2004.Gradshteyn,
I. S. and Ryzhik, I. M. Tables
of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press,
2000.Griffiths, D. J. Introduction
to Electrodynamics. Englewood Cliffs, NJ: Prentice-Hall, p. 13, 1981.Greub,
W. Multilinear
Algebra, 2nd ed. New York: Springer-Verlag, 1978.Marsden, J. E.
and Tromba, A. J. Vector
Calculus, 2nd ed. New York: W. H. Freeman, 1981.Mitrinović,
D. S. Analytic
Inequalities. New York: Springer-Verlag, 1970.Morse, P. M.
and Feshbach, H. Methods
of Theoretical Physics, Part I. New York: McGraw-Hill, p. 114, 1953.Referenced
on Wolfram|Alpha
Lagrange's Identity
Cite this as:
Weisstein, Eric W. "Lagrange's Identity."
From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/LagrangesIdentity.html
Subject classifications