A method for reducing a quadratic form (cf. also Quadratic forms, reduction of) to a sum of squares, given by J.L. Lagrange in 1759. Suppose one is given a quadratic form
in variables , with coefficients from a field of characteristic . It is required to reduce this form to the canonical form
by means of a non-singular linear transformation of the variables. Lagrange's method consists in the following. One may assume that not all the coefficients in (1) are zero. Therefore, two cases are possible.
1) For some , , the diagonal coefficient . Then
where the form does not contain the variable .
2) If all the , but , then
where the form does not contain the two variables and . The forms in square brackets in (4) are linearly independent. By using transformations of the form (3) and (4), after finitely many steps one can reduce the form (1) to a sum of squares of linearly independent linear forms. By means of partial derivatives the formulas (3) and (4) can be written as
|||F.R. [F.R. Gantmakher] Gantmacher, "The theory of matrices" , 1 , Chelsea, reprint (1977) (Translated from Russian) MR1657129 MR0107649 MR0107648 Zbl 0927.15002 Zbl 0927.15001 Zbl 0085.01001|
|||A.G. Kurosh, "Higher algebra" , MIR (1972) (Translated from Russian) MR0945393 MR0926059 MR0778202 MR0759341 MR0628003 MR0384363 Zbl 0237.13001|
|||P.S. Aleksandrov, "Lectures on analytical geometry" , Moscow (1968) (In Russian) MR0244836|
See also Law of inertia.
Lagrange method. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Lagrange_method&oldid=24094