Приведение уравнения линии к каноническому виду по инвариантам
Рассмотрим задачу приведения к каноническому виду линии второго порядка, заданной в прямоугольной системе координат уравнением (3.34):
Квадратичную функцию в левой части (3.70) обозначим , ее матрицу и матрицу квадратичной формы, как и ранее, обозначим через и соответственно.
Требуется определить один из девяти возможных канонических видов линии (см. теорему 3.3), найти каноническую систему координат , в которой уравнение линии имеет канонический вид, а затем построить линию в канонической и исходной системах координат. Построение, разумеется, производится только для вещественных линий.
Алгоритм приведения уравнения линии к каноническому виду по инвариантам
Для приведения уравнения (3.70) линии второго порядка, заданной в прямоугольной системе координат , к каноническому виду, нужно выполнить следующие действия.
1. По уравнению (3.70) линии второго порядка составить матрицу квадратичной функции, матрицу квадратичной формы и столбец а коэффициентов линейной формы:
2. Составить характеристическое уравнение , либо вычисляя его коэффициенты по формулам: либо разлагая определитель . Найти корни (с учетом кратности) характеристического уравнения. Вычислить инвариант . Если , то вычислить семиинвариант 
3. По таблице 3.2 определить вид линии
Таблица 3.2. Классификация линий второго порядка по инвариантам 
4. Занумеровать корни характеристического уравнения в соответствии с правилами:
а) если линия эллиптического типа, то  ; б) если линия гиперболического типа, то: – при  (знак  совпадает со знаком  ); – при  ; в) если линия параболического типа, то  .
5. Найти взаимно ортогональные собственные направления , соответствующие корням характеристического уравнения:
а) если , то базисные векторы исходной системы имеют искомые направления 
б) если корни простые , то для каждого корня найти ненулевое решение однородной системы уравнений Например, собственное направление для простого корня находится как любое ненулевое решение системы
 или 
Если , то направление должно удовлетворять дополнительному условию , в противном случае следует заменить столбец на противоположный . Нормируя полученные векторы , определить координатные столбцы векторов канонического базиса.
6. Найти координаты начала канонической системы координат:
а) для линий, имеющих хотя бы один центр (т.е. всех линий, за исключением параболы), найти любое решение системы уравнений или 
б) для параболы найти решение системы: где 
7. Вычислить коэффициенты канонического уравнения:
а) для линий эллиптического типа  (1) при  — уравнение эллипса  с коэффициентами  (2) при  — уравнение эллипса  с коэффициентами  (3) при  — уравнение эллипса  с коэффициентами 
б) для линии гиперболического типа 
(4) при  — уравнение эллипса  с коэффициентами  (3) при  — уравнение эллипса  с коэффициентами 
в) для линии параболического типа  (6) при  — уравнение параболы  с параметром  (7) при  — уравнение пары параллельных прямых  коэффициентом  (8) при  — уравнение пары параллельных прямых  коэффициентом  (9) при  — уравнение пары параллельных прямых  коэффициентом 
8. На координатной плоскости изобразить каноническую систему координат , координаты начала которой найдены в пункте 6, а координаты базисных векторов — в пункте 5.
9. Построить линию второго порядка в канонической системе координат по каноническому уравнению, найденному в пункте 7. Построение центральных линий (эллипса, гиперболы, пары пересекающихся прямых) удобно начинать с изображения основного прямоугольника. При построении параболических линий (параболы, пары параллельных прямых, пары совпадающих прямых) использовать. Мнимые линии не изображаются, за исключением уравнения пары мнимых пересекающихся прямых, действительным решением которого является единственная точка .
Замечания 3.17
1. Согласно пункту З замечаний 3.15 для нахождения начала канонической системы координат для параболы (см. пункт 6,"б" алгоритма) можно использовать систему где .
2. Систему уравнений в пункте 6,"б" алгоритма можно заменить системой которая получена умножением обеих частей первого уравнения на 
3. В случае параболы в качестве собственного направления можно взять любой ненулевой столбец матрицы (или ненулевой столбец, пропорциональный столбцу матрицы ).
Примеры приведения уравнения линии к каноническому виду по инвариантам
Пример 3.24. В прямоугольной системе координат построить линию, заданную уравнением: 
Решение
Составляем матрицу квадратичной функции, матрицу квадратичной формы и столбец коэффициентов линейной формы: 2. Вычисляем инварианты (см. пример 3.23,г): Так как , то вычислять семиинвариант не нужно. Составляем характеристическое уравнение , находим корни и . 3. По таблице 3.2 определяем, что заданное уравнение является уравнением эллипса, так как  4. Поскольку линия эллиптического типа, корни характеристического уравнения обозначим следующим образом (см. пункт 4,"а" алгоритма): и , чтобы выполнялось неравенство  5. Находим взаимно ортогональные собственные направления соответствующие корням характеристического уравнения. Поскольку корни простые (пункт "б"), то находим ненулевые решения однородных систем  для  для  Нормируя полученные векторы , определяем координатные столбцы векторов канонического базиса: 6. Находим координаты начала канонической системы координат, решая систему уравнений (см. пункт 6,"а" алгоритма):  или  Следовательно, вектор переноса начала координат имеет координаты или, что то же самое, начало канонической системы координат имеет координаты относительно исходной системы координат. 7. Вычисляем коэффициенты канонического уравнения (1) эллипса (см. пункт 7,"а" алгоритма): Следовательно, каноническое уравнение заданной линии имеет вид: . 8. На координатной плоскости изображаем каноническую систему координат с началом в точке , с базисными векторами (см. рис.3.61). 9. В канонической системе координат строим основной прямоугольник со сторонами , а затем эллипс (см. пример 3.20).
Пример 3.25. В прямоугольной системе координат построить линию, заданную уравнением: 
Решение
Составляем матрицу квадратичной функции, матрицу квадратичной формы и столбец коэффициентов линейной формы: 2. Вычисляем инварианты:  Так как , то вычислять семиинвариант не нужно. Составляем характеристическое уравнение , находим корни и . 3. По таблице 3.2 определяем, что заданное уравнение является уравнением гиперболы, так как  4. Поскольку линия гиперболического типа, корни характеристического уравнения обозначим следующим образом (см. пункт 4,"б" алгоритма): чтобы выполнялось условие  5. Находим взаимно ортогональные собственные направления соответствующие корням характеристического уравнения. Поскольку корни простые (пункт "б"), то находим ненулевые решения однородных систем  для  для  Нормируя полученные векторы , определяем координатные столбцы векторов канонического базиса: 6. Находим координаты начала канонической системы координат, решая систему уравнений (см. пункт 6,"а" алгоритма):  или  Получаем . Следовательно, вектор переноса начала координат имеет координаты или, что то же самое, начало канонической системы координат имеет координаты относительно исходной системы координат. 7. Вычисляем коэффициенты канонического уравнения (4) гиперболы (см. пункт 7,"б" алгоритма): Следовательно, каноническое уравнение заданной линии имеет вид: . 8. На координатной плоскости изображаем каноническую систему координат с началом в точке , с базисными векторами (рис.3.62). 9. В канонической системе координат строим основной прямоугольник со сторонами затем — асимптоты (продлевая диагонали прямоугольника) и, наконец, — гиперболу (см. пример 3.21).
Пример 3.26. В прямоугольной системе координат построить линию, заданную уравнением: 
Решение
Составляем матрицу квадратичной функции, матрицу квадратичной формы и столбец коэффициентов линейной формы: 2. Вычисляем инварианты: Составляем характеристическое уравнение , находим корни и . 3. По таблице 3.2 определяем, что заданное уравнение является уравнением параболы, так как  4. Поскольку линия параболического типа, корни характеристического уравнения обозначим следующим образом (см. пункт 4,"в" алгоритма): чтобы выполнялись условия  5. Находим взаимно ортогональные собственные направления , соответствующие корням характеристического уравнения. Поскольку корни простые (пункт "б"), то находим ненулевые решения однородных систем  для  согласно пункту 3 замечаний 3.17, в качестве возьмем ненулевой столбец пропорциональный первому столбцу матрицы . Условие для направления не выполняется: Поэтому заменяем столбец на противоположный, полагая  Нормируя полученные векторы , определяем координатные столбцы векторов канонического базиса: 6. Находим координаты начала канонической системы координат. Поскольку линия является параболой, вычисляем Составляем систему уравнений с учетом пункта 2 замечаний 3.17: Получаем . Следовательно, вектор переноса начала координат имеет координаты или, что то же самое, начало канонической системы координат имеет координаты относительно исходной системы координат. 7. Вычисляем коэффициент канонического уравнения (6) параболы (см. пункт 7,"в" алгоритма): Следовательно, каноническое уравнение заданной линии имеет вид:  8. На координатной плоскости изображаем каноническую систему координат с началом в точке с базисными векторами (рис.3.63). 9. В канонической системе координат строим параболу 

Пример 3.27. В прямоугольной системе координат  линии второго порядка заданы уравнениями: а)  ; б)  ; в)  . Определить расположение начала координат  относительно заданных линий.
Решение
а) Вычисляем инварианты (см. пример 3.24): и находим по таблице 3.2, что заданное уравнение определяет эллипс. Вычисляем значение квадратичной функции в точке . Так как , то делаем вывод, что точка лежит вне эллипса, т.е. является внешней для заданного эллипса (см. пункт 1. теоремы 3.5). б) Вычисляем инварианты (см. пример 3.25): и находим по таблице 3.2, что заданное уравнение определяет гиперболу. Вычисляем значение квадратичной функции в точке . Так как , то делаем вывод, что точка внешняя точка гиперболы (см. пункт 2. теоремы 3.5). в) Вычисляем инварианты (см. пример 3.26): и находим по таблице 3.2, что заданное уравнение определяет параболу. Вычисляем значение квадратичной функции в точке . Так как , то делаем вывод, что точка лежит вне параболы (см. пункт 1 теоремы 3.5). Полученные выводы подтверждаются рис.3.61, 3.62,3.63.
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|