Рассмотрим квадратичную форму
.
Выпишем ее матрицу и вектор-столбец переменных.
;
.
Тогда квадратичную форму можно представить в виде
- матричная
запись квадратичной формы.
Пример 1. R.
.
,
.
=.
Определение 1. Если в некотором базисе квадратичная форма не содержит смешанных произведений переменных, т.е.
,
то этот базис называют
каноническим базисом данной квадратичной формы, а вид называют каноническим
видом данной квадратичной формы.
Определение 2. Нормированием вектора называется нахождение вектора того же направления единичной длины.
.
Теорема 1. Любую симметричную матрицу можно представить в виде A=UTDU, где D - диагональная матрица, у которой на диагонали расположены собственные числа матрицы А; U - матрица, составленная из нормированных собственных векторов матрицы А. Каждый вектор является столбцом.
Следовательно, любую квадратичную форму можно привести к каноническому виду с помощью некоторого ортогонального преобразования координат. Для всякой квадратичной формы существует канонический базис.
.
Если ввести новые переменные по
формуле , то квадратичная форма примет следующий вид:
- канонический
вид квадратичной формы.
Из данного равенства видно, что коэффициентами в каноническом виде являются собственные числа матрицы А.
Теорема 2 (закон инерции квадратичных форм). В любом каноническом виде квадратичной формы количество положительных и отрицательных коэффициентов постоянно.
Пример 2. Приведем квадратичную форму
к каноническому
виду. Выпишем ее матрицу.
.
Найдем собственные значения матрицы квадратичной формы. Решим характеристическое уравнение.
,
,
,
Корни данного уравнения являются делителями свободного члена. Разложим его на простые множители и подберем один из корней.
-
является корнем. Разделим многочлен на линейный множитель l-3.
Найдем корни остатка.
Получили три собственных значения матрицы.
Найдем соответствующие им собственные векторы. Собственный вектор,
соответствующий собственному значению l=3, найдем из
уравнения .
,
,
Пусть х3= -1,
или
Итак, собственному значению соответствует собственный вектор
.
Пронормируем собственный вектор.
.
Аналогично
находятся векторы . Базис, составленный из векторов
, является каноническим для данной квадратичной формы.
,
,
.
В этом базисе квадратичная форма имеет вид .
Формула преобразования координат имеет вид , где
.