- Lagrange's identity
In
algebra , Lagrange's identity is the identity:
which applies to any two sets {"a"1, "a"2, . . ., "an"} and {"b"1, "b"2, . . ., "bn"} of real or
complex number s (or more generally, elements of acommutative ring ). This identity is a special form of theBinet–Cauchy identity . For complex numbers it can also be written in the form:
involving the absolute value.
Since the right-hand side of the identity is clearly non-negative, it implies
Cauchy's inequality in the finite-dimensionalreal coordinate space and its complex counterpart .Lagrange's identity and exterior algebra
In terms of the
wedge product , Lagrange's identity can be written:
Hence, it can be seen as a formula which gives the length of the wedge product of two vectors, which is the area of the paralleogram they define, in terms of the dot products of the two vectors, as
:
Lagrange's identity and vector calculus
If "a" and "b" are vectors in , Lagrange's identity can be also written in terms of the
cross product anddot product ::
This is a special case of the multiplicativity of the norm in the
quaternion algebra::
Or more generally,
:
Lagrange's identity and calculus
In terms of the
Sturm-Liouville theory , Lagrange's identity can be writtenwhere , , and are functions of . and having continuous second derivatives on the interval . is Sturm-Liouville differential operators defined byProof
Algebraic form
The first version follows from the Binet-Cauchy identity by setting "ci" = "ai" and "di" = "bi". The second version follows by letting "ci" and "di" denote the
complex conjugate s of "ai" and "bi", respectively,Here is also a direct proof of the first version. The expansion of the first term on the left side isNumBlk|1=:|2=|3=|RawN=.which means that the product of a column of "a"s and a row of "b"s yields (a sum of elements of) a square of "ab"s which can be broken up into a diagonal and a pair of triangles on either side of the diagonal.
The second term on the left side of Lagrange's identity can be expanded like soNumBlk|1=:|2=|3=|RawN=.which means that a symmetric square can be broken up into its diagonal and a pair of equal triangles on either side of the diagonal.
To expand the summation on the right side of Lagrange's identity, first expand the square within the summation::Distribute the summation on the right side,:Now exchange the indices "i" and "j" of the second term on the right side, and permute the "b" factors of the third term, yielding
Back to the left side of Lagrange's identity: it has two terms, given in expanded form by Equations (3) and (4). The first term on the right side of Equation (4) ends up cancelling out the first term on the right side of Equation (3), yielding:which is the same as Equation (5), so Lagrange's identity is indeed an identity, "q. e. d.".
Replace , , and into the rule integration by partswe haveReplace , , and into the rule (6) again, we have:Replace (8) into (7), we get:From the definition (2), we can getReplace (9) into (10), we have:Rearrange terms of (11) then (1) is obtained. q.e.d.
See also
Brahmagupta-Fibonacci_identity References
Wikimedia Foundation. 2010.