Канонические уравнения поверхностей второго порядка

Рассмотрим задачу приведения уравнения поверхности второго порядка к наиболее простому (каноническому) виду.

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

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

Уравнение (4.41) можно записать в матричном виде: где — матрица квадратичной формы, — столбец коэффициентов линейной формы (см. пункты 5,6, замечаний 4.1).

Требуется найти прямоугольную систему координат , в которой уравнение поверхности приняло бы наиболее простой вид.

Результатом решения поставленной задачи является следующая основная теорема.

Классификация алгебраических поверхностей второго порядка

Теорема 4.3. Для любой алгебраической поверхности второго порядка существует прямоугольная система координат , в которой уравнение этой поверхности принимает один из следующих семнадцати канонических видов:

В этих уравнениях , причем в уравнениях 1,2; в уравнениях 3,4,5,6,7,9,10.

Теорема 4.3 дает аналитические определения поверхностей второго порядка. Согласно п.2 замечаний 4.1, поверхности (1),(4),(5),(6),(7),(8),(9), (12),(13),(14),(15),(17) называются вещественными (действительными) , а поверхности (2),(3),(10),(11),(16) — мнимыми.

Поясним доказательство теоремы. Оно аналогично доказательству теоремы 3.3 и фактически содержит алгоритм решения поставленной задачи.

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

Пусть в прямоугольной системе координат алгебраическая поверхность второго порядка задана уравнением (4.41), в котором хотя бы один из старших коэффициентов ап, отличен от нуля,n поскольку левая часть уравнения — многочлен трех переменных второй степени.

Упрощение общего уравнения (4.41) производится в два этапа. На первом этапе при помощи однородного ортогонального преобразования координат "уничтожаются" члены с произведением неизвестных, как и в случае уравнения линии второго порядка, при этом достаточно сделать три поворота (см. углы Эйлера).

Докажем, что существует однородная ортогональная замена переменных

где — столбцы старых и новых переменных, — ортогональная матрица , при которой квадратичная форма

приводится к каноническому виду

для которого матрица квадратичной формы диагональная:

Действительно, подставляя в квадратичную форму

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

Составим характеристическое уравнение для матрицы

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

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

кроме того столбец удовлетворяет равенству или, что то же самое, . Из координатных столбцов базисных векторов составим матрицу , которая в силу (4.44) является ортогональной, так как

и, следовательно, . Сделаем в квадратичной форме с ортогональной матрицей . По закону (4.43) находим

Последний столбец этой матрицы, учитывая равенство и ортогональность , имеет вид

Следовательно, в матрице и . Поэтому квадратичная форма имеет вид

Как показано при доказательстве теоремы 3.3, многочлен двух переменных при помощи поворота системы координат можно привести к виду . Этот поворот соответствует повороту найденной системы координат вокруг оси аппликат.

Таким образом, существует преобразование прямоугольной системы координат, приводящее квадратичную форму к каноническому виду. При этом уравнение (4.41) не содержит членов с произведением неизвестных:

На втором этапе, при помощи параллельного переноса "уничтожаются" один, два или все три члена первой степени. В результате всех преобразований получаем систему координат , в которой уравнение (4.45) становится приведенным (одного из следующих пяти типов):

Уравнения (I), (II), (II) совпадают с приведенными уравнениями линии второго порядка, поскольку не зависят от неизвестной положительны, то, перенося линейный член в правую часть и разделив обе части уравнения на , получим . Обозначим положительные величины и изменим направление оси аппликат, т.е. сделаем замену: , , Если окажется, что , то переименуем координатные оси:

Уравнение (V) в зависимости от знаков коэффициентов сводится к каноническим уравнениям эллипсоидов (1),(2), гиперболоидов (4),(5) или конусов (3),(6).

1. Система координат, в которой уравнение алгебраической поверхности второго порядка имеет канонический вид, называется канонической. Каноническая система координат определяется неоднозначно. Например, изменяя направление оси ординат на противоположное, снова получаем каноническую систему координат, так как замена переменной на не изменяет уравнений (1)–(17).

2. Поверхности второго порядка, приведенные в формулировке теоремы 4.3, изображены в канонической системе координат. Изображение мнимых поверхностей дается штриховыми линиями только для иллюстрации.

3. В случаях (11),(13),(15)-(17) поверхности называются распадающимися , поскольку соответствующие им многочлены второй степени разлагаются в произведение многочленов первой степени.

4. Напомним, что ненулевой столбец , удовлетворяющий равенству собственным вектором матрицы собственным значением этой матрицы. Говорят, что собственный вектор соответствует (принадлежит) собственному значению или, что то же самое, при помощи поворотов прямоугольной системы координат вокруг ее начала

можно привести к каноническому виду

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

Действительно, учитывая, что и , получаем

т.е. . Следовательно, — собственный вектор, соответствующий собственному значению .

6. При однородной невырожденной замене переменных линейная форма меняется следующим образом , т.е. столбец коэффициентов линейной формы изменяется по закону . Свободный член квадратичной функции при однородной замене переменных не изменяется.