К каноническому виду
Квадратичной формой от n -переменных называется сумма следующего вида . (3.1) Запись вида (3.1) называется координатной формой записи квадратичной формы. Симметрическая матрица ( при всех ) называется матрицей квадратичной формы. Если обозначить векторы , , то квадратичную форму (3.1) можно представить в виде . (3.2) Запись вида (3.2) называется матричной формой записи квадратичной формы (3.1). Рангом квадратичной формы (3.1) называется ранг ее матрицы. Форма называется невырожденной (вырожденной), если матрица этой формы является невырожденной (вырожденной) матрицей. Если имеется некоторое невырожденное линейное преобразование , (3.3) где – невырожденная матрица, , то квадратичная форма (3.2) примет вид , . (3.4) Квадратичная форма называется канонической, если она не содержит парных произведений вида разных переменных, а содержит только квадраты переменных ( называются каноническими переменными): . (3.5) Любая квадратичная форма с помощью некоторого неособенного линейного преобразования может быть приведена к каноническому виду. Метод Лагранжа (последовательного выделения полных квадратов) приведения квадратичной формы к каноническому виду состоит в следующем. Если , то группируя слагаемые, содержащие переменную , получаем . Выделяя полный квадрат по в сумме , имеем . Обозначая , получаем , (3.6) где – квадратичная форма от (n –1)-переменных . Выделяем в форме полный квадрат по переменной : , где , – квадратичная форма от (n –2)-переменных . И так далее. В результате такого алгоритма (последовательного выделения полных квадратов) получим канонический вид (3.5). Задание 20. Привести квадратичную форму к каноническому виду методом Лагранжа, указать соответствующее неособенное линейное преобразование. Сделать проверку.
|