Электронная библиотека >> Алгебра и теория чисел

7.3. Ортогональное преобразование квадратичной формы к каноническому виду

Теорема (о приведении действительной квадратичной формы к главным осям). Всякая действительная квадратичная форма некоторым ортогональным преобразованием неизвестных может быть приведена к каноническому виду.

Доказательство. Применим метод индукции по числу n переменных. При n=1 утверждение очевидно. Допустим, что утверждение теоремы справедливо для квадратичной формы от n-1 переменных. Рассмотрим квадратичную форму от n переменных: . Пусть - нормированный собственный вектор матрицы С, соответствующий собственному значению . Примем за первый столбец ортогональной матрицы

Матрица преобразованной квадратичной формы есть . Так как первый столбец матрицы Т есть собственный вектор , то . Тогда

так как столбцы матрицы Т ортогональны и нормированы.

Матрица симметрична, поэтому имеет вид

где - симметричная матрица.

Рассмотрим квадратичную форму с матрицей В. В силу индуктивного предположения найдется ортогональная матрица Q такая, что

Положим

Матрица ортогональна, так как ее первый столбец нормирован и ортогонален остальным столбцам, а остальные столбцы попарно ортогональны и нормированы в силу ортогональности матрицы Q. Тогда

Теорема доказана.

Ортогональное преобразование, приводящее квадратичную форму к каноническому виду, определяется не однозначно. Однако из доказанной теоремы следует, что каково бы ни было ортогональное преобразование, приводящее к каноническому виду квадратичную форму , коэффициенты этого канонического вида равны собственным числам матрицы С, причем каждое собственное число повторяется столько раз, какова его кратность как корня характеристического уравнения.