8. Квадратичные формы

Определение: Однородный многочлен второй степени относительно переменных х₁ и х₂

Ф(х₁, х₂) = а₁₁

не содержащий свободного члена и неизвестных в первой степени называется квадратичной формой переменных х₁ и х₂.

Определение: Однородный многочлен второй степени относительно переменных х₁, х₂ и х₃

не содержащий свободного члена и неизвестных в первой степени называется квадратичной формой переменных х₁, х₂ и х₃.

Рассмотрим квадратичную форму двух переменных. Квадратичная форма имеет симметрическую матрицу А = . Определитель этой матрицы называется определителем квадратичной формы.

Пусть на плоскости задан ортогональный базис . Каждая точка плоскости имеет в этом базисе координаты х₁, х₂.

Если задана квадратичная форма Ф(х₁, х₂) = а₁₁, то ее можно рассматривать как функцию от переменных х₁ и х₂.

8.1. Приведение квадратичных форм к каноническому виду

Рассмотрим некоторое линейное преобразование А с матрицей .

Это симметрическое преобразование можно записать в виде:

y₁ = a₁₁x₁ + a₁₂x₂

y₂ = a₁₂x₁ + a₂₂x₂

где у₁ и у₂ – координаты вектора в базисе .

Очевидно, что квадратичная форма может быть записана в виде

Ф(х₁, х₂) = х₁у₁ + х₂у₂.

Как видно, геометрический смысл числового значения квадратичной формы Ф в точке с координатами х₁ их₂ – скалярное произведение .

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

Если в качестве базиса взять совокупность собственных векторов линейного преобразования, то в этом базисе матрица линейного преобразования имеет вид:

При переходе к новому базису от переменных х₁ и х₂ мы переходим к переменным и . Тогда:

Тогда .

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