Лекция 14 Квадратичные формы
| 
				 Определение квадратичной формы. Линейное преобразование неизвестных. Ранг формы. Основная теорема о квадратичных формах. Положительно определенные формы. Критерий Сильвестра. Приведение общего уравнения кривой второго порядка к каноническому виду  | 
14.1. Приведение квадратичной формы к каноническому виду
Определение 1.Квадратичной формой
от 
неизвестных
называется сумма вида
,
                    (14.1)
или развернуто
![]()
.
                        (14.2)
Матрица 
,
называетсяматрицей квадратичной
формы(14.1), а ее ранг – рангом формы
(14.1).
Если ранг формы равен 
,
форма называетсяневырожденной(в
этом случае ранг матрицы
равен
и матрица
невырожденная).
В (14.2) 
,
,
,
поэтому коэффициент при слагаемом
можно обозначить
,
т.е. допустить, что
.
Ввиду последнего равенства 
- симметрическая матрица.
Запишем квадратичную форму (14.1) в
матричном виде. Пусть 
,
тогда
и
.
                                    (14.3)
Действительно, по определению умножения матриц имеем
Далее
находим

и равенство (14.3) выполняется.
Определение 2.Линейным преобразованием
неизвестных называется такой переход
от системы  
неизвестных
к системе
неизвестных
,
при котором старые неизвестные выражаются
через новые линейно с некоторыми
коэффициентами:
(14.4)
Линейное преобразование (14.4) однозначно
определяется матрицей из коэффициентов
 
,
.
Систему равенств (14.4) можно записать в матричном виде
.
                     (14.5)
Определение 3.Линейное преобразование
неизвестных с матрицей  
называется невырожденным, если 
-невырожденная матрица.
Теорема
1.
Пусть
вслед за линейным преобразованием
(14.4) с матрицей 
выполняется
линейное преобразование 
с матрицей 
,
,
.
Результирующее преобразование будет
линейным с матрицей 
.
Доказательство. По условию
(14.6)
Подставив
в (14.4) выражения для 
,
,
из (14.6), получим линейные выражения для
через
, т.е. результат последовательного
выполнения двух линейных преобразований
неизвестных является линейным
преобразованием.
Далее
имеем 
,
.
Таким образом, результирующее
преобразование имеет матрицей
.
Пример 1. Вслед за линейным преобразованием

выполняется линейное преобразование

Найти матрицу результирующего
преобразования и выписать выражения 
через
.
Решение.Имеем
,
,
где
,
.
По теореме 1 матрица результирующего преобразования
,
и, таким образом, 

Утверждение 1. Для любых двух матриц А и В
.
Доказательство. Пусть
,
.
Обозначим
,
,
,
.По
определению произведения матриц 
.
Обозначим
.
По определению транспонированной
матрицы
.
Обозначим
 
.
Элемент
равен сумме произведений элементов
-ой
строки матрицы
на соответствующие элементы 
-го
столбца 
=
сумме произведений элементов 
-го
столбца 
на соответствующие элементы 
-й
строки 
,
и приходим к равенству
.
Таким
образом, 
,
т.е.
.
Теорема
2.
Квадратичная
форма от n
неизвестных с матрицей 
после
выполнения линейного преобразования
неизвестных с матрицей 
превращается в квадратичную форму от
новых неизвестных с матрицей
.
Доказательство. Пусть
 
(14.7)
и
,
,
.
В
соответствии с утверждением 1 
.
Подставим
и
в (14.7):
.
Матрица
симметрическая, так как 
![]()
.
Таким
образом, 
преобразовалась в квадратичную форму
от неизвестных 
с матрицей 
.
Докажем два вспомогательных утверждения.
Утверждение 2. Ранг произведения матриц не выше ранга сомножителей.
Доказательство. Достаточно провести доказательство для двух сомножителей.
Пусть
,
,
,
.
По определению произведения двух матриц
,
,
   (14.8)
,
,
……………………………….
,
или
,
т.е.
k-й
столбец матрицы 
является линейной комбинацией столбцов
матрицы
с коэффициентами
и система столбцов матрицы
линейно выражается через систему
столбцов матрицы
,
следовательно,
.
По
определению произведения матриц 
.
Аналогично,
фиксируя в (14.8) 
и придавая
значения
,
получаем, что 
-я
строка 
является линейной комбинацией строк
матрицы
и
.
Утверждение 2 доказано.
Утверждение
3.
Ранг
произведения произвольной матрицы
на
невырожденную квадратную
матрицу 
слева или справа равен рангу 
.
Доказательство.
Пусть
.
В  соответствии  с утверждением 2 
.
Умножим
последнее равенство на 
справа:
и
опять воспользуемся леммой 2: 
.
Отсюда 
.
Следствие из теоремы 2. Ранг квадратичной формы не изменяется при выполнении невырожденного линейного преобразования неизвестных.
Доказательство.
Пусть
-
матрица квадратичной формы
,
- матрица некоторого невырожденного
линейного преобразования неизвестных,
-
матрица квадратичной формы
после выполнения преобразования
.
По
теореме 2  
,
а в силу утверждения 3 
(
).
Определение 4.Каноническим видом
квадратичной формы
называют сумму квадратов неизвестных
с некоторыми коэффициентами.  
Замечание.Число отличных от нуля коэффициентов в каноническом виде квадратичной формы равно рангу формы.
В самом деле, пусть квадратичная форма
(14.9)
приведена некоторым невырожденным
линейным преобразованием неизвестных
к каноническому виду
,
                    (14.10)
где 
- новые неизвестные.
Пусть 
-
матрица квадратичной формы (14.9),
,
,
,
-  матрица квадратичной формы (14.10).
Матрица 
имеет следующий вид:
.
Согласно следствию из теоремы 2 
.
Утверждение, что
,
означает, что в матрице
на диагонали ровно
элементов отличны от нуля, тогда в
каноническом виде (14.10) ровно
слагаемых с коэффициентами, отличными
от нуля.
Теорема 3 (основная теорема о квадратичных формах). Всякая квадратичная форма может быть приведена некоторым невырожденным линейным преобразованием к каноническому виду.
Доказательство. Доказательство проведем индукцией по числу неизвестных.
При
имеем 
,
т.е.
- канонического вида.
Пусть
утверждение теоремы справедливо для
:
всякую квадратичную форму от 
неизвестного можно привести к каноническому
виду некоторым невырожденным линейным
преобразованием и пусть
-
квадратичная
форма от 
неизвестных 
.
Случай
1.
В форме 
присутствует квадрат хотя бы одного
неизвестного. Не ограничивая общности
рассуждений, можно считать, что
(в противном случае можно заново
перенумеровать неизвестные). Тогда
можно записать в виде
.
     (14.11)
Действительно,
![]()
,
и
в первое слагаемое в (14.11) вошли все члены
формы 
,
содержащие неизвестное
;
для того, чтобы (14.11) было справедливо,
пришлось добавить, а затем вычесть
несколько слагаемых, не содержащих
,
поэтому в (14.11)
- некоторая квадратичная форма от
неизвестных
.
 От
неизвестных  
перейдем к
по формулам
(14.12)
или
в матричной записи: 
,
где
.
Матрица
невырожденная, так как
,
следовательно,
и
.
Невырожденное
линейное преобразование неизвестных
приводит форму
к виду
.
               (14.13)
Квадратичная
форма 
- форма от
-го
неизвестного и по предположению индукции
найдется невырожденное линейное
преобразование неизвестных
,
приводящее ее к каноническому виду
.
Пусть это преобразование с матрицей
,
:

(
- невырожденная матрица и
).
Рассмотрим
теперь линейное преобразование
неизвестных 
:
(14.14)
или
в матричной записи 
,
где
.
Линейное
преобразование (14.14) невырожденное, так
как 
и приводит квадратичную форму (14.13) к
виду
(14.15)
Последовательное
выполнение линейных преобразований
(14.12) и (14.14) является линейным преобразованием
и имеет матрицей 
(теорема 1). Оно будет невырожденным, так
как
.
Линейное преобразование
приводит квадратичную форму
к каноническому виду (14.15).
Утверждение теоремы в случае 1 доказано.
Случай
2.
Квадратичная форма 
не содержит ни одного квадрата неизвестного
(
).
Совершим
невырожденное линейное преобразование,
приводящее к появлению квадратов
неизвестных. Пусть, например, 
:
.
        (14.16)
Положим

или
.
Линейное
преобразование 
невырожденное, так как
,
оно приведет квадратичную форму (14.16) к
виду
,
появились
квадраты неизвестных 
и
,
 свели к уже рассмотренному случаю 1.
Теорема 3 полностью доказана.
Пример 2. Квадратичную форму
![]()
привести к каноническому виду посредством невырожденного линейного преобразования.
Решение.Соберем все слагаемые,
содержащие неизвестное
,
и дополним их до полного квадрата
![]()
![]()
.
(Так как 
.)
Положим
(14.17)
и
от неизвестных 
форма
примет вид
.
Далее
положим 
(14.18)
и
от неизвестных 
форма
примет уже канонический вид
.
                      (14.19)
Разрешим
равенства (14.17) относительно 
:

Последовательное
выполнение линейных преобразований 
и
,
где
,
,
имеет матрицей
.
Линейное
преобразование неизвестных 
приводит
квадратичную форму 
к каноническому виду (14.19).
