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

 

Определение 10.4. Каноническим видом квадратичной формы (10.1) называется следующий вид: . (10.4)

Покажем, что в базисе из собственных векторов квадратичная форма (10.1) примет канонический вид. Пусть

- нормированные собственные векторы, соответствующие собственным числам λ₁,λ₂,λ₃ матрицы (10.3) в ортонормированном базисе . Тогда матрицей перехода от старого базиса к новому будет матрица

. В новом базисе матрица А примет диагональный вид (9.7) (по свойству собственных векторов). Таким образом, преобразовав координаты по формулам:

,

получим в новом базисе канонический вид квадратичной формы с коэффициентами, равными собственным числам λ₁, λ₂, λ₃:

. (10.5)

 

Замечание 1. С геометрической точки зрения рассмотренное преобразование координат представляет собой поворот координатной системы, совмещающий старые оси координат с новыми.

 

Замечание 2. Если какие-либо собственные числа матрицы (10.3) совпадают, к соответствующим им ортонормированным собственным векторам можно добавить единичный вектор, ортогональный каждому из них, и построить таким образом базис, в котором квадратичная форма примет канонический вид.

 

Пример.

Приведем к каноническому виду квадратичную форму

x ² + 5 y ² + z ² + 2 xy + 6 xz + 2 yz.

Ее матрица имеет вид В примере, рассмотренном в лекции 9, найдены собственные числа и ортонормированные собственные векторы этой матрицы:

 

Составим матрицу перехода к базису из этих векторов:

(порядок векторов изменен, чтобы они образовали правую тройку). Преобразуем координаты по формулам:

^.

Получим:

Итак, квадратичная форма приведена к каноническому виду с коэффициентами, равными собственным числам матрицы квадратичной формы.

Лекция 11.

Кривые второго порядка. Эллипс, гипербола и парабола, их свойства и канонические уравнения. Приведение уравнения второго порядка к каноническому виду.

Определение 11.1. Кривыми второго порядка на плоскости называются линии пересечения кругового конуса с плоскостями, не проходящими через его вершину.

 

Если такая плоскость пересекает все образующие одной полости конуса, то в сечении получается эллипс, при пересечении образующих обеих полостей – гипербола, а если секущая плоскость параллельна какой-либо образующей, то сечением конуса является парабола.

 

Замечание. Все кривые второго порядка задаются уравнениями второй степени от двух переменных.

 

Эллипс.

 

Определение 11.2. Эллипсом называется множество точек плоскости, для которых сумма расстояний до двух фиксированных точек F ₁ и F ₂ этой плоскости, называемых фокусами, есть величина постоянная.

 

Замечание. При совпадении точек F ₁ и F ₂ эллипс превращается в окружность.

Выведем уравнение эллипса, выбрав декартову систему

у М(х,у) координат так, чтобы ось Ох совпала с прямой F ₁ F ₂, начало

r₁ r₂ координат – с серединой отрезка F ₁ F ₂. Пусть длина этого

отрезка равна 2 с, тогда в выбранной системе координат

F₁ O F₂ x F ₁(- c, 0), F ₂(c, 0). Пусть точка М(х, у) лежит на эллипсе, и

сумма расстояний от нее до F ₁ и F ₂ равна 2 а.

Тогда r ₁ + r ₂ = 2 a, но ,

поэтому Введя обозначение b ² = a ²- c ² и проведя несложные алгебраические преобразования, получим каноническое уравнение эллипса: (11.1)

 

Определение 11.3. Эксцентриситетом эллипса называется величина е=с/а (11.2)

 

Определение 11.4. Директрисой D_i эллипса, отвечающей фокусу F_i, называется прямая, расположенная в одной полуплоскости с F_i относительно оси Оу перпендикулярно оси Ох на расстоянии а/е от начала координат.

 

Замечание. При ином выборе системы координат эллипс может задаваться не каноническим уравнением (11.1), а уравнением второй степени другого вида.

 

Свойства эллипса:

1) Эллипс имеет две взаимно перпендикулярные оси симметрии (главные оси эллипса) и центр симметрии (центр эллипса). Если эллипс задан каноническим уравнением, то его главными осями являются оси координат, а центром – начало координат. Поскольку длины отрезков, образованных пересечением эллипса с главными осями, равны 2 а и 2 b (2 a >2 b), то главная ось, проходящая через фокусы, называется большой осью эллипса, а вторая главная ось – малой осью.

2) Весь эллипс содержится внутри прямоугольника

3) Эксцентриситет эллипса e < 1.

Действительно,

4) Директрисы эллипса расположены вне эллипса (так как расстояние от центра эллипса до директрисы равно а/е, а е <1, следовательно, а/е>a, а весь эллипс лежит в прямоугольнике )

5) Отношение расстояния r_i от точки эллипса до фокуса F_i к расстоянию d_i от этой точки до отвечающей фокусу директрисы равно эксцентриситету эллипса.

Доказательство.

Расстояния от точки М(х, у) до фокусов эллипса можно представить так:

Составим уравнения директрис:

(D ₁), (D ₂). Тогда Отсюда r_i / d_i = e, что и требовалось доказать.

 

Гипербола.

Определение 11.5. Гиперболой называется множество точек плоскости, для которых модуль разности расстояний до двух фиксированных точек F ₁ и F ₂ этой плоскости, называемых фокусами, есть величина постоянная.

 

Выведем каноническое уравнение гиперболы по аналогии с выводом уравнения эллипса, пользуясь теми же обозначениями.

| r₁ - r₂| = 2 a, откуда Если обозначить b ² = c ² - a ², отсюда можно получить

 

- каноническое уравнение гиперболы. (11.3)

 

Определение 11.6. Эксцентриситетом гиперболы называется величина е = с / а.

 

Определение 11.7. Директрисой D_i гиперболы, отвечающей фокусу F_i, называется прямая, расположенная в одной полуплоскости с F_i относительно оси Оу перпендикулярно оси Ох на расстоянии а / е от начала координат.

 

Свойства гиперболы:

1) Гипербола имеет две оси симметрии (главные оси гиперболы) и центр симметрии (центр гиперболы). При этом одна из этих осей пересекается с гиперболой в двух точках, называемых вершинами гиперболы. Она называется действительной осью гиперболы (ось Ох для канонического выбора координатной системы). Другая ось не имеет общих точек с гиперболой и называется ее мнимой осью (в канонических координатах – ось Оу). По обе стороны от нее расположены правая и левая ветви гиперболы. Фокусы гиперболы располагаются на ее действительной оси.

2) Ветви гиперболы имеют две асимптоты, определяемые уравнениями

и .

3) Наряду с гиперболой (11.3) можно рассмотреть так называемую сопряженную гиперболу, определяемую каноническим уравнением

, (11.3`)

для которой меняются местами действительная и мнимая ось с сохранением тех же асимптот.

4) Эксцентриситет гиперболы e > 1.

5) Отношение расстояния r_i от точки гиперболы до фокуса F_i к расстоянию d_i от этой точки до отвечающей фокусу директрисы равно эксцентриситету гиперболы.

Доказательство можно провести так же, как и для эллипса.

 

 

Парабола.

 

Определение 11.8. Параболой называется множество точек плоскости, для которых расстояние до некоторой фиксированной точки F этой плоскости равно расстоянию до некоторой фиксированной прямой. Точка F называется фокусом параболы, а прямая – ее директрисой.

у Для вывода уравнения параболы выберем декартову

систему координат так, чтобы ее началом была середина

d M(x,y) перпендикуляра FD, опущенного из фокуса на директри-

r су, а координатные оси располагались параллельно и

перпендикулярно директрисе. Пусть длина отрезка FD

D O F x равна р. Тогда из равенства r = d следует, что

поскольку

Алгебраическими преобразованиями это уравнение можно привести к виду: y ² = 2 px, (11.4)

называемому каноническим уравнением параболы. Величина р называется параметром параболы.

 

Свойства параболы:

1) Парабола имеет ось симметрии (ось параболы). Точка пересечения параболы с осью называется вершиной параболы. Если парабола задана каноническим уравнением, то ее осью является ось Ох, а вершиной – начало координат.

2) Вся парабола расположена в правой полуплоскости плоскости Оху.

 

Замечание. Используя свойства директрис эллипса и гиперболы и определение параболы, можно доказать следующее утверждение:

Множество точек плоскости, для которых отношение е расстояния до некоторой фиксированной точки к расстоянию до некоторой прямой есть величина постоянная, представляет собой эллипс (при e <1), гиперболу (при e >1) или параболу (при е =1).