Предположим, что уравнение задает в пдск ХОУ эллипс. Если , то это уравнение не является каноническим уравнением эллипса, а потому, хотя О(0, 0) – его центр, оси симметрии не совпадают с ОХ и ОУ (рис. 43). Тем не менее, заметим, что если оси системы повернуть на
y x О Рис. 43 |
угол , то в системе эллипс будет задаваться каноническим уравнением: кривая симметрична относительно и. Найдем линейное преобразование, соответствующее этому повороту. Матрица называется матрицей квадратичной формы (3.30). |
Пусть .
Вычислим
.
Таким образом, квадратичная форма может быть записана в матричном виде:
(3.31)
Пусть – координаты точек плоскости в системе , а – координаты точек плоскости в новой системе , где кривая задается каноническим уравнением. Переход от “старых” координат к “новым” будем искать в виде
. (3.32)
(3.32) – ортогональное линейное преобразование с матрицей
; .
По определению ортогональной матрицы
(3.33)
(В результате ортогонального преобразования не происходит изменение площадей фигур, то есть фигуры не деформируются.)
Чтобы узнать, как изменится матрица квадратичной формы в результате линейного преобразования (3.32), подставим (3.32) в (3.31): (свойство 5 умножения матриц) (свойство 2 умножения матриц и равенство (3.33)) – матрица новой квадратичной формы.
Так как в “новой” системе координат кривая должна задаваться каноническим уравнением, то есть в нем должно отсутствовать произведение координат , то имеет вид: , где – неизвестные числа. Умножим равенство на матрицу слева. Так как , то получим:
.
По определению равных матриц имеем:
, (3.34)
. (3.35)
Системы уравнений (3.34), (3.35) – линейные и однородные. Они имеют нетривиальное решение, если их определители равны 0.
.
Это означает, что и являются решениями уравнения
. (3.36)
Уравнение (3.36) называется характеристическим уравнением матрицы (характеристическим уравнением квадратичной формы). Его решения и называются собственными значениями матрицы (квадратичной формы).
Покажем, что дискриминант квадратного уравнения (3.36) положителен, то есть любая квадратичная форма двух переменных имеет 2 различных собственных значения.
Вычислим определитель (3.36):
.
Дискриминант , так как (иначе квадратичная форма будет канонической).
Таким образом, коэффициентами при и в каноническом виде квадратичной формы являются ее собственные значения, то есть решения уравнения (3.36).
Решим (3.36) и подставим в (3.34). Система имеет бесконечное множество решений и пусть – одно их них. Так как система (3.34) однородная, то – тоже решение. Подберем так, чтобы вектор был единичным: .
Векторы и называется собственными векторами квадратичной формы, соответствующими собственному значению , или первыми собственными векторами. Их направление называется первым главным направлением квадратичной формы. Таким образом, первым собственным вектором квадратичной формы называется любое ненулевое решение системы (3.34).
Аналогично подставим в (3.35) и найдем – второй собственный вектор, соответствующий собственному значению . Его направление называется вторым главным направлением квадратичной формы. – второй единичный собственный вектор, то есть .
Можно показать, что . Кроме того, – первый собственный вектор, а – второй собственный вектор, поэтому ортами “новой” системы координат , к которой мы перейдем в результате линейного преобразования с матрицей , являются единичные собственные векторы квадратичной формы, найденные как решения систем (3.34), (3.35). Направив оси “новой” системы координат вдоль собственных векторов и , получим систему координат, в которой квадратичная форма будет иметь канонический вид .
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.